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 - I

Id	FreeC.Backend.Agda.Syntax
Ident
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
3 (Data Constructor)	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
4 (Data Constructor)	FreeC.Backend.Agda.Syntax
ident
1 (Function)	FreeC.Backend.Coq.Syntax
2 (Function)	FreeC.Backend.Agda.Syntax
identFromName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
identFromQName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
identifyConstArgs	FreeC.Backend.Coq.Analysis.ConstantArguments
identifyDecArgs	FreeC.Backend.Coq.Analysis.DecreasingArguments
identitySubst	FreeC.IR.Subst
IdentP	FreeC.Backend.Agda.Syntax
IdiomBrackets	FreeC.Backend.Agda.Syntax
IdPart	FreeC.Backend.Agda.Syntax
idPos	FreeC.Backend.Coq.Base
idShape	FreeC.Backend.Coq.Base
iEnd	FreeC.Backend.Agda.Syntax
IF	FreeC.Frontend.IR.Token
If
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
ifExprCond
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
ifExprElse
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
ifExprThen
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
IfStyle	FreeC.Backend.Coq.Syntax
ifThenElse	FreeC.Backend.Agda.Syntax
iLength	FreeC.Backend.Agda.Syntax
Implicit	FreeC.Backend.Coq.Syntax
implicitArg	FreeC.Backend.Coq.Base
implicitPreludePass	FreeC.Pass.ImplicitPreludePass
IMPORT	FreeC.Frontend.IR.Token
Import
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
ImportDecl
1 (Type/Class)	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
ImportDirective
1 (Data Constructor)	FreeC.Backend.Agda.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
ImportDirective'	FreeC.Backend.Agda.Syntax
importDirRange	FreeC.Backend.Agda.Syntax
ImportedModule	FreeC.Backend.Agda.Syntax
ImportedName
1 (Data Constructor)	FreeC.Backend.Agda.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
ImportedName'	FreeC.Backend.Agda.Syntax
ImportExport	FreeC.Backend.Coq.Syntax
importName	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
importPass	FreeC.Pass.ImportPass
imports
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
importSrcSpan	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
ImpossiblePragma	FreeC.Backend.Agda.Syntax
impRenaming	FreeC.Backend.Agda.Syntax
IN	FreeC.Frontend.IR.Token
IndBody
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
indent	FreeC.Pretty
Induction	FreeC.Backend.Agda.Syntax
Inductive
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
InductiveSentence	FreeC.Backend.Coq.Syntax
inEnv	FreeC.Monad.Converter
Inferred	FreeC.Backend.Coq.Syntax
inferredFun	FreeC.Backend.Coq.Syntax
Infix	FreeC.Backend.Agda.Syntax
InfixDef	FreeC.Backend.Agda.Syntax
InfixDefinition	FreeC.Backend.Coq.Syntax
InfixPat	FreeC.Backend.Coq.Syntax
Info	FreeC.Monad.Reporter
initDepthMap	FreeC.Backend.Coq.Analysis.DecreasingArguments
InjectivePragma	FreeC.Backend.Agda.Syntax
inlineExpr	FreeC.IR.Inlining
inlineFuncDecls	FreeC.IR.Inlining
inlineLambdaExpr	FreeC.Pass.InlineLambdaPass
inlineLambdaPass	FreeC.Pass.InlineLambdaPass
InlinePragma	FreeC.Backend.Agda.Syntax
InScope
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
InScopePat	FreeC.Backend.Coq.Syntax
Inserted	FreeC.Backend.Agda.Syntax
Instance	FreeC.Backend.Agda.Syntax
InstanceArg	FreeC.Backend.Agda.Syntax
InstanceB	FreeC.Backend.Agda.Syntax
InstanceDef	FreeC.Backend.Agda.Syntax
InstanceDefinition
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
InstanceP	FreeC.Backend.Agda.Syntax
InstanceSentence	FreeC.Backend.Coq.Syntax
InstanceTerm	FreeC.Backend.Coq.Syntax
instantiateTypeScheme	FreeC.IR.TypeScheme
instantiateTypeScheme'	FreeC.IR.TypeScheme
int	FreeC.Pretty
integer	FreeC.Pretty
integerScope	FreeC.Backend.Coq.Base
integerTypeConName	FreeC.IR.Base.Prelude
InteractionId
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
interactionId	FreeC.Backend.Agda.Syntax
interfaceAgdaLibName	FreeC.Environment.ModuleInterface
interfaceEntries	FreeC.Environment.ModuleInterface
interfaceExports	FreeC.Environment.ModuleInterface
interfaceLibName	FreeC.Environment.ModuleInterface
interfaceModName	FreeC.Environment.ModuleInterface
interleaveRanges	FreeC.Backend.Agda.Syntax
Internal	FreeC.Monad.Reporter
internalIdentChar	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
Interval
1 (Data Constructor)	FreeC.Backend.Agda.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
Interval'	FreeC.Backend.Agda.Syntax
intervalInvariant	FreeC.Backend.Agda.Syntax
intervalsToRange	FreeC.Backend.Agda.Syntax
intervalToRange	FreeC.Backend.Agda.Syntax
IntervalWithoutFile	FreeC.Backend.Agda.Syntax
IntLiteral
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
intLiteral	FreeC.Backend.Agda.Syntax
intLiteralValue
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
IntToken	FreeC.Frontend.IR.Token
inverseApplyCohesion	FreeC.Backend.Agda.Syntax
inverseApplyModality	FreeC.Backend.Agda.Syntax
inverseApplyQuantity	FreeC.Backend.Agda.Syntax
inverseApplyRelevance	FreeC.Backend.Agda.Syntax
inverseComposeCohesion	FreeC.Backend.Agda.Syntax
inverseComposeModality	FreeC.Backend.Agda.Syntax
inverseComposeQuantity	FreeC.Backend.Agda.Syntax
inverseComposeRelevance	FreeC.Backend.Agda.Syntax
Invert	FreeC.Backend.Agda.Syntax
Irrelevant	FreeC.Backend.Agda.Syntax
irrToNonStrict	FreeC.Backend.Agda.Syntax
IsAbstract	FreeC.Backend.Agda.Syntax
isAbsurdP	FreeC.Backend.Agda.Syntax
isBinderP	FreeC.Backend.Agda.Syntax
isConEntry	FreeC.Environment.Entry
isConRef	FreeC.IR.Reference
IsData	FreeC.Backend.Agda.Syntax
isDataEntry	FreeC.Environment.Entry
isDefaultImportDir	FreeC.Backend.Agda.Syntax
isEmpty	FreeC.Pretty
isFatal	FreeC.Monad.Reporter
isFuncEntry	FreeC.Environment.Entry
isFunction	FreeC.Environment
isFuncType	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
isHole	FreeC.Backend.Agda.Syntax
IsInfix	FreeC.Backend.Agda.Syntax
isInfix	FreeC.Backend.Agda.Syntax
isInScope	FreeC.Backend.Agda.Syntax
isInsertedHidden	FreeC.Backend.Agda.Syntax
IsInstance	FreeC.Backend.Agda.Syntax
isInstance	FreeC.Backend.Agda.Syntax
isInternalIdent	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
isInternalName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
isInternalQName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
isIrrelevant	FreeC.Backend.Agda.Syntax
IsMacro	FreeC.Backend.Agda.Syntax
isModuleAvailable	FreeC.Environment
IsNoName	FreeC.Backend.Agda.Syntax
isNoName	FreeC.Backend.Agda.Syntax
isNonfix	FreeC.Backend.Agda.Syntax
isNonStrict	FreeC.Backend.Agda.Syntax
isOpenMixfix	FreeC.Backend.Agda.Syntax
isOperator	FreeC.Backend.Agda.Syntax
isOverlappable	FreeC.Backend.Agda.Syntax
isPattern	FreeC.Backend.Agda.Syntax
isPostfix	FreeC.Backend.Agda.Syntax
isPrefix	FreeC.Backend.Agda.Syntax
isPureVar	FreeC.Environment
isQualified	FreeC.Backend.Agda.Syntax
IsRecord	FreeC.Backend.Agda.Syntax
isRelevant	FreeC.Backend.Agda.Syntax
isSingleIdentifierP	FreeC.Backend.Agda.Syntax
isStripped	FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances
iStart	FreeC.Backend.Agda.Syntax
isTopLevelEntry	FreeC.Environment.Entry
isTopLevelFuncDecl	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
isTopLevelTypeDecl	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
isTopLevelTypeSig	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
isTypeApp	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
isTypeCon	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
isTypeRef	FreeC.IR.Reference
isTypeSynDecl	FreeC.Backend.Coq.Converter.TypeDecl
isTypeSynEntry	FreeC.Environment.Entry
isTypeVar	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
isTypeVarEntry	FreeC.Environment.Entry
isUnderscore	FreeC.Backend.Agda.Syntax
isUnqualified	FreeC.Backend.Agda.Syntax
isValueRef	FreeC.IR.Reference
isVarEntry	FreeC.Environment.Entry
isVariable	FreeC.Environment
isVarRef	FreeC.IR.Reference