A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
.
<
_
All

Index - L

Lam	FreeC.Backend.Agda.Syntax
Lambda
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.Frontend.IR.Token
3 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
lambda	FreeC.Backend.Agda.Syntax
lambdaExprArgs
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
lambdaExprRhs
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
LamBinding	FreeC.Backend.Agda.Syntax
LamBinding'	FreeC.Backend.Agda.Syntax
lamBindingsToTelescope	FreeC.Backend.Agda.Syntax
lamCatchAll	FreeC.Backend.Agda.Syntax
LamClause
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
lamClause	FreeC.Backend.Agda.Syntax
lamLHS	FreeC.Backend.Agda.Syntax
lamRHS	FreeC.Backend.Agda.Syntax
lamWhere	FreeC.Backend.Agda.Syntax
langle	FreeC.Pretty
LBrace	FreeC.Frontend.IR.Token
lbrace	FreeC.Pretty
lbracket	FreeC.Pretty
LeftAssoc	FreeC.Backend.Agda.Syntax
LeftAssociativity	FreeC.Backend.Coq.Syntax
leftOf	FreeC.IR.Subterm
LeftToRight	FreeC.Backend.Coq.Syntax
Lemma	FreeC.Backend.Coq.Syntax
LensArgInfo	FreeC.Backend.Agda.Syntax
LensCohesion	FreeC.Backend.Agda.Syntax
LensFixity	FreeC.Backend.Agda.Syntax
lensFixity	FreeC.Backend.Agda.Syntax
LensFixity'	FreeC.Backend.Agda.Syntax
lensFixity'	FreeC.Backend.Agda.Syntax
LensFreeVariables	FreeC.Backend.Agda.Syntax
LensHiding	FreeC.Backend.Agda.Syntax
LensInScope	FreeC.Backend.Agda.Syntax
lensInScope	FreeC.Backend.Agda.Syntax
LensIsAbstract	FreeC.Backend.Agda.Syntax
lensIsAbstract	FreeC.Backend.Agda.Syntax
LensModality	FreeC.Backend.Agda.Syntax
LensNamed	FreeC.Backend.Agda.Syntax
lensNamed	FreeC.Backend.Agda.Syntax
LensOrigin	FreeC.Backend.Agda.Syntax
LensQuantity	FreeC.Backend.Agda.Syntax
LensRelevance	FreeC.Backend.Agda.Syntax
LET	FreeC.Frontend.IR.Token
Let
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
LetDef	FreeC.Backend.Coq.Syntax
letExprBinds	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
letExprIn	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
letSortPass	FreeC.Pass.LetSortPass
LetTick	FreeC.Backend.Coq.Syntax
LetTuple	FreeC.Backend.Coq.Syntax
Level
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
LevelExplicitOrNext	FreeC.Backend.Coq.Syntax
LHS
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
LHSCore	FreeC.Backend.Agda.Syntax
lhsDefName	FreeC.Backend.Agda.Syntax
lhsDestructor	FreeC.Backend.Agda.Syntax
lhsExpandedEllipsis	FreeC.Backend.Agda.Syntax
lhsFocus	FreeC.Backend.Agda.Syntax
LHSHead	FreeC.Backend.Agda.Syntax
lhsHead	FreeC.Backend.Agda.Syntax
lhsOriginalPattern	FreeC.Backend.Agda.Syntax
lhsPats	FreeC.Backend.Agda.Syntax
lhsPatsLeft	FreeC.Backend.Agda.Syntax
LHSProj	FreeC.Backend.Agda.Syntax
lhsRewriteEqn	FreeC.Backend.Agda.Syntax
LHSWith	FreeC.Backend.Agda.Syntax
lhsWithExpr	FreeC.Backend.Agda.Syntax
lhsWithPatterns	FreeC.Backend.Agda.Syntax
lift	FreeC.Monad.Reporter, FreeC.Monad.Converter
lift'	FreeC.Monad.Converter
liftConArgType	FreeC.LiftedIR.Converter.Type
liftConverter	FreeC.Monad.Converter
liftExpr	FreeC.LiftedIR.Converter.Expr
liftFuncArgTypes	FreeC.LiftedIR.Converter.Type
liftIO	FreeC.Monad.Reporter
liftReporter	FreeC.Monad.Reporter
liftType	FreeC.LiftedIR.Converter.Type
liftType'	FreeC.LiftedIR.Converter.Type
liftVarPatType	FreeC.LiftedIR.Converter.Type
line	FreeC.Pretty
LinearIf	FreeC.Backend.Coq.Syntax
linebreak	FreeC.Pretty
LineComment	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
list	FreeC.Pretty
listTypeConName	FreeC.IR.Base.Prelude
Lit	FreeC.Backend.Agda.Syntax
LitP	FreeC.Backend.Agda.Syntax
lModCohesion	FreeC.Backend.Agda.Syntax
lModQuantity	FreeC.Backend.Agda.Syntax
lModRelevance	FreeC.Backend.Agda.Syntax
loadConfig	FreeC.Util.Config
loadModuleInterface	FreeC.Environment.ModuleInterface.Decoder
Local	FreeC.Backend.Coq.Syntax
localEnv	FreeC.Monad.Converter
Locality	FreeC.Backend.Coq.Syntax
LocalModule
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
LocalModuleSentence	FreeC.Backend.Coq.Syntax
lookupAgdaFreshIdentOrFail	FreeC.Environment.LookupOrFail
lookupAgdaIdentOrFail	FreeC.Environment.LookupOrFail
lookupAgdaSmartIdentOrFail	FreeC.Environment.LookupOrFail
lookupAgdaTypeIdentOrFail	FreeC.Environment.LookupOrFail
lookupAgdaValIdentOrFail	FreeC.Environment.LookupOrFail
lookupArgTypes	FreeC.Environment
lookupArity	FreeC.Environment
lookupAvailableModule	FreeC.Environment
lookupAvailableModuleOrFail	FreeC.Environment.LookupOrFail
lookupDecArg	FreeC.Environment
lookupDecArgIdent	FreeC.Environment
lookupDecArgIndex	FreeC.Environment
lookupDepth	FreeC.Backend.Coq.Analysis.DecreasingArguments
lookupEffects	FreeC.Environment
lookupEntry	FreeC.Environment
lookupEntryOrFail	FreeC.Environment.LookupOrFail
lookupIdent	FreeC.Environment
lookupIdentOrFail	FreeC.Environment.LookupOrFail
lookupModName	FreeC.Environment
lookupReturnType	FreeC.Environment
lookupSmartIdent	FreeC.Environment
lookupSmartIdentOrFail	FreeC.Environment.LookupOrFail
lookupSrcFile	FreeC.IR.SrcSpan
lookupSrcSpan	FreeC.Environment
lookupStrictArgs	FreeC.Environment
lookupTypeArgArity	FreeC.Environment
lookupTypeArgs	FreeC.Environment
lookupTypeScheme	FreeC.Environment
lookupTypeSynonym	FreeC.Environment
lookupUnQualAgdaIdentOrFail	FreeC.Environment.LookupOrFail
lookupUnQualAgdaSmartIdentOrFail	FreeC.Environment.LookupOrFail
LParen	FreeC.Frontend.IR.Token
lparen	FreeC.Pretty