Spidr.Compiler.MLIR.IR.DialectRegistry

For internal spidr use only.

Definitions

data DialectRegistry : Type

Totality: total
Visibility: public export
Constructor: 

MkDialectRegistry : GCAnyPtr -> DialectRegistry

mkDialectRegistry : HasIO io => io DialectRegistry

Totality: total
Visibility: export