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 -> Int

prim__literalUntypedData : GCAnyPtr -> AnyPtr

set : Literal -> List Nat -> Bool -> IO ()

Totality: total
Visibility: export

get : Literal -> List Nat -> Bool

Totality: total
Visibility: export

set : Literal -> List Nat -> Double -> IO ()

Totality: total
Visibility: export

get : Literal -> List Nat -> Double

Totality: total
Visibility: export

set : Literal -> List Nat -> Int32 -> IO ()

Totality: total
Visibility: export

get : Literal -> List Nat -> Int32

Totality: total
Visibility: export

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

Totality: total
Visibility: export

get : Literal -> List Nat -> Nat

Totality: total
Visibility: export

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

Totality: total
Visibility: export

get : Literal -> List Nat -> Nat

Totality: total
Visibility: export