idris-0.9.17: Functional Programming Language with Dependent Types

Index - R

RAppIdris.Core.TT
RArgIdris.Reflection
rArgToPArgIdris.Reflection
Raw 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)IRTS.CodegenCommon
rawBoolIdris.ElabTerm
rawConsIdris.ElabTerm
RawHtmlIdris.Docstrings
rawListIdris.ElabTerm
rawNilIdris.ElabTerm
RawOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
rawPairIdris.ElabTerm
rawPairTyIdris.ElabTerm
raw_applyIdris.Core.TT
raw_unapplyIdris.Core.TT
RBindIdris.Core.TT
RConstantIdris.Core.TT
RConstraintIdris.Reflection
RDeclareIdris.Reflection
REBASEIRTS.Bytecode
receiveInputIdris.Prover
recentsIdris.Core.ProofState, Idris.Core.Elaborate
recheckIdris.Core.Typecheck
recheckCIdris.Elab.Utils
recheckC_borrowingIdris.Elab.Utils
recheck_borrowingIdris.Core.Typecheck
recinfoIdris.ElabDecls
recordIdris.ParseData, Idris.Parser
recordTypeIdris.ParseExpr, Idris.Parser
rec_elabDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
RefIdris.Core.TT
RefineIdris.AbsSyntaxTree, Idris.AbsSyntax
reflCallIdris.ElabTerm
ReflectIdris.AbsSyntaxTree, Idris.AbsSyntax
reflectIdris.ElabTerm
reflectBinderIdris.ElabTerm
reflectBinderQuoteIdris.ElabTerm
reflectBinderQuotePatternIdris.ElabTerm
reflectConstantIdris.ElabTerm
reflectCtxtIdris.ElabTerm
reflectEnvIdris.ElabTerm
reflectErrIdris.ElabTerm
reflectFCIdris.ElabTerm
ReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionErrorIdris.Core.TT
ReflectionFailedIdris.Core.TT
reflectNameIdris.ElabTerm
reflectNameQuotePatternIdris.ElabTerm
reflectNameTypeIdris.ElabTerm
reflectRawIdris.ElabTerm
reflectRawQuoteIdris.ElabTerm
reflectRawQuotePatternIdris.ElabTerm
reflectTTQuoteIdris.ElabTerm
reflectTTQuotePatternIdris.ElabTerm
reflectUExpIdris.ElabTerm
reflectUniverseIdris.ElabTerm
reflErrNameIdris.ElabTerm
reflmIdris.ElabTerm
refocusIdris.Core.ProofTerm
refsInIdris.Core.TT
Reg 
1 (Type/Class)IRTS.BCImp
2 (Type/Class)IRTS.Bytecode
RegretIdris.Core.ProofState, Idris.Core.Elaborate
regretIdris.Core.Elaborate
reifyIdris.ElabTerm
reifyAppIdris.ElabTerm
reifyArithTyIdris.ElabTerm
reifyIntTyIdris.ElabTerm
reifyNativeTyIdris.ElabTerm
reifyRawIdris.ElabTerm
reifyRawAppIdris.ElabTerm
reifyReportPartIdris.ElabTerm
reifyReportPartsIdris.ElabTerm
reifyTTIdris.ElabTerm
reifyTTAppIdris.ElabTerm
reifyTTBinderIdris.ElabTerm
reifyTTBinderAppIdris.ElabTerm
reifyTTConstIdris.ElabTerm
reifyTTConstAppIdris.ElabTerm
reifyTTNameIdris.ElabTerm
reifyTTNameAppIdris.ElabTerm
reifyTTNamespaceIdris.ElabTerm
reifyTTNameTypeIdris.ElabTerm
reifyTTUExpIdris.ElabTerm
reifyTyDeclIdris.ElabTerm
ReloadIdris.AbsSyntaxTree, Idris.AbsSyntax
RemoveOptIdris.AbsSyntaxTree, Idris.AbsSyntax
removeOptimiseIdris.AbsSyntax
removeProofIdris.REPL
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
replPkgPkg.Package
replSettingsIdris.REPL
repl_definitionsIdris.ASTUtils
reportIdris.Error
reportParserWarningsIdris.ParseHelpers, Idris.Parser
RESERVEIRTS.Bytecode
reservedIdris.ParseHelpers, Idris.Parser
reservedOpIdris.ParseHelpers, Idris.Parser
resetNameIdxIdris.AbsSyntax
resolveProofIdris.REPL
resolveTCIdris.ElabTerm
resTC'Idris.ElabTerm
resultCaseDeclsIdris.ElabTerm
resultContextIdris.ElabTerm
resultMetavarsIdris.ElabTerm
resultTermIdris.ElabTerm
resultTyDeclsIdris.ElabTerm
Rewrite 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
rewriteIdris.Core.Elaborate
rewriteTermIdris.ParseExpr, Idris.Parser
RExplicitIdris.Reflection
RForceIdris.Core.TT
rhsIdris.Parser
RightOKIdris.AbsSyntax
RImplicitIdris.Reflection
rmFileUtil.System
rmIBCPkg.Package
rmIdxPkg.Package
RmProofIdris.AbsSyntaxTree, Idris.AbsSyntax
RTyDeclIdris.Reflection
RTypeIdris.Core.TT
rt_simplifyIdris.Core.Evaluate
RuleIdris.AbsSyntaxTree, Idris.AbsSyntax
runArgParserIdris.CmdOptions
runClientIdris.REPL
runElabIdris.Core.Elaborate
runIdeModeCommandIdris.REPL
runInnerParserIdris.ParseHelpers, Idris.Parser
runIOIdris.AbsSyntax
runMainIdris.REPL
runparserIdris.ParseHelpers, Idris.Parser
runTacIdris.ElabTerm
RunTactic'Idris.Core.ProofTerm
runTacticalIdris.ElabTerm
runTacticsIdris.ParseExpr, Idris.Parser
RunTimeIdris.Core.CaseTree
RUTypeIdris.Core.TT
RVal 
1 (Data Constructor)IRTS.BCImp
2 (Data Constructor)IRTS.Bytecode