IndexAgda-2.7.0.1
F
- FaceAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FaceConstraintCannotBeHiddenAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FaceConstraintCannotBeHidden_Agda.Interaction.Options.Warnings
- FaceConstraintCannotBeNamedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FaceConstraintCannotBeNamed_Agda.Interaction.Options.Warnings
- faceEqnsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- faceRHSAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FailAgda.Utils.Fail
- FailAgda.TypeChecking.CompiledClauseAgda.Utils.Fail
- failOnRecordFieldWarningsAgda.TypeChecking.Records
- fakeDAgda.Compiler.MAlonzo.Misc
- FakeDeclAgda.Utils.Haskell.Syntax
- fakeDeclAgda.Compiler.MAlonzo.Misc
- fakeDQAgda.Compiler.MAlonzo.Misc
- fakeDSAgda.Compiler.MAlonzo.Misc
- FakeExpAgda.Utils.Haskell.Syntax
- fakeExpAgda.Compiler.MAlonzo.Misc
- FakeTypeAgda.Utils.Haskell.Syntax
- fakeTypeAgda.Compiler.MAlonzo.Misc
- fallThroughAgda.TypeChecking.CompiledClause
- falseAgda.Utils.Boolean
- FamilyOrNotAgda.TypeChecking.Primitive.Cubical.Base
- familyOrNotAgda.TypeChecking.Primitive.Cubical.Base
- famThingAgda.TypeChecking.Primitive.Cubical.BaseAgda.TypeChecking.Primitive.Cubical.Base
- farEmptyAgda.TypeChecking.Serialise.Base
- farFreshAgda.TypeChecking.Serialise.Base
- fastDistinctAgda.Utils.List
- fastNormaliseAgda.TypeChecking.Reduce.Fast
- fastReduceAgda.TypeChecking.Reduce.Fast
- FavoritesAgda.Utils.Favorites
- FavoritesAgda.Utils.Favorites
- fcatAgda.Syntax.Common.Pretty
- feExtraAgda.TypeChecking.Free.Lazy
- feFlexRigAgda.TypeChecking.Free.Lazy
- feIgnoreSortsAgda.TypeChecking.Free.Lazy
- feModalityAgda.TypeChecking.Free.Lazy
- feSingletonAgda.TypeChecking.Free.Lazy
- fiberAgda.TypeChecking.Primitive.Cubical.Base
- FieldAgda.Syntax.Abstract
- FieldAgda.Interaction.Highlighting.PreciseAgda.Syntax.AbstractAgda.Syntax.Common.AspectAgda.Syntax.Concrete
- field1Agda.Utils.Lens.Examples
- field2Agda.Utils.Lens.Examples
- FieldAssignmentAgda.Syntax.Concrete
- FieldAssignmentAgda.Syntax.Concrete
- FieldAssignment'Agda.Syntax.Concrete
- FieldBlockAgda.Syntax.Concrete.Definitions.Types
- fieldLabelModifierAgda.Interaction.JSON
- FieldNameAgda.Syntax.Scope.Base
- FieldOutsideRecordAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FieldOverlapAgda.Syntax.Common
- FieldSAgda.Syntax.Abstract
- FieldsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FieldsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FieldSigAgda.Syntax.Concrete
- figureOutTopLevelModuleAgda.Syntax.Parser.Helpers
- FileNotFoundAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- filePathAgda.Utils.FileName
- filePosAgda.Interaction.LibraryAgda.Interaction.Library.Base
- FileTypeAgda.Syntax.Common
- filterAgda.Utils.List1Agda.Utils.Trie
- filterAndRestAgda.Utils.List
- filterCallStackAgda.Utils.CallStack
- FilterCandidatesAgda.Benchmarking
- filterEdgesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- filterKeysAgda.Utils.Map
- filterMaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- filterNodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- filterNodesKeepingEdgesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- filterScopeAgda.Syntax.Scope.Base
- filterTCWarningsAgda.TypeChecking.Pretty.Warning
- filterUsedAgda.Syntax.Treeless
- filterVarMapAgda.TypeChecking.Free
- filterVarMapToListAgda.TypeChecking.Free
- FinalChecksAgda.TypeChecking.Rules.Decl
- finallyAgda.Utils.Monad
- finallyAgda.Utils.Benchmark
- finally_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FinalTwoArgumentsNotVisibleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- findAgda.Utils.List1
- FindErrorAgda.Interaction.FindFile
- findErrorToTypeErrorAgda.Interaction.FindFile
- findFileAgda.Interaction.FindFile
- findFile'Agda.Interaction.FindFile
- findFile''Agda.Interaction.FindFile
- findIdxAgda.TypeChecking.MetaVars
- FindInstanceAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- findInstanceAgda.TypeChecking.InstanceArguments
- FindInstanceOFAgda.Interaction.Base
- findInteractionPoint_Agda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- findInterfaceFileAgda.Interaction.FindFile
- findInterfaceFile'Agda.Interaction.FindFile
- findLib'Agda.Interaction.Library
- findMentionsAgda.Interaction.SearchAbout
- findNameInScopeAgda.Syntax.Scope.Base
- findOverlapAgda.Utils.List
- findPossibleRecordsAgda.TypeChecking.Records
- findProjectRootAgda.Interaction.Library
- findRigidBelowAgda.TypeChecking.SizedTypes.WarshallSolver
- findWithIndexAgda.Utils.List
- fingerprintNoinlineAgda.TypeChecking.Serialise.Base
- FiniteAgda.Utils.Warshall
- firstHoleAgda.Utils.Zipper
- firstMetaAgda.Syntax.Internal.MetaVars
- firstNonTakenNameAgda.Syntax.Concrete.Name
- firstOrAgda.Mimer.Options
- firstPartAgda.TypeChecking.Telescope
- fitsInAgda.TypeChecking.Rules.Data
- fittingNamedArgAgda.Syntax.Common
- fixAgda.Compiler.JS.Substitution
- FixedPointAgda.Compiler.ToTreeless
- FixitiesAgda.Syntax.Concrete.Fixity
- fixitiesAndPolaritiesAgda.Syntax.Concrete.Fixity
- FixityAgda.Syntax.Common
- FixityAgda.Syntax.Common
- Fixity'Agda.Syntax.Common
- Fixity'Agda.Syntax.Common
- fixityAssocAgda.Syntax.Common
- FixityInRenamingModuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FixityInRenamingModule_Agda.Interaction.Options.Warnings
- FixityLevelAgda.Syntax.Common
- fixityLevelAgda.Syntax.Common
- fixityRangeAgda.Syntax.Common
- FlagAgda.Compiler.BackendAgda.Interaction.Options
- FlatAgda.Syntax.Common
- flatNameAgda.Compiler.JS.Compiler
- FlatScopeAgda.Syntax.Scope.Flat
- flattenAgda.TypeChecking.Positivity
- flattenContextAgda.TypeChecking.Telescope
- flattenScopeAgda.Syntax.Scope.Flat
- flattenTelAgda.TypeChecking.Telescope
- FldNameAgda.Syntax.Scope.Base
- FlexAgda.TypeChecking.SizedTypes.Syntax
- FlexAgda.TypeChecking.SizedTypes.SyntaxAgda.Utils.Warshall
- flexAgda.TypeChecking.SizedTypes.Syntax
- flexArgInfoAgda.TypeChecking.Rules.LHS.Problem
- FlexChoiceAgda.TypeChecking.Rules.LHS.Problem
- flexForcedAgda.TypeChecking.Rules.LHS.Problem
- FlexibleAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FlexibleVarAgda.TypeChecking.Rules.LHS.Problem
- FlexibleVarAgda.TypeChecking.Rules.LHS.Problem
- flexibleVariablesAgda.TypeChecking.SizedTypes
- FlexibleVarKindAgda.TypeChecking.Rules.LHS.Problem
- FlexibleVarsAgda.TypeChecking.Rules.LHS.Problem
- flexibleVarsAgda.TypeChecking.Free
- flexiblyAgda.TypeChecking.MetaVars.Occurs
- FlexIdAgda.Utils.Warshall
- FlexIdAgda.TypeChecking.SizedTypes.Syntax
- flexIdAgda.TypeChecking.SizedTypes.Syntax
- FlexKAgda.TypeChecking.DiscrimTree.Types
- flexKindAgda.TypeChecking.Rules.LHS.Problem
- FlexOfAgda.TypeChecking.SizedTypes.Syntax
- flexPosAgda.TypeChecking.Rules.LHS.Problem
- FlexRigAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FlexRig'Agda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FlexRigMapAgda.TypeChecking.Free.Lazy
- FlexRigMapAgda.TypeChecking.Free.Lazy
- flexRigOccurrenceInAgda.TypeChecking.Free
- FlexsAgda.TypeChecking.SizedTypes.Syntax
- flexsAgda.TypeChecking.SizedTypes.Syntax
- flexScopeAgda.Utils.Warshall
- flexVarAgda.TypeChecking.Rules.LHS.Problem
- flexVarsAgda.TypeChecking.Rules.LHS.Unify.Types
- flipCmpAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- flipPAgda.Utils.Permutation
- floatAgda.Syntax.Common.Pretty
- fmapReduceAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- fmapTCMTAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- focusAgda.Utils.Lens
- foldAAgda.Utils.Applicative
- foldableAgda.Interaction.JSON
- foldAPatternAgda.Syntax.Abstract.Pattern
- foldCPatternAgda.Syntax.Concrete.Pattern
- FoldDeclAgda.Syntax.Concrete.Generic
- foldDeclAgda.Syntax.Concrete.Generic
- foldExprAgda.Syntax.Abstract.ViewsAgda.Syntax.Concrete.Generic
- FoldExprFnAgda.Syntax.Abstract.Views
- FoldExprRecFnAgda.Syntax.Abstract.Views
- foldlArrayAgda.Utils.IArray
- foldlArray'Agda.Utils.IArray
- foldlArrayM'Agda.Utils.IArray
- foldListTAgda.Utils.ListT
- foldMapAAgda.Utils.Applicative
- foldMatchAgda.TypeChecking.Patterns.Match
- foldPatternAgda.Syntax.Internal.Pattern
- FoldrAgda.Utils.TypeLevel
- foldrAgda.Utils.List1
- Foldr'Agda.Utils.TypeLevel
- foldrAPatternAgda.Syntax.Abstract.Pattern
- foldrArrayAgda.Utils.IArray
- foldrArray'Agda.Utils.IArray
- foldrArrayM'Agda.Utils.IArray
- foldrCPatternAgda.Syntax.Concrete.Pattern
- foldrMetaSetAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- foldrPatternAgda.Syntax.Internal.Pattern
- foldrTelescopeMAgda.TypeChecking.Telescope
- foldTermAgda.Syntax.Internal.Generic
- followedByAgda.Syntax.Parser.LexActions
- forAgda.Utils.Functor
- forAAgda.Utils.Applicative
- forallFaceMapsAgda.TypeChecking.Conversion
- forallPiAgda.Syntax.Parser.Helpers
- forallQAgda.Syntax.Concrete.Glyph
- forArray_Agda.Utils.IArray
- ForcedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ForcedConstructorNotInstantiatedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- forceEtaExpandRecordAgda.TypeChecking.Records
- ForceNotFreeAgda.TypeChecking.Free.Reduce
- forceNotFreeAgda.TypeChecking.Free.Reduce
- forcePiUsingInjectivityAgda.TypeChecking.Injectivity
- forceSortAgda.TypeChecking.Rules.Data
- ForeignCodeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ForeignCodeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ForeignCodeStackAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ForeignCodeStackAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ForeignFileHeaderPragmaAgda.Compiler.MAlonzo.Pragmas
- foreignHaskellAgda.Compiler.MAlonzo.Pragmas
- ForeignImportAgda.Compiler.MAlonzo.Pragmas
- ForeignOtherAgda.Compiler.MAlonzo.Pragmas
- ForeignPragmaAgda.Syntax.Concrete
- forEither3MAgda.Utils.Three
- forgetAllAgda.Utils.IndexedList
- forgetIndexAgda.Utils.IndexedList
- forgetLoneSigsAgda.Syntax.Concrete.Definitions.Monad
- forkTCMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- forM'Agda.Utils.Monad
- formatDebugMessageAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- formatLibErrorAgda.Interaction.Library.Base
- formatLibErrorsAgda.Interaction.Library.Base
- formatLibPositionInfoAgda.Interaction.Library.Base
- forMaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- forMaybeMAgda.Utils.Monad
- forMaybeMMAgda.Utils.Monad
- forMMAgda.Utils.Monad
- forMM_Agda.Utils.Monad
- FracAgda.Utils.Haskell.Syntax
- FrameAgda.TypeChecking.CompiledClause.Match
- FreeAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FreeAgda.Benchmarking
- FreeEnvAgda.TypeChecking.Free.Lazy
- FreeEnvAgda.TypeChecking.Free.Lazy
- FreeEnv'Agda.TypeChecking.Free.Lazy
- freeInAgda.Compiler.Treeless.SubstAgda.TypeChecking.Free
- freeInIgnoringSortsAgda.TypeChecking.Free
- FreeMAgda.TypeChecking.Free.Lazy
- FreeTAgda.TypeChecking.Free.Lazy
- FreeVariablesAgda.Syntax.Common
- freeVariablesFromListAgda.Syntax.Common
- freeVarsAgda.TypeChecking.Free
- freeVarsAgda.Compiler.Treeless.Subst
- freeVars'Agda.TypeChecking.Free
- freeVars'Agda.TypeChecking.Free.Lazy
- freeVarsIgnoreAgda.TypeChecking.Free
- freeVarsToApplyAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- freezeMetasAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- freshAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- freshAbstractNameAgda.Syntax.Scope.Monad
- freshAbstractName_Agda.Syntax.Scope.Monad
- freshAbstractQNameAgda.Syntax.Scope.Monad
- freshAbstractQName'Agda.Syntax.Scope.Monad
- freshAbstractQName'_Agda.TypeChecking.Rules.Data
- FreshAndReuseAgda.TypeChecking.Serialise.Base
- FreshAndReuseAgda.TypeChecking.Serialise.Base
- freshConcreteNameAgda.Syntax.Scope.Monad
- freshIntAgda.TypeChecking.Conversion.Pure
- freshInteractionIdAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- freshLensAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FreshNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- freshNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- freshName_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- freshNameIdAgda.TypeChecking.Conversion.Pure
- FreshNameModeAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.Name
- freshNoNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- freshNoName_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- freshProblemIdAgda.TypeChecking.Conversion.Pure
- freshRecordNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- freshTCMAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- FreshThingsAgda.TypeChecking.Conversion.Pure
- FreshThingsAgda.TypeChecking.Conversion.Pure
- fromAgda.Interaction.Highlighting.Range
- fromAbsNameAgda.TypeChecking.Serialise.Instances.Abstract
- FromArgsAgda.Interaction.JSON
- fromAscListAgda.Utils.BoolSetAgda.Utils.SmallSet
- fromBlockedAgda.TypeChecking.Reduce
- fromBoolAgda.Utils.Boolean
- fromBool1Agda.Utils.Boolean
- fromBool2Agda.Utils.Boolean
- fromCallSiteListAgda.Utils.CallStack
- fromCmpAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- fromConPatternInfoAgda.Syntax.Internal
- fromCTypeAgda.TypeChecking.Primitive.Cubical
- fromDistinctAscendingListsAgda.Utils.BiMap
- fromDistinctAscendingListsPreconditionAgda.Utils.BiMap
- fromDistinctAscListAgda.Utils.BoolSetAgda.Utils.SmallSet
- fromDotNetTimeAgda.Interaction.JSON
- fromEdgesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromEdgesWithAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromEncodingAgda.Interaction.JSON
- fromImportedNameAgda.Syntax.Common
- fromIndexListAgda.Termination.SparseMatrix
- FromJSONAgda.Interaction.JSON
- fromJSONAgda.Interaction.JSON
- FromJSON1Agda.Interaction.JSON
- FromJSON2Agda.Interaction.JSON
- FromJSONKeyAgda.Interaction.JSON
- fromJSONKeyAgda.Interaction.JSON
- FromJSONKeyCoerceAgda.Interaction.JSON
- FromJSONKeyFunctionAgda.Interaction.JSON
- fromJSONKeyListAgda.Interaction.JSON
- FromJSONKeyTextAgda.Interaction.JSON
- FromJSONKeyTextParserAgda.Interaction.JSON
- FromJSONKeyValueAgda.Interaction.JSON
- fromJustAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- fromLeftAgda.Utils.Either
- fromLeftMAgda.Utils.Either
- fromListAgda.Termination.CallGraph
- fromListAgda.Utils.BagAgda.Utils.BiMapAgda.Utils.BoolSetAgda.Utils.FavoritesAgda.Utils.SmallSetAgda.Utils.VarSet
- fromListAgda.Utils.List1Agda.Utils.Singleton
- fromList1Agda.Utils.List2
- fromList1EitherAgda.Utils.List2
- fromList1MaybeAgda.Utils.List2
- fromListMaybeAgda.Utils.List2
- fromListNAgda.Utils.List1
- fromListPreconditionAgda.Utils.BiMap
- fromListsAgda.Termination.SparseMatrix
- fromListSafeAgda.Utils.List1
- fromLiteralAgda.TypeChecking.Primitive
- fromLTypeAgda.TypeChecking.Primitive.Cubical
- fromMaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- fromMaybeMAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- fromMaybeMPAgda.Utils.Monad
- fromMillisecondsAgda.Utils.Time
- fromNodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromNodeSetAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromNonOverlappingNonEmptyAscendingListAgda.Utils.RangeMap
- fromOrderingAgda.Utils.PartialOrd
- fromOrderingsAgda.Utils.PartialOrd
- fromOrdinaryAgda.Syntax.Concrete
- fromPatternSubstitutionAgda.TypeChecking.Substitute
- fromReduceDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- fromReducedTermAgda.TypeChecking.Primitive
- fromRightAgda.Utils.Either
- fromRightMAgda.Utils.Either
- fromSplitPatternAgda.TypeChecking.Coverage.Match
- fromSplitPatternsAgda.TypeChecking.Coverage.Match
- fromSubscriptDigitAgda.Utils.Suffix
- FromTermAgda.TypeChecking.Primitive
- fromTermAgda.TypeChecking.Primitive
- FromTermFunctionAgda.TypeChecking.Primitive
- FrontEndEmacsAgda.Main
- FrontEndJsonAgda.Main
- FrontEndReplAgda.Main
- FrontendTypeAgda.Main
- FrozenAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FrozenAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- fsepAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- fst3Agda.Utils.Tuple
- FullAgda.Interaction.Highlighting.Generate
- fullAgda.Utils.IntSet.Infinite
- fullBoundaryAgda.TypeChecking.Telescope
- fullRenderAgda.Syntax.Common.Pretty
- fullRenderAnnAgda.Syntax.Common.Pretty
- fullyApplyConAgda.TypeChecking.Datatypes
- fullyApplyCon'Agda.TypeChecking.Datatypes
- FunAgda.TypeChecking.Primitive
- FunAgda.Syntax.AbstractAgda.Syntax.Concrete
- funAbstrAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funAbstr_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunAbstractAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funAbstractAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funAbstract_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunArityAgda.Syntax.Internal.Pattern
- funArityAgda.Syntax.Internal.Pattern
- FunBindAgda.Utils.Haskell.Syntax
- FunClauseAgda.Syntax.Concrete
- funClauseOrTypeSigsAgda.Syntax.Parser.Helpers
- funClausesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funCompiledAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funCoveringAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionAgda.Utils.TypeLevel
- FunctionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionAgda.Interaction.Highlighting.PreciseAgda.Interaction.Response.BaseAgda.Syntax.Common.Aspect
- FunctionCtxAgda.Syntax.Fixity
- FunctionDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionDefnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionFlagAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionInverseAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- functionInverseAgda.TypeChecking.Injectivity
- FunctionInverse'Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionKindAgda.Compiler.MAlonzo.Misc
- FunctionReductionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunctionSpaceDomainCtxAgda.Syntax.Fixity
- FunctionTypeInSizeUnivAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunDefAgda.Syntax.AbstractAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Reflected
- FunDefSAgda.Syntax.Abstract
- FunErasureAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funErasureAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funExtLamAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunFirstOrderAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funFirstOrderAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funFlagAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funFlag_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funFlagsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunInlineAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funInlineAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funInvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funIsKanOpAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunKAgda.Compiler.MAlonzo.Misc
- FunMacroAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funMacroAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funMacro_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funMutualAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunNameAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Scope.Base
- funOpaqueAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunProjAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funProjAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funProj_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funProjectionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunSigAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- FunSortAgda.Syntax.Internal
- funSortAgda.TypeChecking.Substitute
- funSort'Agda.TypeChecking.Substitute
- funSplitTreeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- FunStaticAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funStaticAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funTerminatesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funTreelessAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- funUnivAgda.Syntax.Internal.Univ
- funWithAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- fuseIntervalsAgda.Syntax.Position
- fuseRangeAgda.Syntax.Position
- fuseRangesAgda.Syntax.Position
- FVsAgda.TypeChecking.MetaVars
- fwordsAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty