Idris2Doc : Compiler.MLIR.Dialect.Func.IR.FuncOps

Compiler.MLIR.Dialect.Func.IR.FuncOps

(source)
For internal spidr use only.

Definitions

loadDialectFuncDialect : HasIOio=>MLIRContext->io ()
Totality: total
Visibility: export
dataFuncOp : Type
Totality: total
Visibility: public export
Constructor: 
MkFuncOp : GCAnyPtr->FuncOp

Hint: 
OpFuncOp
create : HasIOio=>Location->String->FunctionType->ioFuncOp
Totality: total
Visibility: export
addEntryBlock : HasIOio=>FuncOp->ioBlock
Totality: total
Visibility: export
dataReturnOp : Type
Totality: total
Visibility: public export
Constructor: 
MkReturnOp : GCAnyPtr->ReturnOp
create : HasIOio=>OpBuilder->Location->ValueRange->ioReturnOp
Totality: total
Visibility: export