Compiler.MLIR.IR.Value

For internal spidr use only.

Definitions

data Value : Type

Totality: total
Visibility: public export
Constructor: 

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

Hints:

Cast BlockArgument Value

Cast OpResult Value

data ValueArray : Type

Totality: total
Visibility: public export
Constructor: 

MkValueArray : GCAnyPtr -> ValueArray

mkValueArray : HasIO io => List Value -> io ValueArray

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