idris-1.1.1: Functional Programming Language with Dependent Types

Index - R

RAddImplementationIdris.AbsSyntaxTree, Idris.AbsSyntax
RAppIdris.Core.TT
rArgOptsIdris.Reflection
Raw 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)IRTS.CodegenCommon
rawBoolIdris.Reflection
rawConsIdris.Reflection
RawHtmlIdris.Docstrings
rawListIdris.Reflection
rawNilIdris.Reflection
RawOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
rawPairIdris.Reflection
rawPairTyIdris.Reflection
RawPartIdris.Core.TT
rawTripleIdris.Reflection
rawTripleTyIdris.Reflection
raw_applyIdris.Core.TT
raw_unapplyIdris.Core.TT
RBindIdris.Core.TT
RClausesInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RConstantIdris.Core.TT
RConstraintIdris.Reflection
RConstructorIdris.Reflection
RConstructorDefnIdris.Reflection
RCtorArgIdris.Reflection
RCtorFieldIdris.Reflection
RCtorParameterIdris.Reflection
RDataDefnIdris.Reflection
RDatatype 
1 (Type/Class)Idris.Reflection
2 (Data Constructor)Idris.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, Idris.Parser
RecordDocIdris.Docs
recordIIdris.Parser.Data, Idris.Parser
RecordInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
recordParameterIdris.Parser.Data, Idris.Parser
recordTypeIdris.Parser.Expr, Idris.Parser
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
reflCallIdris.Reflection
ReflectIdris.AbsSyntaxTree, Idris.AbsSyntax
reflectIdris.Reflection
reflectArgIdris.Reflection
reflectBinderIdris.Reflection
reflectBinderQuoteIdris.Reflection
reflectBinderQuotePatternIdris.Reflection
reflectConstantIdris.Reflection
reflectCtorArgIdris.Reflection
reflectCtxtIdris.Reflection
reflectDatatypeIdris.Reflection
reflectEnvIdris.Reflection
reflectErasureIdris.Reflection
reflectErrIdris.Reflection
reflectFCIdris.Reflection
reflectFixityIdris.Reflection
reflectFunClauseIdris.Reflection
reflectFunDefnIdris.Reflection
ReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionErrorIdris.Core.TT
ReflectionFailedIdris.Core.TT
reflectListIdris.Reflection
reflectNameIdris.Reflection
reflectNameQuotePatternIdris.Reflection
reflectNameTypeIdris.Reflection
reflectPlicityIdris.Reflection
reflectRawIdris.Reflection
reflectRawQuoteIdris.Reflection
reflectRawQuotePatternIdris.Reflection
reflectSpecialNameIdris.Reflection
reflectTTQuoteIdris.Reflection
reflectTTQuotePatternIdris.Reflection
reflectUExpIdris.Reflection
reflectUniverseIdris.Reflection
reflErrNameIdris.Reflection
reflmIdris.Reflection
refocusIdris.Core.ProofTerm
refsInIdris.Core.TT
Reg 
1 (Type/Class)IRTS.Bytecode
2 (Type/Class)IRTS.BCImp
RegretIdris.Core.ProofState, Idris.Core.Elaborate
regretIdris.Core.Elaborate
reifyIdris.Reflection
reifyAppIdris.Reflection
reifyArithTyIdris.Reflection
reifyBoolIdris.Reflection
reifyEnvIdris.Reflection
reifyErasureIdris.Reflection
reifyFCIdris.Reflection
reifyFunDefnIdris.Reflection
reifyIntIdris.Reflection
reifyIntTyIdris.Reflection
reifyListIdris.Reflection
reifyNativeTyIdris.Reflection
reifyPairIdris.Reflection
reifyPlicityIdris.Reflection
reifyRawIdris.Reflection
reifyRawAppIdris.Reflection
reifyRConstructorDefnIdris.Reflection
reifyRDataDefnIdris.Reflection
reifyReportPartIdris.Reflection
reifyReportPartsIdris.Reflection
reifyRFunArgIdris.Reflection
reifyTTIdris.Reflection
reifyTTAppIdris.Reflection
reifyTTBinderIdris.Reflection
reifyTTBinderAppIdris.Reflection
reifyTTConstIdris.Reflection
reifyTTConstAppIdris.Reflection
reifyTTNameIdris.Reflection
reifyTTNameAppIdris.Reflection
reifyTTNamespaceIdris.Reflection
reifyTTNameTypeIdris.Reflection
reifyTTUExpIdris.Reflection
reifyTyDeclIdris.Reflection
reifyUniverseIdris.Reflection
ReloadIdris.REPL.Commands
removeDeadCodeIRTS.JavaScript.LangTransforms
RemoveOptIdris.Options
removeOptimiseIdris.AbsSyntax
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, Idris.Parser
RErasedIdris.Reflection
RErasureIdris.Reflection
RESERVEIRTS.Bytecode
reservedIdris.Parser.Helpers, Idris.Parser
reservedFCIdris.Parser.Helpers, Idris.Parser
reservedHLIdris.Parser.Helpers, Idris.Parser
reservedOpIdris.Parser.Helpers, Idris.Parser
reservedOpFCIdris.Parser.Helpers, Idris.Parser
resetNameIdxIdris.AbsSyntax
resetProofTermIdris.Core.ProofTerm
resolveTCIdris.ProofSearch
resolveTC'Idris.Elab.Term
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, Idris.Parser
RExplicitIdris.Reflection
RFunArg 
1 (Type/Class)Idris.Reflection
2 (Data Constructor)Idris.Reflection
rFunArgToPArgIdris.Reflection
RFunClauseIdris.Reflection
RFunDefnIdris.Reflection
rhsIdris.Parser
rhs_transIdris.AbsSyntaxTree, Idris.AbsSyntax
RIIdris.AbsSyntaxTree, Idris.AbsSyntax
Rig0Idris.Core.TT
Rig1Idris.Core.TT
RigCountIdris.Core.TT
rigEnvIdris.Core.TT
RightOKIdris.AbsSyntax
rigMultIdris.Core.TT
rigPlusIdris.Core.TT
RigWIdris.Core.TT
RImplicitIdris.Reflection
RIndexIdris.Reflection
rmExeIdris.Package
rmFileUtil.System
rmIBCIdris.Package
rmIdxIdris.Package
RMkFunClauseIdris.Reflection
RMkImpossibleClauseIdris.Reflection
RmProofIdris.REPL.Commands
RNotErasedIdris.Reflection
RParameterIdris.Reflection
RPlicityIdris.Reflection
RTyConArgIdris.Reflection
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, Idris.Parser
runElabActionIdris.Elab.Term
runElabDeclIdris.Parser
runInnerParserIdris.Parser.Helpers, Idris.Parser
runIOIdris.AbsSyntax
runMainIdris.Main
RunningElabScriptIdris.Core.TT
runparserIdris.Parser.Helpers, Idris.Parser
RunShellCommandIdris.REPL.Commands
runTacIdris.Elab.Term
RunTactic'Idris.Core.ProofTerm
RunTimeIdris.Core.CaseTree
RUTypeIdris.Core.TT
RVal 
1 (Data Constructor)IRTS.Bytecode
2 (Data Constructor)IRTS.BCImp