Compiler.MLIR.IR.Builders

For internal spidr use only.

Definitions

data OpBuilder : Type

Totality: total
Visibility: public export
Constructor: 

MkOpBuilder : GCAnyPtr -> OpBuilder

mkOpBuilder : HasIO io => MLIRContext -> io OpBuilder

Totality: total
Visibility: export

atBlockEnd : HasIO io => Block -> io OpBuilder

Totality: total
Visibility: export

getF64Type : HasIO io => OpBuilder -> io FloatType

Totality: total
Visibility: export