Idris2Doc : Compiler.Enzyme.MLIR.Passes.Passes

Compiler.Enzyme.MLIR.Passes.Passes

(source)
For internal spidr use only.

Definitions

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