Spidr.Compiler.MLIR.IR.Value

For internal spidr use only.

Definitions

data Value : Type

Totality: total
Visibility: public export
Constructor: 

MkValue : GCAnyPtr -> (AnyPtr -> Bits64 -> GCAnyPtr -> PrimIO ()) -> Value

Hints:

Cast BlockArgument Value

Cast OpResult Value

sizeofValue : Bits64

prim__valueGetType : GCAnyPtr -> PrimIO AnyPtr

getType : HasIO io => Value -> io Type_

Totality: total
Visibility: export

data BlockArgument : Type

Totality: total
Visibility: public export
Constructor: 

MkBlockArgument : GCAnyPtr -> BlockArgument

Hint: 

Cast BlockArgument Value

prim__deleteBlockArgument : AnyPtr -> PrimIO ()

data OpResult : Type

Totality: total
Visibility: public export
Constructor: 

MkOpResult : GCAnyPtr -> OpResult

Hint: 

Cast OpResult Value

prim__deleteOpResult : AnyPtr -> PrimIO ()