A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
+
.
/
<
=
>
^
|
-
_
All

Index - R

R
1 (Data Constructor)	Agda.Utils.Map
2 (Type/Class)	Agda.TypeChecking.Serialise.Base
raise	Agda.TypeChecking.Substitute.Class, Agda.TypeChecking.Substitute
raiseDBP	Agda.Termination.Monad
raiseFrom	Agda.TypeChecking.Substitute.Class, Agda.TypeChecking.Substitute
RaiseNLP	Agda.TypeChecking.Rewriting.NonLinMatch
raiseNLP	Agda.TypeChecking.Rewriting.NonLinMatch
raiseNLPFrom	Agda.TypeChecking.Rewriting.NonLinMatch
raisePatVars	Agda.TypeChecking.Pretty
raisePatVarsInType	Agda.TypeChecking.Pretty
raiseS	Agda.TypeChecking.Substitute.Class, Agda.TypeChecking.Substitute
Range
1 (Type/Class)	Agda.Syntax.Position
2 (Data Constructor)	Agda.Syntax.Position
3 (Type/Class)	Agda.Interaction.Highlighting.Range
4 (Data Constructor)	Agda.Interaction.Highlighting.Range
Range'	Agda.Syntax.Position
RangeAndPragma
1 (Type/Class)	Agda.Syntax.Translation.AbstractToConcrete
2 (Data Constructor)	Agda.Syntax.Translation.AbstractToConcrete
Ranged
1 (Type/Class)	Agda.Syntax.Common
2 (Data Constructor)	Agda.Syntax.Common
rangedThing	Agda.Syntax.Common
rangeFile	Agda.Syntax.Position
rangeIntervals	Agda.Syntax.Position
rangeInvariant
1 (Function)	Agda.Syntax.Position
2 (Function)	Agda.Interaction.Highlighting.Range
rangeOf	Agda.Syntax.Common
Ranges
1 (Type/Class)	Agda.Interaction.Highlighting.Range
2 (Data Constructor)	Agda.Interaction.Highlighting.Range
ranges	Agda.Interaction.Highlighting.Precise
rangesInvariant	Agda.Interaction.Highlighting.Range
rangesToPositions	Agda.Interaction.Highlighting.Range
rangeToEndPoints	Agda.Interaction.Highlighting.Range
rangeToInterval	Agda.Syntax.Position
rangeToIntervalWithFile	Agda.Syntax.Position
rangeToPositions	Agda.Interaction.Highlighting.Range
rational	Agda.Utils.Pretty
RawApp	Agda.Syntax.Concrete
RawAppP	Agda.Syntax.Concrete
RawName	Agda.Syntax.Common
rawNameToString	Agda.Syntax.Common
rbrace	Agda.Utils.Pretty
rbrack	Agda.Utils.Pretty
RConst	Agda.Utils.Warshall
reAbs	Agda.TypeChecking.Substitute.Class, Agda.TypeChecking.Substitute
reachable	Agda.Utils.Graph.AdjacencyMap.Unidirectional
reachableFrom	Agda.Utils.Graph.AdjacencyMap.Unidirectional
readBinaryFile'	Agda.Utils.IO.Binary
ReadFileError	Agda.Syntax.Parser.Monad, Agda.Syntax.Parser
readFromCachedLog	Agda.TypeChecking.Monad.Caching, Agda.TypeChecking.Monad
readInterface	Agda.Interaction.Imports
readIORef	Agda.Utils.IORef
readline	Agda.Interaction.Monad
readM	Agda.Utils.Monad
readModifyIORef'	Agda.Utils.IORef
ReadP	Agda.Utils.Parser.ReadP
readParse	Agda.Interaction.InteractionTop
readsToParse	Agda.Interaction.InteractionTop
ReadTCState	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
readTextFile	Agda.Utils.IO.UTF8
reallyFree	Agda.TypeChecking.Rewriting.NonLinMatch
ReallyNotBlocked	Agda.Syntax.Internal
reallyUnLevelView	Agda.TypeChecking.Level
rebindLocalRewriteRules	Agda.TypeChecking.Rewriting
rebindName	Agda.Syntax.Scope.Monad
Rec
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Data Constructor)	Agda.Syntax.Abstract
recAbstr	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recalc	Agda.Auto.NarrowingSearch
recalcs	Agda.Auto.NarrowingSearch
reccalc	Agda.Auto.NarrowingSearch
RecCheck	Agda.Benchmarking, Agda.TypeChecking.Monad.Benchmark
recClause	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recCon	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recConHead	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
RecDef
1 (Data Constructor)	Agda.Syntax.Concrete.Definitions
2 (Data Constructor)	Agda.Syntax.Abstract
recEtaEquality	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recEtaEquality'	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recFields	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recInduction	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recMutual	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recNamedCon	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recomputeInScopeSets	Agda.Syntax.Scope.Base
recomputeInverseScopeMaps	Agda.Syntax.Scope.Base
reconstructParameters	Agda.TypeChecking.ReconstructParameters
reconstructParametersInEqView	Agda.TypeChecking.ReconstructParameters
reconstructParametersInTel	Agda.TypeChecking.ReconstructParameters
reconstructParametersInType	Agda.TypeChecking.ReconstructParameters
Record
1 (Type/Class)	Agda.Utils.Lens.Examples
2 (Data Constructor)	Agda.Utils.Lens.Examples
3 (Data Constructor)	Agda.Syntax.Concrete
4 (Data Constructor)	Agda.Interaction.Highlighting.Precise
5 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
RecordAssign	Agda.Syntax.Abstract
RecordAssignment	Agda.Syntax.Concrete
RecordAssignments	Agda.Syntax.Concrete
RecordAssigns	Agda.Syntax.Abstract
RecordCon	Agda.TypeChecking.Datatypes
RecordDef	Agda.Syntax.Reflected
recordFieldNames	Agda.TypeChecking.Records
RecordFlex	Agda.TypeChecking.Rules.LHS.Problem
recordModule	Agda.TypeChecking.Records
RecordModuleIFS
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Data Constructor)	Agda.Syntax.Abstract
recordPatternToProjections	Agda.TypeChecking.RecordPatterns
Records	Agda.TypeChecking.MetaVars
RecordSig	Agda.Syntax.Concrete
recoverAsPatterns
1 (Function)	Agda.Compiler.Treeless.AsPatterns
2 (Function)	Agda.TypeChecking.Rules.LHS.AsPatterns
RecP
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Data Constructor)	Agda.Syntax.Abstract
recPars	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recRecursive	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
recRecursive_	Agda.TypeChecking.Records
RecSig	Agda.Syntax.Abstract
recTel	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
RecUpdate
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Data Constructor)	Agda.Syntax.Abstract
recurseExpr	Agda.Syntax.Abstract.Views
recursive	Agda.Termination.RecCheck
recursiveRecord	Agda.TypeChecking.Records
redBind	Agda.TypeChecking.Primitive
redEnv	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
redoChecks	Agda.Interaction.BasicOps
redReturn	Agda.TypeChecking.Primitive
redSt	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Reduce
1 (Data Constructor)	Agda.Benchmarking, Agda.TypeChecking.Monad.Benchmark
2 (Type/Class)	Agda.TypeChecking.Reduce
reduce	Agda.TypeChecking.Reduce
reduce'	Agda.TypeChecking.Reduce
reduceB	Agda.TypeChecking.Reduce
reduceB'	Agda.TypeChecking.Reduce
Reduced
1 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
2 (Type/Class)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
reduced	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
reduceDefCopy	Agda.TypeChecking.Reduce
ReduceEnv
1 (Type/Class)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
2 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
reduceHead	Agda.TypeChecking.Reduce
reduceHead'	Agda.TypeChecking.Reduce
ReduceM
1 (Type/Class)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
2 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
reduceProjectionLike	Agda.TypeChecking.ProjectionLike
reduceQuotedTerm	Agda.TypeChecking.Unquote
RefCreateEnv	Agda.Auto.NarrowingSearch
Refinable	Agda.Auto.NarrowingSearch
Refine	Agda.Interaction.InteractionTop
refine	Agda.Interaction.BasicOps
refinements	Agda.Auto.NarrowingSearch
refineMeta	Agda.Interaction.CommandLine
RefInfo	Agda.Auto.Syntax
reflClos	Agda.TypeChecking.SizedTypes.WarshallSolver
Reflected	Agda.Syntax.Common
refreshStr	Agda.Interaction.InteractionTop
registerInteractionPoint	Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad
Reify	Agda.Syntax.Translation.InternalToAbstract
reify	Agda.Syntax.Translation.InternalToAbstract
reifyElimToExpr	Agda.Interaction.BasicOps
reifyPatterns	Agda.Syntax.Translation.InternalToAbstract
reifyWhen	Agda.Syntax.Translation.InternalToAbstract
Rel
1 (Data Constructor)	Agda.Compiler.Epic.Interface
2 (Type/Class)	Agda.TypeChecking.Primitive
Related	Agda.Syntax.Fixity
related	Agda.Utils.PartialOrd
RelativeTo	Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad
Relevance
1 (Type/Class)	Agda.Syntax.Common
2 (Type/Class)	Agda.Compiler.Epic.Interface
RelevanceMismatch	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
relevancies	Agda.Compiler.Epic.Erasure
Relevant	Agda.Syntax.Common
relevant	Agda.Compiler.Epic.Erasure
RelevantArgs	Agda.Compiler.Epic.Interface
relevantArgs	Agda.Compiler.Epic.Interface
relevantIn
1 (Function)	Agda.TypeChecking.Free.Old
2 (Function)	Agda.TypeChecking.Free
relevantInIgnoringNonvariant	Agda.TypeChecking.Polarity
relevantInIgnoringSortAnn
1 (Function)	Agda.TypeChecking.Free.Old
2 (Function)	Agda.TypeChecking.Free
relevantVars
1 (Function)	Agda.TypeChecking.Free.Old
2 (Function)	Agda.TypeChecking.Free
relOfConst	Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad
RelView
1 (Type/Class)	Agda.TypeChecking.Rewriting
2 (Data Constructor)	Agda.TypeChecking.Rewriting
relView	Agda.TypeChecking.Rewriting
relViewCore	Agda.TypeChecking.Rewriting
relViewDelta	Agda.TypeChecking.Rewriting
relViewTel	Agda.TypeChecking.Rewriting
relViewType	Agda.TypeChecking.Rewriting
relViewType'	Agda.TypeChecking.Rewriting
remForced	Agda.Compiler.Epic.Forcing
removeEdge	Agda.Utils.Graph.AdjacencyMap.Unidirectional
removeInteractionPoint	Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad
removeNameFromScope	Agda.Syntax.Scope.Base
removeNode	Agda.Utils.Graph.AdjacencyMap.Unidirectional
removeOldInteractionScope	Agda.Interaction.InteractionTop
removeOnlyQualified	Agda.Syntax.Scope.Base
removePrivates	Agda.Interaction.Imports
removeSucs	Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad
removeUnused	Agda.Compiler.Epic.Erasure
removevar	Agda.Auto.CaseSplit
Ren	Agda.Syntax.Abstract
ren	Agda.Auto.CaseSplit
rename	Agda.Auto.CaseSplit
renameCanonicalNames	Agda.Syntax.Scope.Base
renameP	Agda.TypeChecking.Substitute
renamep	Agda.Auto.CaseSplit
Renaming
1 (Data Constructor)	Agda.Syntax.Common
2 (Type/Class)	Agda.Syntax.Concrete
3 (Type/Class)	Agda.Syntax.Abstract
renaming	Agda.TypeChecking.Substitute
Renaming'	Agda.Syntax.Common
renamingR	Agda.TypeChecking.Substitute
rEnd	Agda.Syntax.Position
rEnd'	Agda.Syntax.Position
render	Agda.Utils.Pretty
renderStyle	Agda.Utils.Pretty
renFrom	Agda.Syntax.Common
renModules	Agda.Syntax.Abstract
renNames	Agda.Syntax.Abstract
renTo	Agda.Syntax.Common
renToRange	Agda.Syntax.Common
reorder	Agda.Compiler.JS.Compiler
reorder'	Agda.Compiler.JS.Compiler
reorderTel	Agda.TypeChecking.Telescope
reorderTel_	Agda.TypeChecking.Telescope
RepeatedVariablesInPattern	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
repeatWhile	Agda.Utils.Function
repeatWhileM	Agda.Utils.Function
repl	Agda.Compiler.Common
replace	Agda.Auto.CaseSplit
replaceAt	Agda.Compiler.Epic.CompileState
replaceEmptyName	Agda.Syntax.Internal
replaceForced	Agda.Compiler.Epic.Forcing
replaceFunCC	Agda.Compiler.Epic.Injection
replaceModuleExtension	Agda.Interaction.FindFile
replacep	Agda.Auto.CaseSplit
report	Agda.Compiler.Epic.Forcing
reportS	Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad
reportSDoc	Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad
reportSLn	Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad
requireLevels	Agda.TypeChecking.Level
requireOptionRewriting	Agda.TypeChecking.Rewriting
Res	Agda.TypeChecking.MetaVars
reset	Agda.Utils.Benchmark, Agda.TypeChecking.Monad.Benchmark
resetAllState	Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad
resetNameSupply	Agda.Compiler.Epic.CompileState
resetState	Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad
ResolvedName	Agda.Syntax.Scope.Monad
resolveModule	Agda.Syntax.Scope.Monad
resolveName	Agda.Syntax.Scope.Monad
resolveName'	Agda.Syntax.Scope.Monad
resolveUnknownInstanceDefs	Agda.TypeChecking.Telescope
RespectFlags	Agda.Interaction.Options
Response	Agda.Interaction.Response
response	Agda.Interaction.EmacsCommand
Resp_ClearHighlighting	Agda.Interaction.Response
Resp_ClearRunningInfo	Agda.Interaction.Response
Resp_DisplayInfo	Agda.Interaction.Response
Resp_GiveAction	Agda.Interaction.Response
Resp_HighlightingInfo	Agda.Interaction.Response
Resp_InteractionPoints	Agda.Interaction.Response
Resp_JumpToError	Agda.Interaction.Response
Resp_MakeCase	Agda.Interaction.Response
Resp_RunningInfo	Agda.Interaction.Response
Resp_SolveAll	Agda.Interaction.Response
Resp_Status	Agda.Interaction.Response
Restore
1 (Type/Class)	Agda.Auto.NarrowingSearch
2 (Data Constructor)	Agda.Auto.NarrowingSearch
restorePostScopeState	Agda.TypeChecking.Monad.Caching, Agda.TypeChecking.Monad
restPats	Agda.TypeChecking.Rules.LHS.Problem
restrictLocalPrivate	Agda.Syntax.Scope.Base
restrictPrivate	Agda.Syntax.Scope.Base
restType	Agda.TypeChecking.Rules.LHS.Problem
Result	Agda.Termination.TermCheck
retryConstraints	Agda.Interaction.CommandLine
Return	Agda.Interaction.CommandLine
returnTCMT	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
reverseCCBody	Agda.Compiler.Epic.FromAgda
reverseP	Agda.Utils.Permutation
revisitRecordPatternTranslation	Agda.TypeChecking.Rules.Decl
revLift	Agda.Interaction.InteractionTop
rewArity	Agda.TypeChecking.Rewriting
rewContext	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
rewHead	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
rewName	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
rewPats	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
rewRHS	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Rewrite	Agda.Interaction.BasicOps
rewrite	Agda.TypeChecking.Rewriting
RewriteEqn	Agda.Syntax.Concrete
rewriteExprs	Agda.Syntax.Abstract
RewritePragma
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Data Constructor)	Agda.Syntax.Abstract
RewriteRHS	Agda.Syntax.Abstract
rewriteRHS	Agda.Syntax.Abstract
RewriteRule
1 (Type/Class)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
2 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
RewriteRuleMap	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
RewriteRules	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
rewriteWhereDecls	Agda.Syntax.Abstract
rewriteWith	Agda.TypeChecking.Rewriting
rewType	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
RHS
1 (Data Constructor)	Agda.Syntax.Concrete
2 (Type/Class)	Agda.Syntax.Concrete
3 (Type/Class)	Agda.Syntax.Abstract
4 (Data Constructor)	Agda.Syntax.Abstract
Rhs	Agda.Utils.Haskell.Syntax
RHS'	Agda.Syntax.Concrete
rhsConcrete	Agda.Syntax.Abstract
rhsExpr	Agda.Syntax.Abstract
ribbonsPerLine	Agda.Utils.Pretty
RICheckElim	Agda.Auto.Syntax
RICheckProjIndex	Agda.Auto.Syntax
RICopyInfo	Agda.Auto.Syntax
rieDefFreeVars	Agda.Auto.Syntax
rieEqReasoningConsts	Agda.Auto.Syntax
rieHints	Agda.Auto.Syntax
RIEnv	Agda.Auto.Syntax
RIEqRState	Agda.Auto.Syntax
RightAssoc	Agda.Syntax.Fixity
RightDisjunct	Agda.Auto.NarrowingSearch
rightExpr	Agda.TypeChecking.SizedTypes.Syntax
RightHandSide	Agda.Syntax.Translation.ConcreteToAbstract
rightMargin	Agda.Syntax.Position
RightOperandCtx	Agda.Syntax.Fixity
Rigid
1 (Data Constructor)	Agda.TypeChecking.SizedTypes.Syntax
2 (Type/Class)	Agda.TypeChecking.SizedTypes.Syntax
3 (Type/Class)	Agda.Utils.Warshall
4 (Data Constructor)	Agda.Utils.Warshall
5 (Data Constructor)	Agda.TypeChecking.MetaVars.Occurs
6 (Data Constructor)	Agda.TypeChecking.SizedTypes
rigid	Agda.TypeChecking.SizedTypes.Syntax
RigidId
1 (Data Constructor)	Agda.TypeChecking.SizedTypes.Syntax
2 (Type/Class)	Agda.Utils.Warshall
rigidId	Agda.TypeChecking.SizedTypes.Syntax
rigidIndex	Agda.TypeChecking.SizedTypes.Solve
rigidlyConstrainedMetas	Agda.TypeChecking.InstanceArguments
rigidName	Agda.TypeChecking.SizedTypes.Solve
Rigids	Agda.TypeChecking.SizedTypes.Syntax
rigids	Agda.TypeChecking.SizedTypes.Syntax
rigidVars
1 (Function)	Agda.TypeChecking.Free.Old
2 (Function)	Agda.TypeChecking.Free
rigidVarsNotContainedIn	Agda.TypeChecking.MetaVars.Occurs
RIInferredTypeUnknown	Agda.Auto.Syntax
RIIotaStep	Agda.Auto.Syntax
riMainCxtLength	Agda.Auto.Syntax
RIMainInfo	Agda.Auto.Syntax
riMainIota	Agda.Auto.Syntax
riMainType	Agda.Auto.Syntax
RINotConstructor	Agda.Auto.Syntax
RIPickSubsvar	Agda.Auto.Syntax
RIUnifInfo	Agda.Auto.Syntax
RIUsedVars	Agda.Auto.Syntax
rm	Agda.Auto.CaseSplit
rollback	Agda.Syntax.Parser.LookAhead
rootNameModule	Agda.Interaction.FindFile
rootPath	Agda.Utils.FileName
roundFixBrackets	Agda.Syntax.Fixity
row	Agda.Termination.SparseMatrix
rowdescr	Agda.Utils.Warshall
rows	Agda.Termination.SparseMatrix
rparen	Agda.Utils.Pretty
rStart	Agda.Syntax.Position
rStart'	Agda.Syntax.Position
RString	Agda.Syntax.Common
rtmError	Agda.Compiler.MAlonzo.Misc
rtmIncompleteMatch	Agda.Compiler.MAlonzo.Misc
rtmQual	Agda.Compiler.MAlonzo.Misc
rtmUnreachableError	Agda.Compiler.MAlonzo.Misc
rtmVar	Agda.Compiler.MAlonzo.Misc
rToR	Agda.Interaction.Highlighting.Range
rtrim	Agda.Utils.String
runAbsToCon	Agda.Syntax.Translation.AbstractToConcrete
runAgda	Agda.Main
runAgdaWithOptions	Agda.Main
runChange	Agda.Utils.Update
runCompileT	Agda.Compiler.UHC.CompileState
runExceptionT	Agda.TypeChecking.Monad.Exception
runExceptT	Agda.Utils.Except
runFree	Agda.TypeChecking.Free
runGetState	Agda.TypeChecking.Serialise.Base
runIM	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Interaction.Monad
runInteraction	Agda.Interaction.InteractionTop
runListT	Agda.Utils.ListT
runLookAhead	Agda.Syntax.Parser.LookAhead
RunMetaOccursCheck
1 (Type/Class)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
2 (Data Constructor)	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runMListT	Agda.Utils.ListT
runNice	Agda.Syntax.Concrete.Definitions
runNLM	Agda.TypeChecking.Rewriting.NonLinMatch
runOptM	Agda.Interaction.Options
runPM	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runPMIO	Agda.Syntax.Parser
runReduceF	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runReduceM	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runSafeTCM	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runTCM	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runTCMPrettyErrors	Agda.Main
runTCMTop	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runTCMTop'	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
runTer	Agda.Termination.Monad
runTerDefault	Agda.Termination.Monad
runTT	Agda.Compiler.UHC.FromAgda
runUndo	Agda.Auto.NarrowingSearch
runUnquoteM	Agda.TypeChecking.Unquote
runUpdater	Agda.Utils.Update
RVar	Agda.Utils.Warshall