Index

.&&.	FreeC.Util.Predicate
.\|\|.	FreeC.Util.Predicate
.\|\|^.	FreeC.Util.Predicate
<$$>	FreeC.Pretty
<++>	FreeC.Pretty
<+>	FreeC.Pretty
<//>	FreeC.Pretty
</>	FreeC.Pretty
above	FreeC.IR.Subterm
Abstract	FreeC.Backend.Agda.Syntax
AbstractDef	FreeC.Backend.Agda.Syntax
abstractTypeScheme	FreeC.IR.TypeScheme
abstractTypeScheme'	FreeC.IR.TypeScheme
Absurd	FreeC.Backend.Agda.Syntax
AbsurdLam	FreeC.Backend.Agda.Syntax
AbsurdP	FreeC.Backend.Agda.Syntax
AbsurdRHS	FreeC.Backend.Agda.Syntax
Access	FreeC.Backend.Agda.Syntax
access	FreeC.Backend.Coq.Syntax
AccessIdent	FreeC.Backend.Coq.Syntax
addCohesion	FreeC.Backend.Agda.Syntax
addEffectsToEntry	FreeC.Environment
addEntry	FreeC.Environment
addFreeArgs	FreeC.Backend.Agda.Converter.Free
addModality	FreeC.Backend.Agda.Syntax
addPartial	FreeC.Backend.Agda.Converter.Free
addQuantity	FreeC.Backend.Agda.Syntax
addRelevance	FreeC.Backend.Agda.Syntax
AgdaFileType	FreeC.Backend.Agda.Syntax
agdaKeywords	FreeC.Backend.Agda.Keywords
align	FreeC.Pretty
allCohesions	FreeC.Backend.Agda.Syntax
allPos	FreeC.IR.Subterm
allRelevances	FreeC.Backend.Agda.Syntax
Alt
1 (Type/Class)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Type/Class)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
4 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
altConPat
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
altRhs
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
altSrcSpan
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
altVarPats
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
ancestorPos	FreeC.IR.Subterm
angles	FreeC.Pretty
AnyIsAbstract	FreeC.Backend.Agda.Syntax
anyIsAbstract	FreeC.Backend.Agda.Syntax
AnyWhere	FreeC.Backend.Agda.Syntax
App
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
4 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
app
1 (Function)	FreeC.Backend.Coq.Syntax
2 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Function)	FreeC.Backend.Agda.Syntax
appendArgNames	FreeC.Backend.Agda.Syntax
applyCohesion	FreeC.Backend.Agda.Syntax
applyFreeArgs	FreeC.Backend.Agda.Converter.Free
applyModality	FreeC.Backend.Agda.Syntax
applyQuantity	FreeC.Backend.Agda.Syntax
applyRelevance	FreeC.Backend.Agda.Syntax
ApplySubst	FreeC.IR.Subst
applySubst	FreeC.IR.Subst
appN	FreeC.Backend.Agda.Syntax
AppP	FreeC.Backend.Agda.Syntax
appP	FreeC.Backend.Agda.Syntax
AppView
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
appView	FreeC.Backend.Agda.Syntax
Arg
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
ArgExplicit	FreeC.Backend.Coq.Syntax
ArgImplicit	FreeC.Backend.Coq.Syntax
ArgInfo
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
argInfo	FreeC.Backend.Agda.Syntax
argInfoFreeVariables	FreeC.Backend.Agda.Syntax
argInfoHiding	FreeC.Backend.Agda.Syntax
argInfoModality	FreeC.Backend.Agda.Syntax
argInfoOrigin	FreeC.Backend.Agda.Syntax
ArgMaximal	FreeC.Backend.Coq.Syntax
ArgName	FreeC.Backend.Agda.Syntax
argNameToString	FreeC.Backend.Agda.Syntax
ArgsPat	FreeC.Backend.Coq.Syntax
ArgumentExplicitness	FreeC.Backend.Coq.Syntax
Arguments
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
ArgumentSpec
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
ArgumentsSentence	FreeC.Backend.Coq.Syntax
Arity	FreeC.Backend.Agda.Syntax
Arrow	FreeC.Backend.Coq.Syntax
arrows	FreeC.Backend.Coq.Syntax
As	FreeC.Backend.Agda.Syntax
AsName
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
asName	FreeC.Backend.Agda.Syntax
AsName'	FreeC.Backend.Agda.Syntax
AsP	FreeC.Backend.Agda.Syntax
AsPat	FreeC.Backend.Coq.Syntax
asRange	FreeC.Backend.Agda.Syntax
Assertion
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
AssertionKeyword	FreeC.Backend.Coq.Syntax
AssertionSentence	FreeC.Backend.Coq.Syntax
Associativity
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
Assumption
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
AssumptionKeyword	FreeC.Backend.Coq.Syntax
AssumptionSentence	FreeC.Backend.Coq.Syntax
Assums
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
At	FreeC.Frontend.IR.Token
Axiom	FreeC.Backend.Coq.Syntax
Axioms	FreeC.Backend.Coq.Syntax
backslash	FreeC.Pretty
backupPos	FreeC.Backend.Agda.Syntax
Bang
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Frontend.IR.Token
Bare	FreeC.Backend.Coq.Syntax
bare	FreeC.Backend.Coq.Syntax
bareNameOf	FreeC.Backend.Agda.Syntax
bareNameWithDefault	FreeC.Backend.Agda.Syntax
baseLibName
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
Beginning	FreeC.Backend.Agda.Syntax
beginningOf	FreeC.Backend.Agda.Syntax
beginningOfFile	FreeC.Backend.Agda.Syntax
below	FreeC.IR.Subterm
beside	FreeC.Pretty
bestConInfo	FreeC.Backend.Agda.Syntax
Bind
1 (Type/Class)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
bind	FreeC.Backend.Agda.Converter.Free
Binder
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
Binder'	FreeC.Backend.Agda.Syntax
binderName	FreeC.Backend.Agda.Syntax
binderPattern	FreeC.Backend.Agda.Syntax
Binders	FreeC.Backend.Coq.Syntax
bindExpr	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
BindHole	FreeC.Backend.Agda.Syntax
binding	FreeC.Backend.Agda.Syntax
bindSrcSpan	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
bindVarPat	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
blankProof	FreeC.Backend.Coq.Syntax
BlockComment	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
BName	FreeC.Backend.Agda.Syntax
bnameFixity	FreeC.Backend.Agda.Syntax
bnameTactic	FreeC.Backend.Agda.Syntax
bool	FreeC.Pretty
boolTypeConName	FreeC.IR.Base.Prelude
BoundName	FreeC.Backend.Agda.Syntax
boundName	FreeC.Backend.Agda.Syntax
boundVarsAt	FreeC.IR.Subterm
boundVarsOf	FreeC.IR.Subterm
boundVarsWithTypeAt	FreeC.IR.Subterm
boundVarsWithTypeOf	FreeC.IR.Subterm
braces	FreeC.Pretty
brackets	FreeC.Pretty
BuiltinPragma	FreeC.Backend.Agda.Syntax
CASE	FreeC.Frontend.IR.Token
Case
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
caseExprAlts
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
caseExprScrutinee
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
caseOf	FreeC.Backend.Agda.Syntax
CaseSplit	FreeC.Backend.Agda.Syntax
cat	FreeC.Pretty
CatchallPragma	FreeC.Backend.Agda.Syntax
char	FreeC.Pretty
checkPatternFuncDecl	FreeC.Pass.CompletePatternPass
CheckType	FreeC.Backend.Coq.Syntax
checkType	FreeC.Pass.KindCheckPass
childTerms	FreeC.IR.Subterm
ClassDefinition
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
ClassSentence	FreeC.Backend.Coq.Syntax
Cofix	FreeC.Backend.Coq.Syntax
CoFixpoint	FreeC.Backend.Coq.Syntax
Cohesion	FreeC.Backend.Agda.Syntax
CoInductive
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
colon	FreeC.Pretty
column	FreeC.Pretty
Comma	FreeC.Frontend.IR.Token
comma	FreeC.Pretty
Comment
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
3 (Type/Class)	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
comment	FreeC.Backend.Coq.Syntax
commentedSentences	FreeC.Backend.Coq.Syntax
CommentSentence	FreeC.Backend.Coq.Syntax
commentSrcSpan	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
commentText	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
CompilePragma	FreeC.Backend.Agda.Syntax
completePatternPass	FreeC.Pass.CompletePatternPass
composeCohesion	FreeC.Backend.Agda.Syntax
composeModality	FreeC.Backend.Agda.Syntax
composeQuantity	FreeC.Backend.Agda.Syntax
composeRelevance	FreeC.Backend.Agda.Syntax
composeSubst	FreeC.IR.Subst
composeSubsts	FreeC.IR.Subst
Con
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
conApp	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
ConcreteDef	FreeC.Backend.Agda.Syntax
ConDecl
1 (Type/Class)	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
conDeclFields	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
conDeclIdent	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
conDeclName	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
conDeclQName	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
conDeclSrcSpan	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
ConEntry	FreeC.Environment.Entry
ConIdent	FreeC.Frontend.IR.Token
conj	FreeC.Backend.Coq.Syntax
Conjecture	FreeC.Backend.Coq.Syntax
ConName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
ConOCon	FreeC.Backend.Agda.Syntax
ConORec	FreeC.Backend.Agda.Syntax
ConOrigin	FreeC.Backend.Agda.Syntax
ConOSplit	FreeC.Backend.Agda.Syntax
ConOSystem	FreeC.Backend.Agda.Syntax
ConPat
1 (Type/Class)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Type/Class)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
4 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
conPatName
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
conPatSrcSpan
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
conPatToExpr	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
ConRef	FreeC.IR.Reference
consConName	FreeC.IR.Base.Prelude
consecutiveAndSeparated	FreeC.Backend.Agda.Syntax
consPos	FreeC.IR.Subterm
ConstArg
1 (Type/Class)	FreeC.Backend.Coq.Analysis.ConstantArguments
2 (Data Constructor)	FreeC.Backend.Coq.Analysis.ConstantArguments
constArgFreshIdent	FreeC.Backend.Coq.Analysis.ConstantArguments
constArgIdents	FreeC.Backend.Coq.Analysis.ConstantArguments
constArgIndicies	FreeC.Backend.Coq.Analysis.ConstantArguments
Constr
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
ConSymbol	FreeC.Frontend.IR.Token
context	FreeC.Backend.Coq.Syntax
ContextSentence	FreeC.Backend.Coq.Syntax
Continuous	FreeC.Backend.Agda.Syntax
continuous	FreeC.Backend.Agda.Syntax
continuousPerLine	FreeC.Backend.Agda.Syntax
convertAnonymousArg	FreeC.Backend.Coq.Converter.Arg
convertArg
1 (Function)	FreeC.Backend.Coq.Converter.Arg
2 (Function)	FreeC.Backend.Agda.Converter.Arg
convertDataDecl	FreeC.Backend.Coq.Converter.TypeDecl, FreeC.Backend.Coq.Converter
convertDataDecls	FreeC.Backend.Coq.Converter.TypeDecl, FreeC.Backend.Coq.Converter
convertDecls	FreeC.Backend.Coq.Converter.Module, FreeC.Backend.Coq.Converter
Converter	FreeC.Monad.Converter
ConverterIO	FreeC.Monad.Converter
ConverterT	FreeC.Monad.Converter
convertExpr	FreeC.Backend.Coq.Converter.Expr, FreeC.Backend.Coq.Converter
convertFuncComponent	FreeC.Backend.Coq.Converter.FuncDecl, FreeC.Backend.Coq.Converter
convertFuncDecls
1 (Function)	FreeC.Backend.Coq.Converter.FuncDecl, FreeC.Backend.Coq.Converter
2 (Function)	FreeC.Backend.Agda.Converter.FuncDecl, FreeC.Backend.Agda.Converter
convertFuncHead	FreeC.Backend.Coq.Converter.FuncDecl.Common
ConvertibleSrcSpan	FreeC.IR.SrcSpan, FreeC.Frontend.Haskell.SrcSpanConverter
convertImportDecl
1 (Function)	FreeC.Backend.Coq.Converter.Module
2 (Function)	FreeC.Backend.Agda.Converter.Module
convertImportDecls
1 (Function)	FreeC.Backend.Coq.Converter.Module
2 (Function)	FreeC.Backend.Agda.Converter.Module
convertLiftedAlt	FreeC.Backend.Coq.Converter.Expr
convertLiftedConType	FreeC.Backend.Agda.Converter.Type
convertLiftedExpr
1 (Function)	FreeC.Backend.Coq.Converter.Expr
2 (Function)	FreeC.Backend.Agda.Converter.Expr
convertLiftedFuncType	FreeC.Backend.Agda.Converter.Type
convertLiftedType	FreeC.Backend.Coq.Converter.Type
convertModName	FreeC.Backend.Agda.Converter.Module
convertModule
1 (Function)	FreeC.Backend.Coq.Converter.Module, FreeC.Backend.Coq.Converter
2 (Function)	FreeC.Backend.Agda.Converter.Module, FreeC.Backend.Agda.Converter
convertNonRecFuncDecl	FreeC.Backend.Coq.Converter.FuncDecl.NonRec, FreeC.Backend.Coq.Converter
convertNonRecFuncDecls	FreeC.Backend.Coq.Converter.FuncDecl.NonRec
convertRecFuncDecls	FreeC.Backend.Coq.Converter.FuncDecl.Rec, FreeC.Backend.Coq.Converter
convertRecFuncDeclsWithHelpers	FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithHelpers
convertRecFuncDeclsWithHelpers'	FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithHelpers
convertRecFuncDeclsWithSection	FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithSections
convertSrcSpan	FreeC.IR.SrcSpan, FreeC.Frontend.Haskell.SrcSpanConverter
convertType	FreeC.Backend.Coq.Converter.Type, FreeC.Backend.Coq.Converter
convertType'	FreeC.Backend.Coq.Converter.Type, FreeC.Backend.Coq.Converter
convertTypeComponent	FreeC.Backend.Coq.Converter.TypeDecl, FreeC.Backend.Coq.Converter
convertTypeDecls
1 (Function)	FreeC.Backend.Coq.Converter.Module, FreeC.Backend.Coq.Converter
2 (Function)	FreeC.Backend.Agda.Converter.TypeDecl, FreeC.Backend.Agda.Converter
convertTypeSynDecl	FreeC.Backend.Coq.Converter.TypeDecl
convertTypeVarDecl	FreeC.Backend.Agda.Converter.Arg
convertTypeVarDecls	FreeC.Backend.Coq.Converter.Arg
convertTypeVarDecls'	FreeC.Backend.Coq.Converter.Arg
coqKeywords	FreeC.Backend.Coq.Keywords
Corollary	FreeC.Backend.Coq.Syntax
countTelVars	FreeC.Backend.Agda.Syntax
CoverageCheck	FreeC.Backend.Agda.Syntax
customPragmaPrefix	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
DATA	FreeC.Frontend.IR.Token
Data	FreeC.Backend.Agda.Syntax
DataDecl	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
dataDecl	FreeC.Backend.Agda.Syntax
dataDeclCons	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
DataDef	FreeC.Backend.Agda.Syntax
DataEntry	FreeC.Environment.Entry
DataOrRecord	FreeC.Backend.Agda.Syntax
DataSig	FreeC.Backend.Agda.Syntax
Debug	FreeC.Monad.Reporter
DecArgIndex	FreeC.Backend.Coq.Analysis.DecreasingArguments
DecArgPragma	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
decArgPragmaArg	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
decArgPragmaFuncName	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
Declaration	FreeC.Backend.Agda.Syntax
DeclIdent
1 (Type/Class)	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
declIdent	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
declIdentName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
declIdentSrcSpan	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
declName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
declQName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
decreasing	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
defaultArg	FreeC.Backend.Agda.Syntax
defaultArgInfo	FreeC.Backend.Agda.Syntax
defaultCohesion	FreeC.Backend.Agda.Syntax
defaultFixity	FreeC.Backend.Agda.Syntax
defaultImportDir	FreeC.Backend.Agda.Syntax
defaultModality	FreeC.Backend.Agda.Syntax
defaultNamedArg	FreeC.Backend.Agda.Syntax
defaultQuantity	FreeC.Backend.Agda.Syntax
defaultRelevance	FreeC.Backend.Agda.Syntax
defineDecArg	FreeC.Environment
defineFuncDeclsPass	FreeC.Pass.DefineDeclPass
defineTypeDeclsPass	FreeC.Pass.DefineDeclPass
Definition
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Coq.Syntax
DefinitionDef	FreeC.Backend.Coq.Syntax
DefinitionSentence	FreeC.Backend.Coq.Syntax
definitionSentence	FreeC.Backend.Coq.Syntax
Delayed
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
dependencyAnalysisPass	FreeC.Pass.DependencyAnalysisPass
DependencyAwarePass	FreeC.Pass.DependencyAnalysisPass
DependencyComponent	FreeC.IR.DependencyGraph
dependencyComponents	FreeC.IR.DependencyGraph
DependencyGraph
1 (Type/Class)	FreeC.IR.DependencyGraph
2 (Data Constructor)	FreeC.IR.DependencyGraph
dependsDirectlyOn	FreeC.IR.DependencyGraph
DepRetType
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
DepthMap	FreeC.Backend.Coq.Analysis.DecreasingArguments
depthMapAt	FreeC.Backend.Coq.Analysis.DecreasingArguments
dgEntries	FreeC.IR.DependencyGraph
DGEntry	FreeC.IR.DependencyGraph
dgGetEntry	FreeC.IR.DependencyGraph
dgGetVertex	FreeC.IR.DependencyGraph
dgGraph	FreeC.IR.DependencyGraph
DGKey	FreeC.IR.DependencyGraph
Direction	FreeC.Backend.Coq.Syntax
disj	FreeC.Backend.Coq.Syntax
displayB	FreeC.Pretty
displayIO	FreeC.Pretty
DisplayPragma	FreeC.Backend.Agda.Syntax
displayT	FreeC.Pretty
displayTStrict	FreeC.Pretty
DoBind	FreeC.Backend.Agda.Syntax
DoBlock	FreeC.Backend.Agda.Syntax
Doc	FreeC.Pretty
DoLet	FreeC.Backend.Agda.Syntax
DomainFree	FreeC.Backend.Agda.Syntax
DomainFull	FreeC.Backend.Agda.Syntax
DontCare	FreeC.Backend.Agda.Syntax
DontOpen	FreeC.Backend.Agda.Syntax
DoOpen	FreeC.Backend.Agda.Syntax
DoStmt	FreeC.Backend.Agda.Syntax
Dot
1 (Data Constructor)	FreeC.Frontend.IR.Token
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
dot	FreeC.Pretty
DoThen	FreeC.Backend.Agda.Syntax
DotP	FreeC.Backend.Agda.Syntax
double	FreeC.Pretty
DoubleColon	FreeC.Frontend.IR.Token
DoubleDot	FreeC.Backend.Agda.Syntax
dquote	FreeC.Pretty
dquotes	FreeC.Pretty
Effect	FreeC.LiftedIR.Effect
effectAnalysisPass	FreeC.Pass.EffectAnalysisPass
Ellipsis	FreeC.Backend.Agda.Syntax
EllipsisP	FreeC.Backend.Agda.Syntax
ellipsisRange	FreeC.Backend.Agda.Syntax
ellipsisWithArgs	FreeC.Backend.Agda.Syntax
ELSE	FreeC.Frontend.IR.Token
empty	FreeC.Pretty
emptyEnv	FreeC.Environment
encapsulatesEffects	FreeC.Environment
enclose	FreeC.Pretty
encloseSep	FreeC.Pretty
End	FreeC.Backend.Agda.Syntax
entryAgdaIdent	FreeC.Environment.Entry
entryAgdaSmartIdent	FreeC.Environment.Entry
entryArgTypes	FreeC.Environment.Entry
entryArity	FreeC.Environment.Entry
entryConsNames	FreeC.Environment.Entry
entryEffects	FreeC.Environment.Entry
entryEncapsulatesEffects	FreeC.Environment.Entry
entryHasSmartIdent	FreeC.Environment.Entry
entryIdent	FreeC.Environment.Entry
entryIsPure	FreeC.Environment.Entry
entryName	FreeC.Environment.Entry
entryNeedsFreeArgs	FreeC.Environment.Entry
entryReturnType	FreeC.Environment.Entry
entryScope	FreeC.Environment.Entry
entryScopedName	FreeC.Environment.Entry
entrySmartIdent	FreeC.Environment.Entry
entrySrcSpan	FreeC.Environment.Entry
entryStrictArgs	FreeC.Environment.Entry
entryType	FreeC.Environment.Entry
entryTypeArgs	FreeC.Environment.Entry
entryTypeSyn	FreeC.Environment.Entry
envAvailableModules	FreeC.Environment
envDecArgs	FreeC.Environment
envEntries	FreeC.Environment
EnvEntry	FreeC.Environment.Entry
envFreshIdentCount	FreeC.Environment
Environment
1 (Type/Class)	FreeC.Environment
2 (Data Constructor)	FreeC.Environment
Equal	FreeC.Backend.Agda.Syntax
EqualP	FreeC.Backend.Agda.Syntax
Equals	FreeC.Frontend.IR.Token
equals
1 (Function)	FreeC.Backend.Coq.Syntax
2 (Function)	FreeC.Pretty
Equation
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
equation	FreeC.Backend.Coq.Syntax
ERROR	FreeC.Frontend.IR.Token
Error	FreeC.Monad.Reporter
ErrorExpr
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
errorExpr	FreeC.Backend.Agda.Converter.Free
errorExprMsg	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
errorFuncName	FreeC.IR.Base.Prelude
etaConversionPass	FreeC.Pass.EtaConversionPass
etaConvertExpr	FreeC.Pass.EtaConversionPass
etaConvertFuncDecl	FreeC.Pass.EtaConversionPass
EtaPragma	FreeC.Backend.Agda.Syntax
ETel	FreeC.Backend.Agda.Syntax
evalConverter	FreeC.Monad.Converter
evalConverterT	FreeC.Monad.Converter
evalReporter	FreeC.Monad.Reporter
Example	FreeC.Backend.Coq.Syntax
execConverter	FreeC.Monad.Converter
execConverterT	FreeC.Monad.Converter
ExistingClassSentence	FreeC.Backend.Coq.Syntax
expandAllTypeSynonyms	FreeC.IR.TypeSynExpansion
expandAllTypeSynonymsInConDecl	FreeC.IR.TypeSynExpansion
expandAllTypeSynonymsInConDeclWhere	FreeC.IR.TypeSynExpansion
expandAllTypeSynonymsInDecl	FreeC.IR.TypeSynExpansion
expandAllTypeSynonymsInDeclWhere	FreeC.IR.TypeSynExpansion
expandAllTypeSynonymsWhere	FreeC.IR.TypeSynExpansion
ExpandedEllipsis
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
expandTypeSynonym	FreeC.IR.TypeSynExpansion
expandTypeSynonymAt	FreeC.IR.TypeSynExpansion
expandTypeSynonyms	FreeC.IR.TypeSynExpansion
expandTypeSynonymsWhere	FreeC.IR.TypeSynExpansion
Explicit	FreeC.Backend.Coq.Syntax
ExplicitApp	FreeC.Backend.Coq.Syntax
explicitApp	FreeC.Backend.Coq.Syntax
ExplicitArgsPat	FreeC.Backend.Coq.Syntax
ExplicitLevel	FreeC.Backend.Coq.Syntax
Explicitness	FreeC.Backend.Coq.Syntax
Export	FreeC.Backend.Coq.Syntax
exportPass	FreeC.Pass.ExportPass
Expr
1 (Type/Class)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
3 (Type/Class)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprAgdaVarName	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprAppArgs	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprAppFunc	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprAppLhs	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
exprAppRhs	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
exprAppTypeArgs	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprBindArg	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprBindCont	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprConName
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprCoqVarIdent	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprEffects	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprFieldA	FreeC.Backend.Agda.Syntax
exprFreeArgs	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprPureArg	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprScrSpan	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprShareArg	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprShareType	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprSrcSpan
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
exprType	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
exprTypeAppLhs	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
exprTypeAppRhs	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
exprTypeScheme	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
exprVarName
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
ExprWhere
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
ExtendedLam	FreeC.Backend.Agda.Syntax
extractModName	FreeC.Frontend.Haskell.Simplifier
Fact	FreeC.Backend.Coq.Syntax
Field	FreeC.Backend.Agda.Syntax
FieldAssignment
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
FieldAssignment'	FreeC.Backend.Agda.Syntax
FieldSig	FreeC.Backend.Agda.Syntax
FileSpan	FreeC.IR.SrcSpan
FileType	FreeC.Backend.Agda.Syntax
fill	FreeC.Pretty
fillBreak	FreeC.Pretty
fillCat	FreeC.Pretty
fillSep	FreeC.Pretty
filterSubst	FreeC.IR.Subst
findFirstSubterm	FreeC.IR.Subterm
findSubtermPos	FreeC.IR.Subterm
findSubterms	FreeC.IR.Subterm
findSubtermWithPos	FreeC.IR.Subterm
firstNonTakenName	FreeC.Backend.Agda.Syntax
fittingNamedArg	FreeC.Backend.Agda.Syntax
Fix	FreeC.Backend.Coq.Syntax
FixBodies	FreeC.Backend.Coq.Syntax
FixBody
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
Fixity
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
Fixity'
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
fixityAssoc	FreeC.Backend.Agda.Syntax
FixityLevel	FreeC.Backend.Agda.Syntax
fixityLevel	FreeC.Backend.Agda.Syntax
fixityRange	FreeC.Backend.Agda.Syntax
FixMany	FreeC.Backend.Coq.Syntax
FixOne	FreeC.Backend.Coq.Syntax
Fixpoint
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
FixpointSentence	FreeC.Backend.Coq.Syntax
Flat	FreeC.Backend.Agda.Syntax
flattenExpr	FreeC.Pass.FlattenExprPass
flattenExprPass	FreeC.Pass.FlattenExprPass
float	FreeC.Pretty
FORALL	FreeC.Frontend.IR.Token
Forall	FreeC.Backend.Coq.Syntax
ForeignPragma	FreeC.Backend.Agda.Syntax
forFree	FreeC.Backend.Coq.Base
free
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
3 (Function)	FreeC.Backend.Agda.Converter.Free
freeArgBinder	FreeC.Backend.Agda.Converter.Free
freeArgs	FreeC.Backend.Coq.Base
freeBind	FreeC.Backend.Coq.Base
freeImpureCon	FreeC.Backend.Coq.Base
freePureCon	FreeC.Backend.Coq.Base
FreeTypeCon	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
freeTypeVars	FreeC.IR.Reference
freeTypeVarSet	FreeC.IR.Reference
FreeVariables	FreeC.Backend.Agda.Syntax
freeVariablesFromList	FreeC.Backend.Agda.Syntax
freeVars	FreeC.IR.Reference
freeVarSet	FreeC.IR.Reference
freshAgdaVar	FreeC.Environment.Fresh
freshArgPrefix	FreeC.Environment.Fresh
freshBoolPrefix	FreeC.Environment.Fresh
freshCoqIdent	FreeC.Environment.Fresh
freshCoqQualid	FreeC.Environment.Fresh
FreshEntry	FreeC.Environment.Entry
freshFuncPrefix	FreeC.Environment.Fresh
freshHaskellIdent	FreeC.Environment.Fresh
freshHaskellName	FreeC.Environment.Fresh
freshHaskellQName	FreeC.Environment.Fresh
freshIRQName	FreeC.Environment.Fresh
freshNormalformArgPrefix	FreeC.Environment.Fresh
FreshScope	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
freshSharingArgPrefix	FreeC.Environment.Fresh
freshTypeArgPrefix	FreeC.Environment.Fresh
freshTypeVar	FreeC.Environment.Fresh
freshTypeVarPrefix	FreeC.Environment.Fresh
fromNonRecursive	FreeC.Backend.Coq.Converter.TypeDecl
fromOrdinary	FreeC.Backend.Agda.Syntax
Fun
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
fun
1 (Function)	FreeC.Backend.Coq.Syntax
2 (Function)	FreeC.Backend.Agda.Syntax
FuncDecl
1 (Type/Class)	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclArgs	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclIdent	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclName	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclQName	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclReturnType	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclRhs	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclSrcSpan	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclType	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclTypeArgs	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDeclTypeScheme	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
funcDef	FreeC.Backend.Agda.Syntax
FuncEntry	FreeC.Environment.Entry
FunClause	FreeC.Backend.Agda.Syntax
funcSig	FreeC.Backend.Agda.Syntax
FuncType
1 (Data Constructor)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
funcType
1 (Function)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
funcTypeArg
1 (Function)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
funcTypeRes
1 (Function)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
fuseIntervals	FreeC.Backend.Agda.Syntax
fuseRange	FreeC.Backend.Agda.Syntax
fuseRanges	FreeC.Backend.Agda.Syntax
Generalizability	FreeC.Backend.Coq.Syntax
Generalizable	FreeC.Backend.Coq.Syntax
Generalize	FreeC.Backend.Agda.Syntax
Generalized
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
generateArgBinder	FreeC.Backend.Coq.Converter.Arg
generateBind	FreeC.Backend.Coq.Converter.Free
generateBinds	FreeC.Backend.Coq.Converter.Free
generatedLibName
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
generateImport	FreeC.Backend.Coq.Converter.Module
generateInductionScheme	FreeC.Backend.Coq.Converter.TypeDecl.InductionScheme
generatePure
1 (Function)	FreeC.Backend.Coq.Converter.Free
2 (Function)	FreeC.Backend.Agda.Converter.Free
generateTypeclassInstances	FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances
genericApply	FreeC.Backend.Coq.Converter.Free
genericApply'	FreeC.Backend.Coq.Converter.Free
genericArgDecls	FreeC.Backend.Coq.Converter.Free
genericArgVariables	FreeC.Backend.Coq.Converter.Free
genericForFree	FreeC.Backend.Coq.Converter.Free
GenPart	FreeC.Backend.Agda.Syntax
getArgInfo	FreeC.Backend.Agda.Syntax
getCohesion	FreeC.Backend.Agda.Syntax
getCohesionMod	FreeC.Backend.Agda.Syntax
getEnv	FreeC.Monad.Converter
getFreeVariables	FreeC.Backend.Agda.Syntax
getFreeVariablesArgInfo	FreeC.Backend.Agda.Syntax
getFuncName	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
getHiding	FreeC.Backend.Agda.Syntax
getHidingArgInfo	FreeC.Backend.Agda.Syntax
getIntervalFile	FreeC.Backend.Agda.Syntax
getModality	FreeC.Backend.Agda.Syntax
getModalityArgInfo	FreeC.Backend.Agda.Syntax
getNameOf	FreeC.Backend.Agda.Syntax
getOrigin	FreeC.Backend.Agda.Syntax
getOriginArgInfo	FreeC.Backend.Agda.Syntax
getQuantity	FreeC.Backend.Agda.Syntax
getQuantityMod	FreeC.Backend.Agda.Syntax
getRange	FreeC.Backend.Agda.Syntax
getRelevance	FreeC.Backend.Agda.Syntax
getRelevanceMod	FreeC.Backend.Agda.Syntax
getToken	FreeC.Frontend.IR.Scanner
getTokenPos	FreeC.Frontend.IR.Scanner
getTypeConName	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
Global	FreeC.Backend.Coq.Syntax
group	FreeC.Pretty
groupModules	FreeC.IR.DependencyGraph
hang	FreeC.Pretty
HasDeclIdent	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
hasEffect	FreeC.Environment
HasEta	FreeC.Backend.Agda.Syntax
hasNoFreeVariables	FreeC.Backend.Agda.Syntax
hasQuantity0	FreeC.Backend.Agda.Syntax
hasQuantity1	FreeC.Backend.Agda.Syntax
hasQuantityω	FreeC.Backend.Agda.Syntax
HasRange	FreeC.Backend.Agda.Syntax
HasRefs	FreeC.IR.Reference
hasSourceCode	FreeC.IR.SrcSpan
hasSrcFileContents	FreeC.IR.SrcSpan
hasSrcSpanFile	FreeC.IR.SrcSpan
HasType	FreeC.Backend.Coq.Syntax
hcat	FreeC.Pretty
Hidden	FreeC.Backend.Agda.Syntax
hidden	FreeC.Backend.Agda.Syntax
HiddenArg	FreeC.Backend.Agda.Syntax
hiddenArg_	FreeC.Backend.Agda.Syntax
HiddenP	FreeC.Backend.Agda.Syntax
hide	FreeC.Backend.Agda.Syntax
hideOrKeepInstance	FreeC.Backend.Agda.Syntax
Hiding	FreeC.Backend.Agda.Syntax
hiding	FreeC.Backend.Agda.Syntax
Hint
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
HintConstants	FreeC.Backend.Coq.Syntax
HintConstructors	FreeC.Backend.Coq.Syntax
HintDefinition	FreeC.Backend.Coq.Syntax
HintExtern	FreeC.Backend.Coq.Syntax
HintImmediate	FreeC.Backend.Coq.Syntax
HintResolve	FreeC.Backend.Coq.Syntax
HintResolveImp	FreeC.Backend.Coq.Syntax
HintSentence	FreeC.Backend.Coq.Syntax
HintTransparency	FreeC.Backend.Coq.Syntax
HintUnfold	FreeC.Backend.Coq.Syntax
HintVariables	FreeC.Backend.Coq.Syntax
hoist	FreeC.Monad.Class.Hoistable, FreeC.Monad.Reporter, FreeC.Monad.Converter
Hoistable	FreeC.Monad.Class.Hoistable
hoistMaybe	FreeC.Monad.Class.Hoistable
Hole	FreeC.Backend.Agda.Syntax
HoleContent	FreeC.Backend.Agda.Syntax
HoleContent'	FreeC.Backend.Agda.Syntax
HoleContentExpr	FreeC.Backend.Agda.Syntax
HoleContentRewrite	FreeC.Backend.Agda.Syntax
hPutDoc	FreeC.Pretty
hPutPretty	FreeC.Pretty
hPutPrettyLn	FreeC.Pretty
HsChar	FreeC.Backend.Coq.Syntax
hsep	FreeC.Pretty
HsString	FreeC.Backend.Coq.Syntax
Hypotheses	FreeC.Backend.Coq.Syntax
Hypothesis	FreeC.Backend.Coq.Syntax
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
Keyword
1 (Type/Class)	FreeC.Frontend.IR.Token
2 (Data Constructor)	FreeC.Frontend.IR.Token
keywords	FreeC.Frontend.IR.Token
KillRange	FreeC.Backend.Agda.Syntax
killRange	FreeC.Backend.Agda.Syntax
killRange1	FreeC.Backend.Agda.Syntax
killRange10	FreeC.Backend.Agda.Syntax
killRange11	FreeC.Backend.Agda.Syntax
killRange12	FreeC.Backend.Agda.Syntax
killRange13	FreeC.Backend.Agda.Syntax
killRange14	FreeC.Backend.Agda.Syntax
killRange15	FreeC.Backend.Agda.Syntax
killRange16	FreeC.Backend.Agda.Syntax
killRange17	FreeC.Backend.Agda.Syntax
killRange18	FreeC.Backend.Agda.Syntax
killRange19	FreeC.Backend.Agda.Syntax
killRange2	FreeC.Backend.Agda.Syntax
killRange3	FreeC.Backend.Agda.Syntax
killRange4	FreeC.Backend.Agda.Syntax
killRange5	FreeC.Backend.Agda.Syntax
killRange6	FreeC.Backend.Agda.Syntax
killRange7	FreeC.Backend.Agda.Syntax
killRange8	FreeC.Backend.Agda.Syntax
killRange9	FreeC.Backend.Agda.Syntax
killRangeMap	FreeC.Backend.Agda.Syntax
KillRangeT	FreeC.Backend.Agda.Syntax
kindCheckPass	FreeC.Pass.KindCheckPass
KnownFVs	FreeC.Backend.Agda.Syntax
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
Macro	FreeC.Backend.Agda.Syntax
MacroDef	FreeC.Backend.Agda.Syntax
makeInstance	FreeC.Backend.Agda.Syntax
makeInstance'	FreeC.Backend.Agda.Syntax
makeModuleAvailable	FreeC.Environment
makePi	FreeC.Backend.Agda.Syntax
mapArgInfo	FreeC.Backend.Agda.Syntax
mapChildrenWithDepthMaps	FreeC.Backend.Coq.Analysis.DecreasingArguments
mapCohesion	FreeC.Backend.Agda.Syntax
mapCohesionMod	FreeC.Backend.Agda.Syntax
mapComponent	FreeC.IR.DependencyGraph
mapComponentM	FreeC.IR.DependencyGraph
mapComponentM_	FreeC.IR.DependencyGraph
mapFreeVariables	FreeC.Backend.Agda.Syntax
mapFreeVariablesArgInfo	FreeC.Backend.Agda.Syntax
mapHiding	FreeC.Backend.Agda.Syntax
mapHidingArgInfo	FreeC.Backend.Agda.Syntax
mapInScope	FreeC.Backend.Agda.Syntax
mapModality	FreeC.Backend.Agda.Syntax
mapModalityArgInfo	FreeC.Backend.Agda.Syntax
mapNameOf	FreeC.Backend.Agda.Syntax
mapOrigin	FreeC.Backend.Agda.Syntax
mapOriginArgInfo	FreeC.Backend.Agda.Syntax
mapQuantity	FreeC.Backend.Agda.Syntax
mapQuantityMod	FreeC.Backend.Agda.Syntax
mapRelevance	FreeC.Backend.Agda.Syntax
mapRelevanceMod	FreeC.Backend.Agda.Syntax
mapSubterms	FreeC.IR.Subterm
mapSubtermsM	FreeC.IR.Subterm
mapUsing	FreeC.Backend.Agda.Syntax
Match	FreeC.Backend.Coq.Syntax
match	FreeC.Backend.Coq.Syntax
MatchItem
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
MaybePlaceholder	FreeC.Backend.Agda.Syntax
MdFileType	FreeC.Backend.Agda.Syntax
MeasureOrder	FreeC.Backend.Coq.Syntax
mergeHiding	FreeC.Backend.Agda.Syntax
Message
1 (Type/Class)	FreeC.Monad.Reporter
2 (Data Constructor)	FreeC.Monad.Reporter
messages	FreeC.Monad.Reporter
MetaId
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
metaId	FreeC.Backend.Agda.Syntax
Middle	FreeC.Backend.Agda.Syntax
mkBinder	FreeC.Backend.Agda.Syntax
mkBinder_	FreeC.Backend.Agda.Syntax
mkBoundName	FreeC.Backend.Agda.Syntax
mkBoundName_	FreeC.Backend.Agda.Syntax
mkIdentToken	FreeC.Frontend.IR.Token
mkSrcFile	FreeC.IR.SrcSpan
mkSrcFileMap	FreeC.IR.SrcSpan
mkSymbolToken	FreeC.Frontend.IR.Token
mkTypeVarSubst	FreeC.IR.Subst
mkVarSubst	FreeC.IR.Subst
Modality
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
modCohesion	FreeC.Backend.Agda.Syntax
modContents	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modFuncDecls	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modifyEntryIdent	FreeC.Environment
modifyEnv	FreeC.Monad.Converter
modifyEnv'	FreeC.Monad.Converter
modImports	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
ModName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
modName
1 (Function)	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
2 (Function)	FreeC.IR.Base.Prelude
modPragmas	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modQuantity	FreeC.Backend.Agda.Syntax
modRelevance	FreeC.Backend.Agda.Syntax
modSrcSpan	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modTypeDecls	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modTypeSigs	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
MODULE	FreeC.Frontend.IR.Token
Module
1 (Type/Class)	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
3 (Type/Class)	FreeC.Backend.Agda.Syntax
ModuleApplication	FreeC.Backend.Agda.Syntax
ModuleAssignment
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
moduleDecl	FreeC.Backend.Agda.Syntax
moduleDependencyGraph	FreeC.IR.DependencyGraph
moduleEnv	FreeC.Monad.Converter
moduleExport	FreeC.Backend.Coq.Syntax
ModuleIdent	FreeC.Backend.Coq.Syntax
ModuleImport	FreeC.Backend.Coq.Syntax
moduleImport	FreeC.Backend.Coq.Syntax
ModuleInterface
1 (Type/Class)	FreeC.Environment.ModuleInterface
2 (Data Constructor)	FreeC.Environment.ModuleInterface
ModuleMacro	FreeC.Backend.Agda.Syntax
moduleNameParts	FreeC.Backend.Agda.Syntax
moduleNameRange	FreeC.Backend.Agda.Syntax
moduleNameToFileName	FreeC.Backend.Agda.Syntax
ModuleOf
1 (Type/Class)	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
ModuleSentence
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
modWithContents	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modWithFuncDecls	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modWithTypeDecls	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
modWithTypeSigs	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
MonadConverter	FreeC.Monad.Converter
MonadReporter	FreeC.Monad.Reporter
moreCohesion	FreeC.Backend.Agda.Syntax
moreQuantity	FreeC.Backend.Agda.Syntax
moreRelevant	FreeC.Backend.Agda.Syntax
moreUsableModality	FreeC.Backend.Agda.Syntax
movePos	FreeC.Backend.Agda.Syntax
movePosByString	FreeC.Backend.Agda.Syntax
MultPattern
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
mustRenameIdent	FreeC.Environment.Renamer
Mutual	FreeC.Backend.Agda.Syntax
Name
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
3 (Type/Class)	FreeC.Backend.Agda.Syntax
4 (Data Constructor)	FreeC.Backend.Agda.Syntax
name	FreeC.Backend.Agda.Syntax
Named
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
named	FreeC.Backend.Agda.Syntax
NamedArg
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
namedArg	FreeC.Backend.Agda.Syntax
NamedName	FreeC.Backend.Agda.Syntax
namedSame	FreeC.Backend.Agda.Syntax
namedThing	FreeC.Backend.Agda.Syntax
Named_	FreeC.Backend.Agda.Syntax
nameFieldA	FreeC.Backend.Agda.Syntax
nameFromQName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
NameId
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
nameId	FreeC.Backend.Agda.Syntax
NameInScope	FreeC.Backend.Agda.Syntax
nameInScope	FreeC.Backend.Agda.Syntax
nameNameParts	FreeC.Backend.Agda.Syntax
nameOf	FreeC.Backend.Agda.Syntax
NamePart	FreeC.Backend.Agda.Syntax
nameParts	FreeC.Backend.Agda.Syntax
nameRange	FreeC.Backend.Agda.Syntax
nameRoot	FreeC.Backend.Agda.Syntax
nameStringParts	FreeC.Backend.Agda.Syntax
nameToRawName	FreeC.Backend.Agda.Syntax
Nat	FreeC.Backend.Agda.Syntax
needsFreeArgs	FreeC.Environment
negateOpName	FreeC.IR.Base.Prelude
nest	FreeC.Pretty
nesting	FreeC.Pretty
NextLevel	FreeC.Backend.Coq.Syntax
nextName	FreeC.Backend.Agda.Syntax
nextStr	FreeC.Backend.Agda.Syntax
nf	FreeC.Backend.Coq.Base
nf'	FreeC.Backend.Coq.Base
NIdent	FreeC.Backend.Coq.Syntax
nIdent	FreeC.Backend.Coq.Syntax
nilConName	FreeC.IR.Base.Prelude
NoAssociativity	FreeC.Backend.Coq.Syntax
NoCoverageCheck	FreeC.Backend.Agda.Syntax
NoCoverageCheckPragma	FreeC.Backend.Agda.Syntax
NoEllipsis	FreeC.Backend.Agda.Syntax
NoEta	FreeC.Backend.Agda.Syntax
noFixity	FreeC.Backend.Agda.Syntax
noFixity'	FreeC.Backend.Agda.Syntax
noFreeVariables	FreeC.Backend.Agda.Syntax
NoName	FreeC.Backend.Agda.Syntax
noName	FreeC.Backend.Agda.Syntax
noName_	FreeC.Backend.Agda.Syntax
NonAssoc	FreeC.Backend.Agda.Syntax
NonDet	FreeC.LiftedIR.Effect
nonDet	FreeC.Backend.Coq.Base
nonDetArg	FreeC.Backend.Coq.Base
noNotation	FreeC.Backend.Agda.Syntax
NonRecursive	FreeC.IR.DependencyGraph
NonStrict	FreeC.Backend.Agda.Syntax
nonStrictToIrr	FreeC.Backend.Agda.Syntax
nonStrictToRel	FreeC.Backend.Agda.Syntax
NonTerminating	FreeC.Backend.Agda.Syntax
NoOverlap	FreeC.Backend.Agda.Syntax
NoPlaceholder	FreeC.Backend.Agda.Syntax
noPlaceholder	FreeC.Backend.Agda.Syntax
NoPositivityCheck	FreeC.Backend.Agda.Syntax
NoPositivityCheckPragma	FreeC.Backend.Agda.Syntax
NoRange	FreeC.Backend.Agda.Syntax
noRange	FreeC.Backend.Agda.Syntax
Normalform	FreeC.LiftedIR.Effect
normalform	FreeC.Backend.Coq.Base
normalformBinder	FreeC.Backend.Coq.Base
NormalHole	FreeC.Backend.Agda.Syntax
NoSrcFile	FreeC.IR.SrcSpan
NoSrcSpan	FreeC.IR.SrcSpan
Notation
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
NotationBinding
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Coq.Syntax
NotationDefinition	FreeC.Backend.Coq.Syntax
NotationIdentBinding	FreeC.Backend.Coq.Syntax
NotationSentence	FreeC.Backend.Coq.Syntax
notationSentence	FreeC.Backend.Coq.Syntax
NotationToken	FreeC.Backend.Coq.Syntax
NotDelayed	FreeC.Backend.Agda.Syntax
notEquals	FreeC.Backend.Coq.Syntax
NoTerminationCheck	FreeC.Backend.Agda.Syntax
NotHidden	FreeC.Backend.Agda.Syntax
NotInScope	FreeC.Backend.Agda.Syntax
NotInstanceDef	FreeC.Backend.Agda.Syntax
NotMacroDef	FreeC.Backend.Agda.Syntax
notSimilar	FreeC.IR.Similar
notVisible	FreeC.Backend.Agda.Syntax
NoUniverseCheck	FreeC.Backend.Agda.Syntax
NoUniverseCheckPragma	FreeC.Backend.Agda.Syntax
noUserQuantity	FreeC.Backend.Agda.Syntax
NoWhere	FreeC.Backend.Agda.Syntax
NSymbol	FreeC.Backend.Coq.Syntax
nSymbol	FreeC.Backend.Coq.Syntax
nType	FreeC.Backend.Coq.Base
Num
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
NumHoles	FreeC.Backend.Agda.Syntax
numHoles	FreeC.Backend.Agda.Syntax
NumPat	FreeC.Backend.Coq.Syntax
observeHiding	FreeC.Backend.Agda.Syntax
OccursCheckFailure	FreeC.IR.Unification
OF	FreeC.Frontend.IR.Token
oneFreeVariable	FreeC.Backend.Agda.Syntax
Op	FreeC.Backend.Coq.Syntax
OpApp
1 (Data Constructor)	FreeC.Backend.Agda.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
OpAppP	FreeC.Backend.Agda.Syntax
Opaque	FreeC.Backend.Coq.Syntax
Open	FreeC.Backend.Agda.Syntax
OpenShortHand	FreeC.Backend.Agda.Syntax
Option	FreeC.Backend.Coq.Syntax
OptionSentence	FreeC.Backend.Coq.Syntax
OptionsPragma	FreeC.Backend.Agda.Syntax
OptionValue	FreeC.Backend.Coq.Syntax
Order	FreeC.Backend.Coq.Syntax
Ordinary	FreeC.Backend.Agda.Syntax
OrgFileType	FreeC.Backend.Agda.Syntax
Origin	FreeC.Backend.Agda.Syntax
OrPats	FreeC.Backend.Coq.Syntax
OrPattern
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
Overlappable	FreeC.Backend.Agda.Syntax
OVNum	FreeC.Backend.Coq.Syntax
OVText	FreeC.Backend.Coq.Syntax
Parameter	FreeC.Backend.Coq.Syntax
Parameters	FreeC.Backend.Coq.Syntax
Paren	FreeC.Backend.Agda.Syntax
ParenP	FreeC.Backend.Agda.Syntax
Parens	FreeC.Backend.Coq.Syntax
parens	FreeC.Pretty
parentPos	FreeC.IR.Subterm
parentPos'	FreeC.IR.Subterm
Parseable	FreeC.Frontend.IR.Parser
parsecErrorToMessage	FreeC.Util.Parsec
parseCustomPragmas	FreeC.Frontend.IR.PragmaParser
parseHaskell	FreeC.Frontend.Haskell.Parser
parseHaskellModule	FreeC.Frontend.Haskell.Parser
parseHaskellModuleFile	FreeC.Frontend.Haskell.Parser
parseHaskellModuleFileWithComments	FreeC.Frontend.Haskell.Parser
parseHaskellModuleWithComments	FreeC.Frontend.Haskell.Parser
parseIR	FreeC.Frontend.IR.Parser
parseIR'	FreeC.Frontend.IR.Parser
partial
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
partialArg	FreeC.Backend.Coq.Base
partialError	FreeC.Backend.Coq.Base
Partiality	FreeC.LiftedIR.Effect
partialUndefined	FreeC.Backend.Coq.Base
Pass	FreeC.Pass
Pattern
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
PatternSyn	FreeC.Backend.Agda.Syntax
patternSyn	FreeC.Backend.Agda.Syntax
Pi	FreeC.Backend.Agda.Syntax
pi	FreeC.Backend.Agda.Syntax
Pipe	FreeC.Frontend.IR.Token
pipeline	FreeC.Pipeline
Placeholder	FreeC.Backend.Agda.Syntax
Pn	FreeC.Backend.Agda.Syntax
PolarityPragma	FreeC.Backend.Agda.Syntax
Pos
1 (Type/Class)	FreeC.IR.Subterm
2 (Data Constructor)	FreeC.IR.Subterm
pos	FreeC.Backend.Coq.Base
PosArg	FreeC.Backend.Coq.Syntax
posCol	FreeC.Backend.Agda.Syntax
posIdent	FreeC.Backend.Coq.Base
Position	FreeC.Backend.Agda.Syntax
position	FreeC.Backend.Agda.Base
Position'	FreeC.Backend.Agda.Syntax
PositionInName	FreeC.Backend.Agda.Syntax
positionInvariant	FreeC.Backend.Agda.Syntax
PositionWithoutFile	FreeC.Backend.Agda.Syntax
PositivityCheck	FreeC.Backend.Agda.Syntax
posLine	FreeC.Backend.Agda.Syntax
posPos	FreeC.Backend.Agda.Syntax
posToInterval	FreeC.Backend.Agda.Syntax
posToRange	FreeC.Backend.Agda.Syntax
posToRange'	FreeC.Backend.Agda.Syntax
Postulate	FreeC.Backend.Agda.Syntax
Pragma
1 (Type/Class)	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
3 (Type/Class)	FreeC.Backend.Agda.Syntax
pragmaPass	FreeC.Pass.PragmaPass
pragmaSrcSpan	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
PrecedenceLevel	FreeC.Backend.Agda.Syntax
PrefixDef	FreeC.Backend.Agda.Syntax
Pretty	FreeC.Pretty
pretty	FreeC.Pretty
prettyAgda	FreeC.Backend.Agda.Pretty
PrettyCoq
1 (Type/Class)	FreeC.Backend.Coq.Pretty
2 (Data Constructor)	FreeC.Backend.Coq.Pretty
prettyCoq	FreeC.Backend.Coq.Pretty
prettyEntryType	FreeC.Environment.Entry
prettyExprPred	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
prettyExprPred'	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
prettyLines	FreeC.Pretty
prettyList	FreeC.Pretty
prettyMaybe	FreeC.Pretty
prettyPragma	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
prettySeparated	FreeC.Pretty
prettyString	FreeC.Pretty
prettyText	FreeC.Pretty
prettyTypePred	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
Primitive	FreeC.Backend.Agda.Syntax
PrintRange
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
Private	FreeC.Backend.Agda.Syntax
PrivateAccess	FreeC.Backend.Agda.Syntax
ProgramSentence	FreeC.Backend.Coq.Syntax
projectRoot	FreeC.Backend.Agda.Syntax
ProjOrigin	FreeC.Backend.Agda.Syntax
ProjPostfix	FreeC.Backend.Agda.Syntax
ProjPrefix	FreeC.Backend.Agda.Syntax
ProjSystem	FreeC.Backend.Agda.Syntax
Proof	FreeC.Backend.Coq.Syntax
ProofAdmitted	FreeC.Backend.Coq.Syntax
ProofDefined	FreeC.Backend.Coq.Syntax
ProofQed	FreeC.Backend.Coq.Syntax
Prop
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
PropN	FreeC.Backend.Agda.Syntax
Proposition	FreeC.Backend.Coq.Syntax
proveInd	FreeC.Backend.Coq.Base
PublicAccess	FreeC.Backend.Agda.Syntax
publicOpen	FreeC.Backend.Agda.Syntax
punctuate	FreeC.Pretty
Pure	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
pure	FreeC.Backend.Agda.Base
putDoc	FreeC.Pretty
putEnv	FreeC.Monad.Converter
putPretty	FreeC.Pretty
putPrettyLn	FreeC.Pretty
Q0	FreeC.Backend.Agda.Syntax
Q0Erased	FreeC.Backend.Agda.Syntax
Q0Inferred	FreeC.Backend.Agda.Syntax
Q0Origin	FreeC.Backend.Agda.Syntax
Q1	FreeC.Backend.Agda.Syntax
Q1Inferred	FreeC.Backend.Agda.Syntax
Q1Linear	FreeC.Backend.Agda.Syntax
Q1Origin	FreeC.Backend.Agda.Syntax
QName
1 (Type/Class)	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
qname	FreeC.Backend.Agda.Syntax
qname'	FreeC.Backend.Agda.Syntax
qnameParts	FreeC.Backend.Agda.Syntax
Qual
1 (Data Constructor)	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
Qualid
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
QualidPat	FreeC.Backend.Coq.Syntax
Qualified	FreeC.Backend.Coq.Syntax
qualified	FreeC.Backend.Coq.Syntax
qualifiedSmartConstructorModule	FreeC.Backend.Coq.Base
qualifierPass	FreeC.Pass.QualifierPass
qualify	FreeC.Backend.Agda.Syntax
Quantity	FreeC.Backend.Agda.Syntax
Quantity0	FreeC.Backend.Agda.Syntax
Quantity1	FreeC.Backend.Agda.Syntax
Quantityω	FreeC.Backend.Agda.Syntax
QuestionMark	FreeC.Backend.Agda.Syntax
Quote	FreeC.Backend.Agda.Syntax
QuoteP	FreeC.Backend.Agda.Syntax
QuoteTerm	FreeC.Backend.Agda.Syntax
Qω	FreeC.Backend.Agda.Syntax
QωInferred	FreeC.Backend.Agda.Syntax
QωOrigin	FreeC.Backend.Agda.Syntax
QωPlenty	FreeC.Backend.Agda.Syntax
Range
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
Range'	FreeC.Backend.Agda.Syntax
Ranged
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
rangedThing	FreeC.Backend.Agda.Syntax
rangeFile	FreeC.Backend.Agda.Syntax
rangeIntervals	FreeC.Backend.Agda.Syntax
rangeInvariant	FreeC.Backend.Agda.Syntax
rangeOf	FreeC.Backend.Agda.Syntax
rangeToInterval	FreeC.Backend.Agda.Syntax
rangeToIntervalWithFile	FreeC.Backend.Agda.Syntax
rangle	FreeC.Pretty
RArrow	FreeC.Frontend.IR.Token
rational	FreeC.Pretty
RawApp	FreeC.Backend.Agda.Syntax
RawAppP	FreeC.Backend.Agda.Syntax
RawName	FreeC.Backend.Agda.Syntax
rawNameToString	FreeC.Backend.Agda.Syntax
RawQualid	FreeC.Backend.Coq.Syntax
RBrace	FreeC.Frontend.IR.Token
rbrace	FreeC.Pretty
rbracket	FreeC.Pretty
Rec	FreeC.Backend.Agda.Syntax
Record
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
RecordAssignment	FreeC.Backend.Agda.Syntax
RecordAssignments	FreeC.Backend.Agda.Syntax
RecordDef	FreeC.Backend.Agda.Syntax
RecordDefinition
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
RecordModuleInstance	FreeC.Backend.Agda.Syntax
RecordSentence	FreeC.Backend.Coq.Syntax
RecordSig	FreeC.Backend.Agda.Syntax
RecP	FreeC.Backend.Agda.Syntax
RecUpdate	FreeC.Backend.Agda.Syntax
Recursive	FreeC.IR.DependencyGraph
Ref	FreeC.IR.Reference
Reflected	FreeC.Backend.Agda.Syntax
refName	FreeC.IR.Reference
refs	FreeC.IR.Reference
refScope	FreeC.IR.Reference
Related	FreeC.Backend.Agda.Syntax
Relevance	FreeC.Backend.Agda.Syntax
Relevant	FreeC.Backend.Agda.Syntax
Remark	FreeC.Backend.Coq.Syntax
removeDecArg	FreeC.Environment
removeSingletonRawAppP	FreeC.Backend.Agda.Syntax
renameAgdaQualid	FreeC.Environment.Renamer
renameAndAddEntry	FreeC.Environment.Renamer
renameAndDefineAgdaTypeVar	FreeC.Environment.Renamer
renameAndDefineAgdaVar	FreeC.Environment.Renamer
renameAndDefineLIRVar	FreeC.Environment.Renamer
renameAndDefineTypeVar	FreeC.Environment.Renamer
renameAndDefineVar	FreeC.Environment.Renamer
renameArgs	FreeC.IR.Subst
renameArgsSubst	FreeC.IR.Subst
renameEntry	FreeC.Environment.Renamer
renameIdent	FreeC.Environment.Renamer
renameQualid	FreeC.Environment.Renamer
renameTypeArgs	FreeC.IR.Subst
renameTypeArgsSubst	FreeC.IR.Subst
Renaming
1 (Data Constructor)	FreeC.Backend.Agda.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
Renaming'	FreeC.Backend.Agda.Syntax
rEnd	FreeC.Backend.Agda.Syntax
rEnd'	FreeC.Backend.Agda.Syntax
renderCompact	FreeC.Pretty
renderOneLine	FreeC.Pretty
renderPretty	FreeC.Pretty
renderPretty'	FreeC.Pretty
renFixity	FreeC.Backend.Agda.Syntax
renFrom	FreeC.Backend.Agda.Syntax
renTo	FreeC.Backend.Agda.Syntax
renToRange	FreeC.Backend.Agda.Syntax
replaceChildTerms	FreeC.IR.Subterm
replaceChildTerms'	FreeC.IR.Subterm
replaceSubterm	FreeC.IR.Subterm
replaceSubterm'	FreeC.IR.Subterm
replaceSubterms	FreeC.IR.Subterm
replaceSubterms'	FreeC.IR.Subterm
report	FreeC.Monad.Reporter
Reporter	FreeC.Monad.Reporter
ReporterIO	FreeC.Monad.Reporter
ReporterT	FreeC.Monad.Reporter
reportFatal	FreeC.Monad.Reporter
reportIOError	FreeC.Monad.Reporter
reportParsecError	FreeC.Util.Parsec
reportTo	FreeC.Monad.Reporter
reportToOrExit	FreeC.Monad.Reporter
reportUnificationError	FreeC.IR.Unification
Require	FreeC.Backend.Coq.Syntax
requireExportFrom	FreeC.Backend.Coq.Syntax
requireFrom	FreeC.Backend.Coq.Syntax
requireImportFrom	FreeC.Backend.Coq.Syntax
reservedIdents
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
ReservedNotationIdent	FreeC.Backend.Coq.Syntax
resolverPass	FreeC.Pass.ResolverPass
ReturnType
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
Rewrite	FreeC.Backend.Agda.Syntax
RewriteEqn	FreeC.Backend.Agda.Syntax
RewriteEqn'	FreeC.Backend.Agda.Syntax
RewritePragma	FreeC.Backend.Agda.Syntax
RHS
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
RHS'	FreeC.Backend.Agda.Syntax
RightAssoc	FreeC.Backend.Agda.Syntax
RightAssociativity	FreeC.Backend.Coq.Syntax
rightMargin	FreeC.Backend.Agda.Syntax
rightOf	FreeC.IR.Subterm
RightToLeft	FreeC.Backend.Coq.Syntax
RigidTypeVarError	FreeC.IR.Unification
rootPos	FreeC.IR.Subterm
RParen	FreeC.Frontend.IR.Token
rparen	FreeC.Pretty
rStart	FreeC.Backend.Agda.Syntax
rStart'	FreeC.Backend.Agda.Syntax
RstFileType	FreeC.Backend.Agda.Syntax
RString	FreeC.Backend.Agda.Syntax
runConverter	FreeC.Monad.Converter
runConverterT	FreeC.Monad.Converter
runParsecOrFail	FreeC.Util.Parsec
runPass	FreeC.Pass
runPasses	FreeC.Pass
runPipeline	FreeC.Pipeline
runReporter	FreeC.Monad.Reporter
runReporterT	FreeC.Monad.Reporter
sameCohesion	FreeC.Backend.Agda.Syntax
sameHiding	FreeC.Backend.Agda.Syntax
sameModality	FreeC.Backend.Agda.Syntax
sameName	FreeC.Backend.Agda.Syntax
sameQuantity	FreeC.Backend.Agda.Syntax
sameRelevance	FreeC.Backend.Agda.Syntax
sameRoot	FreeC.Backend.Agda.Syntax
saveConfig	FreeC.Util.Config
scan	FreeC.Frontend.IR.Scanner
SChar	FreeC.Pretty
Scope	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
ScopedName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
Section
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
SectionApp	FreeC.Backend.Agda.Syntax
SectionSentence	FreeC.Backend.Coq.Syntax
selectBinders	FreeC.Backend.Coq.Base
selectExplicitArgs	FreeC.Backend.Coq.Base
selectImplicitArgs	FreeC.Backend.Coq.Base
selectSubterm	FreeC.IR.Subterm
selectSubterm'	FreeC.IR.Subterm
selectTypedBinders	FreeC.Backend.Coq.Base
selectTypedImplicitArgs	FreeC.Backend.Coq.Base
Semi	FreeC.Frontend.IR.Token
semi	FreeC.Pretty
semiBraces	FreeC.Pretty
SEmpty	FreeC.Pretty
Sentence	FreeC.Backend.Coq.Syntax
sep	FreeC.Pretty
Set
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
set	FreeC.Backend.Agda.Syntax
setArgInfo	FreeC.Backend.Agda.Syntax
setCohesion	FreeC.Backend.Agda.Syntax
setCohesionMod	FreeC.Backend.Agda.Syntax
setFreeVariables	FreeC.Backend.Agda.Syntax
setFreeVariablesArgInfo	FreeC.Backend.Agda.Syntax
setHiding	FreeC.Backend.Agda.Syntax
setHidingArgInfo	FreeC.Backend.Agda.Syntax
setImportedName	FreeC.Backend.Agda.Syntax
setInScope	FreeC.Backend.Agda.Syntax
setIntervalFile	FreeC.Backend.Agda.Syntax
setModality	FreeC.Backend.Agda.Syntax
setModalityArgInfo	FreeC.Backend.Agda.Syntax
SetN	FreeC.Backend.Agda.Syntax
setNamedArg	FreeC.Backend.Agda.Syntax
setNameOf	FreeC.Backend.Agda.Syntax
setNotInScope	FreeC.Backend.Agda.Syntax
SetOption	FreeC.Backend.Coq.Syntax
setOption	FreeC.Backend.Coq.Syntax
setOrigin	FreeC.Backend.Agda.Syntax
setOriginArgInfo	FreeC.Backend.Agda.Syntax
setQuantity	FreeC.Backend.Agda.Syntax
setQuantityMod	FreeC.Backend.Agda.Syntax
SetRange	FreeC.Backend.Agda.Syntax
setRange	FreeC.Backend.Agda.Syntax
setRelevance	FreeC.Backend.Agda.Syntax
setRelevanceMod	FreeC.Backend.Agda.Syntax
SettingName	FreeC.Backend.Coq.Syntax
Severity	FreeC.Monad.Reporter
shadowVarPats	FreeC.Monad.Converter
shape
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
shapeIdent	FreeC.Backend.Coq.Base
Share	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
share	FreeC.Backend.Coq.Base
shareableArgs	FreeC.Backend.Coq.Base
shareableArgsBinder	FreeC.Backend.Coq.Base
shareArgs	FreeC.Backend.Coq.Base
shareWith	FreeC.Backend.Coq.Base
Sharing	FreeC.LiftedIR.Effect
showPretty	FreeC.Pretty
sigFixity	FreeC.Backend.Coq.Syntax
Signature
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
sigType	FreeC.Backend.Coq.Syntax
Similar	FreeC.IR.Similar
similar	FreeC.IR.Similar
SimpleDoc	FreeC.Pretty
simpleImport	FreeC.Backend.Agda.Syntax
Simplifier	FreeC.Frontend.Haskell.Simplifier
simplifyExpr	FreeC.Frontend.Haskell.Simplifier
simplifyModuleBody	FreeC.Frontend.Haskell.Simplifier
simplifyModuleHeadWithComments	FreeC.Frontend.Haskell.Simplifier
simplifyModuleWithComments	FreeC.Frontend.Haskell.Simplifier
simplifyType	FreeC.Frontend.Haskell.Simplifier
simplifyTypeScheme	FreeC.Frontend.Haskell.Simplifier
singleSubst	FreeC.IR.Subst
singleSubst'	FreeC.IR.Subst
size
1 (Function)	FreeC.Backend.Agda.Base
2 (Function)	FreeC.Backend.Agda.Converter.Size
SLine	FreeC.Pretty
SmartCon	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
SModAssociativity	FreeC.Backend.Coq.Syntax
SModIdentLevel	FreeC.Backend.Coq.Syntax
sModIdentLevel	FreeC.Backend.Coq.Syntax
SModLevel	FreeC.Backend.Coq.Syntax
sModLevel	FreeC.Backend.Coq.Syntax
SModOnlyParsing	FreeC.Backend.Coq.Syntax
SModOnlyPrinting	FreeC.Backend.Coq.Syntax
softbreak	FreeC.Pretty
softline	FreeC.Pretty
SomeWhere	FreeC.Backend.Agda.Syntax
Sort
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Backend.Coq.Syntax
sortLetExprs	FreeC.Pass.LetSortPass
sortType	FreeC.Backend.Coq.Syntax
sortTypeSynDecls	FreeC.Backend.Coq.Converter.TypeDecl
space	FreeC.Pretty
spacebreak	FreeC.Pretty
spanAllowedBeforeModule	FreeC.Backend.Agda.Syntax
spansMultipleLines	FreeC.IR.SrcSpan
specialSymbols	FreeC.Frontend.IR.Token
splitFuncType
1 (Function)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Function)	FreeC.Pass.TypeSignaturePass
Squash	FreeC.Backend.Agda.Syntax
squote	FreeC.Pretty
squotes	FreeC.Pretty
SrcFile
1 (Type/Class)	FreeC.IR.SrcSpan
2 (Data Constructor)	FreeC.IR.SrcSpan
3 (Type/Class)	FreeC.Backend.Agda.Syntax
srcFile	FreeC.Backend.Agda.Syntax
srcFileContents	FreeC.IR.SrcSpan
srcFileLines	FreeC.IR.SrcSpan
SrcFileMap	FreeC.IR.SrcSpan
srcFileName	FreeC.IR.SrcSpan
SrcSpan
1 (Type/Class)	FreeC.IR.SrcSpan
2 (Data Constructor)	FreeC.IR.SrcSpan
srcSpanCodeLines	FreeC.IR.SrcSpan
srcSpanEndColumn	FreeC.IR.SrcSpan
srcSpanEndLine	FreeC.IR.SrcSpan
srcSpanFile	FreeC.IR.SrcSpan
srcSpanStartColumn	FreeC.IR.SrcSpan
srcSpanStartLine	FreeC.IR.SrcSpan
startPos	FreeC.Backend.Agda.Syntax
startPos'	FreeC.Backend.Agda.Syntax
StaticPragma	FreeC.Backend.Agda.Syntax
SText	FreeC.Pretty
strategy	FreeC.Backend.Coq.Base
strategyArg	FreeC.Backend.Coq.Base
strategyBinder	FreeC.Backend.Coq.Base
String	FreeC.Backend.Coq.Syntax
string
1 (Function)	FreeC.Backend.Coq.Syntax
2 (Function)	FreeC.Pretty
StringLiteral	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
stringLiteral	FreeC.Backend.Agda.Syntax
stringLiteralValue	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
stringNameParts	FreeC.Backend.Agda.Syntax
StringPat	FreeC.Backend.Coq.Syntax
stringScope	FreeC.Backend.Coq.Base
stringStrict	FreeC.Pretty
stringToArgName	FreeC.Backend.Agda.Syntax
stringToRawName	FreeC.Backend.Agda.Syntax
StripExprType	FreeC.IR.Strip
stripExprType	FreeC.IR.Strip
StrippedType
1 (Type/Class)	FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances
2 (Data Constructor)	FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances
StrippedTypeCon	FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances
StrToken	FreeC.Frontend.IR.Token
StructOrder	FreeC.Backend.Coq.Syntax
subPipelinePass	FreeC.Pass
Subst	FreeC.IR.Subst
Substitution	FreeC.Backend.Agda.Syntax
substWithout	FreeC.IR.Subst
Symbol	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
SymmetricIf	FreeC.Backend.Coq.Syntax
Syntax	FreeC.Backend.Agda.Syntax
SyntaxBindingLambda	FreeC.Backend.Agda.Syntax
SyntaxModifier	FreeC.Backend.Coq.Syntax
Tactic	FreeC.Backend.Agda.Syntax
TacticAttribute	FreeC.Backend.Agda.Syntax
Tactics	FreeC.Backend.Coq.Syntax
TBind	FreeC.Backend.Agda.Syntax
Telescope	FreeC.Backend.Agda.Syntax
Term	FreeC.Backend.Coq.Syntax
Terminating	FreeC.Backend.Agda.Syntax
TerminationCheck
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
TerminationCheckPragma	FreeC.Backend.Agda.Syntax
TerminationMeasure	FreeC.Backend.Agda.Syntax
TexFileType	FreeC.Backend.Agda.Syntax
text	FreeC.Pretty
textStrict	FreeC.Pretty
theFixity	FreeC.Backend.Agda.Syntax
THEN	FreeC.Frontend.IR.Token
theNameRange	FreeC.Backend.Agda.Syntax
theNotation	FreeC.Backend.Agda.Syntax
Theorem	FreeC.Backend.Coq.Syntax
ThingWithFixity
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
TLet	FreeC.Backend.Agda.Syntax
Token	FreeC.Frontend.IR.Token
TokenWithPos
1 (Type/Class)	FreeC.Frontend.IR.Scanner
2 (Data Constructor)	FreeC.Frontend.IR.Scanner
topCohesion	FreeC.Backend.Agda.Syntax
TopLevelDecl	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
TopLevelFuncDecl	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
topLevelFuncDecl	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
TopLevelModuleName
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
topLevelModuleName	FreeC.Backend.Agda.Syntax
TopLevelTypeDecl	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
topLevelTypeDecl	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
TopLevelTypeSig	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
topLevelTypeSig	FreeC.IR.Syntax.Module, FreeC.IR.Syntax
topModality	FreeC.Backend.Agda.Syntax
topQuantity	FreeC.Backend.Agda.Syntax
topRelevance	FreeC.Backend.Agda.Syntax
toQual	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
ToSupportType	FreeC.Backend.Coq.Syntax
toTopLevelModuleName	FreeC.Backend.Agda.Syntax
toUnQual	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
toVarPat	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
TRACE	FreeC.Frontend.IR.Token
Trace
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
trace	FreeC.Backend.Coq.Base
traceable	FreeC.Backend.Coq.Base
traceableArg	FreeC.Backend.Coq.Base
traceExpr	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
traceFuncName	FreeC.IR.Base.Prelude
traceMsg	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
Tracing	FreeC.LiftedIR.Effect
TrailingLine	FreeC.Pretty
transformPatternMatching	FreeC.Frontend.Haskell.PatternMatching
Transparency	FreeC.Backend.Coq.Syntax
Transparent	FreeC.Backend.Coq.Syntax
tupleConName	FreeC.IR.Base.Prelude
tupled	FreeC.Pretty
tupleTypeConName	FreeC.IR.Base.Prelude
TYPE	FreeC.Frontend.IR.Token
Type
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
3 (Type/Class)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
TypeApp	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
typeApp	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
TypeAppExpr	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
typeAppLhs	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
typeAppRhs	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
TypeCon
1 (Data Constructor)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
typeConApp	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
typeConArgs	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
TypeConName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
typeConName
1 (Function)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
Typed	FreeC.Backend.Coq.Syntax
typedBinder	FreeC.Backend.Coq.Syntax
typedBinder'	FreeC.Backend.Coq.Syntax
TypedBinding	FreeC.Backend.Agda.Syntax
TypedBinding'	FreeC.Backend.Agda.Syntax
TypeDecl	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
typeDeclArgs	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
typeDeclIdent	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
typeDeclName	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
typeDeclQName	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
typeDeclSrcSpan	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
typeDependencyComponents	FreeC.IR.DependencyGraph
typeDependencyGraph	FreeC.IR.DependencyGraph
typeFreeArg	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
typeInferencePass	FreeC.Pass.TypeInferencePass
typeIsDec	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
TypeMap	FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances
TypeMap'	FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances
typeRefs	FreeC.IR.Reference
TypeScheme
1 (Type/Class)	FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax
typeSchemeArgs	FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax
typeSchemeSrcSpan	FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax
typeSchemeType	FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax
TypeScope	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
TypeSig
1 (Type/Class)	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
typeSigDeclIdents	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
TypeSignature	FreeC.Backend.Agda.Syntax
TypeSignatureOrInstanceBlock	FreeC.Backend.Agda.Syntax
typeSignaturePass	FreeC.Pass.TypeSignaturePass
typeSigSrcSpan	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
typeSigTypeScheme	FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax
typeSrcSpan
1 (Function)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
TypeSynDecl	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
typeSynDeclRhs	FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax
TypeSynEntry	FreeC.Environment.Entry
TypeVar
1 (Data Constructor)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
TypeVarDecl
1 (Type/Class)	FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax
typeVarDeclIdent	FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax
typeVarDeclName	FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax
typeVarDeclQName	FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax
typeVarDeclSrcSpan	FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax
typeVarDeclToType	FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax
TypeVarEntry	FreeC.Environment.Entry
TypeVarIdent	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
typeVarIdent
1 (Function)	FreeC.IR.Syntax.Type, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax
unArg	FreeC.Backend.Agda.Syntax
UNDEFINED	FreeC.Frontend.IR.Token
Undefined
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
undefinedExpr	FreeC.Backend.Agda.Converter.Free
undefinedFuncName	FreeC.IR.Base.Prelude
Underscore
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
underscore	FreeC.Backend.Agda.Syntax
UnderscoreName	FreeC.Backend.Coq.Syntax
UnderscorePat	FreeC.Backend.Coq.Syntax
Ungeneralizable	FreeC.Backend.Coq.Syntax
unhoist	FreeC.Monad.Class.Hoistable, FreeC.Monad.Reporter
UnHoistable	FreeC.Monad.Class.Hoistable
UnificationError
1 (Type/Class)	FreeC.IR.Unification
2 (Data Constructor)	FreeC.IR.Unification
unify	FreeC.IR.Unification
unifyAll	FreeC.IR.Unification
unifyAllOrFail	FreeC.IR.Unification
unifyOrFail	FreeC.IR.Unification
unitConName	FreeC.IR.Base.Prelude
unitTypeConName	FreeC.IR.Base.Prelude
UniverseCheck	FreeC.Backend.Agda.Syntax
unknownFreeVariables	FreeC.Backend.Agda.Syntax
UnknownFVs	FreeC.Backend.Agda.Syntax
unnamed	FreeC.Backend.Agda.Syntax
unnamedArg	FreeC.Backend.Agda.Syntax
unpackComment	FreeC.Backend.Coq.Syntax
unpackQualid	FreeC.Backend.Coq.Syntax
unPrettyCoq	FreeC.Backend.Coq.Pretty
UnQual	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
unqualify	FreeC.Backend.Agda.Syntax
Unquote	FreeC.Backend.Agda.Syntax
UnquoteDecl	FreeC.Backend.Agda.Syntax
UnquoteDef	FreeC.Backend.Agda.Syntax
unranged	FreeC.Backend.Agda.Syntax
Unrelated	FreeC.Backend.Agda.Syntax
UnsetOption	FreeC.Backend.Coq.Syntax
unsetOption	FreeC.Backend.Coq.Syntax
untypedApp	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
untypedCon	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
untypedTypeAppExpr	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
untypedVar	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
unwrapComponent	FreeC.IR.DependencyGraph
unwrapRef	FreeC.IR.Reference
up
1 (Function)	FreeC.Backend.Agda.Base
2 (Function)	FreeC.Backend.Agda.Converter.Size
updateNamedArg	FreeC.Backend.Agda.Syntax
updateNamedArgA	FreeC.Backend.Agda.Syntax
usableCohesion	FreeC.Backend.Agda.Syntax
usableModality	FreeC.Backend.Agda.Syntax
usableQuantity	FreeC.Backend.Agda.Syntax
usableRelevance	FreeC.Backend.Agda.Syntax
usedAgdaIdents	FreeC.Environment
usedIdents	FreeC.Environment
UseEverything	FreeC.Backend.Agda.Syntax
userNamed	FreeC.Backend.Agda.Syntax
UserWritten	FreeC.Backend.Agda.Syntax
Using
1 (Data Constructor)	FreeC.Backend.Agda.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
using	FreeC.Backend.Agda.Syntax
Using'	FreeC.Backend.Agda.Syntax
valueDependencyComponents	FreeC.IR.DependencyGraph
valueDependencyGraph	FreeC.IR.DependencyGraph
valueRefs	FreeC.IR.Reference
ValueScope	FreeC.IR.Syntax.Name, FreeC.IR.Syntax
Var
1 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
varApp	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
VarEntry	FreeC.Environment.Entry
Variable	FreeC.Backend.Coq.Syntax
variable	FreeC.Backend.Coq.Syntax
Variables	FreeC.Backend.Coq.Syntax
VarIdent	FreeC.Frontend.IR.Token
VarName	FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax
VarPat
1 (Type/Class)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Type/Class)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
4 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
varPatAgdaIdent	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
varPatCoqIdent	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
varPatIdent
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
varPatIsStrict	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
varPatName	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
varPatQName	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
varPatSrcSpan
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
varPatToExpr	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
varPatType
1 (Function)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Function)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
VarRef	FreeC.IR.Reference
VarSymbol	FreeC.Frontend.IR.Token
vcat	FreeC.Pretty
vernacularCommands	FreeC.Backend.Coq.Keywords
visible	FreeC.Backend.Agda.Syntax
visibleTypeApp	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
vsep	FreeC.Pretty
Warning	FreeC.Monad.Reporter
WarningOnImport	FreeC.Backend.Agda.Syntax
WarningOnUsage	FreeC.Backend.Agda.Syntax
WFOrder	FreeC.Backend.Coq.Syntax
WHERE	FreeC.Frontend.IR.Token
WhereClause	FreeC.Backend.Agda.Syntax
WhereClause'	FreeC.Backend.Agda.Syntax
whHiding	FreeC.Backend.Agda.Syntax
whThing	FreeC.Backend.Agda.Syntax
width	FreeC.Pretty
WildHole	FreeC.Backend.Agda.Syntax
WildP	FreeC.Backend.Agda.Syntax
WithApp	FreeC.Backend.Agda.Syntax
withArgsFrom	FreeC.Backend.Agda.Syntax
WithExpr	FreeC.Backend.Agda.Syntax
WithHiding
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
withNamedArgsFrom	FreeC.Backend.Agda.Syntax
WithOrigin
1 (Type/Class)	FreeC.Backend.Agda.Syntax
2 (Data Constructor)	FreeC.Backend.Agda.Syntax
WithP	FreeC.Backend.Agda.Syntax
withRangeOf	FreeC.Backend.Agda.Syntax
woOrigin	FreeC.Backend.Agda.Syntax
woThing	FreeC.Backend.Agda.Syntax
writeModuleInterface	FreeC.Environment.ModuleInterface.Encoder
writePrettyFile	FreeC.Pretty
YesCoverageCheck	FreeC.Backend.Agda.Syntax
YesEta	FreeC.Backend.Agda.Syntax
YesOverlap	FreeC.Backend.Agda.Syntax
YesPositivityCheck	FreeC.Backend.Agda.Syntax
YesUniverseCheck	FreeC.Backend.Agda.Syntax
zeroCohesion	FreeC.Backend.Agda.Syntax
zeroModality	FreeC.Backend.Agda.Syntax
zeroQuantity	FreeC.Backend.Agda.Syntax
zeroRelevance	FreeC.Backend.Agda.Syntax
_exprFieldA	FreeC.Backend.Agda.Syntax
_exprModA	FreeC.Backend.Agda.Syntax
_fixityAssoc	FreeC.Backend.Agda.Syntax
_fixityLevel	FreeC.Backend.Agda.Syntax
_importDirModA	FreeC.Backend.Agda.Syntax
_nameFieldA	FreeC.Backend.Agda.Syntax
_qnameModA	FreeC.Backend.Agda.Syntax