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

Spidr.Compiler.MLIR.Dialect.Func.IR.FuncOps

For internal spidr use only.

Definitions

loadDialectFuncDialect : HasIO io => MLIRContext -> io ()
Totality: total
Visibility: export
data CallOp : Type
Totality: total
Visibility: public export
Constructor: 
MkCallOp : GCAnyPtr -> CallOp

Hint: 
Op CallOp
create : HasIO io => OpBuilder -> Location -> String -> TypeRange -> ValueRange -> io CallOp
Totality: total
Visibility: export
data FuncOp : Type
Totality: total
Visibility: public export
Constructor: 
MkFuncOp : GCAnyPtr -> FuncOp

Hint: 
Op FuncOp
create : HasIO io => Location -> String -> FunctionType -> io FuncOp
Totality: total
Visibility: export
addEntryBlock : HasIO io => FuncOp -> io Block
Totality: total
Visibility: export
data ReturnOp : Type
Totality: total
Visibility: public export
Constructor: 
MkReturnOp : GCAnyPtr -> ReturnOp
create : HasIO io => OpBuilder -> Location -> ValueRange -> io ReturnOp
Totality: total
Visibility: export