| RAddImplementation | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| rankedImportDirs | Idris.AbsSyntax |
| RApp | Idris.Core.TT |
| Raw | |
| 1 (Type/Class) | Idris.Core.TT |
| 2 (Data Constructor) | IRTS.CodegenCommon |
| RawHtml | Idris.Docstrings |
| rawList | Idris.Reflection |
| RawOutput | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| rawPair | Idris.Reflection |
| rawPairTy | Idris.Reflection |
| RawPart | Idris.Core.TT |
| raw_apply | Idris.Core.TT |
| raw_unapply | Idris.Core.TT |
| RBind | Idris.Core.TT |
| RClausesInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| RConstant | Idris.Core.TT |
| RConstructor | Idris.Reflection |
| RConstructorDefn | Idris.Reflection |
| RDataDefn | Idris.Reflection |
| RDatatypeDeclInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| RDatatypeDefnInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| RDeclare | Idris.Reflection |
| RDeclInstructions | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| RDefineDatatype | Idris.Reflection |
| RDefineFun | Idris.Reflection |
| readSource | Util.System |
| readSourceStrict | Util.System |
| REBASE | IRTS.Bytecode |
| recents | Idris.Core.ProofState, Idris.Core.Elaborate |
| recheck | Idris.Core.Typecheck |
| recheckC | Idris.Elab.Utils |
| recheckC_borrowing | Idris.Elab.Utils |
| recheck_borrowing | Idris.Core.Typecheck |
| recinfo | Idris.ElabDecls |
| record | Idris.Parser.Data |
| RecordDoc | Idris.Docs |
| recordI | Idris.Parser.Data |
| RecordInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| recordParameter | Idris.Parser.Data |
| recordType | Idris.Parser.Expr |
| record_constructor | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| record_parameters | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| record_projections | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| recoverableCoverage | Idris.Coverage |
| rec_elabDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Ref | Idris.Core.TT |
| Refine | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Reflect | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| reflect | Idris.Reflection |
| reflectArg | Idris.Reflection |
| reflectDatatype | Idris.Reflection |
| reflectEnv | Idris.Reflection |
| reflectErr | Idris.Reflection |
| reflectFC | Idris.Reflection |
| reflectFixity | Idris.Reflection |
| reflectFunDefn | Idris.Reflection |
| Reflection | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ReflectionError | Idris.Core.TT |
| ReflectionFailed | Idris.Core.TT |
| reflectList | Idris.Reflection |
| reflectName | Idris.Reflection |
| reflectNameType | Idris.Reflection |
| reflectRaw | Idris.Reflection |
| reflectRawQuote | Idris.Reflection |
| reflectRawQuotePattern | Idris.Reflection |
| reflectTTQuote | Idris.Reflection |
| reflectTTQuotePattern | Idris.Reflection |
| reflm | Idris.Reflection |
| refocus | Idris.Core.ProofTerm |
| refsIn | Idris.Core.TT |
| Reg | IRTS.Bytecode |
| Regret | Idris.Core.ProofState, Idris.Core.Elaborate |
| regret | Idris.Core.Elaborate |
| reify | Idris.Reflection |
| reifyBool | Idris.Reflection |
| reifyEnv | Idris.Reflection |
| reifyFunDefn | Idris.Reflection |
| reifyList | Idris.Reflection |
| reifyRaw | Idris.Reflection |
| reifyRDataDefn | Idris.Reflection |
| reifyReportPart | Idris.Reflection |
| reifyReportParts | Idris.Reflection |
| reifyTT | Idris.Reflection |
| reifyTTName | Idris.Reflection |
| reifyTyDecl | Idris.Reflection |
| Reload | Idris.REPL.Commands |
| removeDeadCode | IRTS.JavaScript.LangTransforms |
| RemoveOpt | Idris.Options |
| removeOptimise | Idris.AbsSyntax |
| rename | IRTS.Lang, IRTS.Defunctionalise |
| renameArgs | IRTS.Lang, IRTS.Defunctionalise |
| renderDocstring | Idris.Docstrings |
| renderDocTerm | Idris.Docstrings |
| renderExternal | Idris.Output |
| renderHtml | Idris.Docstrings |
| Reorder | Idris.Core.ProofState, Idris.Core.Elaborate |
| reorder_claims | Idris.Core.Elaborate |
| repl | Idris.REPL |
| replaceSplits | Idris.CaseSplit |
| replCompletion | Idris.Completion |
| REPLCompletions | Idris.IdeMode |
| replPkg | Idris.Package |
| REPLPort | Idris.Options |
| replSettings | Idris.REPL |
| repl_definitions | Idris.ASTUtils |
| report | Idris.Error |
| reportParserWarnings | Idris.Parser.Helpers |
| RESERVE | IRTS.Bytecode |
| reserved | Idris.Parser.Helpers |
| reservedOp | Idris.Parser.Ops |
| resetNameIdx | Idris.AbsSyntax |
| resetProofTerm | Idris.Core.ProofTerm |
| resolveTC | Idris.ProofSearch |
| resolveTC' | Idris.Elab.Term |
| restore | Idris.Parser.Stack, Idris.Parser.Helpers |
| resugar | Idris.Delaborate |
| resultCaseDecls | Idris.Elab.Term |
| resultContext | Idris.Elab.Term |
| resultHighlighting | Idris.Elab.Term |
| resultMetavars | Idris.Elab.Term |
| resultName | Idris.Elab.Term |
| resultTerm | Idris.Elab.Term |
| resultTyDecls | Idris.Elab.Term |
| Rewrite | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| rewrite | Idris.Core.Elaborate |
| rewriteTerm | Idris.Parser.Expr |
| RFunArg | |
| 1 (Type/Class) | Idris.Reflection |
| 2 (Data Constructor) | Idris.Reflection |
| rFunArgToPArg | Idris.Reflection |
| RFunClause | Idris.Reflection |
| RFunDefn | Idris.Reflection |
| rhs_trans | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| RI | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Rig0 | Idris.Core.TT |
| Rig1 | Idris.Core.TT |
| RigCount | Idris.Core.TT |
| rigCount | Idris.Parser.Expr |
| rigEnv | Idris.Core.TT |
| RightOK | Idris.AbsSyntax |
| rigMult | Idris.Core.TT |
| rigPlus | Idris.Core.TT |
| RigW | Idris.Core.TT |
| rmExe | Idris.Package |
| rmFile | Util.System |
| rmIBC | Idris.Package |
| rmIdx | Idris.Package |
| RMkFunClause | Idris.Reflection |
| RMkImpossibleClause | Idris.Reflection |
| RmProof | Idris.REPL.Commands |
| RTyDecl | Idris.Reflection |
| RTyDeclInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| RType | Idris.Core.TT |
| rt_simplify | Idris.Core.Evaluate |
| Rule | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| runArgParser | Idris.CmdOptions |
| runClient | Idris.REPL, Idris.Main |
| runElab | |
| 1 (Function) | Idris.Core.Elaborate |
| 2 (Function) | Idris.Parser.Expr |
| runElabAction | Idris.Elab.Term |
| runIO | Idris.AbsSyntax |
| runMain | Idris.Main |
| RunningElabScript | Idris.Core.TT |
| runparser | Idris.Parser.Stack, Idris.Parser.Helpers, Idris.Parser |
| RunShellCommand | Idris.REPL.Commands |
| runTac | Idris.Elab.Term |
| RunTactic' | Idris.Core.ProofTerm |
| RunTime | Idris.Core.CaseTree |
| RUType | Idris.Core.TT |
| RVal | IRTS.Bytecode |