Compiler.MLIR.IR.BuiltinOps

For internal spidr use only.

Definitions

data ModuleOp : Type

Totality: total
Visibility: public export
Constructor: 

MkModuleOp : GCAnyPtr -> ModuleOp

prim__delete : AnyPtr -> PrimIO ()

prim__moduleOpDump : GCAnyPtr -> PrimIO ()

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

Totality: total
Visibility: export

prim__moduleOpGetOperation : GCAnyPtr -> AnyPtr

getOperation : HasIO io => ModuleOp -> io Operation

Totality: total
Visibility: export

prim__moduleOpPushBack : GCAnyPtr -> GCAnyPtr -> PrimIO ()

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

Totality: total
Visibility: export