Compiler.MLIR.IR.Block

For internal spidr use only.

Definitions

data Block : Type

Totality: total
Visibility: public export
Constructor: 

MkBlock : GCAnyPtr -> Block

prim__deleteBlock : AnyPtr -> PrimIO ()

prim__blockGetArgument : GCAnyPtr -> Bits64 -> PrimIO AnyPtr

getArgument : HasIO io => Block -> Nat -> io BlockArgument

Totality: total
Visibility: export