| GD | Idris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate |
| genArgs | IRTS.Defunctionalise |
| genClauses | Idris.Coverage |
| GeneralisedNatHack | Idris.Options |
| generate | IRTS.Compiler |
| Generated | Idris.Core.Evaluate |
| generateDocs | Idris.IdrisDoc |
| getAll | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getAllNames | Idris.AbsSyntax |
| getArgs | Idris.Reflection |
| getArgTys | Idris.Core.TT |
| getAutoHints | Idris.AbsSyntax |
| getAutoImpls | Idris.AbsSyntax |
| getAutoImports | Idris.AbsSyntax |
| getAux | Idris.Core.Elaborate |
| getBC | Idris.Options |
| getCC | IRTS.System |
| getCGAllNames | Idris.AbsSyntax |
| getClause | Idris.CaseSplit |
| getClient | Idris.Options, Idris.CmdOptions |
| getCmdLine | Idris.AbsSyntax |
| getCodegen | Idris.Options |
| getCodegenArgs | Idris.Options |
| getCoercionsTo | Idris.AbsSyntax |
| getColour | Idris.Options |
| getConsoleWidth | Idris.Options |
| getConsts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getContext | Idris.AbsSyntax |
| getDefinedNames | Idris.AbsSyntax |
| getDeprecated | Idris.AbsSyntax |
| getDesugarNats | Idris.AbsSyntax |
| getDocs | Idris.Docs |
| getDumpCases | Idris.AbsSyntax |
| getDumpDefun | Idris.AbsSyntax |
| getDumpHighlighting | Idris.AbsSyntax |
| getEnvFlags | IRTS.System |
| getErasureInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getErasureUsage | Idris.AbsSyntax |
| getErrSpan | Idris.Error |
| getEvalExpr | Idris.Options |
| getExecScript | Idris.Options |
| getExpNames | IRTS.Exports |
| getExports | Idris.AbsSyntax |
| getExps | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getFC | Idris.Parser.Stack, Idris.Parser.Helpers |
| getFile | Idris.Options |
| getFixedInType | Idris.Elab.Utils |
| getFlags | Idris.AbsSyntax |
| getFlexInType | Idris.Elab.Utils |
| getFn | IRTS.Defunctionalise |
| getFragile | Idris.AbsSyntax |
| getFromHideList | Idris.AbsSyntax |
| getHdrs | Idris.AbsSyntax |
| getIBCHash | Idris.IBC |
| getIBCSubDir | Idris.Options, Idris.CmdOptions |
| getIdrisCC | Idris.Info |
| getIdrisCRTSDir | |
| 1 (Function) | IRTS.System |
| 2 (Function) | Idris.Info |
| getIdrisDataDir | |
| 1 (Function) | IRTS.System |
| 2 (Function) | Idris.Info |
| getIdrisDataFileByName | |
| 1 (Function) | IRTS.System |
| 2 (Function) | Idris.Info |
| getIdrisDocDir | |
| 1 (Function) | IRTS.System |
| 2 (Function) | Idris.Info |
| getIdrisFlagsEnv | Idris.Info |
| getIdrisFlagsInc | Idris.Info |
| getIdrisFlagsLib | Idris.Info |
| getIdrisHistoryFile | Idris.Info |
| getIdrisInitScript | Idris.Info |
| getIdrisInstalledPackages | Idris.Info |
| getIdrisJSRTSDir | |
| 1 (Function) | IRTS.System |
| 2 (Function) | Idris.Info |
| getIdrisLibDir | |
| 1 (Function) | IRTS.System |
| 2 (Function) | Idris.Info |
| getIdrisLoggingCategories | Idris.Info |
| getIdrisUserDataDir | Idris.Info |
| GetIdrisVersion | Idris.IdeMode |
| getIdrisVersion | Idris.Info |
| getIdrisVersionNoGit | Idris.Info |
| getImportDir | Idris.Options |
| getImported | Idris.AbsSyntax |
| getImportHashes | Idris.IBC |
| getImports | Idris.Chaser |
| getImps | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getIncFlags | IRTS.System |
| getIndentClause | Idris.AbsSyntax |
| getIndentWith | Idris.AbsSyntax |
| getInferTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getInferType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getInternalApp | Idris.AbsSyntax |
| getIState | Idris.AbsSyntax |
| getLanguageExt | Idris.Options |
| getLen | Idris.IdeMode |
| getLibFlags | IRTS.System |
| getLibs | Idris.AbsSyntax |
| getLinearUsed | Idris.Elab.Utils |
| getLog | Idris.Core.Elaborate |
| getModuleFiles | Idris.Chaser |
| getName | Idris.AbsSyntax |
| getNameFrom | Idris.Core.Elaborate |
| getNameHints | Idris.AbsSyntax |
| getNChar | Idris.IdeMode |
| getNextName | IRTS.Lang, IRTS.Defunctionalise |
| getNoBanner | Idris.AbsSyntax |
| getObjectFiles | Idris.AbsSyntax |
| getOpenImpl | Idris.AbsSyntax |
| getOptimisation | Idris.Options |
| getOptimise | Idris.AbsSyntax |
| getOptLevel | Idris.Options |
| GetOpts | Idris.IdeMode |
| getOutput | Idris.Options |
| getOutputTy | Idris.Options |
| getParamsInType | Idris.Elab.Utils |
| getPArity | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getPBtys | Idris.Elab.Utils |
| getPkg | Idris.Options, Idris.CmdOptions |
| getPkgCheck | Idris.Options, Idris.CmdOptions |
| getPkgClean | Idris.Options, Idris.CmdOptions |
| getPkgDesc | Idris.Package |
| getPkgDir | Idris.Options |
| getPkgIndex | Idris.Options |
| getPkgMkDoc | Idris.Options, Idris.CmdOptions |
| getPkgREPL | Idris.Options, Idris.CmdOptions |
| getPkgTest | Idris.Options, Idris.CmdOptions |
| getPort | Idris.Options, Idris.CmdOptions |
| getPriority | Idris.AbsSyntax |
| getProofClause | Idris.CaseSplit |
| getProofTerm | Idris.Core.ProofTerm |
| getProvenance | Idris.Core.ProofState, Idris.Core.Elaborate |
| getProvided | Idris.Providers |
| getPSnames | Idris.Core.Elaborate |
| getQuiet | Idris.AbsSyntax |
| getRetTy | Idris.Core.TT |
| getScreenWidth | Util.ScreenSize |
| getScript | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getShowArgs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getSO | Idris.AbsSyntax |
| getSourceDir | Idris.Options |
| getSpecApps | Idris.PartialEval |
| getStaticNames | Idris.Elab.Utils |
| getStatics | Idris.Elab.Utils |
| getSymbol | Idris.AbsSyntax |
| getTCinj | Idris.Elab.Utils |
| getTCParamsInType | Idris.Elab.Utils |
| getTm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getTotality | Idris.AbsSyntax |
| getUnboundImplicits | Idris.AbsSyntax |
| getUndefined | Idris.AbsSyntax |
| getUnifyLog | Idris.Core.Elaborate |
| getUniq | Idris.CaseSplit |
| getUniqueUsed | Idris.Elab.Utils |
| getUnmatchable | Idris.Elab.Term |
| getWidth | Idris.AbsSyntax |
| get_autos | Idris.Core.Elaborate |
| get_context | Idris.Core.Elaborate |
| get_datatypes | Idris.Core.Elaborate |
| get_deferred | Idris.Core.Elaborate |
| get_dotterm | Idris.Core.Elaborate |
| get_env | Idris.Core.Elaborate |
| get_global_nextname | Idris.Core.Elaborate |
| get_guess | Idris.Core.Elaborate |
| get_holes | Idris.Core.Elaborate |
| get_implementations | Idris.Core.Elaborate |
| get_inj | Idris.Core.Elaborate |
| get_probs | Idris.Core.Elaborate |
| get_recents | Idris.Core.Elaborate |
| get_term | Idris.Core.Elaborate |
| get_type | Idris.Core.Elaborate |
| get_type_val | Idris.Core.Elaborate |
| get_usedns | Idris.Core.Elaborate |
| GHole | Idris.Core.TT |
| GivenVal | Idris.Core.TT |
| Glob | IRTS.Lang, IRTS.Defunctionalise |
| global_nextname | Idris.Core.ProofState, Idris.Core.Elaborate |
| globlToCon | IRTS.JavaScript.LangTransforms |
| Goal | Idris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate |
| goal | |
| 1 (Function) | Idris.Core.ProofTerm |
| 2 (Function) | Idris.Core.Elaborate |
| goalAtFocus | Idris.Core.ProofState, Idris.Core.Elaborate |
| GoalType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| goalType | Idris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate |
| goal_polymorphic | Idris.Elab.Term |
| groupsOf | IRTS.Defunctionalise |
| Guess | Idris.Core.TT |