Compiler.MLIR.Dialect.Func.IR.FuncOps

For internal spidr use only.

Definitions

data CallOp : Type

Totality: total
Visibility: public export
Constructor: 

MkCallOp : GCAnyPtr -> CallOp

createCallOp : HasIO io => OpBuilder -> Location -> String -> TypeRange -> ValueRange -> io CallOp

Totality: total
Visibility: export

getOperation : HasIO io => CallOp -> io Operation

Totality: total
Visibility: export

data FuncOp : Type

Totality: total
Visibility: public export
Constructor: 

MkFuncOp : GCAnyPtr -> FuncOp

create : HasIO io => Location -> String -> FunctionType -> io FuncOp

Totality: total
Visibility: export

getOperation : HasIO io => FuncOp -> io Operation

Totality: total
Visibility: export

data ReturnOp : Type

Totality: total
Visibility: public export
Constructor: 

MkReturnOp : GCAnyPtr -> ReturnOp

createReturnOp : HasIO io => OpBuilder -> Location -> ResultRange -> io ReturnOp

Totality: total
Visibility: export

addEntryBlock : HasIO io => FuncOp -> io Block

Totality: total
Visibility: export