IndexAgda-2.7.0.1
M
- MAgda.Mimer.Options
- MacroAgda.Interaction.Highlighting.PreciseAgda.Syntax.AbstractAgda.Syntax.Common.AspectAgda.Syntax.Concrete
- MacroDefAgda.Syntax.Common
- MacroNameAgda.Syntax.Scope.Base
- MacroResultTypeMismatchAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MainFunctionDefAgda.Compiler.MAlonzo.Primitives
- MainFunctionDefAgda.Compiler.MAlonzo.Primitives
- mainFunctionDefsAgda.Compiler.MAlonzo.Primitives
- MainModeAgda.Main
- MainModePrintAgdaAppDirAgda.Main
- MainModePrintAgdaDataDirAgda.Main
- MainModePrintHelpAgda.Main
- MainModePrintVersionAgda.Main
- MainModeRunAgda.Main
- makeAbstractClauseAgda.Interaction.MakeCase
- makeAbsurdClauseAgda.Interaction.MakeCase
- makeAllAgda.Utils.IndexedList
- makeCaseAgda.Interaction.MakeCase
- MakeCaseVariantAgda.Interaction.Response.Base
- makeCaseVariantAgda.Interaction.InteractionTop
- makeInstanceAgda.Syntax.Common
- makeInstance'Agda.Syntax.Common
- makeNameAgda.Syntax.Abstract.Name
- makeOpenAgda.Compiler.BackendAgda.TypeChecking.Monad.Open
- makePatternVarsVisibleAgda.Interaction.MakeCase
- makePiAgda.Syntax.Concrete
- makeProjectionAgda.TypeChecking.ProjectionLike
- makeRHSEmptyRecordAgda.Interaction.MakeCase
- MakeStrictAgda.Compiler.MAlonzo.Strict
- makeStrictAgda.Compiler.MAlonzo.Strict
- makeSubstitutionAgda.TypeChecking.Rewriting.NonLinMatch
- malformedAgda.TypeChecking.Serialise.Base
- ManyHolesAgda.Utils.AffineHole
- MapAgda.Utils.TypeLevel
- mapAgda.Compiler.JS.SubstitutionAgda.Utils.BagAgda.Utils.List1
- map'Agda.Compiler.JS.Substitution
- mapAbsNamesAgda.Syntax.Internal
- mapAbsNamesMAgda.Syntax.Internal
- mapAbsoluteIncludePathsAgda.Interaction.Options.Lenses
- mapAbstractionAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- mapAbstraction_Agda.Compiler.BackendAgda.TypeChecking.Monad.Context
- mapAnnotationAgda.Syntax.Common
- mapAPatternAgda.Syntax.Abstract.Pattern
- mapArgInfoAgda.Syntax.Common
- mapAwakeConstraintsAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- mapBenchmarkOnAgda.Utils.Benchmark
- mapChangeTAgda.Utils.Update
- mapClosureAgda.Compiler.BackendAgda.TypeChecking.Monad.Closure
- mapCohesionAgda.Syntax.Common
- mapCohesionModAgda.Syntax.Common
- mapCommandLineOptionsAgda.Interaction.Options.Lenses
- mapConNameAgda.Syntax.Internal
- mapCPatternAgda.Syntax.Concrete.Pattern
- mapCurrentAccountAgda.Utils.Benchmark
- mapEither3MAgda.Utils.Three
- mapExprAgda.Syntax.Abstract.ViewsAgda.Syntax.Concrete.Generic
- mapFlagAgda.Interaction.Options
- mapFlexRigMapAgda.TypeChecking.Free.Lazy
- mapFreeVariablesAgda.Syntax.Common
- mapFreeVariablesArgInfoAgda.Syntax.Common
- mapFstAgda.Utils.Tuple
- mapFstMAgda.Utils.Tuple
- mapHidingAgda.Syntax.Common
- mapHidingArgInfoAgda.Syntax.Common
- mapImportDirAgda.Syntax.Scope.Monad
- mapIncludePathsAgda.Interaction.Options.Lenses
- mapInScopeAgda.Syntax.Concrete.Name
- mapKeysMonotonicAgda.Utils.AssocList
- mapLeftAgda.Utils.Either
- mapLHSCoresAgda.TypeChecking.Rules.Def
- mapLHSHeadAgda.Syntax.Abstract.Pattern
- mapLhsOriginalPatternAgda.Syntax.Concrete.Pattern
- mapLhsOriginalPatternMAgda.Syntax.Concrete.Pattern
- mapListTAgda.Utils.ListT
- mapLockAgda.Syntax.Common
- mapM'Agda.Utils.Monad
- mapMaybeAgda.Utils.List1Agda.Utils.MaybeAgda.Utils.Maybe.Strict
- mapMaybeAndRestAgda.Utils.List
- mapMaybeMAgda.Utils.Monad
- mapMaybeMMAgda.Utils.Monad
- mapMListTAgda.Utils.ListT
- mapMListT_altAgda.Utils.ListT
- mapMMAgda.Utils.Monad
- mapMM_Agda.Utils.Monad
- mapModalityAgda.Syntax.Common
- mapModalityArgInfoAgda.Syntax.Common
- MapNamedArgPatternAgda.Syntax.Abstract.PatternAgda.Syntax.Internal.Pattern
- mapNamedArgPatternAgda.Syntax.Abstract.PatternAgda.Syntax.Internal.Pattern
- mapNameOfAgda.Syntax.Common
- mapNameSpaceAgda.Syntax.Scope.Base
- mapNameSpaceMAgda.Syntax.Scope.Base
- mapOriginAgda.Syntax.Common
- mapOriginArgInfoAgda.Syntax.Common
- mapPairMAgda.Utils.Tuple
- mapPersistentVerbosityAgda.Interaction.Options.Lenses
- mapPragmaOptionsAgda.Interaction.Options.Lenses
- mapQuantityAgda.Syntax.Common
- mapQuantityModAgda.Syntax.Common
- mapRedEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mapRedEnvStAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mapRedStAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mapRelevanceAgda.Syntax.Common
- mapRelevanceModAgda.Syntax.Common
- mapRenamingAgda.Syntax.Scope.Monad
- mapRightAgda.Utils.Either
- mapSafeModeAgda.Interaction.Options.Lenses
- mapScopeAgda.Syntax.Scope.Base
- mapScope_Agda.Syntax.Scope.Base
- mapScopeMAgda.Syntax.Scope.Base
- mapScopeM_Agda.Syntax.Scope.Base
- mapScopeNSAgda.Syntax.Scope.Base
- mapSleepingConstraintsAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- mapSndAgda.Utils.Tuple
- mapSndMAgda.Utils.Tuple
- mapSubTriesAgda.Utils.Trie
- mapTCMTAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mapTimingsAgda.Utils.Benchmark
- mapUsingAgda.Syntax.Common
- mapValueAgda.Utils.WithDefault
- mapVarMapAgda.TypeChecking.Free.Lazy
- mapVerbosityAgda.Interaction.Options.Lenses
- mapWithEdgeAgda.Utils.Graph.AdjacencyMap.Unidirectional
- mapWithIndexAgda.Utils.IndexedList
- mapWithKeyAgda.Utils.AssocListAgda.Utils.BiMap
- mapWithKeyFixedTagsAgda.Utils.BiMap
- mapWithKeyFixedTagsPreconditionAgda.Utils.BiMap
- mapWithKeyMAgda.Utils.AssocList
- mapWithKeyPreconditionAgda.Utils.BiMap
- markFirstOrderAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- markInjectiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- markInlineAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- markStaticAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- MarkupAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.AspectAgda.Syntax.Parser.Literate
- MaskedAgda.Termination.Monad
- MaskedAgda.Termination.Monad
- maskedAgda.Termination.Monad
- MaskedDeBruijnPatternsAgda.Termination.Monad
- MatAgda.Termination.Order
- matAgda.Termination.CallMatrix
- MatchAgda.TypeChecking.Rewriting.NonLinMatch
- MatchAgda.TypeChecking.Coverage.MatchAgda.TypeChecking.Patterns.MatchAgda.Utils.Haskell.Syntax
- MatchAgda.Utils.Haskell.Syntax
- matchAgda.Interaction.Highlighting.VimAgda.Syntax.Parser.LookAheadAgda.TypeChecking.Coverage.Match
- matchAgda.TypeChecking.Rewriting.NonLinMatch
- match'Agda.Syntax.Parser.LookAheadAgda.TypeChecking.CompiledClause.Match
- matchClauseAgda.TypeChecking.Coverage.Match
- matchCompiledAgda.TypeChecking.CompiledClause.Match
- matchCompiledEAgda.TypeChecking.CompiledClause.Match
- matchCopatternAgda.TypeChecking.Patterns.Match
- matchCopatternsAgda.TypeChecking.Patterns.Match
- MatchedAgda.TypeChecking.Positivity.Occurrence
- matchedArgsAgda.TypeChecking.Patterns.Match
- matchedArgs'Agda.TypeChecking.Patterns.Match
- matchesAgda.Interaction.Highlighting.Vim
- matchingBlockedAgda.TypeChecking.Rewriting.NonLinMatch
- matchPatternAgda.TypeChecking.Patterns.Match
- matchPatternPAgda.TypeChecking.Patterns.Match
- matchPatternsAgda.TypeChecking.Patterns.Match
- matchPatternsPAgda.TypeChecking.Patterns.Match
- matchPatternSynAgda.Syntax.Abstract.PatternSynonyms
- matchPatternSynPAgda.Syntax.Abstract.PatternSynonyms
- MatrixAgda.Termination.SparseMatrix
- MatrixAgda.Utils.Warshall
- MatrixAgda.Termination.SparseMatrix
- matrixAgda.Utils.Warshall
- MaxAgda.Syntax.Internal
- maxInstanceSearchDepthAgda.Compiler.BackendAgda.TypeChecking.Monad.Options
- maxInversionDepthAgda.Compiler.BackendAgda.TypeChecking.Monad.Options
- maxNameAgda.TypeChecking.Level
- MaxNatAgda.Utils.Monoid
- MaxNatAgda.Utils.Monoid
- maxViewConsAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- maxViewMaxAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- maxViewSuc_Agda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- MaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- maybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- maybeAbortAgda.Interaction.InteractionTop
- maybeFlexiblePatternAgda.TypeChecking.Rules.LHS
- MaybeFreeAgda.TypeChecking.Free.Reduce
- maybeLeftAgda.Utils.Either
- maybeMAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- maybeNamedAgda.Syntax.Parser.Helpers
- MaybePlaceholderAgda.Syntax.Common
- maybePlaceholderAgda.Syntax.Concrete.Operators.Parser
- maybePrimConAgda.TypeChecking.Level
- maybePrimDefAgda.TypeChecking.Level
- MaybeProjectionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- maybeProjTurnPostfixAgda.Syntax.Abstract.Views
- MaybeRedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MaybeReducedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MaybeReducedArgsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MaybeReducedElimsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- maybeRightAgda.Utils.Either
- maybeTimedAgda.Interaction.InteractionTop
- maybeToEitherAgda.Utils.Either
- maybeToListAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- mayEraseTypeAgda.Compiler.Backend.Base
- mazAccumlatedImportsAgda.Compiler.MAlonzo.Misc
- mazAnyTypeAgda.Compiler.MAlonzo.Misc
- mazAnyTypeNameAgda.Compiler.MAlonzo.Misc
- mazCoerceAgda.Compiler.MAlonzo.Misc
- mazCoerceNameAgda.Compiler.MAlonzo.Misc
- mazErasedNameAgda.Compiler.MAlonzo.Misc
- mazHoleAgda.Compiler.MAlonzo.Misc
- mazIsMainModuleAgda.Compiler.MAlonzo.Misc
- mazModAgda.Compiler.MAlonzo.Misc
- mazMod'Agda.Compiler.MAlonzo.Misc
- mazModuleNameAgda.Compiler.MAlonzo.Misc
- mazNameAgda.Compiler.MAlonzo.Misc
- mazRTEAgda.Compiler.MAlonzo.Misc
- mazRTEFloatAgda.Compiler.MAlonzo.Misc
- mazstrAgda.Compiler.MAlonzo.Misc
- mazUnreachableErrorAgda.Compiler.MAlonzo.Misc
- mconsAgda.Utils.List
- MdFileTypeAgda.Syntax.Common
- MeasureAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- measureTimeAgda.Utils.Time
- MEConsAgda.TypeChecking.Serialise.Base
- MEEmptyAgda.TypeChecking.Serialise.Base
- meetAgda.TypeChecking.SizedTypes.Utils
- MeetSemiLatticeAgda.TypeChecking.SizedTypes.Utils
- memberAgda.Utils.BagAgda.Utils.BoolSetAgda.Utils.IntSet.InfiniteAgda.Utils.SmallSetAgda.Utils.TrieAgda.Utils.VarSet
- MemberIdAgda.Compiler.JS.Syntax
- MemberIdAgda.Compiler.JS.Syntax
- MemberIndexAgda.Compiler.JS.Syntax
- MemoAgda.TypeChecking.Serialise.Base
- memoAgda.Utils.Memo
- MemoEntryAgda.TypeChecking.Serialise.Base
- memoiseAgda.Syntax.Concrete.Operators.Parser.Monad
- memoiseAgda.Utils.Parser.MemoisedCPS
- memoiseIfPrintingAgda.Syntax.Concrete.Operators.Parser.Monad
- memoiseIfPrintingAgda.Utils.Parser.MemoisedCPS
- MemoKeyAgda.Syntax.Concrete.Operators.Parser.Monad
- memoModulesAgda.Syntax.Scope.Monad
- memoNamesAgda.Syntax.Scope.Monad
- memoRecAgda.Utils.Memo
- memoToScopeInfoAgda.Syntax.Scope.Monad
- memoUnsafeAgda.Utils.Memo
- memoUnsafeHAgda.Utils.Memo
- mentionsAgda.TypeChecking.SizedTypes.WarshallSolver
- MentionsMetaAgda.TypeChecking.MetaVars.Mention
- mentionsMetaAgda.TypeChecking.MetaVars.Mention
- mentionsMetasAgda.TypeChecking.MetaVars.Mention
- mergeDTAgda.TypeChecking.DiscrimTree.Types
- mergeEdgesAgda.TypeChecking.Positivity
- mergeElimAgda.TypeChecking.Patterns.Match
- mergeElimsAgda.TypeChecking.Patterns.Match
- mergeHidingAgda.Syntax.Common
- mergeNamesAgda.Syntax.Scope.Base
- mergeNamesManyAgda.Syntax.Scope.Base
- mergeNotationsAgda.Syntax.Notation
- mergePatternSynDefsAgda.Syntax.Abstract.PatternSynonyms
- mergeScopeAgda.Syntax.Scope.Base
- mergeScopesAgda.Syntax.Scope.Base
- mergeStrictlyOrderedByAgda.Utils.List
- MetaAgda.Syntax.Reflected
- MetaArgAgda.TypeChecking.Positivity.Occurrence
- MetaCannotDependOnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- metaCheckAgda.TypeChecking.MetaVars.Occurs
- MetaClassAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- MetaErasedSolutionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- metaFrozenAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- metaHelperTypeAgda.Interaction.BasicOps
- MetaIdAgda.Syntax.CommonAgda.Syntax.Internal
- MetaIdAgda.Syntax.CommonAgda.Syntax.Internal
- metaIdAgda.Syntax.CommonAgda.Syntax.Internal
- MetaInfoAgda.Compiler.BackendAgda.Syntax.InfoAgda.TypeChecking.Monad.Base
- MetaInfoAgda.Compiler.BackendAgda.Syntax.InfoAgda.TypeChecking.Monad.Base
- MetaInstantiationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- metaInstantiationToMetaKindAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- MetaIrrelevantSolutionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MetaKindAgda.Syntax.Info
- metaKindAgda.Syntax.Info
- metaModuleAgda.Syntax.CommonAgda.Syntax.Internal
- MetaNameSuggestionAgda.Syntax.Info
- metaNameSuggestionAgda.Syntax.Info
- metaNumberAgda.Syntax.Info
- metaOccursAgda.TypeChecking.MetaVars.Occurs
- metaOccurs2Agda.TypeChecking.MetaVars.Occurs
- metaOccurs3Agda.TypeChecking.MetaVars.Occurs
- MetaOccursInItselfAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- metaOccursQNameAgda.TypeChecking.MetaVars.Occurs
- MetaPriorityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MetaPriorityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- metaRangeAgda.Syntax.Info
- MetaSAgda.Syntax.Internal
- MetasAgda.Utils.ProfileOptions
- metaScopeAgda.Syntax.Info
- metasCreatedByAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- MetaSetAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- MetaSetAgda.TypeChecking.Free.Lazy
- metaSetToBlockerAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- metasInAgda.Syntax.Internal.Names
- metasIn'Agda.Syntax.Internal.Names
- metaToNatAgda.TypeChecking.Primitive
- metaTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- MetaVAgda.Syntax.Internal
- MetaVarAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MetaVariableAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- miClosRangeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MiddleAgda.Syntax.Common
- miGeneralizableAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- miInterfaceAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MilliSecondsAgda.Mimer.Options
- mimerAgda.Mimer.Mimer
- MimerClausesAgda.Mimer.Mimer
- MimerExprAgda.Mimer.Mimer
- MimerListAgda.Mimer.Mimer
- MimerNoResultAgda.Mimer.Mimer
- MimerResultAgda.Mimer.Mimer
- miMetaOccursCheckAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mimicGHCiAgda.Interaction.EmacsTop
- miModalityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- miModeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- miNameSuggestionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- minfoAsNameAgda.Syntax.Info
- minfoAsToAgda.Syntax.Info
- minfoDirectiveAgda.Syntax.Info
- minfoOpenShortAgda.Syntax.Info
- minfoRangeAgda.Syntax.Info
- minifiedCodeLinesLengthAgda.Compiler.JS.Pretty
- minusAgda.Interaction.Highlighting.Range
- miPrimitiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MismatchedProjectionsErrorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MissingClausesAgda.Syntax.Internal.Blockers
- MissingColonForFieldAgda.Interaction.Library.Base
- MissingDeclarationsAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- MissingDeclarations_Agda.Interaction.Options.Warnings
- MissingDefinitionAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- MissingDefinitionsAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- MissingDefinitions_Agda.Interaction.Options.Warnings
- MissingFieldNameAgda.Interaction.Library.Base
- MissingFieldsAgda.Interaction.Library.Base
- MissingTypeSignatureForOpaqueAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MissingTypeSignatureForOpaque_Agda.Interaction.Options.Warnings
- MissingWithClausesAgda.Syntax.Concrete.Definitions.Errors
- miWarningsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MIxAgda.Termination.SparseMatrix
- MIxAgda.Termination.SparseMatrix
- MixedAgda.TypeChecking.Positivity.Occurrence
- mkAbsAgda.TypeChecking.Substitute.Class
- mkAbsoluteAgda.Utils.FileName
- mkAbsurdBindingAgda.Syntax.Parser.Helpers
- mkAbsurdLamClauseAgda.Syntax.Parser.Helpers
- mkAppAgda.Syntax.Translation.ReflectedToAbstract
- mkBinderAgda.Syntax.AbstractAgda.Syntax.Concrete
- mkBinder_Agda.Syntax.AbstractAgda.Syntax.Concrete
- mkBindNameAgda.Syntax.Abstract
- mkBoundNameAgda.Syntax.Concrete
- mkBoundName_Agda.Syntax.Concrete
- mkCallAgda.Termination.CallGraph
- mkCall'Agda.Termination.CallGraph
- mkCompAgda.TypeChecking.Primitive.Cubical
- mkCompLazyAgda.TypeChecking.Primitive.Cubical
- mkConAgda.TypeChecking.Records
- mkDefAgda.Syntax.Translation.ReflectedToAbstract
- mkDefInfoAgda.Syntax.Info
- mkDefInfoInstanceAgda.Syntax.Info
- mkDomainFreeAgda.Syntax.Abstract
- mkDomainFree_Agda.Syntax.Parser.Helpers
- mkGCompAgda.TypeChecking.Primitive.Cubical.Glue
- mkInterfaceFileAgda.Interaction.FindFile
- mkIsSizeConstraintAgda.TypeChecking.SizedTypes
- mkLamAgda.Syntax.ConcreteAgda.TypeChecking.Substitute
- mkLamBindsAgda.Syntax.Parser.Helpers
- mkLamClauseAgda.Syntax.Parser.Helpers
- mkLetAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.Treeless
- mkLibMAgda.Interaction.Library
- mkMatrixAgda.Utils.Warshall
- mkMetaInfoAgda.Syntax.Translation.ReflectedToAbstract
- MkNameAgda.Syntax.Abstract.Name
- mkNameAgda.Syntax.Parser.Helpers
- mkNameAgda.Syntax.Abstract.Name
- mkName_Agda.Syntax.Abstract.Name
- mkNamedArgAgda.Syntax.Parser.Helpers
- mkNotationAgda.Syntax.Notation
- mkPiAgda.Syntax.AbstractAgda.TypeChecking.Substitute
- mkPiSortAgda.TypeChecking.Substitute
- mkPragmaAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- mkPrimFun1Agda.TypeChecking.Primitive
- mkPrimFun1TCMAgda.TypeChecking.Primitive
- mkPrimFun2Agda.TypeChecking.Primitive
- mkPrimFun3Agda.TypeChecking.Primitive
- mkPrimFun4Agda.TypeChecking.Primitive
- mkPrimInjectiveAgda.TypeChecking.Primitive
- mkPrimLevelMaxAgda.TypeChecking.Primitive
- mkPrimLevelSucAgda.TypeChecking.Primitive
- mkPrimLevelZeroAgda.TypeChecking.Primitive
- mkPropAgda.Syntax.Internal
- mkQNameAgda.Syntax.Parser.Helpers
- mkRangeFileAgda.Syntax.Position
- mkRStringAgda.Syntax.Parser.Helpers
- mkSortKitAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- mkSSetAgda.Syntax.Internal
- mkTAppAgda.Syntax.Treeless
- mkTBindAgda.Syntax.Abstract
- mkTLamAgda.Syntax.Treeless
- mkTLetAgda.Syntax.AbstractAgda.Syntax.Concrete
- mkTypeAgda.Syntax.Internal
- mkVarAgda.Syntax.Translation.ReflectedToAbstract
- mkVarNameAgda.Syntax.Translation.ReflectedToAbstract
- mkWeakIORefAgda.Utils.IORef
- MNameAgda.Syntax.Abstract.Name
- mnameFromListAgda.Syntax.Abstract.Name
- mnameFromList1Agda.Syntax.Abstract.Name
- mnameToConcreteAgda.Syntax.Abstract.Name
- mnameToListAgda.Syntax.Abstract.Name
- mnameToList1Agda.Syntax.Abstract.Name
- mnameToQNameAgda.Syntax.Abstract.Name
- ModAgda.Syntax.Concrete
- ModalityAgda.Syntax.Common
- ModalityAgda.Syntax.Common
- modalityActionAgda.TypeChecking.CheckInternal
- modalityOfConstAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- modCohesionAgda.Syntax.Common
- modDeclsAgda.Syntax.Concrete
- ModeAgda.Interaction.ImportsAgda.Syntax.Common.Pretty
- modeAgda.Syntax.Common.Pretty
- modFileAgda.TypeChecking.Serialise.Base
- modifyAbsoluteIncludePathsAgda.Interaction.Options.Lenses
- modifyAllowedReductionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Env
- modifyArgOccurrencesAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- modifyAwakeConstraintsAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- modifyBenchmarkAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyBenchmarkAgda.Utils.Benchmark
- modifyCommandLineOptionsAgda.Interaction.Options.Lenses
- modifyConcreteNamesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- modifyContextAgda.Syntax.Parser.Monad
- modifyContextInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- modifyCounterAgda.Compiler.BackendAgda.TypeChecking.Monad.Statistics
- modifyCurrentNameSpaceAgda.Syntax.Scope.Monad
- modifyCurrentScopeAgda.Syntax.Scope.Monad
- modifyCurrentScopeMAgda.Syntax.Scope.Monad
- modifyFunClausesAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- modifyGlobalDefinitionAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyImportedSignatureAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyIncludePathsAgda.Interaction.Options.Lenses
- modifyInstanceDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyInteractionPointsAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- modifyIORefAgda.Utils.IORef
- modifyIORef'Agda.Utils.IORef
- modifyLocalVarsAgda.Syntax.Scope.Monad
- modifyNamedScopeAgda.Syntax.Scope.Monad
- modifyNamedScopeMAgda.Syntax.Scope.Monad
- modifyNameSpaceAgda.Syntax.Scope.Base
- modifyOccursCheckDefsAgda.TypeChecking.MetaVars.Occurs
- modifyOldInteractionScopesAgda.Interaction.InteractionTop
- modifyPatternSynsAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyPersistentStateAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyPersistentVerbosityAgda.Interaction.Options.Lenses
- modifyPragmaOptionsAgda.Interaction.Options.Lenses
- modifyRecEtaAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifySafeModeAgda.Interaction.Options.Lenses
- modifyScopeAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyScope_Agda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifyScopesAgda.Syntax.Scope.Monad
- modifySignatureAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- modifySleepingConstraintsAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- modifyStatisticsAgda.Compiler.BackendAgda.TypeChecking.Monad.Statistics
- modifySystemAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- modifyTCAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- modifyTC'Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- modifyTCLensAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- modifyTCLens'Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- modifyTCLensMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- modifyTheInteractionPointsAgda.Interaction.InteractionTop
- modifyVerbosityAgda.Interaction.Options.Lenses
- modNameAgda.Compiler.JS.Syntax
- modnameAgda.Compiler.JS.Pretty
- modPragmasAgda.Syntax.Concrete
- modQuantityAgda.Syntax.Common
- modRelevanceAgda.Syntax.Common
- ModuleAgda.Compiler.JS.SyntaxAgda.Syntax.ConcreteAgda.Utils.Haskell.Syntax
- ModuleAgda.Compiler.JS.SyntaxAgda.Interaction.Highlighting.PreciseAgda.Mimer.OptionsAgda.Syntax.Common.AspectAgda.Syntax.ConcreteAgda.Utils.Haskell.Syntax
- ModuleApplicationAgda.Syntax.AbstractAgda.Syntax.Concrete
- ModuleArityMismatchAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModuleAssignmentAgda.Syntax.Concrete
- ModuleAssignmentAgda.Syntax.Concrete
- ModuleCheckModeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModuleContentsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- moduleContentsAgda.Interaction.BasicOps
- ModuleDefinedInOtherFileAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModuleDoesntExportAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModuleDoesntExport_Agda.Interaction.Options.Warnings
- ModuleInfoAgda.Compiler.BackendAgda.Syntax.InfoAgda.TypeChecking.Monad.Base
- ModuleInfoAgda.Compiler.BackendAgda.Syntax.InfoAgda.TypeChecking.Monad.Base
- ModuleMacroAgda.Syntax.Concrete
- ModuleMapAgda.Syntax.Scope.Base
- ModuleNameAgda.Utils.Haskell.Syntax
- ModuleNameAgda.Syntax.Abstract.Name
- ModuleNameAgda.BenchmarkingAgda.Utils.Haskell.Syntax
- moduleNameAgda.Interaction.FindFile
- ModuleNameDoesntMatchFileNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModuleNameHashAgda.Syntax.TopLevelModuleName.Boot
- ModuleNameHashAgda.Syntax.TopLevelModuleName.Boot
- moduleNameHashAgda.Syntax.TopLevelModuleName.Boot
- moduleNameIdAgda.Syntax.TopLevelModuleName.Boot
- moduleNameParserAgda.Syntax.ParserAgda.Syntax.Parser.Parser
- moduleNamePartsAgda.Syntax.TopLevelModuleName.Boot
- moduleNameRangeAgda.Syntax.TopLevelModuleName.Boot
- moduleNameToFileNameAgda.Syntax.TopLevelModuleName
- ModuleNameUnexpectedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModuleNotNameAgda.Syntax.Scope.Base
- moduleParamsToApplyAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- moduleParserAgda.Syntax.ParserAgda.Syntax.Parser.Parser
- ModulePragmaAgda.Utils.Haskell.Syntax
- ModulesAgda.Utils.ProfileOptions
- ModuleScopeCheckedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModulesInScopeAgda.Syntax.Scope.Base
- ModuleTagAgda.Syntax.Scope.Base
- ModuleToSourceAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ModuleTypeCheckedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadAbsToConAgda.Syntax.Translation.AbstractToConcreteAgda.TypeChecking.Pretty
- MonadAddContextAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- MonadBenchAgda.TypeChecking.Monad.BenchmarkAgda.Utils.Benchmark
- MonadBlockAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadChangeAgda.Utils.Update
- MonadCheckInternalAgda.TypeChecking.CheckInternal
- MonadConstraintAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- MonadConversionAgda.TypeChecking.Conversion
- MonadDebugAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- MonadFixityErrorAgda.Syntax.Concrete.Fixity
- MonadFreshAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadGetDefsAgda.Syntax.Internal.Defs
- MonadInteractionPointsAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- MonadMatchAgda.TypeChecking.Patterns.Match
- MonadMetaSolverAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- MonadPlusAgda.Utils.Monad
- MonadPrettyAgda.TypeChecking.Pretty
- MonadReduceAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadReflectedToAbstractAgda.Syntax.Translation.ReflectedToAbstract
- MonadReifyAgda.Syntax.Translation.InternalToAbstract
- MonadStatisticsAgda.Compiler.BackendAgda.TypeChecking.Monad.Statistics
- MonadStConcreteNamesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadTCEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadTCErrorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadTCMAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadTCStateAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MonadTerAgda.Termination.Monad
- MonadTraceAgda.Compiler.BackendAgda.TypeChecking.Monad.Trace
- MonadWarningAgda.TypeChecking.Warnings
- moreCohesionAgda.Syntax.Common
- moreQuantityAgda.Syntax.Common
- moreRelevantAgda.Syntax.Common
- moreUsableModalityAgda.Syntax.Common
- movePosAgda.Syntax.Position
- movePosByStringAgda.Syntax.Position
- mparensAgda.Compiler.JS.PrettyAgda.Syntax.Common.Pretty
- mplusAgda.Utils.Monad
- mulAgda.Termination.SparseMatrix
- mulAgda.Termination.Semiring
- multiLineTextAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- MultipleAttributesAgda.Syntax.ParserAgda.Syntax.Parser.Monad
- MultipleAttributes_Agda.Interaction.Options.Warnings
- MultipleEllipsesAgda.Syntax.Concrete.Definitions.Errors
- MultipleFixityDeclsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MultiplePolarityPragmasAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mustBeFiniteAgda.TypeChecking.SizedTypes.WarshallSolver
- mustBePiAgda.TypeChecking.Telescope
- MutIdAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MutualAgda.Syntax.AbstractAgda.Syntax.Concrete
- MutualBlockAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MutualBlockAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mutualBlockOfAgda.Compiler.BackendAgda.TypeChecking.Monad.Mutual
- MutualChecksAgda.Syntax.Concrete.Definitions.Types
- MutualChecksAgda.Syntax.Concrete.Definitions.Types
- mutualChecksAgda.Syntax.Concrete.Definitions.TypesAgda.TypeChecking.Rules.Decl
- mutualCoverageAgda.Syntax.Concrete.Definitions.Types
- mutualCoverageCheckAgda.Syntax.Info
- MutualIdAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- MutualInfoAgda.Syntax.Info
- MutualInfoAgda.Syntax.Info
- mutualInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mutuallyRecursiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- MutualNamesAgda.Termination.RecCheck
- mutualNamesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mutualPositivityAgda.Syntax.Concrete.Definitions.Types
- mutualPositivityCheckAgda.Syntax.Info
- mutualRangeAgda.Syntax.Info
- MutualSAgda.Syntax.Abstract
- mutualTerminationAgda.Syntax.Concrete.Definitions.Types
- mutualTerminationCheckAgda.Syntax.Info
- mvFrozenAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mvInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mvInstantiationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mvJudgementAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mvListenersAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mvPermutationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mvPriorityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mvTwinAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- mzeroAgda.Utils.Monad