idris-1.3.4: 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
rankedImportDirs | Idris.AbsSyntax
RApp | Idris.Core.TT
Raw |
1 (Type/Class) | Idris.Core.TT
2 (Data Constructor) | IRTS.CodegenCommon
RawHtml | Idris.Docstrings
rawList | Idris.Reflection
RawOutput | Idris.AbsSyntaxTree, Idris.AbsSyntax
rawPair | Idris.Reflection
rawPairTy | Idris.Reflection
RawPart | Idris.Core.TT
raw_apply | Idris.Core.TT
raw_unapply | Idris.Core.TT
RBind | Idris.Core.TT
RClausesInstrs | Idris.AbsSyntaxTree, Idris.AbsSyntax
RConstant | Idris.Core.TT
RConstructor | Idris.Reflection
RConstructorDefn | Idris.Reflection
RDataDefn | 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
readSourceStrict | 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
RecordDoc | Idris.Docs
recordI | Idris.Parser.Data
RecordInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax
recordParameter | Idris.Parser.Data
recordType | Idris.Parser.Expr
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
Reflect | Idris.AbsSyntaxTree, Idris.AbsSyntax
reflect | Idris.Reflection
reflectArg | Idris.Reflection
reflectDatatype | Idris.Reflection
reflectEnv | Idris.Reflection
reflectErr | Idris.Reflection
reflectFC | Idris.Reflection
reflectFixity | Idris.Reflection
reflectFunDefn | Idris.Reflection
Reflection | Idris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionError | Idris.Core.TT
ReflectionFailed | Idris.Core.TT
reflectList | Idris.Reflection
reflectName | Idris.Reflection
reflectNameType | Idris.Reflection
reflectRaw | Idris.Reflection
reflectRawQuote | Idris.Reflection
reflectRawQuotePattern | Idris.Reflection
reflectTTQuote | Idris.Reflection
reflectTTQuotePattern | Idris.Reflection
reflm | Idris.Reflection
refocus | Idris.Core.ProofTerm
refsIn | Idris.Core.TT
Reg | IRTS.Bytecode
Regret | Idris.Core.ProofState, Idris.Core.Elaborate
regret | Idris.Core.Elaborate
reify | Idris.Reflection
reifyBool | Idris.Reflection
reifyEnv | Idris.Reflection
reifyFunDefn | Idris.Reflection
reifyList | Idris.Reflection
reifyRaw | Idris.Reflection
reifyRDataDefn | Idris.Reflection
reifyReportPart | Idris.Reflection
reifyReportParts | Idris.Reflection
reifyTT | Idris.Reflection
reifyTTName | Idris.Reflection
reifyTyDecl | Idris.Reflection
Reload | Idris.REPL.Commands
removeDeadCode | IRTS.JavaScript.LangTransforms
RemoveOpt | Idris.Options
removeOptimise | Idris.AbsSyntax
rename | IRTS.Lang, IRTS.Defunctionalise
renameArgs | IRTS.Lang, IRTS.Defunctionalise
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.Options
replSettings | Idris.REPL
repl_definitions | Idris.ASTUtils
report | Idris.Error
reportParserWarnings | Idris.Parser.Helpers
RESERVE | IRTS.Bytecode
reserved | Idris.Parser.Helpers
reservedOp | Idris.Parser.Ops
RESERVENOALLOC | IRTS.Bytecode
resetNameIdx | Idris.AbsSyntax
resetProofTerm | Idris.Core.ProofTerm
resolveTC | Idris.ProofSearch
resolveTC' | Idris.Elab.Term
restore | Idris.Parser.Stack, Idris.Parser.Helpers
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
RFunArg |
1 (Type/Class) | Idris.Reflection
2 (Data Constructor) | Idris.Reflection
rFunArgToPArg | Idris.Reflection
RFunClause | Idris.Reflection
RFunDefn | Idris.Reflection
rhs_trans | Idris.AbsSyntaxTree, Idris.AbsSyntax
RI | Idris.AbsSyntaxTree, Idris.AbsSyntax
Rig0 | Idris.Core.TT
Rig1 | Idris.Core.TT
RigCount | Idris.Core.TT
rigCount | Idris.Parser.Expr
rigEnv | Idris.Core.TT
RightOK | Idris.AbsSyntax
rigMult | Idris.Core.TT
rigPlus | Idris.Core.TT
RigW | Idris.Core.TT
rmExe | Idris.Package
rmFile | Util.System
rmIBC | Idris.Package
rmIdx | Idris.Package
RMkFunClause | Idris.Reflection
RMkImpossibleClause | Idris.Reflection
RmProof | Idris.REPL.Commands
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
runElabAction | Idris.Elab.Term
runIO | Idris.AbsSyntax
runMain | Idris.Main
RunningElabScript | Idris.Core.TT
runparser | Idris.Parser.Stack, 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 | IRTS.Bytecode