Compiler.LiteralRW

For internal spidr use only.

Reexports

Definitions

interface LiteralRW : Type -> Type -> Type

Parameters: dtype, ty
Constraints: Primitive dtype
Methods:

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

get : Literal -> List Nat -> ty

Implementations:

LiteralRW PRED Bool

LiteralRW F64 Double

LiteralRW S32 Int32

LiteralRW U32 Nat

LiteralRW U64 Nat

set : LiteralRW dtype ty => Literal -> List Nat -> ty -> IO ()

Totality: total
Visibility: public export

get : LiteralRW dtype ty => Literal -> List Nat -> ty

Totality: total
Visibility: public export

write : HasIO io => LiteralRW dtype a => Literal shape a -> io Literal

Totality: total
Visibility: export

read : LiteralRW dtype a => HasIO io => Literal -> io (Literal shape a)

Totality: total
Visibility: export