Documentation
Lean
.
Compiler
.
LCNF
.
Passes
Search
return to top
source
Imports
Lean.Compiler.LCNF.CSE
Lean.Compiler.LCNF.ElimDeadBranches
Lean.Compiler.LCNF.ExtractClosed
Lean.Compiler.LCNF.FloatLetIn
Lean.Compiler.LCNF.JoinPoints
Lean.Compiler.LCNF.LambdaLifting
Lean.Compiler.LCNF.PassManager
Lean.Compiler.LCNF.PhaseExt
Lean.Compiler.LCNF.PullFunDecls
Lean.Compiler.LCNF.PullLetDecls
Lean.Compiler.LCNF.ReduceArity
Lean.Compiler.LCNF.ReduceJpArity
Lean.Compiler.LCNF.Simp
Lean.Compiler.LCNF.Specialize
Lean.Compiler.LCNF.StructProjCases
Lean.Compiler.LCNF.ToMono
Imported by
Lean
.
Compiler
.
LCNF
.
init
Lean
.
Compiler
.
LCNF
.
trace
Lean
.
Compiler
.
LCNF
.
saveBase
Lean
.
Compiler
.
LCNF
.
saveMono
Lean
.
Compiler
.
LCNF
.
builtinPassManager
Lean
.
Compiler
.
LCNF
.
runImportedDecls
Lean
.
Compiler
.
LCNF
.
passManagerExt
Lean
.
Compiler
.
LCNF
.
getPassManager
Lean
.
Compiler
.
LCNF
.
addPass
source
def
Lean
.
Compiler
.
LCNF
.
init
:
Pass
Equations
Instances For
source
def
Lean
.
Compiler
.
LCNF
.
trace
(
phase
:
Phase
:=
Phase.base
)
:
Pass
Equations
Instances For
source
def
Lean
.
Compiler
.
LCNF
.
saveBase
:
Pass
Equations
Instances For
source
def
Lean
.
Compiler
.
LCNF
.
saveMono
:
Pass
Equations
Instances For
source
def
Lean
.
Compiler
.
LCNF
.
builtinPassManager
:
PassManager
Equations
Instances For
source
def
Lean
.
Compiler
.
LCNF
.
runImportedDecls
(
importedDeclNames
:
Array
(
Array
Name
)
)
:
CoreM
PassManager
Equations
Instances For
source
opaque
Lean
.
Compiler
.
LCNF
.
passManagerExt
:
PersistentEnvExtension
Name
(
Name
×
PassManager
) (
List
Name
×
PassManager
)
source
def
Lean
.
Compiler
.
LCNF
.
getPassManager
:
CoreM
PassManager
Equations
Instances For
source
def
Lean
.
Compiler
.
LCNF
.
addPass
(
declName
:
Name
)
:
CoreM
Unit
Equations
Instances For