Agda-2.2.10: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ:!$&+./<=>|-
Index (R)
R
Raise
raise
raiseFrom
raiseFromCC
Range
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
4 (Data Constructor)
RangeAndPragma
1 (Type/Class)
2 (Data Constructor)
rangeInvariant
1 (Function)
2 (Function)
ranges
rangeToInterval
rational
RawApp
RawAppP
RB
rbrace
rbrack
RConst
readBinaryFile'
readInterface
readline
readM
ReadP
readTextFile
reason
rebindClause
rebindPrimitive
rebuild
rebuildBinding
Rec
1 (Data Constructor)
2 (Data Constructor)
recAbstr
recalc
recalcs
recArgOccurrences
RecBehaviour
recBehaviourInvariant
reccalc
recClause
recCon
recConType
RecDef
1 (Data Constructor)
2 (Data Constructor)
recEtaEquality
recFields
recNamedCon
Record
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
recordModule
Records
recPars
recPolarity
recTel
recursive
redBind
redReturn
Reduce
reduce
reduceB
reduceCon
Reduced
1 (Data Constructor)
2 (Type/Class)
reduced
reduceHead
RefCreateEnv
Refinable
refine
refinements
refineMeta
RefInfo
refreshStr
Reify
reify
reifyApp
reifyDisplayForm
reifyDisplayFormP
reifyPatterns
Rel
1 (Data Constructor)
2 (Type/Class)
RelativeTo
Relevance
relevancies
Relevancy
Relevant
relevant
relOfConst
remForced
removeForced
removeInteractionPoint
removevar
Ren
ren
rename
1 (Function)
2 (Function)
renameCanonicalNames
renamep
Renaming
1 (Type/Class)
2 (Data Constructor)
renaming
1 (Function)
2 (Function)
renamingR
rEnd
render
renderStyle
renFrom
renTo
renToRange
reorderTel
RepeatedVariablesInPattern
repl
replace
replaceAt
replaceForced
replacep
replay
reportS
reportSDoc
reportSLn
requireLevels
resetState
resize
resizeConf
ResolvedName
resolveModule
resolveName
response
Restore
1 (Type/Class)
2 (Data Constructor)
restrictPrivate
Result
1 (Type/Class)
2 (Type/Class)
retryConstraints
Return
reverseCCBody
reverseP
Rewrite
rewrite
RewriteRHS
RHS
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
4 (Data Constructor)
ribbonsPerLine
RICheckElim
RICheckProjIndex
RICopyInfo
rieDefFreeVars
rieEqReasoningConsts
rieHints
RIEnv
RIEqRState
RightAssoc
RightDisjunct
rightDistributive
RightHandSide
RightOperandCtx
Rigid
1 (Type/Class)
2 (Data Constructor)
3 (Data Constructor)
4 (Data Constructor)
RigidId
rigidVars
RIInferredTypeUnknown
RIIotaStep
RIMainInfo
RINotConstructor
RIPickSubsvar
RIUnifInfo
RIUsedVars
rm
rollback
roundFixBrackets
row
1 (Function)
2 (Function)
rowdescr
rows
1 (Function)
2 (Function)
rparen
rStart
rteModule
rtmError
rtmMod
rtmQual
rtmVar
rToR
runAbsToCon
runAgda
runExceptionT
runIM
runLookAhead
runNice
runTCM
runTCM'
runTests
runUndo
RVar