A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
&
+
.
/
<
=
>
|
-
All

Index - F

Fail	Agda.TypeChecking.CompiledClause
Failed	Agda.Auto.NarrowingSearch
failOnException	Agda.Interaction.Exceptions
Failure	Agda.Utils.QuickCheck
fakeD	Agda.Compiler.MAlonzo.Misc
fakeDQ	Agda.Compiler.MAlonzo.Misc
fakeDS	Agda.Compiler.MAlonzo.Misc
fakeExp	Agda.Compiler.MAlonzo.Misc
fakeType	Agda.Compiler.MAlonzo.Misc
fastDistinct	Agda.Utils.List
fcat	Agda.Utils.Pretty
fCtx	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Field
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Data Constructor)	Agda.Interaction.Highlighting.Precise
3 (Type/Class)	Agda.Syntax.Abstract
4 (Data Constructor)	Agda.Syntax.Abstract
field	Agda.Compiler.JS.Parser
FieldName	Agda.Syntax.Scope.Monad
FieldOutsideRecord	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Fields
1 (Type/Class)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
2 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
File	Agda.Interaction.Highlighting.Precise
FileNotFound	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
filePath	Agda.Utils.FileName
filter	Agda.Utils.HashMap
filterEdges	Agda.Utils.Graph
filterKeys	Agda.Utils.Map
filterScope	Agda.Syntax.Scope.Base
filterWithKey	Agda.Utils.HashMap
finally	Agda.Utils.Monad
findClause	Agda.Interaction.MakeCase
findClauseDeep	Agda.Auto.Convert
FindError	Agda.Interaction.FindFile
findErrorToTypeError	Agda.Interaction.FindFile
findFile	Agda.Interaction.FindFile
findFile'	Agda.Interaction.FindFile
findFile''	Agda.Interaction.FindFile
findIdx	Agda.TypeChecking.MetaVars
findInjection	Agda.Compiler.Epic.Injection
FindInScope	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
findInScope	Agda.TypeChecking.InstanceArguments
findInScope'	Agda.TypeChecking.InstanceArguments
FindInScopeOF	Agda.Interaction.BasicOps
findInterfaceFile	Agda.Interaction.FindFile
findMutualBlock	Agda.TypeChecking.Monad.Mutual, Agda.TypeChecking.Monad
findPath	Agda.Utils.Graph
findperm	Agda.Auto.CaseSplit
findPosition	Agda.Compiler.Epic.Forcing
findPossibleRecords	Agda.TypeChecking.Records
Finite	Agda.Utils.Warshall
fInt	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
fInteraction	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
firstPart	Agda.TypeChecking.Telescope
fitsIn	Agda.TypeChecking.Rules.Data
fix	Agda.Compiler.JS.Substitution
Fixed
1 (Data Constructor)	Agda.Utils.QuickCheck
2 (Type/Class)	Agda.Utils.QuickCheck
Fixity	Agda.Syntax.Fixity
Fixity'
1 (Type/Class)	Agda.Syntax.Fixity
2 (Data Constructor)	Agda.Syntax.Fixity
fixityLevel	Agda.Syntax.Fixity
fixSize	Agda.TypeChecking.Test.Generators
fixSizeConf	Agda.TypeChecking.Test.Generators
Flag	Agda.Interaction.Options
flattenScope	Agda.Syntax.Scope.Base
flattenSubstitution	Agda.TypeChecking.Rules.LHS.Unify
flattenTel	Agda.TypeChecking.Telescope
FldName	Agda.Syntax.Scope.Base
Flex
1 (Data Constructor)	Agda.Utils.Warshall
2 (Data Constructor)	Agda.TypeChecking.MetaVars.Occurs
Flexible	Agda.TypeChecking.Free
flexiblePatterns	Agda.TypeChecking.Rules.LHS
flexibleVariables	Agda.TypeChecking.SizedTypes
FlexibleVars	Agda.TypeChecking.Rules.LHS.Problem
flexibleVars	Agda.TypeChecking.Free
FlexId	Agda.Utils.Warshall
flexScope	Agda.Utils.Warshall
float	Agda.Utils.Pretty
fmapTCMT	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
fMeta	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
fmExp	Agda.Auto.Convert
fmExps	Agda.Auto.Convert
fmLevel	Agda.Auto.Convert
FMode	Agda.Auto.Syntax
fmType	Agda.Auto.Convert
fMutual	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
fName	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Focus
1 (Type/Class)	Agda.TypeChecking.Rules.LHS.Problem
2 (Data Constructor)	Agda.TypeChecking.Rules.LHS.Problem
focusCon	Agda.TypeChecking.Rules.LHS.Problem
focusConArgs	Agda.TypeChecking.Rules.LHS.Problem
focusDatatype	Agda.TypeChecking.Rules.LHS.Problem
focusHoleIx	Agda.TypeChecking.Rules.LHS.Problem
focusIndices	Agda.TypeChecking.Rules.LHS.Problem
focusOutPat	Agda.TypeChecking.Rules.LHS.Problem
focusParams	Agda.TypeChecking.Rules.LHS.Problem
focusRange	Agda.TypeChecking.Rules.LHS.Problem
focusType	Agda.TypeChecking.Rules.LHS.Problem
foldl'	Agda.Utils.HashMap
foldlWithKey'	Agda.Utils.HashMap
foldr	Agda.Utils.HashMap
foldrWithKey	Agda.Utils.HashMap
foldTerm	Agda.Syntax.Internal.Generic
followedBy	Agda.Syntax.Parser.LexActions
forAll	Agda.Utils.QuickCheck
forAllShrink	Agda.Utils.QuickCheck
force	Agda.TypeChecking.Forcing
forceConstrs	Agda.Compiler.Epic.ForceConstrs
Forced
1 (Data Constructor)	Agda.Syntax.Common
2 (Type/Class)	Agda.Compiler.Epic.Interface
3 (Data Constructor)	Agda.Compiler.Epic.Interface
forced	Agda.Compiler.Epic.Interface
ForcedArgs	Agda.Compiler.Epic.Interface
forcedArgs	Agda.Compiler.Epic.Interface
forcedExpr	Agda.Compiler.Epic.Forcing
forcedVariables	Agda.TypeChecking.Forcing
forceEqualTerms	Agda.TypeChecking.Monad.Sharing, Agda.TypeChecking.Monad
forceFun	Agda.Compiler.Epic.ForceConstrs
forceHom	Agda.TypeChecking.Rules.LHS.Unify
forkTCM	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
forM'	Agda.Utils.Monad
fProblem	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Free	Agda.TypeChecking.Free
freeIn
1 (Function)	Agda.TypeChecking.Free
2 (Function)	Agda.Auto.Convert
freeInIgnoringSortAnn	Agda.TypeChecking.Free
freeInIgnoringSorts	Agda.TypeChecking.Free
FreeVars	Agda.TypeChecking.Free
freeVars	Agda.TypeChecking.Free
freevars	Agda.Auto.CaseSplit
freeVarsToApply	Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad
freezeMetas	Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad
Freqs	Agda.TypeChecking.Test.Generators
Frequencies	Agda.TypeChecking.Test.Generators
frequency	Agda.Utils.QuickCheck
Fresh	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
fresh	Agda.Utils.Fresh
freshAbstractName	Agda.Syntax.Scope.Monad
freshAbstractName_	Agda.Syntax.Scope.Monad
freshAbstractQName	Agda.Syntax.Scope.Monad
freshName	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract
freshName_	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract
freshNoName	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract
freshNoName_	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract
FreshThings	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
from	Agda.Interaction.Highlighting.Range
fromAgda	Agda.Compiler.Epic.FromAgda
fromDiagonals	Agda.Termination.Lexicographic
fromHom	Agda.TypeChecking.Rules.LHS.Unify
fromIndexList
1 (Function)	Agda.Termination.Matrix
2 (Function)	Agda.Termination.SparseMatrix
fromJust	Agda.Utils.Maybe
fromList
1 (Function)	Agda.Utils.VarSet
2 (Function)	Agda.Utils.HashMap
3 (Function)	Agda.Termination.CallGraph
4 (Function)	Agda.Utils.Graph
fromLists
1 (Function)	Agda.Termination.Matrix
2 (Function)	Agda.Termination.SparseMatrix
fromListWith	Agda.Utils.HashMap
fromLiteral	Agda.TypeChecking.Primitive
fromMaybe	Agda.Utils.Maybe
fromMaybeM	Agda.Utils.Maybe
frommy	Agda.Auto.Convert
frommyClause	Agda.Auto.Convert
frommyExp	Agda.Auto.Convert
frommyExps	Agda.Auto.Convert
frommyType	Agda.Auto.Convert
fromNodes	Agda.Utils.Graph
fromOrdinary	Agda.Syntax.Concrete
fromReducedTerm	Agda.TypeChecking.Primitive
fromSubscriptDigit	Agda.Utils.Suffix
FromTerm	Agda.TypeChecking.Primitive
fromTerm	Agda.TypeChecking.Primitive
FromTermFunction	Agda.TypeChecking.Primitive
Frozen
1 (Type/Class)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
2 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
fsep
1 (Function)	Agda.Utils.Pretty
2 (Function)	Agda.TypeChecking.Pretty
fst3	Agda.Utils.Tuple
Full	Agda.Interaction.Highlighting.Generate
fullParen	Agda.Syntax.Concrete.Operators
fullRender	Agda.Utils.Pretty
Fun
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Type/Class)	Agda.Compiler.Epic.AuxAST
3 (Data Constructor)	Agda.Compiler.Epic.AuxAST
4 (Data Constructor)	Agda.Syntax.Abstract
5 (Type/Class)	Agda.TypeChecking.Primitive
funAbstr	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funArgs	Agda.Compiler.Epic.AuxAST
FunClause	Agda.Syntax.Concrete
funClauses	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funComment	Agda.Compiler.Epic.AuxAST
funCompiled	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funCopy	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Function
1 (Data Constructor)	Agda.Interaction.Highlighting.Precise
2 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
function	Agda.Compiler.JS.Parser
FunctionCtx	Agda.Syntax.Fixity
FunctionDef	Agda.Interaction.MakeCase
FunctionInverse	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
functionInverse	Agda.TypeChecking.Injectivity
FunctionInverse'	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
FunctionSpaceDomainCtx	Agda.Syntax.Fixity
FunDef
1 (Data Constructor)	Agda.Syntax.Abstract
2 (Data Constructor)	Agda.Syntax.Concrete.Definitions
funDelayed	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funEpicCode	Agda.Compiler.Epic.AuxAST
funExpr	Agda.Compiler.Epic.AuxAST
funFreq	Agda.TypeChecking.Test.Generators
funInline	Agda.Compiler.Epic.AuxAST
funInv	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funMutual	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funName	Agda.Compiler.Epic.AuxAST
funProjection	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funQName	Agda.Compiler.Epic.AuxAST
funs	Agda.Compiler.Epic.Erasure
FunSh	Agda.TypeChecking.Rules.LHS.Unify
FunSig	Agda.Syntax.Concrete.Definitions
funStatic	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
funTerminates	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
fuseRange	Agda.Syntax.Position
fuseRanges	Agda.Syntax.Position
FV	Agda.TypeChecking.Free
fv	Agda.Compiler.Epic.AuxAST
FVs	Agda.TypeChecking.MetaVars
fwords
1 (Function)	Agda.Utils.Pretty
2 (Function)	Agda.TypeChecking.Pretty