Documentation

Lean.Compiler.LCNF.Passes

source
def Lean.Compiler.LCNF.init :
Lean.Compiler.LCNF.Pass
Instances For
    source
    def Lean.Compiler.LCNF.trace (phase : optParam Lean.Compiler.LCNF.Phase Lean.Compiler.LCNF.Phase.base) :
    Lean.Compiler.LCNF.Pass
    Instances For
      source
      def Lean.Compiler.LCNF.saveBase :
      Lean.Compiler.LCNF.Pass
      Instances For
        source
        def Lean.Compiler.LCNF.saveMono :
        Lean.Compiler.LCNF.Pass
        Instances For
          source
          def Lean.Compiler.LCNF.builtinPassManager :
          Lean.Compiler.LCNF.PassManager
          Instances For
            source
            def Lean.Compiler.LCNF.runImportedDecls (importedDeclNames : Array (Array Lake.Name)) :
            Lean.CoreM Lean.Compiler.LCNF.PassManager
            Instances For
              source
              opaque Lean.Compiler.LCNF.passManagerExt :
              Lean.PersistentEnvExtension Lake.Name (Lake.Name × Lean.Compiler.LCNF.PassManager) (List Lake.Name × Lean.Compiler.LCNF.PassManager)
              source
              def Lean.Compiler.LCNF.getPassManager :
              Lean.CoreM Lean.Compiler.LCNF.PassManager
              Instances For
                source
                def Lean.Compiler.LCNF.addPass (declName : Lake.Name) :
                Lean.CoreM Unit
                Instances For