Spidr.Compiler.MLIR.IR.BuiltinOps

For internal spidr use only.

Definitions

data ModuleOp : Type

Totality: total
Visibility: public export
Constructor: 

MkModuleOp : GCAnyPtr -> ModuleOp

Hint: 

Op ModuleOp

prim__delete : AnyPtr -> PrimIO ()

create : HasIO io => Location -> String -> io ModuleOp

Totality: total
Visibility: export

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

Totality: total
Visibility: export

prim__moduleOpGetOperation : GCAnyPtr -> PrimIO AnyPtr

prim__moduleOpPushBack : GCAnyPtr -> AnyPtr -> PrimIO ()

pushBack : HasIO io => ModuleOp -> Operation -> io ()

Totality: total
Visibility: export