Compiler.MLIR.IR.Block

For internal spidr use only.

Definitions

data Block : Type

Totality: total
Visibility: public export
Constructor: 

MkBlock : AnyPtr -> Block

prim__blockAddArgument : AnyPtr -> GCAnyPtr -> GCAnyPtr -> PrimIO AnyPtr

addArgument : HasIO io => Block -> Type_ -> Location -> io BlockArgument

Totality: total
Visibility: export

prim__blockGetArgument : AnyPtr -> Bits64 -> PrimIO AnyPtr

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

Totality: total
Visibility: export

prim__blockDump : AnyPtr -> PrimIO ()

dump : HasIO io => Block -> io ()

Totality: total
Visibility: export