RApp | Idris.Core.TT |
Raw | |
1 (Type/Class) | Idris.Core.TT |
2 (Data Constructor) | IRTS.CodegenCommon |
rawBool | Idris.ElabTerm |
rawCons | Idris.ElabTerm |
rawList | Idris.ElabTerm |
rawNil | Idris.ElabTerm |
RawOutput | Idris.AbsSyntaxTree, Idris.AbsSyntax |
rawPair | Idris.ElabTerm |
rawPairTy | Idris.ElabTerm |
raw_apply | Idris.Core.TT |
raw_unapply | Idris.Core.TT |
RBind | Idris.Core.TT |
RConstant | Idris.Core.TT |
REBASE | IRTS.Bytecode |
receiveInput | Idris.Prover |
recheck | Idris.Core.Typecheck |
recheckC | Idris.ElabDecls |
record | Idris.ParseData, Idris.Parser |
recordType | Idris.ParseExpr, Idris.Parser |
recursive | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Ref | Idris.Core.TT |
Refine | Idris.AbsSyntaxTree, Idris.AbsSyntax |
reflCall | Idris.ElabTerm |
Reflect | Idris.AbsSyntaxTree, Idris.AbsSyntax |
reflect | Idris.ElabTerm |
reflectBinder | Idris.ElabTerm |
reflectConstant | Idris.ElabTerm |
reflectCtxt | Idris.ElabTerm |
reflectEnv | Idris.ElabTerm |
reflectErr | Idris.ElabTerm |
reflectFunctionErrors | Idris.ElabTerm |
Reflection | Idris.AbsSyntaxTree, Idris.AbsSyntax |
ReflectionError | Idris.Core.TT |
ReflectionFailed | Idris.Core.TT |
reflectName | Idris.ElabTerm |
reflectNameType | Idris.ElabTerm |
reflectUExp | Idris.ElabTerm |
reflErrName | Idris.ElabTerm |
reflm | Idris.ElabTerm |
Reg | |
1 (Type/Class) | IRTS.BCImp |
2 (Type/Class) | IRTS.Bytecode |
Regret | Idris.Core.ProofState, Idris.Core.Elaborate |
regret | Idris.Core.Elaborate |
reify | Idris.ElabTerm |
reifyApp | Idris.ElabTerm |
reifyRaw | Idris.ElabTerm |
reifyRawApp | Idris.ElabTerm |
reifyReportPart | Idris.ElabTerm |
reifyTT | Idris.ElabTerm |
reifyTTApp | Idris.ElabTerm |
reifyTTBinder | Idris.ElabTerm |
reifyTTBinderApp | Idris.ElabTerm |
reifyTTConst | Idris.ElabTerm |
reifyTTConstApp | Idris.ElabTerm |
reifyTTName | Idris.ElabTerm |
reifyTTNameApp | Idris.ElabTerm |
reifyTTNamespace | Idris.ElabTerm |
reifyTTNameType | Idris.ElabTerm |
reifyTTUExp | Idris.ElabTerm |
Reload | Idris.AbsSyntaxTree, Idris.AbsSyntax |
removeProof | Idris.REPL |
renderWidth | Idris.AbsSyntax |
Reorder | Idris.Core.ProofState, Idris.Core.Elaborate |
reorder_claims | Idris.Core.Elaborate |
repl | Idris.REPL |
replaceSplits | Idris.CaseSplit |
replCompletion | Idris.Completion |
REPLCompletions | Idris.IdeSlave |
replPkg | Pkg.Package |
replSettings | Idris.REPL |
report | Idris.Error |
RESERVE | IRTS.Bytecode |
reserved | Idris.ParseHelpers, Idris.Parser |
reservedOp | Idris.ParseHelpers, Idris.Parser |
resetNameIdx | Idris.AbsSyntax |
resolveProof | Idris.REPL |
resolveTC | Idris.ElabTerm |
Rewrite | |
1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
rewrite | Idris.Core.Elaborate |
rewriteTerm | Idris.ParseExpr, Idris.Parser |
RForce | Idris.Core.TT |
rhs | Idris.Parser |
RightOK | Idris.AbsSyntax |
rmIBC | Pkg.Package |
RmProof | Idris.AbsSyntaxTree, Idris.AbsSyntax |
RType | Idris.Core.TT |
rt_simplify | Idris.Core.Evaluate |
Rule | Idris.AbsSyntaxTree, Idris.AbsSyntax |
runClient | Idris.REPL |
runElab | Idris.Core.Elaborate |
runInnerParser | Idris.ParseHelpers, Idris.Parser |
runIO | Idris.AbsSyntax |
runparser | Idris.ParseHelpers, Idris.Parser |
runTac | Idris.ElabTerm |
RunTime | Idris.Core.CaseTree |
runtimeExceptionType | IRTS.Java.JTypes |
RVal | |
1 (Data Constructor) | IRTS.BCImp |
2 (Data Constructor) | IRTS.Bytecode |