idris-1.3.0: Functional Programming Language with Dependent Types

Index - R

RAddImplementationIdris.AbsSyntaxTree, Idris.AbsSyntax
rankedImportDirsIdris.AbsSyntax
RAppIdris.Core.TT
Raw 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)IRTS.CodegenCommon
RawHtmlIdris.Docstrings
rawListIdris.Reflection
RawOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
rawPairIdris.Reflection
rawPairTyIdris.Reflection
RawPartIdris.Core.TT
raw_applyIdris.Core.TT
raw_unapplyIdris.Core.TT
RBindIdris.Core.TT
RClausesInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RConstantIdris.Core.TT
RConstructorIdris.Reflection
RConstructorDefnIdris.Reflection
RDataDefnIdris.Reflection
RDatatypeDeclInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RDatatypeDefnInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RDeclareIdris.Reflection
RDeclInstructionsIdris.AbsSyntaxTree, Idris.AbsSyntax
RDefineDatatypeIdris.Reflection
RDefineFunIdris.Reflection
readSourceUtil.System
readSourceStrictUtil.System
REBASEIRTS.Bytecode
recentsIdris.Core.ProofState, Idris.Core.Elaborate
recheckIdris.Core.Typecheck
recheckCIdris.Elab.Utils
recheckC_borrowingIdris.Elab.Utils
recheck_borrowingIdris.Core.Typecheck
recinfoIdris.ElabDecls
recordIdris.Parser.Data
RecordDocIdris.Docs
recordIIdris.Parser.Data
RecordInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
recordParameterIdris.Parser.Data
recordTypeIdris.Parser.Expr
record_constructorIdris.AbsSyntaxTree, Idris.AbsSyntax
record_parametersIdris.AbsSyntaxTree, Idris.AbsSyntax
record_projectionsIdris.AbsSyntaxTree, Idris.AbsSyntax
recoverableCoverageIdris.Coverage
rec_elabDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
RefIdris.Core.TT
RefineIdris.AbsSyntaxTree, Idris.AbsSyntax
ReflectIdris.AbsSyntaxTree, Idris.AbsSyntax
reflectIdris.Reflection
reflectArgIdris.Reflection
reflectDatatypeIdris.Reflection
reflectEnvIdris.Reflection
reflectErrIdris.Reflection
reflectFCIdris.Reflection
reflectFixityIdris.Reflection
reflectFunDefnIdris.Reflection
ReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionErrorIdris.Core.TT
ReflectionFailedIdris.Core.TT
reflectListIdris.Reflection
reflectNameIdris.Reflection
reflectNameTypeIdris.Reflection
reflectRawIdris.Reflection
reflectRawQuoteIdris.Reflection
reflectRawQuotePatternIdris.Reflection
reflectTTQuoteIdris.Reflection
reflectTTQuotePatternIdris.Reflection
reflmIdris.Reflection
refocusIdris.Core.ProofTerm
refsInIdris.Core.TT
RegIRTS.Bytecode
RegretIdris.Core.ProofState, Idris.Core.Elaborate
regretIdris.Core.Elaborate
reifyIdris.Reflection
reifyBoolIdris.Reflection
reifyEnvIdris.Reflection
reifyFunDefnIdris.Reflection
reifyListIdris.Reflection
reifyRawIdris.Reflection
reifyRDataDefnIdris.Reflection
reifyReportPartIdris.Reflection
reifyReportPartsIdris.Reflection
reifyTTIdris.Reflection
reifyTTNameIdris.Reflection
reifyTyDeclIdris.Reflection
ReloadIdris.REPL.Commands
removeDeadCodeIRTS.JavaScript.LangTransforms
RemoveOptIdris.Options
removeOptimiseIdris.AbsSyntax
renameIRTS.Lang, IRTS.Defunctionalise
renameArgsIRTS.Lang, IRTS.Defunctionalise
renderDocstringIdris.Docstrings
renderDocTermIdris.Docstrings
renderExternalIdris.Output
renderHtmlIdris.Docstrings
ReorderIdris.Core.ProofState, Idris.Core.Elaborate
reorder_claimsIdris.Core.Elaborate
replIdris.REPL
replaceSplitsIdris.CaseSplit
replCompletionIdris.Completion
REPLCompletionsIdris.IdeMode
replPkgIdris.Package
REPLPortIdris.Options
replSettingsIdris.REPL
repl_definitionsIdris.ASTUtils
reportIdris.Error
reportParserWarningsIdris.Parser.Helpers
RESERVEIRTS.Bytecode
reservedIdris.Parser.Helpers
reservedOpIdris.Parser.Ops
resetNameIdxIdris.AbsSyntax
resetProofTermIdris.Core.ProofTerm
resolveTCIdris.ProofSearch
resolveTC'Idris.Elab.Term
restoreIdris.Parser.Stack, Idris.Parser.Helpers
resugarIdris.Delaborate
resultCaseDeclsIdris.Elab.Term
resultContextIdris.Elab.Term
resultHighlightingIdris.Elab.Term
resultMetavarsIdris.Elab.Term
resultNameIdris.Elab.Term
resultTermIdris.Elab.Term
resultTyDeclsIdris.Elab.Term
Rewrite 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
rewriteIdris.Core.Elaborate
rewriteTermIdris.Parser.Expr
RFunArg 
1 (Type/Class)Idris.Reflection
2 (Data Constructor)Idris.Reflection
rFunArgToPArgIdris.Reflection
RFunClauseIdris.Reflection
RFunDefnIdris.Reflection
rhs_transIdris.AbsSyntaxTree, Idris.AbsSyntax
RIIdris.AbsSyntaxTree, Idris.AbsSyntax
Rig0Idris.Core.TT
Rig1Idris.Core.TT
RigCountIdris.Core.TT
rigCountIdris.Parser.Expr
rigEnvIdris.Core.TT
RightOKIdris.AbsSyntax
rigMultIdris.Core.TT
rigPlusIdris.Core.TT
RigWIdris.Core.TT
rmExeIdris.Package
rmFileUtil.System
rmIBCIdris.Package
rmIdxIdris.Package
RMkFunClauseIdris.Reflection
RMkImpossibleClauseIdris.Reflection
RmProofIdris.REPL.Commands
RTyDeclIdris.Reflection
RTyDeclInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RTypeIdris.Core.TT
rt_simplifyIdris.Core.Evaluate
RuleIdris.AbsSyntaxTree, Idris.AbsSyntax
runArgParserIdris.CmdOptions
runClientIdris.REPL, Idris.Main
runElab 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.Parser.Expr
runElabActionIdris.Elab.Term
runIOIdris.AbsSyntax
runMainIdris.Main
RunningElabScriptIdris.Core.TT
runparserIdris.Parser.Stack, Idris.Parser.Helpers, Idris.Parser
RunShellCommandIdris.REPL.Commands
runTacIdris.Elab.Term
RunTactic'Idris.Core.ProofTerm
RunTimeIdris.Core.CaseTree
RUTypeIdris.Core.TT
RValIRTS.Bytecode