Idris2Doc : Spidr.Compiler.Enzyme.MLIR.Passes.Passes

Spidr.Compiler.Enzyme.MLIR.Passes.Passes

For internal spidr use only.

Definitions

addDifferentiatePass : HasIO io => PassManager -> String -> io ()
Totality: total
Visibility: export
addBatchPass : HasIO io => PassManager -> io ()
Totality: total
Visibility: export
addOutlineEnzymeFromRegionPass : HasIO io => PassManager -> io ()
Totality: total
Visibility: export
registerRemoveUnusedEnzymeOpsPass : HasIO io => io ()
Totality: total
Visibility: export