idris-0.9.12: Functional Programming Language with Dependent Types

Index - R

RAppIdris.Core.TT
Raw 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)IRTS.CodegenCommon
rawBoolIdris.ElabTerm
rawConsIdris.ElabTerm
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
REBASEIRTS.Bytecode
receiveInputIdris.Prover
recheckIdris.Core.Typecheck
recheckCIdris.ElabDecls
recordIdris.ParseData, Idris.Parser
recordTypeIdris.ParseExpr, Idris.Parser
recursiveIdris.AbsSyntaxTree, Idris.AbsSyntax
RefIdris.Core.TT
RefineIdris.AbsSyntaxTree, Idris.AbsSyntax
reflCallIdris.ElabTerm
ReflectIdris.AbsSyntaxTree, Idris.AbsSyntax
reflectIdris.ElabTerm
reflectBinderIdris.ElabTerm
reflectConstantIdris.ElabTerm
reflectCtxtIdris.ElabTerm
reflectEnvIdris.ElabTerm
reflectErrIdris.ElabTerm
ReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionErrorIdris.Core.TT
ReflectionFailedIdris.Core.TT
reflectNameIdris.ElabTerm
reflectNameTypeIdris.ElabTerm
reflectUExpIdris.ElabTerm
reflErrNameIdris.ElabTerm
reflmIdris.ElabTerm
Reg 
1 (Type/Class)IRTS.BCImp
2 (Type/Class)IRTS.Bytecode
RegretIdris.Core.ProofState, Idris.Core.Elaborate
regretIdris.Core.Elaborate
reifyIdris.ElabTerm
reifyAppIdris.ElabTerm
reifyRawIdris.ElabTerm
reifyRawAppIdris.ElabTerm
reifyReportPartIdris.ElabTerm
reifyTTIdris.ElabTerm
reifyTTAppIdris.ElabTerm
reifyTTBinderIdris.ElabTerm
reifyTTBinderAppIdris.ElabTerm
reifyTTConstIdris.ElabTerm
reifyTTConstAppIdris.ElabTerm
reifyTTNameIdris.ElabTerm
reifyTTNameAppIdris.ElabTerm
reifyTTNamespaceIdris.ElabTerm
reifyTTNameTypeIdris.ElabTerm
reifyTTUExpIdris.ElabTerm
ReloadIdris.AbsSyntaxTree, Idris.AbsSyntax
removeProofIdris.REPL
renderDocstringIdris.Docstrings
renderWidthIdris.AbsSyntax
ReorderIdris.Core.ProofState, Idris.Core.Elaborate
reorder_claimsIdris.Core.Elaborate
replIdris.REPL
replaceSplitsIdris.CaseSplit
replCompletionIdris.Completion
REPLCompletionsIdris.IdeSlave
replPkgPkg.Package
replSettingsIdris.REPL
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
Rewrite 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
rewriteIdris.Core.Elaborate
rewriteTermIdris.ParseExpr, Idris.Parser
RForceIdris.Core.TT
rhsIdris.Parser
RightOKIdris.AbsSyntax
rmIBCPkg.Package
RmProofIdris.AbsSyntaxTree, Idris.AbsSyntax
RTypeIdris.Core.TT
rt_simplifyIdris.Core.Evaluate
RuleIdris.AbsSyntaxTree, Idris.AbsSyntax
runClientIdris.REPL
runElabIdris.Core.Elaborate
runInnerParserIdris.ParseHelpers, Idris.Parser
runIOIdris.AbsSyntax
runparserIdris.ParseHelpers, Idris.Parser
runTacIdris.ElabTerm
RunTimeIdris.Core.CaseTree
runtimeExceptionTypeIRTS.Java.JTypes
RVal 
1 (Data Constructor)IRTS.BCImp
2 (Data Constructor)IRTS.Bytecode