Agda-2.6.1.3: 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.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
GeneralizedVarsMetadataAgda.Syntax.Scope.Base
GeneralizeNameAgda.Syntax.Scope.Base
GeneralizeNotSupportedHereAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
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
generateDotAgda.Interaction.Highlighting.Dot
generateHTMLAgda.Interaction.Highlighting.HTML
generateHTMLWithPageGenAgda.Interaction.Highlighting.HTML
generateLaTeXAgda.Interaction.Highlighting.LaTeX
generatePageAgda.Interaction.Highlighting.HTML
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
GenericNonFatalErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericNonFatalErrorAgda.TypeChecking.Warnings
GenericNonFatalError_Agda.Interaction.Options.Warnings
GenericSplitErrorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
GenericWarningAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
genericWarningAgda.TypeChecking.Warnings
GenericWarning_Agda.Interaction.Options.Warnings
GenPartAgda.Syntax.Common
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
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
getAllUnsolvedAgda.Interaction.Imports
getAllWarningsAgda.Interaction.Imports
getAllWarnings'Agda.Interaction.Imports
getAllWarningsOfTCErrAgda.Interaction.Imports
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
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
getBuiltinNameAgda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
getBuiltinName'Agda.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
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
getConHeadsAgda.TypeChecking.Datatypes
getConHeads'Agda.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
getConstructorsAgda.TypeChecking.Datatypes
getConstructors'Agda.TypeChecking.Datatypes
getConstructors_Agda.TypeChecking.Datatypes
getContextAgda.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
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
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
getErasedConArgsAgda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getForcedArgsAgda.TypeChecking.Monad.Signature, 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
getHaskellConstructorAgda.Compiler.MAlonzo.Pragmas
getHaskellPragmaAgda.Compiler.MAlonzo.Pragmas
getHidingAgda.Syntax.Common
getHidingArgInfoAgda.Syntax.Common
getImportPathAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getImportsAgda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getIncludeDirsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getIncludePathsAgda.Interaction.Options.Lenses
getinfoAgda.Auto.SearchControl
getInputAgda.Syntax.Parser.LookAhead
getInputFileAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInputFile'Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getInstalledLibrariesAgda.Interaction.Library
getInstanceDefsAgda.TypeChecking.Telescope
getInstantiatedMetasAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
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
getInterfaceAgda.Interaction.Imports
getInterface'Agda.Interaction.Imports
getInterfaceFileHashesAgda.Interaction.Imports
getInterfaceFileHashes'Agda.Interaction.Imports
getInterface_Agda.Interaction.Imports
getIntervalFileAgda.Syntax.Position
getIPBoundaryAgda.Interaction.BasicOps
getLeftoverPatternsAgda.TypeChecking.Rules.LHS.Problem
getLetBindingsAgda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getLexInputAgda.Syntax.Parser.Alex
getLexStateAgda.Syntax.Parser.Monad
getLocalVarsAgda.Syntax.Scope.Monad
getMaskAgda.Termination.Monad
getMaskedAgda.Termination.Monad
GetMatchablesAgda.TypeChecking.Rewriting.NonLinPattern
getMatchablesAgda.TypeChecking.Rewriting.NonLinPattern
getMaxNatAgda.Utils.Monoid
getMaybeWarningsAgda.Interaction.Imports
getMaybeWarnings'Agda.Interaction.Imports
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
getMetaModalityAgda.TypeChecking.Monad.Base, 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
getMetaRelevanceAgda.TypeChecking.Monad.Base, 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
getMetaStoreAgda.TypeChecking.Monad.MetaVars, 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
getMetaVariablesAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getMetaVariableSetAgda.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
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
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.SizedTypes.Syntax
2 (Function)Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPolarity'Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPragmaOptionsAgda.Interaction.Options.Lenses
getPrimitiveAgda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
getPrimitive'Agda.TypeChecking.Monad.Builtin, Agda.TypeChecking.Monad, Agda.Compiler.Backend
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
getProjLamsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
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
getReflAgda.TypeChecking.Primitive
getReflArgInfoAgda.TypeChecking.Primitive
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
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
getStoredInterfaceAgda.Interaction.Imports
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
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.Interaction.Imports
getUnsolvedMetasAgda.Interaction.Imports
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
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
ghcBackendAgda.Compiler.MAlonzo.Compiler
ghcBackend'Agda.Compiler.MAlonzo.Compiler
ghcBackendNameAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
ghcCommandLineFlagsAgda.Compiler.MAlonzo.Compiler
ghcCompileDefAgda.Compiler.MAlonzo.Compiler
ghcMayEraseTypeAgda.Compiler.MAlonzo.Compiler
GHCModuleEnvAgda.Compiler.MAlonzo.Compiler
GHCOptions 
1 (Type/Class)Agda.Compiler.MAlonzo.Compiler
2 (Data Constructor)Agda.Compiler.MAlonzo.Compiler
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
giveMetaAgda.Interaction.CommandLine
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
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 (Type/Class)Agda.TypeChecking.SizedTypes.WarshallSolver
4 (Data Constructor)Agda.Benchmarking, Agda.TypeChecking.Monad.Benchmark
5 (Type/Class)Agda.Utils.Warshall
6 (Data Constructor)Agda.Utils.Warshall
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
groupBy'Agda.Utils.List
groupByEitherAgda.Utils.Either
groupOnAgda.Utils.List
groupsAgda.Utils.Bag
GuardAgda.Interaction.Base
guardConstraintAgda.TypeChecking.Constraints
Guarded 
1 (Data Constructor)Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
2 (Type/Class)Agda.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
GuardPosAgda.TypeChecking.Positivity.Occurrence