Spidr.Compiler.MLIR.IR.Region

For internal spidr use only.

Definitions

data Region : Type

Totality: total
Visibility: public export
Constructor: 

MkRegion : AnyPtr -> Region

prim__regionEmplaceBlock : AnyPtr -> PrimIO AnyPtr

emplaceBlock : HasIO io => Region -> io Block

Totality: total
Visibility: export