TorchLean API

Docs HomeGuideExamplesGraphs

Lean.Compiler.LCNF.Passes

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