Compiler.Xla.Literal

For internal spidr use only.

Definitions

data Literal : Type

Totality: total
Visibility: public export
Constructor: 

MkLiteral : GCAnyPtr -> Literal

allocLiteral : HasIO io => Shape -> io Literal

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 -> Nat -> IO ()

Totality: total
Visibility: export

get : Literal -> Int64Array -> Nat

Totality: total
Visibility: export

set : Literal -> Int64Array -> Nat -> IO ()

Totality: total
Visibility: export

get : Literal -> Int64Array -> Nat

Totality: total
Visibility: export