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 -> ShapeIndex -> Bool -> IO ()

Totality: total
Visibility: export

get : Literal -> List Nat -> ShapeIndex -> Bool

Totality: total
Visibility: export

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

Totality: total
Visibility: export

get : Literal -> List Nat -> ShapeIndex -> Double

Totality: total
Visibility: export

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

Totality: total
Visibility: export

get : Literal -> List Nat -> ShapeIndex -> Int32

Totality: total
Visibility: export

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

Totality: total
Visibility: export

get : Literal -> List Nat -> ShapeIndex -> Nat

Totality: total
Visibility: export

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

Totality: total
Visibility: export

get : Literal -> List Nat -> ShapeIndex -> Nat

Totality: total
Visibility: export