Spidr.Compiler.MLIR.IR.MLIRContext

For internal spidr use only.

Definitions

data MLIRContext : Type

Totality: total
Visibility: public export
Constructor: 

MkMLIRContext : AnyPtr -> MLIRContext

mkMLIRContext : HasIO io => io MLIRContext

Totality: total
Visibility: export

appendDialectRegistry : HasIO io => MLIRContext -> DialectRegistry -> io ()

Totality: total
Visibility: export