Idris2Doc : Compiler.Xla.Literal

Compiler.Xla.Literal

(source)
For internal spidr use only.

Definitions

dataLiteral : Type
Totality: total
Visibility: public export
Constructor: 
MkLiteral : GCAnyPtr->Literal
allocLiteral : HasIOio=>Shape->ioLiteral
Totality: total
Visibility: export
prim__literalSizeBytes : GCAnyPtr->Int64
prim__literalUntypedData : GCAnyPtr->AnyPtr
set : Literal->Int64Array->Bool->IO ()
Totality: total
Visibility: export
get : Literal->Int64Array->Bool
Totality: total
Visibility: export
set : Literal->Int64Array->Double->IO ()
Totality: total
Visibility: export
get : Literal->Int64Array->Double
Totality: total
Visibility: export
set : Literal->Int64Array->Int32->IO ()
Totality: total
Visibility: export
get : Literal->Int64Array->Int32
Totality: total
Visibility: export
set : Literal->Int64Array->Int64->IO ()
Totality: total
Visibility: export
get : Literal->Int64Array->Int64
Totality: total
Visibility: export
set : Literal->Int64Array->Bits32->IO ()
Totality: total
Visibility: export
get : Literal->Int64Array->Bits32
Totality: total
Visibility: export
set : Literal->Int64Array->Bits64->IO ()
Totality: total
Visibility: export
get : Literal->Int64Array->Bits64
Totality: total
Visibility: export