Spidr.Compiler.MLIR.Pass.PassManager

For internal spidr use only.

Definitions

data PassManager : Type

Totality: total
Visibility: public export
Constructor: 

MkPassManager : GCAnyPtr -> PassManager

mkPassManager : HasIO io => MLIRContext -> io PassManager

Totality: total
Visibility: export

dump : HasIO io => PassManager -> io ()

Totality: total
Visibility: export

run : HasIO io => PassManager -> Operation -> io Bool

Totality: total
Visibility: export