Agda-2.2.6: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ!$+./<=>|-
Index (R)
R
Raise
raise
raiseFrom
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
Rec
1 (Data Constructor)
2 (Data Constructor)
recAbstr
recalc
recalcs
recArgOccurrences
RecBehaviour
recBehaviourInvariant
reccalc
recClause
recCon
recConType
RecDef
1 (Data Constructor)
2 (Data Constructor)
recFields
Record
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
recordModule
recPars
recPolarity
recTel
recursive
redBind
redReturn
Reduce
reduce
reduceB
reduceCon
Reduced
reduceHead
RefCreateEnv
Refinable
refine
refinements
refineMeta
RefInfo
refreshStr
Reify
reify
reifyApp
reifyDisplayForm
reifyDisplayFormP
reifyPatterns
Rel
RelativeTo
removeInteractionPoint
Ren
rename
renameCanonicalNames
renamedCanonicalNames
Renaming
1 (Type/Class)
2 (Data Constructor)
renaming
1 (Function)
2 (Function)
renamingR
rEnd
render
renderStyle
renFrom
renTo
renToRange
reorderTel
RepeatedVariablesInPattern
repl
replay
reportS
reportSDoc
reportSLn
resetState
resize
resizeConf
ResolvedName
resolveModule
resolveName
respond
response
responseString
Restore
1 (Type/Class)
2 (Data Constructor)
restrictPrivate
Result
1 (Type/Class)
2 (Type/Class)
retryConstraints
Return
reverseP
Rewrite
rewrite
RewriteRHS
RHS
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
4 (Data Constructor)
ribbonsPerLine
RIEnv
RightAssoc
RightDisjunct
rightDistributive
RightHandSide
RightOperandCtx
Rigid
1 (Type/Class)
2 (Data Constructor)
3 (Data Constructor)
RigidId
rigidVars
RIMainInfo
RIUnifInfo
rollback
roundFixBrackets
row
rowdescr
rows
rparen
rStart
rtmError
rtmMod
rtmQual
rtmVar
rToR
rtpCon
rtpQName
runAbsToCon
runAgda
runExceptionT
runIM
runLookAhead
runNice
runProp
runTCM
runTCM'
runTests
runUndo
RVar