| GD | Core.ProofState, Core.Elaborate |
| genAll | Idris.Coverage |
| genArgs | IRTS.Defunctionalise |
| genClauses | Idris.Coverage |
| getAll | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getAllNames | Idris.AbsSyntax |
| getArgTys | Core.TT |
| getAux | Core.Elaborate |
| getBC | Idris.REPL |
| getBinDir | Paths_idris |
| getCC | Util.System |
| getClause | Idris.CaseSplit |
| getCmdLine | Idris.AbsSyntax |
| getCodegen | Idris.REPL |
| getCoercionsTo | Idris.AbsSyntax |
| getColour | Idris.REPL |
| getConsts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getContext | Idris.AbsSyntax |
| getCPU | Idris.REPL |
| getDataDir | Paths_idris |
| getDataFileName | Paths_idris |
| getDefaultTargetTriple | Util.LLVMStubs |
| getDocs | Idris.Docs |
| getDumpCases | Idris.AbsSyntax |
| getDumpDefun | Idris.AbsSyntax |
| getErrColumn | Idris.Error |
| getErrLine | Idris.Error |
| getExecScript | Idris.REPL |
| getExecutablePom | Util.System |
| getExps | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getFargpos | Idris.UnusedArgs |
| getFC | Idris.ParseHelpers, Idris.Parser |
| getFile | Idris.REPL |
| getFlags | Idris.AbsSyntax |
| getFn | IRTS.Defunctionalise |
| getFTypes | IRTS.Compiler |
| getHdrs | Idris.AbsSyntax |
| getHostCPUName | Util.LLVMStubs |
| getIBCSubDir | Idris.REPL |
| getIdrisLibDir | Util.System |
| getIdrisUserDataDir | Idris.REPL |
| getImportDir | Idris.REPL |
| getImps | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getIncFlags | Util.System |
| getInferTerm | Idris.AbsSyntax |
| getInferType | Idris.AbsSyntax |
| getInitScript | Idris.REPL |
| getInternalApp | Idris.AbsSyntax |
| getIState | Idris.AbsSyntax |
| getLanguageExt | Idris.REPL |
| getLibDir | Paths_idris |
| getLibexecDir | Paths_idris |
| getLibFlags | Util.System |
| getLibs | Idris.AbsSyntax |
| getLog | Core.Elaborate |
| getModuleFiles | Idris.Chaser |
| getMvn | Util.System |
| getName | Idris.AbsSyntax |
| getNextName | IRTS.Lang, IRTS.Defunctionalise |
| getNoBanner | Idris.AbsSyntax |
| getObjectFiles | Idris.AbsSyntax |
| getOptLevel | Idris.REPL |
| getOutput | Idris.REPL |
| getOutputTy | Idris.REPL |
| getPArity | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getPBtys | Idris.ElabDecls |
| getPkg | Idris.REPL |
| getPkgClean | Idris.REPL |
| getPkgDir | Idris.REPL |
| getPrim | IRTS.Compiler |
| getPriority | Idris.AbsSyntax |
| getProofClause | Idris.CaseSplit |
| getProvided | Idris.Providers |
| getQuiet | Idris.AbsSyntax |
| getRetTy | Core.TT |
| getScript | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getSO | Idris.AbsSyntax |
| getSpecApps | Idris.PartialEval |
| getSysconfDir | Paths_idris |
| getTargetDir | Util.System |
| getTm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| getTotality | Idris.AbsSyntax |
| getTriple | Idris.REPL |
| getUniq | Idris.CaseSplit |
| get_context | Core.Elaborate |
| get_deferred | Core.Elaborate |
| get_env | Core.Elaborate |
| get_guess | Core.Elaborate |
| get_holes | Core.Elaborate |
| get_instances | Core.Elaborate |
| get_probs | Core.Elaborate |
| get_term | Core.Elaborate |
| get_type | Core.Elaborate |
| get_type_val | Core.Elaborate |
| GHole | Core.TT |
| Glob | IRTS.Lang, IRTS.Defunctionalise |
| globalContext | IRTS.Java.JTypes |
| globalContextID | IRTS.Java.JTypes |
| Goal | Core.ProofState, Core.Elaborate |
| goal | Core.Elaborate |
| goalAtFocus | Core.ProofState, Core.Elaborate |
| GoalType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| goalType | Core.ProofState, Core.Elaborate |
| groupsOf | IRTS.Defunctionalise |
| gteProp | Idris.ParseHelpers, Idris.Parser |
| gtProp | Idris.ParseHelpers, Idris.Parser |
| Guess | Core.TT |