Agda-2.6.3.20230805: A dependently typed functional programming language and proof assistant

Index - G

gApplyAgda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
gApply'Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
garrAgda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
gaussJordanFloydWarshallMcNaughtonYamadaAgda.Utils.Graph.AdjacencyMap.Unidirectional
gaussJordanFloydWarshallMcNaughtonYamadaReferenceAgda.Utils.Graph.AdjacencyMap.Unidirectional
GeneralHelpAgda.Interaction.Options.Help
GeneralizableAgda.Syntax.Common.Aspect, Agda.Interaction.Highlighting.Precise
GeneralizableVarAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
Generalize 
1 (Data Constructor)Agda.Syntax.Concrete
2 (Data Constructor)Agda.Benchmarking, Agda.TypeChecking.Monad.Benchmark
3 (Data Constructor)Agda.Syntax.Abstract
GeneralizeCyclicDependencyAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
Generalized 
1 (Data Constructor)Agda.Syntax.Concrete
2 (Data Constructor)Agda.Syntax.Abstract
generalizedAgda.Syntax.Abstract
generalizedFieldNameAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GeneralizedValue 
1 (Type/Class)Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
2 (Data Constructor)Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GeneralizedVarInLetOpenedModuleAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GeneralizedVarsMetadataAgda.Syntax.Scope.Base
GeneralizeNameAgda.Syntax.Scope.Base
GeneralizeNotSupportedHereAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GeneralizeSAgda.Syntax.Abstract
GeneralizeTelAgda.Syntax.Abstract
generalizeTelAgda.Syntax.Abstract
GeneralizeTelescopeAgda.Syntax.Abstract
generalizeTelescopeAgda.TypeChecking.Generalize
generalizeTelVarsAgda.Syntax.Abstract
generalizeTypeAgda.TypeChecking.Generalize
generalizeType'Agda.TypeChecking.Generalize
GeneralizeUnsolvedMetaAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
generateAndPrintSyntaxInfoAgda.Interaction.Highlighting.Generate
GeneratedClauseAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
generateTokenInfoAgda.Interaction.Highlighting.Generate
generateTokenInfoFromSourceAgda.Interaction.Highlighting.Generate
generateTokenInfoFromStringAgda.Interaction.Highlighting.Generate
generateVimFileAgda.Interaction.Highlighting.Vim
GeneratorAgda.Utils.Haskell.Syntax
GenericDocErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericDocErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericElemIndexAgda.Utils.List
GenericErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericFromJSONKeyAgda.Interaction.JSON
genericLiftParseJSONAgda.Interaction.JSON
genericLiftToEncodingAgda.Interaction.JSON
genericLiftToJSONAgda.Interaction.JSON
GenericNonFatalErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericNonFatalErrorAgda.TypeChecking.Warnings
GenericNonFatalError_Agda.Interaction.Options.Warnings
genericParseJSONAgda.Interaction.JSON
GenericSplitErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericToEncodingAgda.Interaction.JSON
genericToJSONAgda.Interaction.JSON
genericToJSONKeyAgda.Interaction.JSON
GenericUselessAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GenericUseless_Agda.Interaction.Options.Warnings
GenericWarningAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericWarningAgda.TypeChecking.Warnings
GenericWarning_Agda.Interaction.Options.Warnings
genPrimForceAgda.TypeChecking.Primitive
genvalCheckpointAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genvalTermAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genvalTypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAbsoluteIncludePathsAgda.Interaction.Options.Lenses
getAgdaLibFilesAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAgdaLibFiles'Agda.Interaction.Library
getAgdaLibFilesWithoutTopLevelModuleNameAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAllArgsAgda.Auto.Typecheck
getAllConstraintsAgda.TypeChecking.Monad.Constraints, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAllInstanceDefsAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAllPatternSynsAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAllUnsolvedWarningsAgda.TypeChecking.Pretty.Warning, Agda.TypeChecking.Errors
getAllWarningsAgda.TypeChecking.Pretty.Warning, Agda.TypeChecking.Errors
getAllWarningsOfTCErrAgda.TypeChecking.Pretty.Warning, Agda.TypeChecking.Errors
getAllWarningsPreservingAgda.TypeChecking.Pretty.Warning, Agda.TypeChecking.Errors
getAnnotationAgda.Syntax.Common
getAnonInstanceDefsAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAnonymousVariablesAgda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getArgInfoAgda.Syntax.Common
getArgOccurrenceAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getAwakeConstraintsAgda.TypeChecking.Monad.Constraints, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBenchmark 
1 (Function)Agda.Utils.Benchmark, Agda.TypeChecking.Monad.Benchmark
2 (Function)Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad
getblksAgda.Auto.CaseSplit
getBlockerAgda.Syntax.Internal.Blockers, Agda.Syntax.Internal
getBoundaryAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltinAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltin'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltinDefNameAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltinIdAgda.Syntax.Builtin, Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltinNameAgda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
getBuiltinName'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltinRewriteRelationsAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltinSizeAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getBuiltinThingAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getCachedAgdaLibFileAgda.Interaction.Library.Base
getCachedProjectConfigAgda.Interaction.Library.Base
getCallStackAgda.Utils.CallStack
getClausesAsRewriteRulesAgda.TypeChecking.Rewriting.Clause
getClauseZipperForIPAgda.Interaction.MakeCase
getClockTimeAgda.Utils.Time
getCohesionAgda.Syntax.Common
getCohesionModAgda.Syntax.Common
getCommandLineOptionsAgda.Interaction.Options.Lenses
getCompiledAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getCompiledArgUseAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getConcreteFixityAgda.Syntax.Scope.Monad
getConcretePolarityAgda.Syntax.Scope.Monad
getConFormAgda.TypeChecking.Datatypes
getConHeadAgda.TypeChecking.Datatypes
getConInfoAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getConNameAgda.Syntax.Internal
getConst 
1 (Function)Agda.Auto.Syntax
2 (Function)Agda.Auto.Convert
getConstInfoAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.TypeChecking.Reduce.Monad, Agda.Compiler.Backend
getConstInfo'Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getConstraintsAgda.Interaction.BasicOps
getConstraints'Agda.Interaction.BasicOps
getConstraintsForProblemAgda.TypeChecking.Monad.Constraints, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getConstraintsMentioningAgda.Interaction.BasicOps
getConstructorDataAgda.TypeChecking.Datatypes
getConstructorInfoAgda.TypeChecking.Datatypes
getConstructorInfo'Agda.TypeChecking.Datatypes
getConstructorsAgda.TypeChecking.Datatypes
getConstructors'Agda.TypeChecking.Datatypes
getConstructors_Agda.TypeChecking.Datatypes
getContext 
1 (Function)Agda.Syntax.Parser.Monad
2 (Function)Agda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getContextArgsAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getContextNamesAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getContextSizeAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getContextTelescopeAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getContextTermsAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getConTypeAgda.TypeChecking.Datatypes
getCostAgda.Auto.NarrowingSearch
getCPUTimeAgda.Utils.Time
getCurrentModuleAgda.Syntax.Scope.Monad
getCurrentModuleFreeVarsAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getCurrentPathAgda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getCurrentRangeAgda.TypeChecking.Monad.Trace, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getCurrentScopeAgda.Syntax.Scope.Monad
getDatatypeAgda.Auto.Typecheck
getDatatypeArgsAgda.TypeChecking.Datatypes
getDecodedModuleAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getDecodedModulesAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getDefAgda.TypeChecking.Functions
getDefArityAgda.TypeChecking.Positivity
getDefaultLibrariesAgda.Interaction.Library
getDefFreeVarsAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getDefinedNamesAgda.Syntax.Scope.Flat
getDefModuleAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GetDefsAgda.Syntax.Internal.Defs
getDefsAgda.Syntax.Internal.Defs
getDefs'Agda.Syntax.Internal.Defs
GetDefsEnv 
1 (Type/Class)Agda.Syntax.Internal.Defs
2 (Data Constructor)Agda.Syntax.Internal.Defs
GetDefsMAgda.Syntax.Internal.Defs
getDefTypeAgda.TypeChecking.Records
getdfvAgda.Auto.Convert
getDisplayFormsAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getEnvAgda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getEqsAgda.Auto.Convert
getEqualityAgda.TypeChecking.Rules.LHS.Unify.Types
getEqualityUnraisedAgda.TypeChecking.Rules.LHS.Unify.Types
getErasedConArgsAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getForcedArgsAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getForeignCodeStackAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getFreeVariablesAgda.Syntax.Common
getFreeVariablesArgInfoAgda.Syntax.Common
getFullyAppliedConTypeAgda.TypeChecking.Datatypes
getGeneralizedFieldNameAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getGeneralizedParametersAgda.TypeChecking.Rules.Data
getGoalsAgda.Interaction.BasicOps
getGoals'Agda.Interaction.BasicOps
getHaskellConstructorAgda.Compiler.MAlonzo.Pragmas
getHaskellPragmaAgda.Compiler.MAlonzo.Pragmas
getHidingAgda.Syntax.Common
getHidingArgInfoAgda.Syntax.Common
getImportPathAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getIncludeDirsAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getIncludePathsAgda.Interaction.Options.Lenses
getinfoAgda.Auto.SearchControl
getInputAgda.Syntax.Parser.LookAhead
getInstalledLibrariesAgda.Interaction.Library
getInstanceCandidatesAgda.TypeChecking.InstanceArguments
getInstanceDefsAgda.TypeChecking.Telescope
getInteractionIdsAndMetasAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInteractionMetasAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInteractionOutputCallbackAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInteractionPointsAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInteractionRangeAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInteractionScopeAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInteractorAgda.Main
getIntervalFileAgda.Syntax.Position
getIPBoundaryAgda.Interaction.BasicOps
getLanguageAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getLeftoverPatternsAgda.TypeChecking.Rules.LHS.Problem
getLetBindingsAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getLexInputAgda.Syntax.Parser.Alex
getLexStateAgda.Syntax.Parser.Monad
getLibraryOptionsAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getLocalVarsAgda.Syntax.Scope.Monad
getLockAgda.Syntax.Common
getMainModeAgda.Main
getMaskAgda.Termination.Monad
getMaskedAgda.Termination.Monad
GetMatchablesAgda.TypeChecking.Rewriting.NonLinPattern
getMatchablesAgda.TypeChecking.Rewriting.NonLinPattern
getMaxNatAgda.Utils.Monoid
getMetaAgda.Auto.Convert
getMetaContextArgsAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaEnvAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaInfoAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaListenersAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaNameSuggestionAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaPriorityAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaRangeAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaScopeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaSigAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaTypeAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaTypeInContextAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getModalityAgda.Syntax.Common
getModalityArgInfoAgda.Syntax.Common
getModuleContentsAgda.Interaction.BasicOps
getModuleFreeVarsAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getModuleParameterSubAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMutualAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMutual_Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getName'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getNamedScopeAgda.Syntax.Scope.Monad
getNameOfAgda.Syntax.Common
getNameOfConstrainedAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getNArgsAgda.Auto.Typecheck
getNotationAgda.Syntax.Scope.Monad
getNotErasedConstructorsAgda.TypeChecking.Datatypes
getNumberOfParametersAgda.TypeChecking.Datatypes
getOccurrencesAgda.TypeChecking.Positivity
getOldInteractionScopeAgda.Interaction.InteractionTop
getOpenAgda.TypeChecking.Monad.Open, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getOpenMetasAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getOptSimpleAgda.Interaction.Options
getOrigConHeadAgda.TypeChecking.Datatypes
getOriginAgda.Syntax.Common
getOriginalConstInfoAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getOriginalProjectionAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getOriginArgInfoAgda.Syntax.Common
getOutputTypeNameAgda.TypeChecking.Telescope
getParseFlagsAgda.Syntax.Parser.Monad
getParseIntervalAgda.Syntax.Parser.Monad
getPartialDefsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPatternSynImportsAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPatternSynsAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPersistentVerbosityAgda.Interaction.Options.Lenses
getPolarity 
1 (Function)Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
2 (Function)Agda.TypeChecking.SizedTypes.Syntax
getPolarity'Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPragmaOptionsAgda.Interaction.Options.Lenses
getPrettyVisitedModulesAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrimitiveAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrimitive'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrimitiveLibDirAgda.Interaction.Library
getPrimitiveName'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrimitiveTermAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrimitiveTerm'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrimNameAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrioAgda.Auto.NarrowingSearch
getProfileOptionsAgda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getProjLamsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getQNameFromTermAgda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
getQuantityAgda.Syntax.Common
getQuantityModAgda.Syntax.Common
getRangeAgda.Syntax.Position
getRecordConstructorAgda.TypeChecking.Records
getRecordContentsAgda.Interaction.BasicOps
getRecordDefAgda.TypeChecking.Records
getRecordFieldNamesAgda.TypeChecking.Records
getRecordFieldNames_Agda.TypeChecking.Records
getRecordFieldTypesAgda.TypeChecking.Records
getRecordOfFieldAgda.TypeChecking.Records
getRecordTypeFieldsAgda.TypeChecking.Records
getReducedEqualityAgda.TypeChecking.Rules.LHS.Unify.Types
getReducedEqualityUnraisedAgda.TypeChecking.Rules.LHS.Unify.Types
getReflAgda.TypeChecking.Primitive
getReflArgInfoAgda.TypeChecking.Primitive
getReflPatternAgda.TypeChecking.Rules.Def
getRelevanceAgda.Syntax.Common
getRelevanceModAgda.Syntax.Common
getResponseContextAgda.Interaction.BasicOps
getRewriteRulesForAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getSafeModeAgda.Interaction.Options.Lenses
getsBenchmarkAgda.Utils.Benchmark
getScopeAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getSectionAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getSigAgda.Syntax.Concrete.Definitions.Monad
getSigmaKitAgda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
getSignatureAgda.TypeChecking.Monad.State, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getSimplificationAgda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getSizeConstraintsAgda.TypeChecking.SizedTypes
getSizeHypothesesAgda.TypeChecking.SizedTypes.Solve
getSizeMetasAgda.TypeChecking.SizedTypes
getSolvedInteractionPointsAgda.Interaction.BasicOps
getSortAgda.Syntax.Internal
getStatisticsAgda.TypeChecking.Monad.Statistics, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getsTCAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getTCAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getTCStateAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getTermAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getTerm'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getTimeOutAgda.Auto.Options
getTreelessAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getTrustedExecutablesAgda.Interaction.Library
getTypedHeadAgda.TypeChecking.Rewriting.NonLinMatch
getUnambiguousAgda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Compiler.Backend
getUniqueCompilerPragmaAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getUniqueMetasRangesAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getUniverseCheckFromSigAgda.Syntax.Concrete.Definitions.Monad
getUnsolvedInteractionMetasAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getUnsolvedMetasAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getUserVariableNamesAgda.TypeChecking.Rules.LHS.Problem
getUserWarningsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getVarAgda.Auto.Syntax
getVarInfoAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getVarsToBindAgda.Syntax.Scope.Monad
getVarTypeAgda.TypeChecking.Rules.LHS.Unify.Types
getVarTypeUnraisedAgda.TypeChecking.Rules.LHS.Unify.Types
getVerbosity 
1 (Function)Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
2 (Function)Agda.Interaction.Options.Lenses
getVisitedModuleAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getVisitedModulesAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getWarningsAndNonFatalErrorsAgda.Interaction.BasicOps
GFromJSONAgda.Interaction.JSON
GFromJSONKeyAgda.Interaction.JSON
ghcBackendAgda.Compiler.MAlonzo.Compiler
ghcBackendNameAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GHCEnv 
1 (Type/Class)Agda.Compiler.MAlonzo.Misc
2 (Data Constructor)Agda.Compiler.MAlonzo.Misc
ghcEnvBoolAgda.Compiler.MAlonzo.Misc
ghcEnvConIdAgda.Compiler.MAlonzo.Misc
ghcEnvConsAgda.Compiler.MAlonzo.Misc
ghcEnvFalseAgda.Compiler.MAlonzo.Misc
ghcEnvFlatAgda.Compiler.MAlonzo.Misc
ghcEnvIdAgda.Compiler.MAlonzo.Misc
ghcEnvInfAgda.Compiler.MAlonzo.Misc
ghcEnvIntegerAgda.Compiler.MAlonzo.Misc
ghcEnvIntervalAgda.Compiler.MAlonzo.Misc
ghcEnvIOneAgda.Compiler.MAlonzo.Misc
ghcEnvIsOneAgda.Compiler.MAlonzo.Misc
ghcEnvIsOne1Agda.Compiler.MAlonzo.Misc
ghcEnvIsOne2Agda.Compiler.MAlonzo.Misc
ghcEnvIsOneEmptyAgda.Compiler.MAlonzo.Misc
ghcEnvIsTCBuiltinAgda.Compiler.MAlonzo.Misc
ghcEnvItIsOneAgda.Compiler.MAlonzo.Misc
ghcEnvIZeroAgda.Compiler.MAlonzo.Misc
ghcEnvJustAgda.Compiler.MAlonzo.Misc
ghcEnvListAgda.Compiler.MAlonzo.Misc
ghcEnvListArityAgda.Compiler.MAlonzo.Misc
ghcEnvMaybeAgda.Compiler.MAlonzo.Misc
ghcEnvMaybeArityAgda.Compiler.MAlonzo.Misc
ghcEnvNatAgda.Compiler.MAlonzo.Misc
ghcEnvNilAgda.Compiler.MAlonzo.Misc
ghcEnvNothingAgda.Compiler.MAlonzo.Misc
ghcEnvOptsAgda.Compiler.MAlonzo.Misc
ghcEnvPathPAgda.Compiler.MAlonzo.Misc
ghcEnvSharpAgda.Compiler.MAlonzo.Misc
ghcEnvSubAgda.Compiler.MAlonzo.Misc
ghcEnvSubInAgda.Compiler.MAlonzo.Misc
ghcEnvTrueAgda.Compiler.MAlonzo.Misc
ghcEnvWord64Agda.Compiler.MAlonzo.Misc
ghcInvocationStringsAgda.Compiler.MAlonzo.Compiler
ghcModEnvAgda.Compiler.MAlonzo.Misc
ghcModHsModuleEnvAgda.Compiler.MAlonzo.Misc
GHCModuleEnv 
1 (Type/Class)Agda.Compiler.MAlonzo.Misc
2 (Data Constructor)Agda.Compiler.MAlonzo.Misc
GHCOptions 
1 (Type/Class)Agda.Compiler.MAlonzo.Misc
2 (Data Constructor)Agda.Compiler.MAlonzo.Misc
GiveAgda.Interaction.InteractionTop
giveAgda.Interaction.BasicOps
giveExprAgda.Interaction.BasicOps
GiveRefineAgda.Interaction.InteractionTop
GiveResultAgda.Interaction.Response
giveUpAgda.TypeChecking.SizedTypes
give_genAgda.Interaction.InteractionTop
Give_NoParenAgda.Interaction.Response
Give_ParenAgda.Interaction.Response
Give_StringAgda.Interaction.Response
glamAgda.TypeChecking.Names
glamNAgda.TypeChecking.Names
glbAgda.TypeChecking.SizedTypes.WarshallSolver
glb'Agda.TypeChecking.SizedTypes.WarshallSolver
GlobalAgda.Compiler.JS.Syntax
globalAgda.Compiler.JS.Compiler
global'Agda.Compiler.JS.Compiler
GlobalCandidateAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GlobalConfluenceCheckAgda.Interaction.Options
GlobalId 
1 (Type/Class)Agda.Compiler.JS.Syntax
2 (Data Constructor)Agda.Compiler.JS.Syntax
GlobalsAgda.Compiler.JS.Syntax
globalsAgda.Compiler.JS.Syntax
GMAgda.Utils.Warshall
GoalAndElaborationAgda.Interaction.Response
GoalAndHaveAgda.Interaction.Response
GoalDisplayInfoAgda.Interaction.Response
GoalOnlyAgda.Interaction.Response
GoalsAgda.Interaction.Response
GoalTypeAuxAgda.Interaction.Response
Goal_CurrentGoalAgda.Interaction.Response
Goal_GoalTypeAgda.Interaction.Response
Goal_HelperFunctionAgda.Interaction.Response
Goal_InferredTypeAgda.Interaction.Response
Goal_NormalFormAgda.Interaction.Response
gpiAgda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
grammar 
1 (Function)Agda.Utils.Parser.MemoisedCPS
2 (Function)Agda.Syntax.Concrete.Operators.Parser.Monad
Graph 
1 (Type/Class)Agda.Utils.Graph.AdjacencyMap.Unidirectional
2 (Data Constructor)Agda.Utils.Graph.AdjacencyMap.Unidirectional
3 (Data Constructor)Agda.Benchmarking, Agda.TypeChecking.Monad.Benchmark
4 (Type/Class)Agda.Utils.Warshall
5 (Data Constructor)Agda.Utils.Warshall
6 (Type/Class)Agda.TypeChecking.Positivity
7 (Type/Class)Agda.TypeChecking.SizedTypes.WarshallSolver
graph 
1 (Function)Agda.Utils.Graph.AdjacencyMap.Unidirectional
2 (Function)Agda.Utils.Warshall
graphFromConstraintsAgda.TypeChecking.SizedTypes.WarshallSolver
graphFromListAgda.TypeChecking.SizedTypes.WarshallSolver
GraphsAgda.TypeChecking.SizedTypes.WarshallSolver
graphsFromConstraintsAgda.TypeChecking.SizedTypes.WarshallSolver
graphToListAgda.TypeChecking.SizedTypes.WarshallSolver
graphToLowerBoundsAgda.TypeChecking.SizedTypes.WarshallSolver
graphToUpperBoundsAgda.TypeChecking.SizedTypes.WarshallSolver
GreatestAgda.TypeChecking.SizedTypes.Syntax
GroupAgda.Compiler.JS.Pretty
group 
1 (Function)Agda.Utils.List1
2 (Function)Agda.Compiler.JS.Pretty
group1Agda.Utils.List1
groupAllWithAgda.Utils.List1
groupAllWith1Agda.Utils.List1
groupByAgda.Utils.List1
groupBy' 
1 (Function)Agda.Utils.List
2 (Function)Agda.Utils.List1
groupBy1Agda.Utils.List1
groupByEitherAgda.Utils.Either
groupOn 
1 (Function)Agda.Utils.List1
2 (Function)Agda.Utils.List
groupOn1Agda.Utils.List1
groupsAgda.Utils.Bag
groupWithAgda.Utils.List1
groupWith1Agda.Utils.List1
GToEncodingAgda.Interaction.JSON
GToJSONAgda.Interaction.JSON
GToJSON'Agda.Interaction.JSON
GToJSONKeyAgda.Interaction.JSON
guardConstraintAgda.TypeChecking.Constraints
GuardedAgda.Termination.Monad
guardednessOptionAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GuardedRhs 
1 (Type/Class)Agda.Utils.Haskell.Syntax
2 (Data Constructor)Agda.Utils.Haskell.Syntax
GuardedRhssAgda.Utils.Haskell.Syntax
guardMAgda.Utils.Monad
guardPointerEqualityAgda.TypeChecking.Conversion
GuardPosAgda.TypeChecking.Positivity.Occurrence
guardWithErrorAgda.Utils.Monad