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

Index - G

gApplyAgda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base
gApply'Agda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base
garrAgda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base
gaussJordanFloydWarshallMcNaughtonYamadaAgda.Utils.Graph.AdjacencyMap.Unidirectional
gaussJordanFloydWarshallMcNaughtonYamadaReferenceAgda.Utils.Graph.AdjacencyMap.Unidirectional
GeneralHelpAgda.Interaction.Options.Help
GeneralizableAgda.Interaction.Highlighting.Precise
GeneralizableVarAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
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.Compiler.Backend, Agda.TypeChecking.Monad
Generalized 
1 (Data Constructor)Agda.Syntax.Concrete
2 (Data Constructor)Agda.Syntax.Abstract
generalizedAgda.Syntax.Abstract
generalizedFieldNameAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
GeneralizedValue 
1 (Type/Class)Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
2 (Data Constructor)Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
GeneralizedVarsMetadataAgda.Syntax.Scope.Base
GeneralizeNameAgda.Syntax.Scope.Base
GeneralizeNotSupportedHereAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
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.Compiler.Backend, Agda.TypeChecking.Monad
generateAndPrintSyntaxInfoAgda.Interaction.Highlighting.Generate
GeneratedClauseAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
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.Compiler.Backend, Agda.TypeChecking.Monad
genericDocErrorAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genericElemIndexAgda.Utils.List
GenericErrorAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genericErrorAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genericFromJSONKeyAgda.Interaction.JSON
genericLiftParseJSONAgda.Interaction.JSON
genericLiftToEncodingAgda.Interaction.JSON
genericLiftToJSONAgda.Interaction.JSON
GenericNonFatalErrorAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genericNonFatalErrorAgda.TypeChecking.Warnings
GenericNonFatalError_Agda.Interaction.Options.Warnings
genericParseJSONAgda.Interaction.JSON
GenericSplitErrorAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genericToEncodingAgda.Interaction.JSON
genericToJSONAgda.Interaction.JSON
genericToJSONKeyAgda.Interaction.JSON
GenericUselessAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
GenericUseless_Agda.Interaction.Options.Warnings
GenericWarningAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genericWarningAgda.TypeChecking.Warnings
GenericWarning_Agda.Interaction.Options.Warnings
genPrimForceAgda.TypeChecking.Primitive
genvalCheckpointAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genvalTermAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
genvalTypeAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getAbsoluteIncludePathsAgda.Interaction.Options.Lenses
getAgdaLibFilesAgda.TypeChecking.Monad.Options, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getAgdaLibFiles'Agda.Interaction.Library
getAllArgsAgda.Auto.Typecheck
getAllConstraintsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Constraints
getAllInstanceDefsAgda.TypeChecking.Monad.State, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getAllPatternSynsAgda.TypeChecking.Monad.State, Agda.Compiler.Backend, Agda.TypeChecking.Monad
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.Compiler.Backend, Agda.TypeChecking.Monad
getAnonymousVariablesAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Env
getArgInfoAgda.Syntax.Common
getArgOccurrenceAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getAwakeConstraintsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Constraints
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
getBuiltinAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getBuiltin'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getBuiltinDefNameAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.SizedTypes
getBuiltinNameAgda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base
getBuiltinName'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getBuiltinRewriteRelationsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getBuiltinSizeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.SizedTypes
getBuiltinThingAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
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.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getCompiledArgUseAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getConcreteFixityAgda.Syntax.Scope.Monad
getConcretePolarityAgda.Syntax.Scope.Monad
getConFormAgda.TypeChecking.Datatypes
getConHeadAgda.TypeChecking.Datatypes
getConInfoAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getConNameAgda.Syntax.Internal
getConst 
1 (Function)Agda.Auto.Syntax
2 (Function)Agda.Auto.Convert
getConstInfoAgda.Compiler.Backend, Agda.TypeChecking.Reduce.Monad, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getConstInfo'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getConstraintsAgda.Interaction.BasicOps
getConstraints'Agda.Interaction.BasicOps
getConstraintsForProblemAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Constraints
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.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getContextArgsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getContextNamesAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getContextSizeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getContextTelescopeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getContextTermsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getConTypeAgda.TypeChecking.Datatypes
getCostAgda.Auto.NarrowingSearch
getCPUTimeAgda.Utils.Time
getCurrentModuleAgda.Syntax.Scope.Monad
getCurrentModuleFreeVarsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getCurrentPathAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Env
getCurrentRangeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Trace
getCurrentScopeAgda.Syntax.Scope.Monad
getDatatypeAgda.Auto.Typecheck
getDatatypeArgsAgda.TypeChecking.Datatypes
getDecodedModuleAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Imports
getDecodedModulesAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Imports
getDefAgda.TypeChecking.Functions
getDefArityAgda.TypeChecking.Positivity
getDefaultLibrariesAgda.Interaction.Library
getDefFreeVarsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getDefinedNamesAgda.Syntax.Scope.Flat
getDefModuleAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
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.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getEnvAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Env
getEqsAgda.Auto.Convert
getEqualityAgda.TypeChecking.Rules.LHS.Unify.Types
getEqualityUnraisedAgda.TypeChecking.Rules.LHS.Unify.Types
getErasedConArgsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getForcedArgsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getFreeVariablesAgda.Syntax.Common
getFreeVariablesArgInfoAgda.Syntax.Common
getFullyAppliedConTypeAgda.TypeChecking.Datatypes
getGeneralizedFieldNameAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
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.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Imports
getIncludeDirsAgda.TypeChecking.Monad.Options, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getIncludePathsAgda.Interaction.Options.Lenses
getinfoAgda.Auto.SearchControl
getInputAgda.Syntax.Parser.LookAhead
getInstalledLibrariesAgda.Interaction.Library
getInstanceCandidatesAgda.TypeChecking.InstanceArguments
getInstanceDefsAgda.TypeChecking.Telescope
getInteractionIdsAndMetasAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getInteractionMetasAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getInteractionOutputCallbackAgda.TypeChecking.Monad.State, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getInteractionPointsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getInteractionRangeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getInteractionScopeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getInteractorAgda.Main
getIntervalFileAgda.Syntax.Position
getIPBoundaryAgda.Interaction.BasicOps
getLanguageAgda.TypeChecking.Monad.Options, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getLeftoverPatternsAgda.TypeChecking.Rules.LHS.Problem
getLetBindingsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getLexInputAgda.Syntax.Parser.Alex
getLexStateAgda.Syntax.Parser.Monad
getLibraryOptionsAgda.TypeChecking.Monad.Options, Agda.Compiler.Backend, Agda.TypeChecking.Monad
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.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getMetaEnvAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getMetaInfoAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getMetaListenersAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getMetaNameSuggestionAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getMetaPriorityAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getMetaRangeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getMetaScopeAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getMetaSigAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getMetaTypeAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getMetaTypeInContextAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getModalityAgda.Syntax.Common
getModalityArgInfoAgda.Syntax.Common
getModuleContentsAgda.Interaction.BasicOps
getModuleFreeVarsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getModuleParameterSubAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getMutualAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getMutual_Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getName'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getNamedScopeAgda.Syntax.Scope.Monad
getNameOfAgda.Syntax.Common
getNameOfConstrainedAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getNArgsAgda.Auto.Typecheck
getNotationAgda.Syntax.Scope.Monad
getNotErasedConstructorsAgda.TypeChecking.Datatypes
getNumberOfParametersAgda.TypeChecking.Datatypes
getOccurrencesAgda.TypeChecking.Positivity
getOldInteractionScopeAgda.Interaction.InteractionTop
getOpenAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Open
getOpenMetasAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getOptSimpleAgda.Interaction.Options
getOrigConHeadAgda.TypeChecking.Datatypes
getOriginAgda.Syntax.Common
getOriginalConstInfoAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getOriginalProjectionAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getOriginArgInfoAgda.Syntax.Common
getOutputTypeNameAgda.TypeChecking.Telescope
getParseFlagsAgda.Syntax.Parser.Monad
getParseIntervalAgda.Syntax.Parser.Monad
getPartialDefsAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getPatternSynImportsAgda.TypeChecking.Monad.State, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getPatternSynsAgda.TypeChecking.Monad.State, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getPersistentVerbosityAgda.Interaction.Options.Lenses
getPolarity 
1 (Function)Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
2 (Function)Agda.TypeChecking.SizedTypes.Syntax
getPolarity'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getPragmaOptionsAgda.Interaction.Options.Lenses
getPrettyVisitedModulesAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Imports
getPrimitiveAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getPrimitive'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getPrimitiveLibDirAgda.Interaction.Library
getPrimitiveName'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getPrimitiveTermAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getPrimitiveTerm'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getPrimNameAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getPrioAgda.Auto.NarrowingSearch
getProfileOptionsAgda.TypeChecking.Monad.Debug, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getProjLamsAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getQNameFromTermAgda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base
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.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getSafeModeAgda.Interaction.Options.Lenses
getsBenchmarkAgda.Utils.Benchmark
getScopeAgda.TypeChecking.Monad.State, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getSectionAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getSigAgda.Syntax.Concrete.Definitions.Monad
getSigmaKitAgda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base
getSignatureAgda.TypeChecking.Monad.State, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getSimplificationAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Env
getSizeConstraintsAgda.TypeChecking.SizedTypes
getSizeHypothesesAgda.TypeChecking.SizedTypes.Solve
getSizeMetasAgda.TypeChecking.SizedTypes
getSolvedInteractionPointsAgda.Interaction.BasicOps
getSortAgda.Syntax.Internal
getStatisticsAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Statistics
getsTCAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getTCAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getTCStateAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getTermAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getTerm'Agda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Builtin
getTimeOutAgda.Auto.Options
getTreelessAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getTrustedExecutablesAgda.Interaction.Library
getTypedHeadAgda.TypeChecking.Rewriting.NonLinMatch
getUnambiguousAgda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Compiler.Backend
getUniqueCompilerPragmaAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Signature
getUniqueMetasRangesAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getUniverseCheckFromSigAgda.Syntax.Concrete.Definitions.Monad
getUnsolvedInteractionMetasAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getUnsolvedMetasAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.MetaVars
getUserVariableNamesAgda.TypeChecking.Rules.LHS.Problem
getUserWarningsAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
getVarAgda.Auto.Syntax
getVarInfoAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Context
getVarsToBindAgda.Syntax.Scope.Monad
getVarTypeAgda.TypeChecking.Rules.LHS.Unify.Types
getVarTypeUnraisedAgda.TypeChecking.Rules.LHS.Unify.Types
getVerbosity 
1 (Function)Agda.TypeChecking.Monad.Debug, Agda.Compiler.Backend, Agda.TypeChecking.Monad
2 (Function)Agda.Interaction.Options.Lenses
getVisitedModuleAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Imports
getVisitedModulesAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.Imports
getWarningsAndNonFatalErrorsAgda.Interaction.BasicOps
GFromJSONAgda.Interaction.JSON
GFromJSONKeyAgda.Interaction.JSON
ghcBackendAgda.Compiler.MAlonzo.Compiler
ghcBackend'Agda.Compiler.MAlonzo.Compiler
ghcBackendNameAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
ghcCommandLineFlagsAgda.Compiler.MAlonzo.Compiler
ghcCompileDefAgda.Compiler.MAlonzo.Compiler
ghcDefDeclsAgda.Compiler.MAlonzo.Compiler
ghcDefDefinitionAgda.Compiler.MAlonzo.Compiler
ghcDefImportsAgda.Compiler.MAlonzo.Compiler
GHCDefinition 
1 (Type/Class)Agda.Compiler.MAlonzo.Compiler
2 (Data Constructor)Agda.Compiler.MAlonzo.Compiler
ghcDefMainDefAgda.Compiler.MAlonzo.Compiler
ghcDefUsesFloatAgda.Compiler.MAlonzo.Compiler
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
ghcEnvMaybeAgda.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
GHCFlags 
1 (Type/Class)Agda.Compiler.MAlonzo.Compiler
2 (Data Constructor)Agda.Compiler.MAlonzo.Compiler
ghcMayEraseTypeAgda.Compiler.MAlonzo.Compiler
ghcModEnvAgda.Compiler.MAlonzo.Misc
ghcModHsModuleEnvAgda.Compiler.MAlonzo.Misc
ghcModMainFuncsAgda.Compiler.MAlonzo.Compiler
ghcModModuleEnvAgda.Compiler.MAlonzo.Compiler
GHCModule 
1 (Type/Class)Agda.Compiler.MAlonzo.Compiler
2 (Data Constructor)Agda.Compiler.MAlonzo.Compiler
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
ghcPostCompileAgda.Compiler.MAlonzo.Compiler
ghcPostModuleAgda.Compiler.MAlonzo.Compiler
ghcPreCompileAgda.Compiler.MAlonzo.Compiler
ghcPreModuleAgda.Compiler.MAlonzo.Compiler
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.Compiler.Backend, Agda.TypeChecking.Monad
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, Agda.TypeChecking.Primitive.Base
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.SizedTypes.WarshallSolver
7 (Type/Class)Agda.TypeChecking.Positivity
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
groupOnAgda.Utils.List
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.Compiler.Backend, Agda.TypeChecking.Monad
GuardedRhs 
1 (Type/Class)Agda.Utils.Haskell.Syntax
2 (Data Constructor)Agda.Utils.Haskell.Syntax
GuardedRhssAgda.Utils.Haskell.Syntax
guardMAgda.Utils.Monad
GuardPosAgda.TypeChecking.Positivity.Occurrence
guardWithErrorAgda.Utils.Monad