idris-1.0: Functional Programming Language with Dependent Types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- Z
- _
- All

Index - R

RAddImplementation | Idris.AbsSyntaxTree, Idris.AbsSyntax
RApp | Idris.Core.TT
rArgOpts | Idris.Reflection
Raw |
1 (Type/Class) | Idris.Core.TT
2 (Data Constructor) | IRTS.CodegenCommon
rawBool | Idris.Reflection
rawCons | Idris.Reflection
RawHtml | Idris.Docstrings
rawList | Idris.Reflection
rawNil | Idris.Reflection
RawOutput | Idris.AbsSyntaxTree, Idris.AbsSyntax
rawPair | Idris.Reflection
rawPairTy | Idris.Reflection
RawPart | Idris.Core.TT
rawTriple | Idris.Reflection
rawTripleTy | Idris.Reflection
raw_apply | Idris.Core.TT
raw_unapply | Idris.Core.TT
RBind | Idris.Core.TT
RClausesInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax
RConstant | Idris.Core.TT
RConstraint | Idris.Reflection
RConstructor | Idris.Reflection
RConstructorDefn | Idris.Reflection
RCtorArg | Idris.Reflection
RCtorField | Idris.Reflection
RCtorParameter | Idris.Reflection
RDataDefn | Idris.Reflection
RDatatype |
1 (Type/Class) | Idris.Reflection
2 (Data Constructor) | Idris.Reflection
RDatatypeDeclInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax
RDatatypeDefnInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax
RDeclare | Idris.Reflection
RDeclInstructions | Idris.AbsSyntaxTree, Idris.AbsSyntax
RDefineDatatype | Idris.Reflection
RDefineFun | Idris.Reflection
readSource | Util.System
REBASE | IRTS.Bytecode
recents | Idris.Core.ProofState, Idris.Core.Elaborate
recheck | Idris.Core.Typecheck
recheckC | Idris.Elab.Utils
recheckC_borrowing | Idris.Elab.Utils
recheck_borrowing | Idris.Core.Typecheck
recinfo | Idris.ElabDecls
record | Idris.Parser.Data, Idris.Parser
RecordDoc | Idris.Docs
recordI | Idris.Parser.Data, Idris.Parser
RecordInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax
recordParameter | Idris.Parser.Data, Idris.Parser
recordType | Idris.Parser.Expr, Idris.Parser
record_constructor | Idris.AbsSyntaxTree, Idris.AbsSyntax
record_parameters | Idris.AbsSyntaxTree, Idris.AbsSyntax
record_projections | Idris.AbsSyntaxTree, Idris.AbsSyntax
recoverableCoverage | Idris.Coverage
rec_elabDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax
Ref | Idris.Core.TT
Refine | Idris.AbsSyntaxTree, Idris.AbsSyntax
reflCall | Idris.Reflection
Reflect | Idris.AbsSyntaxTree, Idris.AbsSyntax
reflect | Idris.Reflection
reflectArg | Idris.Reflection
reflectBinder | Idris.Reflection
reflectBinderQuote | Idris.Reflection
reflectBinderQuotePattern | Idris.Reflection
reflectConstant | Idris.Reflection
reflectCtorArg | Idris.Reflection
reflectCtxt | Idris.Reflection
reflectDatatype | Idris.Reflection
reflectEnv | Idris.Reflection
reflectErasure | Idris.Reflection
reflectErr | Idris.Reflection
reflectFC | Idris.Reflection
reflectFixity | Idris.Reflection
reflectFunClause | Idris.Reflection
reflectFunDefn | Idris.Reflection
Reflection | Idris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionError | Idris.Core.TT
ReflectionFailed | Idris.Core.TT
reflectList | Idris.Reflection
reflectName | Idris.Reflection
reflectNameQuotePattern | Idris.Reflection
reflectNameType | Idris.Reflection
reflectPlicity | Idris.Reflection
reflectRaw | Idris.Reflection
reflectRawQuote | Idris.Reflection
reflectRawQuotePattern | Idris.Reflection
reflectSpecialName | Idris.Reflection
reflectTTQuote | Idris.Reflection
reflectTTQuotePattern | Idris.Reflection
reflectUExp | Idris.Reflection
reflectUniverse | Idris.Reflection
reflErrName | Idris.Reflection
reflm | Idris.Reflection
refocus | Idris.Core.ProofTerm
refsIn | Idris.Core.TT
Reg |
1 (Type/Class) | IRTS.Bytecode
2 (Type/Class) | IRTS.BCImp
Regret | Idris.Core.ProofState, Idris.Core.Elaborate
regret | Idris.Core.Elaborate
reify | Idris.Reflection
reifyApp | Idris.Reflection
reifyArithTy | Idris.Reflection
reifyBool | Idris.Reflection
reifyEnv | Idris.Reflection
reifyErasure | Idris.Reflection
reifyFC | Idris.Reflection
reifyFunDefn | Idris.Reflection
reifyInt | Idris.Reflection
reifyIntTy | Idris.Reflection
reifyList | Idris.Reflection
reifyNativeTy | Idris.Reflection
reifyPair | Idris.Reflection
reifyPlicity | Idris.Reflection
reifyRaw | Idris.Reflection
reifyRawApp | Idris.Reflection
reifyRConstructorDefn | Idris.Reflection
reifyRDataDefn | Idris.Reflection
reifyReportPart | Idris.Reflection
reifyReportParts | Idris.Reflection
reifyRFunArg | Idris.Reflection
reifyTT | Idris.Reflection
reifyTTApp | Idris.Reflection
reifyTTBinder | Idris.Reflection
reifyTTBinderApp | Idris.Reflection
reifyTTConst | Idris.Reflection
reifyTTConstApp | Idris.Reflection
reifyTTName | Idris.Reflection
reifyTTNameApp | Idris.Reflection
reifyTTNamespace | Idris.Reflection
reifyTTNameType | Idris.Reflection
reifyTTUExp | Idris.Reflection
reifyTyDecl | Idris.Reflection
reifyUniverse | Idris.Reflection
Reload | Idris.REPL.Commands
RemoveOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax
removeOptimise | Idris.AbsSyntax
renderDocstring | Idris.Docstrings
renderDocTerm | Idris.Docstrings
renderExternal | Idris.Output
renderHtml | Idris.Docstrings
Reorder | Idris.Core.ProofState, Idris.Core.Elaborate
reorder_claims | Idris.Core.Elaborate
repl | Idris.REPL
replaceSplits | Idris.CaseSplit
replCompletion | Idris.Completion
REPLCompletions | Idris.IdeMode
replPkg | Idris.Package
REPLPort | Idris.AbsSyntaxTree, Idris.AbsSyntax
replSettings | Idris.REPL
repl_definitions | Idris.ASTUtils
report | Idris.Error
reportParserWarnings | Idris.Parser.Helpers, Idris.Parser
RErased | Idris.Reflection
RErasure | Idris.Reflection
RESERVE | IRTS.Bytecode
reserved | Idris.Parser.Helpers, Idris.Parser
reservedFC | Idris.Parser.Helpers, Idris.Parser
reservedHL | Idris.Parser.Helpers, Idris.Parser
reservedOp | Idris.Parser.Helpers, Idris.Parser
reservedOpFC | Idris.Parser.Helpers, Idris.Parser
resetNameIdx | Idris.AbsSyntax
resetProofTerm | Idris.Core.ProofTerm
resolveTC | Idris.ProofSearch
resolveTC' | Idris.Elab.Term
resugar | Idris.Delaborate
resultCaseDecls | Idris.Elab.Term
resultContext | Idris.Elab.Term
resultHighlighting | Idris.Elab.Term
resultMetavars | Idris.Elab.Term
resultName | Idris.Elab.Term
resultTerm | Idris.Elab.Term
resultTyDecls | Idris.Elab.Term
Rewrite |
1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
rewrite | Idris.Core.Elaborate
rewriteTerm | Idris.Parser.Expr, Idris.Parser
RExplicit | Idris.Reflection
RFunArg |
1 (Type/Class) | Idris.Reflection
2 (Data Constructor) | Idris.Reflection
rFunArgToPArg | Idris.Reflection
RFunClause | Idris.Reflection
RFunDefn | Idris.Reflection
rhs | Idris.Parser
rhs_trans | Idris.AbsSyntaxTree, Idris.AbsSyntax
RI | Idris.AbsSyntaxTree, Idris.AbsSyntax
Rig0 | Idris.Core.TT
Rig1 | Idris.Core.TT
RigCount | Idris.Core.TT
rigEnv | Idris.Core.TT
RightOK | Idris.AbsSyntax
rigMult | Idris.Core.TT
rigPlus | Idris.Core.TT
RigW | Idris.Core.TT
RImplicit | Idris.Reflection
RIndex | Idris.Reflection
rmExe | Idris.Package
rmFile | Util.System
rmIBC | Idris.Package
rmIdx | Idris.Package
RMkFunClause | Idris.Reflection
RMkImpossibleClause | Idris.Reflection
RmProof | Idris.REPL.Commands
RNotErased | Idris.Reflection
RParameter | Idris.Reflection
RPlicity | Idris.Reflection
RTyConArg | Idris.Reflection
RTyDecl | Idris.Reflection
RTyDeclInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax
RType | Idris.Core.TT
rt_simplify | Idris.Core.Evaluate
Rule | Idris.AbsSyntaxTree, Idris.AbsSyntax
runArgParser | Idris.CmdOptions
runClient | Idris.REPL, Idris.Main
runElab |
1 (Function) | Idris.Core.Elaborate
2 (Function) | Idris.Parser.Expr, Idris.Parser
runElabAction | Idris.Elab.Term
runElabDecl | Idris.Parser
runInnerParser | Idris.Parser.Helpers, Idris.Parser
runIO | Idris.AbsSyntax
runMain | Idris.Main
RunningElabScript | Idris.Core.TT
runparser | Idris.Parser.Helpers, Idris.Parser
RunShellCommand | Idris.REPL.Commands
runTac | Idris.Elab.Term
RunTactic' | Idris.Core.ProofTerm
RunTime | Idris.Core.CaseTree
RUType | Idris.Core.TT
RVal |
1 (Data Constructor) | IRTS.Bytecode
2 (Data Constructor) | IRTS.BCImp