Spidr.Compiler.MLIR.IR.Block

For internal spidr use only.

Definitions

data Block : Type

Totality: total
Visibility: public export
Constructor: 

MkBlock : AnyPtr -> Block

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

Totality: total
Visibility: export

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

Totality: total
Visibility: export

prim__blockDump : AnyPtr -> PrimIO ()

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

Totality: total
Visibility: export