IndexAgda-2.7.0.1
R
- RAgda.TypeChecking.Serialise.Base
- raiseAgda.TypeChecking.Substitute.Class
- raiseErrorsAgda.Interaction.Library.Base
- raiseErrors'Agda.Interaction.Library.Base
- raiseExeNotExecutableAgda.TypeChecking.Unquote
- raiseExeNotFoundAgda.TypeChecking.Unquote
- raiseExeNotTrustedAgda.TypeChecking.Unquote
- raiseFromAgda.TypeChecking.Substitute.Class
- raiseFromSAgda.TypeChecking.Substitute.Class
- raiseSAgda.TypeChecking.Substitute.Class
- raiseWarningsOnUsageAgda.TypeChecking.Warnings
- RangeAgda.Interaction.Highlighting.Range
- RangeAgda.Syntax.Position
- RangeAgda.Interaction.Highlighting.RangeAgda.Syntax.Position
- rangeAgda.Utils.IArray
- Range'Agda.Syntax.Position
- RangeAndPragmaAgda.Syntax.Translation.AbstractToConcrete
- RangeAndPragmaAgda.Syntax.Translation.AbstractToConcrete
- RangedAgda.Syntax.Common
- RangedAgda.Syntax.Common
- rangedThingAgda.Syntax.Common
- RangeFileAgda.Syntax.Position
- RangeFileAgda.Syntax.Position
- rangeFileAgda.Syntax.Position
- rangeFileNameAgda.Syntax.Position
- rangeFilePathAgda.Syntax.Position
- rangeIntervalsAgda.Syntax.Position
- rangeInvariantAgda.Interaction.Highlighting.RangeAgda.Syntax.Position
- RangeMapAgda.Utils.RangeMap
- RangeMapAgda.Utils.RangeMap
- rangeMapAgda.Utils.RangeMap
- rangeMapInvariantAgda.Utils.RangeMap
- rangeModuleAgda.Syntax.Position
- rangeModule'Agda.Syntax.Position
- rangeOfAgda.Syntax.Common
- RangePairAgda.Interaction.Highlighting.Precise
- RangePairAgda.Interaction.Highlighting.Precise
- rangePairAgda.Interaction.Highlighting.Precise
- rangePairInvariantAgda.Interaction.Highlighting.Precise
- RangesAgda.Interaction.Highlighting.Range
- RangesAgda.Interaction.Highlighting.Range
- rangesInvariantAgda.Interaction.Highlighting.Range
- rangeSizeAgda.Utils.IArray
- rangesToPositionsAgda.Interaction.Highlighting.Range
- rangeToIntervalAgda.Syntax.Position
- rangeToIntervalWithFileAgda.Syntax.Position
- rangeToPositionsAgda.Interaction.Highlighting.Range
- rangeToRangeAgda.Interaction.Highlighting.Range
- rationalAgda.Syntax.Common.Pretty
- ratioToDoubleAgda.Utils.Float
- RawAppAgda.Syntax.Concrete
- rawAppAgda.Syntax.Concrete
- RawAppPAgda.Syntax.Concrete
- rawAppPAgda.Syntax.Concrete
- rawModuleNamePartsAgda.Syntax.TopLevelModuleName
- rawModuleNameRangeAgda.Syntax.TopLevelModuleName
- RawNameAgda.Syntax.Common
- rawNameToStringAgda.Syntax.Common
- RawTopLevelModuleNameAgda.Syntax.TopLevelModuleName
- RawTopLevelModuleNameAgda.Syntax.TopLevelModuleName
- rawTopLevelModuleNameAgda.Syntax.TopLevelModuleName
- rawTopLevelModuleNameForModuleAgda.Syntax.TopLevelModuleName
- rawTopLevelModuleNameForModuleNameAgda.Syntax.TopLevelModuleName
- rawTopLevelModuleNameForQNameAgda.Syntax.TopLevelModuleName
- rawTopLevelModuleNameToStringAgda.Syntax.TopLevelModuleName
- rbraceAgda.Syntax.Common.Pretty
- rbrackAgda.Syntax.Common.Pretty
- RConstAgda.Utils.Warshall
- reAbsAgda.TypeChecking.Substitute.Class
- reachableAgda.Utils.Graph.AdjacencyMap.Unidirectional
- reachableFromAgda.Utils.Graph.AdjacencyMap.Unidirectional
- reachableFromSetAgda.Utils.Graph.AdjacencyMap.Unidirectional
- readBinaryFile'Agda.Utils.IO.Binary
- ReadErrorAgda.Interaction.Library.Base
- ReadExceptionAgda.Utils.IO.UTF8
- ReadFailureAgda.Interaction.Library.Base
- readFileAgda.Utils.IO.UTF8
- ReadFileErrorAgda.Syntax.ParserAgda.Syntax.Parser.Monad
- readFilePMAgda.Syntax.Parser
- readFromCachedLogAgda.Compiler.BackendAgda.TypeChecking.Monad.Caching
- ReadGHCModuleEnvAgda.Compiler.MAlonzo.Misc
- readInterfaceAgda.Interaction.Imports
- readIORefAgda.Utils.IORef
- readlineAgda.Interaction.Monad
- readModifyIORef'Agda.Utils.IORef
- readParseAgda.Interaction.Base
- readsToParseAgda.Interaction.Base
- ReadTCStateAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- readTextFileAgda.Utils.IO.UTF8
- readTokensAgda.Mimer.Options
- reallyAllReductionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ReallyDontExpandLastAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reallyDontExpandLastAgda.Compiler.BackendAgda.TypeChecking.Monad.Env
- reallyFreeAgda.TypeChecking.Free.Reduce
- reallyNoConstraintsAgda.TypeChecking.Constraints
- ReallyNotBlockedAgda.Syntax.Internal.Blockers
- reallyNotFreeInAgda.TypeChecking.MetaVars.Occurs
- reallyUnLevelViewAgda.TypeChecking.Level
- rebindNameAgda.Syntax.Scope.Monad
- RecAgda.Syntax.AbstractAgda.Syntax.Concrete
- recAbstrAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecCheckAgda.Benchmarking
- recClauseAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recCompAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recConAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recConHeadAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recConstructorAgda.Syntax.Common
- RecDefAgda.Syntax.Abstract
- RecDefSAgda.Syntax.Abstract
- recEtaEqualityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recEtaEquality'Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recFieldsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recHasEtaAgda.Syntax.Common
- recheckAbstractClauseAgda.Interaction.MakeCase
- recheckBecausePragmaOptionsChangedAgda.Interaction.Options
- recInductionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recInductiveAgda.Syntax.Common
- recMutualAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecNameAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Scope.Base
- recNamedConAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecompileAgda.Compiler.BackendAgda.Compiler.Backend.Base
- RecompileAgda.Compiler.BackendAgda.Compiler.Backend.Base
- recomputeInScopeSetsAgda.Syntax.Scope.Base
- recomputeInverseScopeMapsAgda.Syntax.Scope.Base
- reconstructAgda.TypeChecking.ReconstructParameters
- reconstructActionAgda.TypeChecking.ReconstructParameters
- reconstructAction'Agda.TypeChecking.ReconstructParameters
- reconstructParametersAgda.TypeChecking.ReconstructParameters
- reconstructParameters'Agda.TypeChecking.ReconstructParameters
- reconstructParametersInEqViewAgda.TypeChecking.ReconstructParameters
- reconstructParametersInTelAgda.TypeChecking.ReconstructParameters
- reconstructParametersInTypeAgda.TypeChecking.ReconstructParameters
- reconstructParametersInType'Agda.TypeChecking.ReconstructParameters
- RecordAgda.Utils.Lens.Examples
- RecordAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecordAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.AspectAgda.Syntax.ConcreteAgda.Utils.Lens.Examples
- RecordAssignAgda.Syntax.Abstract
- RecordAssignmentAgda.Syntax.Concrete
- RecordAssignmentsAgda.Syntax.Concrete
- RecordAssignsAgda.Syntax.Abstract
- RecordConAgda.TypeChecking.Datatypes
- RecordDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecordDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecordDefAgda.Syntax.ConcreteAgda.Syntax.Reflected
- RecordDefnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecordDirectiveAgda.Syntax.Concrete
- RecordDirectivesAgda.Syntax.AbstractAgda.Syntax.Concrete
- RecordDirectivesAgda.Syntax.Common
- RecordDirectives'Agda.Syntax.Common
- recordEtaEqualityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recordFieldNamesAgda.TypeChecking.Records
- RecordFieldWarningAgda.Compiler.BackendAgda.TypeChecking.Monad.BaseAgda.TypeChecking.Monad.Base.Warning
- RecordFieldWarningAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recordFieldWarningToErrorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecordFlexAgda.TypeChecking.Rules.LHS.Problem
- recordInductionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecordModuleInstanceAgda.Syntax.AbstractAgda.Syntax.Concrete
- recordPatternToProjectionsAgda.TypeChecking.RecordPatterns
- recordRHSToCopatternsAgda.TypeChecking.RecordPatterns
- RecordsAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- RecordSigAgda.Syntax.Concrete
- recoverAsPatternsAgda.Compiler.Treeless.AsPatterns
- recoverLayoutAgda.Syntax.Parser.Helpers
- RecPAgda.Syntax.AbstractAgda.Syntax.Concrete
- recParsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recPatternAgda.Syntax.Common
- recPatternMatchingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recRecursiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recRecursive_Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecSigAgda.Syntax.Abstract
- RecSigSAgda.Syntax.Abstract
- recTelAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- recTerminatesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecUpdateAgda.Syntax.AbstractAgda.Syntax.Concrete
- recurseExprAgda.Syntax.Abstract.Views
- RecurseExprFnAgda.Syntax.Abstract.Views
- RecurseExprRecFnAgda.Syntax.Abstract.Views
- recursiveAgda.Termination.RecCheck
- recursiveRecordAgda.TypeChecking.Records
- RecursiveRecordNeedsInductivityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RecursiveReductionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- redBindAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- redEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- redoChecksAgda.Interaction.BasicOps
- redPredAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- redReturnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- redReturnNoSimplAgda.TypeChecking.Primitive.Cubical
- redStAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ReduceAgda.TypeChecking.Reduce
- ReduceAgda.Benchmarking
- reduceAgda.TypeChecking.Reduce
- reduce'Agda.TypeChecking.Reduce
- reduce2LamAgda.TypeChecking.Primitive.Cubical.Base
- reduceAllDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ReduceAndEtaContractAgda.TypeChecking.MetaVars
- reduceAndEtaContractAgda.TypeChecking.MetaVars
- reduceBAgda.TypeChecking.Reduce
- reduceB'Agda.TypeChecking.Reduce
- ReducedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ReducedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reducedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reduceDefCopyAgda.TypeChecking.Reduce
- reduceDefCopyTCMAgda.TypeChecking.Reduce
- ReduceDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ReduceEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ReduceEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reduceEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reduceHeadAgda.TypeChecking.Reduce
- reduceIApply'Agda.TypeChecking.Reduce
- ReduceMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ReduceMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reduceProjectionLikeAgda.TypeChecking.ProjectionLike
- reduceQuotedTermAgda.TypeChecking.Unquote
- reduceStAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reduceWithBlockerAgda.TypeChecking.Reduce
- ReferencesFutureVariablesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RefineAgda.Interaction.InteractionTop
- refineAgda.Interaction.BasicOps
- reflClosAgda.TypeChecking.SizedTypes.WarshallSolver
- ReflectedAgda.Syntax.Common
- ReflectionAgda.Benchmarking
- registerInteractionPointAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- ReifiesToAgda.Syntax.Translation.InternalToAbstract
- ReifyAgda.Syntax.Translation.InternalToAbstract
- reifyAgda.Syntax.Translation.InternalToAbstract
- reifyDisplayFormPAgda.Syntax.Translation.InternalToAbstract
- reifyElimToExprAgda.Interaction.BasicOps
- reifyPatternsAgda.Syntax.Translation.InternalToAbstract
- reifyUnblockedAgda.Syntax.Translation.InternalToAbstract
- reifyWhenAgda.Syntax.Translation.InternalToAbstract
- reintroduceEllipsisAgda.Syntax.Concrete.Pattern
- rejectUnknownFieldsAgda.Interaction.JSON
- RelAgda.TypeChecking.Primitive
- RelatedAgda.Syntax.Common
- relatedAgda.Utils.PartialOrd
- relativizeAbsolutePathAgda.Utils.FileName
- RelevanceAgda.Syntax.Common
- RelevanceAttributeAgda.Syntax.Concrete.Attribute
- relevanceAttributesAgda.Syntax.Concrete.Attribute
- relevanceAttributeTableAgda.Syntax.Concrete.Attribute
- RelevanceMismatchAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RelevantAgda.Syntax.Common
- relevantInAgda.TypeChecking.Free
- relevantInIgnoringSortAnnAgda.TypeChecking.Free
- relOfConstAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- relToDontCareAgda.TypeChecking.Substitute
- RelViewAgda.TypeChecking.Rewriting
- RelViewAgda.TypeChecking.Rewriting
- relViewAgda.TypeChecking.Rewriting
- relViewCoreAgda.TypeChecking.Rewriting
- relViewDeltaAgda.TypeChecking.Rewriting
- relViewTelAgda.TypeChecking.Rewriting
- relViewTypeAgda.TypeChecking.Rewriting
- relViewType'Agda.TypeChecking.Rewriting
- RemoteMetaStoreAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RemoteMetaVariableAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RemoteMetaVariableAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RemoveAgda.Interaction.Base
- RemoveAgda.Interaction.Base
- removeEdgeAgda.Utils.Graph.AdjacencyMap.Unidirectional
- RemoveHighlightingAgda.Interaction.Response.Base
- removeInteractionPointAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- removeLetBindingAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- removeLetBindingsFromAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- removeLoneSigAgda.Syntax.Concrete.Definitions.Monad
- removeNameFromScopeAgda.Syntax.Scope.Base
- removeNodeAgda.Utils.Graph.AdjacencyMap.Unidirectional
- removeNodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- removeOldInteractionScopeAgda.Interaction.InteractionTop
- removeParenPAgda.Syntax.Concrete
- removeSucsAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- RemoveTokenBasedHighlightingAgda.Interaction.Response.Base
- RenAgda.Syntax.Abstract
- renameCanonicalNamesAgda.Syntax.Scope.Base
- renameNodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- renameNodesMonotonicAgda.Utils.Graph.AdjacencyMap.Unidirectional
- renamePAgda.TypeChecking.Substitute
- renameTelAgda.TypeChecking.Telescope
- RenamingAgda.Syntax.AbstractAgda.Syntax.Concrete
- RenamingAgda.Syntax.Common
- renamingAgda.TypeChecking.Substitute
- Renaming'Agda.Syntax.Common
- RenamingDirectiveAgda.Syntax.Concrete
- RenamingDirective'Agda.Syntax.Common
- renamingRAgda.TypeChecking.Substitute
- rEndAgda.Syntax.Position
- rEnd'Agda.Syntax.Position
- renderAgda.Compiler.JS.PrettyAgda.Syntax.Common.Pretty
- renderAnsiIOAgda.Syntax.Common.Pretty.ANSI
- renderErrorAgda.TypeChecking.Errors
- renderErrorPartsAgda.TypeChecking.Unquote
- renderSpansAgda.Syntax.Common.Pretty
- renderStyleAgda.Syntax.Common.Pretty
- renderSuffixAgda.Utils.Suffix
- renFixityAgda.Syntax.Common
- renFromAgda.Syntax.Common
- renModulesAgda.Syntax.Abstract
- renNamesAgda.Syntax.Abstract
- renToAgda.Syntax.Common
- renToRangeAgda.Syntax.Common
- reorderAgda.Compiler.JS.Compiler
- reorder'Agda.Compiler.JS.Compiler
- reorderTelAgda.TypeChecking.Telescope
- reorderTel_Agda.TypeChecking.Telescope
- repeatAgda.Utils.List1
- RepeatedVariablesInPatternAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- repeatWhileAgda.Utils.Function
- repeatWhileMAgda.Utils.Function
- replAgda.Compiler.CommonAgda.Interaction.AgdaTop
- replaceEmptyNameAgda.Syntax.Internal
- replacementCharAgda.Utils.Char
- replaceModuleExtensionAgda.Interaction.FindFile
- replaceSurrogateCodePointAgda.Utils.Char
- replInteractorAgda.Main
- reportResultAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- ReportSAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- reportSAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- reportSDocAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- reportSLnAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- ReqArgAgda.Interaction.Options
- requireAllowExecAgda.TypeChecking.Unquote
- requireCubicalAgda.TypeChecking.Primitive.Cubical.Base
- requireLevelsAgda.TypeChecking.Level
- requireOptionRewritingAgda.TypeChecking.Rewriting
- RequiresDefinitionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ResAgda.TypeChecking.MetaVars
- resetAgda.TypeChecking.Monad.BenchmarkAgda.Utils.Benchmark
- resetAllStateAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- resetLayoutStatusAgda.Syntax.Parser.Monad
- resetStateAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- resolvedBindingSourceAgda.Syntax.Scope.Base
- ResolvedNameAgda.Syntax.Scope.Base
- resolvedVarAgda.Syntax.Scope.Base
- ResolveInstanceHeadAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- resolveInstanceHeadAgda.TypeChecking.InstanceArguments
- ResolveInstanceOFAgda.Interaction.Base
- resolveModuleAgda.Syntax.Scope.Monad
- resolveNameAgda.Syntax.Scope.Monad
- resolveName'Agda.Syntax.Scope.Monad
- Resp_ClearHighlightingAgda.Interaction.Response.Base
- Resp_ClearRunningInfoAgda.Interaction.Response.Base
- Resp_DisplayInfoAgda.Interaction.Response.Base
- Resp_DoneAbortingAgda.Interaction.Response.Base
- Resp_DoneExitingAgda.Interaction.Response.Base
- Resp_GiveActionAgda.Interaction.Response.Base
- Resp_HighlightingInfoAgda.Interaction.Response.Base
- Resp_InteractionPointsAgda.Interaction.Response.Base
- Resp_JumpToErrorAgda.Interaction.Response.Base
- Resp_MakeCaseAgda.Interaction.Response.Base
- Resp_MimerAgda.Interaction.Response.Base
- Resp_RunningInfoAgda.Interaction.Response.Base
- Resp_SolveAllAgda.Interaction.Response.Base
- Resp_StatusAgda.Interaction.Response.Base
- respInScopeAgda.Interaction.Response.Base
- respLetValueAgda.Interaction.Response.Base
- ResponseAgda.Interaction.Response
- responseAgda.Interaction.EmacsCommand
- Response_bootAgda.Interaction.Response.Base
- ResponseContextEntryAgda.Interaction.Response.Base
- ResponseContextEntryAgda.Interaction.Response.Base
- respOrigNameAgda.Interaction.Response.Base
- respReifNameAgda.Interaction.Response.Base
- respTypeAgda.Interaction.Response.Base
- restorePostScopeStateAgda.Compiler.BackendAgda.TypeChecking.Monad.Caching
- restrictLocalPrivateAgda.Syntax.Scope.Base
- restrictPrivateAgda.Syntax.Scope.Base
- restrictToAgda.Interaction.Highlighting.PreciseAgda.Utils.RangeMap
- ResultAgda.Termination.TermCheck
- resultBlockerAgda.TypeChecking.DiscrimTree
- resultValuesAgda.TypeChecking.DiscrimTree
- RetractAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- returnExprAgda.Syntax.Concrete
- returnTCMTAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- reverseAgda.Utils.List1
- ReversedSuffixAgda.Utils.List
- reversePAgda.Utils.Permutation
- revisitRecordPatternTranslationAgda.TypeChecking.Rules.Decl
- revLiftAgda.Interaction.InteractionTop
- revLiftTCAgda.Interaction.InteractionTop
- rewContextAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rewFromClauseAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rewHeadAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rewNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rewPatsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rewRHSAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteAgda.Interaction.Base
- RewriteAgda.Syntax.Common
- rewriteAgda.TypeChecking.Rewriting
- RewriteAmbiguousRulesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteAmbiguousRules_Agda.Interaction.Options.Warnings
- RewriteBeforeFunctionDefinition_Agda.Interaction.Options.Warnings
- RewriteBeforeMutualFunctionDefinition_Agda.Interaction.Options.Warnings
- RewriteBlockedOnProblems_Agda.Interaction.Options.Warnings
- RewriteConstructorParametersNotGeneral_Agda.Interaction.Options.Warnings
- RewriteContainsUnsolvedMetaVariables_Agda.Interaction.Options.Warnings
- RewriteDoesNotTargetRewriteRelation_Agda.Interaction.Options.Warnings
- RewriteEqnAgda.Syntax.AbstractAgda.Syntax.Concrete
- RewriteEqn'Agda.Syntax.Common
- rewriteExprsAgda.Syntax.Abstract
- RewriteHeadSymbolContainsMetas_Agda.Interaction.Options.Warnings
- RewriteHeadSymbolIsProjection_Agda.Interaction.Options.Warnings
- RewriteHeadSymbolIsProjectionLikeFunction_Agda.Interaction.Options.Warnings
- RewriteHeadSymbolIsTypeConstructor_Agda.Interaction.Options.Warnings
- RewriteLHSNotDefinitionOrConstructor_Agda.Interaction.Options.Warnings
- RewriteLHSReduces_Agda.Interaction.Options.Warnings
- RewriteMaybeNonConfluentAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteMaybeNonConfluent_Agda.Interaction.Options.Warnings
- RewriteMissingRuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteMissingRule_Agda.Interaction.Options.Warnings
- RewriteNonConfluentAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteNonConfluent_Agda.Interaction.Options.Warnings
- RewritePragmaAgda.Syntax.AbstractAgda.Syntax.Concrete
- rewriteRelationDomAgda.TypeChecking.Rewriting
- RewriteRequiresDefinitions_Agda.Interaction.Options.Warnings
- RewriteRHSAgda.Syntax.Abstract
- rewriteRHSAgda.Syntax.Abstract
- RewriteRHSSAgda.Syntax.Abstract
- RewriteRuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteRuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteRuleMapAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RewriteRulesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rewriteStrippedPatsAgda.Syntax.Abstract
- RewriteVariablesBoundMoreThanOnce_Agda.Interaction.Options.Warnings
- RewriteVariablesNotBoundByLHS_Agda.Interaction.Options.Warnings
- rewriteWhereDeclsAgda.Syntax.Abstract
- rewriteWithAgda.TypeChecking.Rewriting
- rewTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RHSAgda.Syntax.Abstract
- RHSAgda.Syntax.Concrete
- RHSAgda.Syntax.AbstractAgda.Syntax.Concrete
- RhsAgda.Utils.Haskell.Syntax
- RHS'Agda.Syntax.Concrete
- rhsConcreteAgda.Syntax.Abstract
- rhsExprAgda.Syntax.Abstract
- RHSOrTypeSigsAgda.Syntax.Parser.Helpers
- RHSSAgda.Syntax.Abstract
- RHSSpineAgda.Syntax.Abstract
- rhsSpineAgda.Syntax.Abstract
- ribbonsPerLineAgda.Syntax.Common.Pretty
- RightAssocAgda.Syntax.Common
- rightExprAgda.TypeChecking.SizedTypes.Syntax
- rightIdiomBrktAgda.Syntax.Concrete.Glyph
- rightMarginAgda.Syntax.Position
- RightOperandCtxAgda.Syntax.Fixity
- rightsAgda.Utils.List1
- RigidAgda.Utils.Warshall
- RigidAgda.TypeChecking.SizedTypes.Syntax
- RigidAgda.TypeChecking.SizedTypesAgda.TypeChecking.SizedTypes.SyntaxAgda.Utils.Warshall
- rigidAgda.TypeChecking.SizedTypes.Syntax
- RigidIdAgda.Utils.Warshall
- RigidIdAgda.TypeChecking.SizedTypes.Syntax
- rigidIdAgda.TypeChecking.SizedTypes.Syntax
- rigidIndexAgda.TypeChecking.SizedTypes.Syntax
- RigidKAgda.TypeChecking.DiscrimTree.Types
- rigidNameAgda.TypeChecking.SizedTypes.Syntax
- RigidOfAgda.TypeChecking.SizedTypes.Syntax
- RigidsAgda.TypeChecking.SizedTypes.Syntax
- rigidsAgda.TypeChecking.SizedTypes.Syntax
- rigidVarsAgda.TypeChecking.Free
- rigidVarsNotContainedInAgda.TypeChecking.MetaVars.Occurs
- RLiteralAgda.Syntax.Literal
- rmvInstantiationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rmvJudgementAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rmvModalityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- rollbackAgda.Syntax.Parser.LookAhead
- RollBackMetasAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- rootNameModuleAgda.Interaction.FindFile
- RootNameModuleNotAQualifiedModuleNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- roundFixBracketsAgda.Syntax.Fixity
- rowAgda.Termination.SparseMatrix
- rowdescrAgda.Utils.Warshall
- rowsAgda.Termination.SparseMatrix
- rparenAgda.Syntax.Common.Pretty
- rStartAgda.Syntax.Position
- rStart'Agda.Syntax.Position
- RstFileTypeAgda.Syntax.Common
- RStringAgda.Syntax.Common
- rtmErrorAgda.Compiler.MAlonzo.Misc
- rtmHoleAgda.Compiler.MAlonzo.Misc
- rtmQualAgda.Compiler.MAlonzo.Misc
- rtmUnreachableErrorAgda.Compiler.MAlonzo.Misc
- rtmVarAgda.Compiler.MAlonzo.Misc
- rToRAgda.Interaction.Highlighting.Range
- rtrimAgda.Utils.String
- runAbsToConAgda.Syntax.Translation.AbstractToConcrete
- runAgdaAgda.Main
- runAgda'Agda.Main
- runAgdaWithOptionsAgda.Main
- runBlockedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runBuiltinAccessAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- runChangeAgda.Utils.Update
- runChangeTAgda.Utils.Update
- runFailAgda.Utils.Fail
- runFail_Agda.Utils.Fail
- runFreeAgda.TypeChecking.Free
- runFreeMAgda.TypeChecking.Free.Lazy
- runGetStateAgda.TypeChecking.Serialise.Base
- runHighlighterAgda.Interaction.Highlighting.FromAbstract
- runHsCompileTAgda.Compiler.MAlonzo.Misc
- runHsCompileT'Agda.Compiler.MAlonzo.Misc
- runIMAgda.Interaction.Monad
- runInteractionAgda.Interaction.InteractionTop
- runInteractionLoopAgda.Interaction.CommandLine
- runLexActionAgda.Syntax.Parser.Alex
- runListTAgda.Utils.ListT
- runLookAheadAgda.Syntax.Parser.LookAhead
- RunMetaOccursCheckAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- RunMetaOccursCheckAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runMListTAgda.Utils.ListT
- runNamesAgda.TypeChecking.Names
- runNamesTAgda.TypeChecking.Names
- runNiceAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Monad
- runNLMAgda.TypeChecking.Rewriting.NonLinMatch
- runOptMAgda.Interaction.Options
- runPAgda.Interaction.Library.Parse
- runPMAgda.TypeChecking.Warnings
- runPMIOAgda.Syntax.Parser
- runPureConversionAgda.TypeChecking.Conversion.Pure
- RunRecordPatternTranslationAgda.TypeChecking.CompiledClause.Compile
- RunRecordPatternTranslationAgda.TypeChecking.CompiledClause.Compile
- runReduceFAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runReduceMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runSafeTCMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runStConcreteNamesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runTCMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runTCMPrettyErrorsAgda.Main
- runTCMTopAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runTCMTop'Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- runTerAgda.Termination.Monad
- runTerDefaultAgda.Termination.Monad
- runUnifyLogTAgda.TypeChecking.Rules.LHS.Unify.Types
- runUnquoteMAgda.TypeChecking.Unquote
- runUpdaterAgda.Utils.Update
- runUpdaterTAgda.Utils.Update
- RVarAgda.Utils.Warshall