Index - M
| M | Mikan.Mimer.Options |
| Macro | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| MacroBound | Mikan.Syntax.Scope.Base |
| MacroDef | Mikan.Syntax.Common |
| MacroInLetBindings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MacroInLetBindings_ | Mikan.Interaction.Options.Warnings |
| MacroName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| MacroResultTypeMismatch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MacroResultTypeMismatch_ | Mikan.Interaction.Options.Errors |
| Magma | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| magma | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MainInterface | |
| 1 (Type/Class) | Mikan.Interaction.Imports |
| 2 (Data Constructor) | Mikan.Interaction.Imports |
| makeAbstractClause | Mikan.Interaction.MakeCase |
| makeAbsurdClause | Mikan.Interaction.MakeCase |
| makeAbsurdLambda | Mikan.TypeChecking.Rules.Term |
| makeAll | Mikan.Utils.IndexedList |
| makeCase | Mikan.Interaction.MakeCase |
| MakeCaseVariant | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| makeCaseVariant | Mikan.Interaction.InteractionTop |
| makeInstance | Mikan.Syntax.Common |
| makeInstance' | Mikan.Syntax.Common |
| makeName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| makeNamedArgUserWritten | Mikan.Interaction.MakeCase |
| makeOpen | Mikan.TypeChecking.Monad.Open, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| makePatternVarsVisible | Mikan.Interaction.MakeCase |
| makePi | Mikan.Syntax.Concrete |
| makeProjection | Mikan.TypeChecking.ProjectionLike |
| makeRelativeCanonical | Mikan.Utils.FileName |
| makeRHSEmptyRecord | Mikan.Interaction.MakeCase |
| makeSearchOptions | Mikan.Mimer.Monad |
| malformed | Mikan.TypeChecking.Serialise.Base |
| malformedIO | Mikan.TypeChecking.Serialise.Base |
| ManyHoles | Mikan.Utils.AffineHole |
| Map | Mikan.Utils.TypeLevel |
| map | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.Set1 |
| 5 (Function) | Mikan.Utils.MinimalArray.Prim |
| map' | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.List1 |
| map'' | Mikan.Utils.List |
| Map1 | Mikan.Utils.Map1 |
| mapAbsNames | Mikan.Syntax.Internal.Telescope |
| mapAbsNamesM | Mikan.Syntax.Internal.Telescope |
| mapAbsoluteIncludePaths | Mikan.Interaction.Options.Lenses |
| mapAbstraction | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapAbstraction_ | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapAccum | Mikan.Utils.Map1 |
| mapAccumLOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapAccumROf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapAccumRWithKey | Mikan.Utils.Map1 |
| mapAccumWithKey | Mikan.Utils.Map1 |
| mapAPattern | Mikan.Syntax.Abstract.Pattern |
| mapArgInfo | Mikan.Syntax.Common |
| mapAwakeConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapBenchmarkOn | Mikan.Utils.Benchmark |
| mapCallMatrix | Mikan.Termination.CallMatrix |
| mapCallMatrixAug | Mikan.Termination.CallMatrix |
| mapChangeT | Mikan.Utils.Update |
| mapClosure | Mikan.TypeChecking.Monad.Closure, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapCMSet | Mikan.Termination.CallMatrix |
| mapCommandLineOptions | Mikan.Interaction.Options.Lenses |
| mapConName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mapCPattern | Mikan.Syntax.Concrete.Pattern |
| mapCurrentAccount | Mikan.Utils.Benchmark |
| mapDiagonalNonZeros | Mikan.Termination.SparseMatrix |
| MapDone | Mikan.TypeChecking.CompiledClause |
| mapDone | Mikan.TypeChecking.CompiledClause |
| mapEither | Mikan.Utils.Map1 |
| mapEither3 | Mikan.Utils.Three |
| mapEither3M | Mikan.Utils.Three |
| mapEitherWithKey | Mikan.Utils.Map1 |
| mapExpr | |
| 1 (Function) | Mikan.Syntax.Concrete.Generic |
| 2 (Function) | Mikan.Syntax.Abstract.Views |
| mapFlag | Mikan.Interaction.Options |
| mapFreeVariables | Mikan.Syntax.Common |
| mapFreeVariablesArgInfo | Mikan.Syntax.Common |
| mapHiding | Mikan.Syntax.Common |
| mapHidingArgInfo | Mikan.Syntax.Common |
| mapImportDir | Mikan.Syntax.Scope.Monad |
| mapInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| mapKeys | Mikan.Utils.Map1 |
| mapKeysAndValuesMonotonic | Mikan.Utils.Map1 |
| mapKeysMaybe | Mikan.Utils.Map |
| mapKeysMonotonic | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.AssocList |
| mapKeysWith | Mikan.Utils.Map1 |
| mapLeft | Mikan.Utils.Either |
| mapLHSCores | Mikan.TypeChecking.Rules.Def |
| mapLHSHead | Mikan.Syntax.Abstract.Pattern |
| mapLhsOriginalPattern | Mikan.Syntax.Concrete.Pattern |
| mapLhsOriginalPatternM | Mikan.Syntax.Concrete.Pattern |
| mapListT | Mikan.Utils.ListT |
| mapLoops | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| mapM' | Mikan.Utils.Monad |
| mapMaybe | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Maybe.Strict |
| 4 (Function) | Mikan.Utils.List1 |
| mapMaybe' | Mikan.Utils.List |
| mapMaybeAndRest | Mikan.Utils.List |
| mapMaybeM | Mikan.Utils.Monad |
| mapMaybeMM | Mikan.Utils.Monad |
| mapMaybeWithKey | Mikan.Utils.Map1 |
| mapMGood | Mikan.Utils.Monad |
| mapMGood_ | Mikan.Utils.Monad |
| mapMListT | Mikan.Utils.ListT |
| mapMListT_alt | Mikan.Utils.ListT |
| mapMM | Mikan.Utils.Monad |
| mapMM_ | Mikan.Utils.Monad |
| mapMOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapMonotonic | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| MapNamedArgPattern | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Pattern |
| 2 (Type/Class) | Mikan.Syntax.Abstract.Pattern |
| mapNamedArgPattern | |
| 1 (Function) | Mikan.Syntax.Internal.Pattern |
| 2 (Function) | Mikan.Syntax.Abstract.Pattern |
| mapNameOf | Mikan.Syntax.Common |
| mapNameSpace | Mikan.Syntax.Scope.Base |
| mapNameSpaceM | Mikan.Syntax.Scope.Base |
| mapNonZeros | Mikan.Termination.SparseMatrix |
| mapOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapOrigin | Mikan.Syntax.Common |
| mapOriginArgInfo | Mikan.Syntax.Common |
| mapPairM | Mikan.Utils.Tuple |
| mapped | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapPersistentVerbosity | Mikan.Interaction.Options.Lenses |
| mapping | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapPragmaOptions | Mikan.Interaction.Options |
| mapRedEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapRedEnvSt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapRedSt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapRenaming | Mikan.Syntax.Scope.Monad |
| mapRight | Mikan.Utils.Either |
| mapSafeMode | Mikan.Interaction.Options.Lenses |
| mapScope | Mikan.Syntax.Scope.Base |
| mapScopeM | Mikan.Syntax.Scope.Base |
| mapScopeMaybe | Mikan.Syntax.Scope.Base |
| mapScopeM_ | Mikan.Syntax.Scope.Base |
| mapScopeNS | Mikan.Syntax.Scope.Base |
| mapScope_ | Mikan.Syntax.Scope.Base |
| mapSleepingConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapSubTries | Mikan.Utils.Trie |
| mapTCMT | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mapTimings | Mikan.Utils.Benchmark |
| mapUsing | Mikan.Syntax.Common |
| mapVarMap | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| mapVerbosity | Mikan.Interaction.Options.Lenses |
| mapWithEdge | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| mapWithIndex | Mikan.Utils.IndexedList |
| mapWithKey | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.AssocList |
| 3 (Function) | Mikan.Utils.BiMap |
| mapWithKeyFixedTags | Mikan.Utils.BiMap |
| mapWithKeyFixedTagsPrecondition | Mikan.Utils.BiMap |
| mapWithKeyM | Mikan.Utils.AssocList |
| mapWithKeyPrecondition | Mikan.Utils.BiMap |
| markFirstOrder | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| markInjective | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| markInline | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MarkLive | Mikan.Syntax.Scope.Trimming |
| markLiveName | Mikan.Syntax.Scope.Trimming |
| Markup | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Parser.Literate |
| maskNonDataArgs | Mikan.Termination.Masking |
| MaskP | Mikan.Syntax.Internal.Pattern |
| mat | Mikan.Termination.CallMatrix |
| Match | |
| 1 (Type/Class) | Mikan.TypeChecking.Patterns.Match |
| 2 (Type/Class) | Mikan.TypeChecking.Coverage.Match |
| match | |
| 1 (Function) | Mikan.Syntax.Parser.LookAhead |
| 2 (Function) | Mikan.TypeChecking.Coverage.Match |
| 3 (Function) | Mikan.Interaction.Highlighting.Vim |
| match' | |
| 1 (Function) | Mikan.Syntax.Parser.LookAhead |
| 2 (Function) | Mikan.TypeChecking.CompiledClause.Match |
| matchClause | Mikan.TypeChecking.Coverage.Match |
| matchCompiled | Mikan.TypeChecking.CompiledClause.Match |
| matchCompiledE | Mikan.TypeChecking.CompiledClause.Match |
| matchCopattern | Mikan.TypeChecking.Patterns.Match |
| matchCopatterns | Mikan.TypeChecking.Patterns.Match |
| Matched | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| matchedArgs | Mikan.TypeChecking.Patterns.Match |
| matchedArgs' | Mikan.TypeChecking.Patterns.Match |
| matches | Mikan.Interaction.Highlighting.Vim |
| matchPattern | Mikan.TypeChecking.Patterns.Match |
| matchPatternP | Mikan.TypeChecking.Patterns.Match |
| matchPatterns | Mikan.TypeChecking.Patterns.Match |
| matchPatternsP | Mikan.TypeChecking.Patterns.Match |
| matchPatternSyn | Mikan.Syntax.Abstract.PatternSynonyms |
| matchPatternSynP | Mikan.Syntax.Abstract.PatternSynonyms |
| Matrix | |
| 1 (Type/Class) | Mikan.Termination.SparseMatrix |
| 2 (Data Constructor) | Mikan.Termination.SparseMatrix |
| Max | Mikan.Syntax.Internal.Term |
| maxInstanceSearchDepth | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| maxInversionDepth | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| maxName | Mikan.TypeChecking.Level |
| MaxNat | |
| 1 (Type/Class) | Mikan.Utils.Monoid |
| 2 (Data Constructor) | Mikan.Utils.Monoid |
| maxView | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.VarSet |
| Maybe | |
| 1 (Type/Class) | Mikan.Utils.Maybe |
| 2 (Type/Class) | Mikan.Utils.Maybe.Strict |
| maybe | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Maybe.Strict |
| Maybe# | |
| 1 (Type/Class) | Mikan.Utils.Maybe.Unboxable |
| 2 (Data Constructor) | Mikan.Utils.Maybe.Unboxable |
| maybeAbort | Mikan.Interaction.InteractionTop |
| maybeFlexiblePattern | Mikan.TypeChecking.Rules.LHS |
| MaybeFree | Mikan.TypeChecking.Free.Reduce |
| maybeLeft | Mikan.Utils.Either |
| maybeM | |
| 1 (Function) | Mikan.Utils.Maybe.Strict |
| 2 (Function) | Mikan.Utils.Maybe |
| maybeNamed | Mikan.Syntax.Parser.Helpers |
| MaybePlaceholder | Mikan.Syntax.Common |
| maybePlaceholder | Mikan.Syntax.Concrete.Operators.Parser |
| MaybeProjection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| maybeProjTurnPostfix | Mikan.Syntax.Abstract.Views |
| MaybeRecursive | Mikan.Syntax.Internal.Clause |
| MaybeRed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MaybeReduced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MaybeReducedArgs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MaybeReducedElims | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| maybeRight | Mikan.Utils.Either |
| maybeTimed | Mikan.Interaction.InteractionTop |
| maybeToEither | Mikan.Utils.Either |
| maybeToList | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Maybe.Strict |
| mayEraseType | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| mcons | Mikan.Utils.List |
| MdFileType | Mikan.Syntax.Common |
| measureTime | Mikan.Utils.Time |
| MECons | Mikan.TypeChecking.Serialise.Base |
| MEEmpty | Mikan.TypeChecking.Serialise.Base |
| member | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.BoolSet |
| 5 (Function) | Mikan.Utils.VarSet |
| 6 (Function) | Mikan.Utils.SmallSet |
| 7 (Function) | Mikan.Utils.Trie |
| memo | Mikan.Utils.Memo |
| MemoEntry | Mikan.TypeChecking.Serialise.Base |
| memoise | |
| 1 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Function) | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| memoiseIfPrinting | |
| 1 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Function) | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| MemoKey | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| memoModules | Mikan.Syntax.Scope.Monad |
| memoNames | Mikan.Syntax.Scope.Monad |
| memoRec | Mikan.Utils.Memo |
| memoToScopeInfo | Mikan.Syntax.Scope.Monad |
| memoTrimming | Mikan.Syntax.Scope.Monad |
| memoUnsafe | Mikan.Utils.Memo |
| memoUnsafeH | Mikan.Utils.Memo |
| memoUnsafeInt | Mikan.Utils.Memo |
| MentionsMeta | Mikan.TypeChecking.MetaVars.Mention |
| mentionsMeta | Mikan.TypeChecking.MetaVars.Mention |
| mentionsMetas | Mikan.TypeChecking.MetaVars.Mention |
| mergeAmbQ | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mergeDataRecOrFun | Mikan.Syntax.Concrete.Definitions.Types |
| mergeDT | Mikan.TypeChecking.DiscrimTree.Types |
| mergeEdges | Mikan.TypeChecking.Positivity.Occurrence |
| mergeElim | Mikan.TypeChecking.Patterns.Match |
| mergeElims | Mikan.TypeChecking.Patterns.Match |
| mergeNames | Mikan.Syntax.Scope.Base |
| mergeNamesMany | Mikan.Syntax.Scope.Base |
| mergeNotations | Mikan.Syntax.Notation |
| mergePatternSynDefs | Mikan.Syntax.Abstract.PatternSynonyms |
| mergeScope | Mikan.Syntax.Scope.Base |
| mergeScopes | Mikan.Syntax.Scope.Base |
| mergeStrictlyOrderedBy | Mikan.Utils.List |
| Meta | Mikan.Syntax.Reflected |
| MetaArg | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| MetaCannotDependOn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MetaCannotDependOn_ | Mikan.Interaction.Options.Errors |
| MetaClass | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| metaFrozen | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| metaHelperType | Mikan.Interaction.BasicOps |
| MetaId | |
| 1 (Type/Class) | Mikan.Syntax.Common, Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Common, Mikan.Syntax.Internal.Term |
| metaId | Mikan.Syntax.Common, Mikan.Syntax.Internal.Term |
| MetaInfo | |
| 1 (Type/Class) | Mikan.Syntax.Info |
| 2 (Data Constructor) | Mikan.Syntax.Info |
| 3 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 4 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MetaInstantiation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| metaInstantiation | Mikan.Mimer.Monad |
| metaInstantiationToMetaKind | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MetaKind | Mikan.Syntax.Info |
| metaKind | Mikan.Syntax.Info |
| metaModule | Mikan.Syntax.Common, Mikan.Syntax.Internal.Term |
| MetaNameSuggestion | Mikan.Syntax.Info |
| metaNameSuggestion | Mikan.Syntax.Info |
| metaNumber | Mikan.Syntax.Info |
| MetaPriority | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| metaRange | Mikan.Syntax.Info |
| MetaS | Mikan.Syntax.Internal.Term |
| Metas | Mikan.Interaction.Options.ProfileOptions |
| metaScope | Mikan.Syntax.Info |
| metasCreatedBy | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MetaSet | |
| 1 (Type/Class) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| 2 (Data Constructor) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| metaSetToBlocker | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| metasIn | Mikan.Syntax.Internal.Names |
| metasIn' | Mikan.Syntax.Internal.Names |
| metaToNat | Mikan.TypeChecking.Primitive |
| MetaV | Mikan.Syntax.Internal.Term |
| MetaVar | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MetaVariable | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| miClosRange | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Middle | Mikan.Syntax.Common |
| miGeneralizable | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| miInterface | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MilliSeconds | Mikan.Mimer.Options |
| mimer | Mikan.Mimer.Mimer |
| MimerExpr | Mikan.Mimer.Types, Mikan.Mimer.Mimer |
| MimerList | Mikan.Mimer.Types, Mikan.Mimer.Mimer |
| MimerNoResult | Mikan.Mimer.Types, Mikan.Mimer.Mimer |
| MimerResult | Mikan.Mimer.Types, Mikan.Mimer.Mimer |
| MimerStats | |
| 1 (Type/Class) | Mikan.Mimer.Types |
| 2 (Data Constructor) | Mikan.Mimer.Types |
| mimerTrace | Mikan.Mimer.Monad |
| miMetaOccursCheck | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mimicGHCi | Mikan.Interaction.EmacsTop |
| miMode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| miNameSuggestion | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| minfoAsName | Mikan.Syntax.Info |
| minfoAsTo | Mikan.Syntax.Info |
| minfoDirective | Mikan.Syntax.Info |
| minfoOpenShort | Mikan.Syntax.Info |
| minfoRange | Mikan.Syntax.Info |
| minus | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| minView | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.VarSet |
| miPrimitive | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MismatchedBrackets | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| MismatchedBrackets_ | Mikan.Interaction.Options.Warnings |
| mismatchedProjections | Mikan.TypeChecking.Conversion.Errors |
| MismatchedProjectionsError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MismatchedProjectionsError_ | Mikan.Interaction.Options.Errors |
| miSourceFile | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MisplacedAttributes | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| MisplacedAttributes_ | Mikan.Interaction.Options.Warnings |
| MissingBindingsForTelescopeVariables | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingBindingsForTelescopeVariables_ | Mikan.Interaction.Options.Errors |
| MissingBody | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingClauses | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| MissingColonForField | Mikan.Interaction.Library.Base |
| MissingDataDeclaration | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| MissingDataDeclaration_ | Mikan.Interaction.Options.Warnings |
| MissingDataSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingDeclaration | Mikan.TypeChecking.Unquote.Errors |
| MissingDefinition | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.TypeChecking.Unquote.Errors |
| MissingDefinitions | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| MissingDefinitions_ | Mikan.Interaction.Options.Warnings |
| MissingFieldName | Mikan.Interaction.Library.Base |
| MissingFields | Mikan.Interaction.Library.Base |
| MissingFunctionSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingRecordSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingRHS | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingTypeSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingTypeSignatureForOpaque | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MissingTypeSignatureForOpaque_ | Mikan.Interaction.Options.Warnings |
| MissingTypeSignatureInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| missingTypeSignatureInfoName | Mikan.TypeChecking.Errors.Names |
| MissingTypeSignature_ | Mikan.Interaction.Options.Errors |
| MissingWithClauses | Mikan.Syntax.Concrete.Definitions.Errors |
| miWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MIx | |
| 1 (Type/Class) | Mikan.Termination.SparseMatrix |
| 2 (Data Constructor) | Mikan.Termination.SparseMatrix |
| Mixed | Mikan.TypeChecking.Positivity.Occurrence |
| mkAbs | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| mkAbsolute | Mikan.Utils.FileName |
| mkAbsurdBinding | Mikan.Syntax.Parser.Helpers |
| mkAbsurdLamClause | Mikan.Syntax.Parser.Helpers |
| mkApp | Mikan.Syntax.Translation.ReflectedToAbstract |
| mkBinder | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| mkBinder_ | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| mkBindName | Mikan.Syntax.Abstract |
| mkBoundName | Mikan.Syntax.Concrete |
| mkBoundName_ | Mikan.Syntax.Concrete |
| mkCall | Mikan.Termination.CallGraph |
| mkCall' | Mikan.Termination.CallGraph |
| mkComp | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| mkCompLazy | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| mkComponent | Mikan.Mimer.Types |
| mkComponentQ | Mikan.Mimer.Types |
| mkCon | Mikan.TypeChecking.Records |
| mkDef | Mikan.Syntax.Translation.ReflectedToAbstract |
| mkDefInfo | Mikan.Syntax.Info |
| mkDefInfoInstance | Mikan.Syntax.Info |
| mkDomainFree | Mikan.Syntax.Abstract |
| mkDomainFree_ | Mikan.Syntax.Parser.Helpers |
| mkEither3 | Mikan.Utils.Three |
| mkEnvFlag | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mkFlag | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mkGComp | Mikan.TypeChecking.Primitive.Cubical.Glue, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| mkInterfaceFile | Mikan.Interaction.FindFile |
| mkLam | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.TypeChecking.Substitute |
| mkLamBinds | Mikan.Syntax.Parser.Helpers |
| mkLamClause | Mikan.Syntax.Parser.Helpers |
| mkLet | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| mkLibM | Mikan.Interaction.Library |
| mkMetaInfo | Mikan.Syntax.Translation.ReflectedToAbstract |
| mkName | |
| 1 (Function) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 2 (Function) | Mikan.Syntax.Parser.Helpers |
| mkName' | Mikan.Syntax.Parser.Helpers |
| mkNamedArg | Mikan.Syntax.Parser.Helpers |
| mkName_ | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mkNotation | Mikan.Syntax.Notation |
| mkPi | |
| 1 (Function) | Mikan.Syntax.Abstract |
| 2 (Function) | Mikan.TypeChecking.Substitute |
| mkPiSort | Mikan.TypeChecking.Substitute |
| mkPostFlag | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mkPragma | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mkPrimFun1 | Mikan.TypeChecking.Primitive |
| mkPrimFun1TCM | Mikan.TypeChecking.Primitive |
| mkPrimFun2 | Mikan.TypeChecking.Primitive |
| mkPrimFun3 | Mikan.TypeChecking.Primitive |
| mkPrimFun4 | Mikan.TypeChecking.Primitive |
| mkPrimInjective | Mikan.TypeChecking.Primitive |
| mkPrimLevelMax | Mikan.TypeChecking.Primitive |
| mkPrimLevelSuc | Mikan.TypeChecking.Primitive |
| mkPrimLevelZero | Mikan.TypeChecking.Primitive |
| mkProp | Mikan.Syntax.Internal.Term |
| mkQName | Mikan.Syntax.Parser.Helpers |
| mkRangeFile | Mikan.Syntax.Position |
| mkRString | Mikan.Syntax.Parser.Helpers |
| mkRText | Mikan.Syntax.Parser.Helpers |
| mkSortKit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mkSSet | Mikan.Syntax.Internal.Term |
| mkTBind | Mikan.Syntax.Abstract |
| mkTLet | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| mkType | Mikan.Syntax.Internal.Term |
| mkValidName | Mikan.Syntax.Parser.Helpers |
| mkVar | Mikan.Syntax.Translation.ReflectedToAbstract |
| mkVarName | Mikan.Syntax.Translation.ReflectedToAbstract |
| MName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mnameFromList | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mnameFromList1 | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mnameToConcrete | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mnameToList | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mnameToList1 | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| mnameToQName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| Mod | Mikan.Syntax.Concrete |
| modDecls | Mikan.Syntax.Concrete |
| Mode | |
| 1 (Type/Class) | Mikan.Syntax.Common.Pretty |
| 2 (Type/Class) | Mikan.Interaction.Imports |
| mode | Mikan.Syntax.Common.Pretty |
| modFile | Mikan.TypeChecking.Serialise.Base |
| modify | |
| 1 (Function) | Mikan.Utils.StrictState |
| 2 (Function) | Mikan.Utils.StrictState2 |
| modify1 | Mikan.Utils.StrictState2 |
| modify2 | Mikan.Utils.StrictState2 |
| modifyAbsoluteIncludePaths | Mikan.Interaction.Options.Lenses |
| modifyAllowedReductions | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyArgOccurrences | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyAtomic | Mikan.Utils.Atomic |
| modifyAwakeConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyBenchmark | Mikan.Utils.Benchmark |
| modifyCommandLineOptions | Mikan.Interaction.Options.Lenses |
| modifyConcreteNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyContext | Mikan.Syntax.Parser.Monad |
| modifyContextInfo | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyCurrentScope | Mikan.Syntax.Scope.Monad |
| modifyFunClauses | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifying | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyingTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyingTCM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyInstanceDefs | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyInteractionPoints | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyIORef | Mikan.Utils.IORef.Strict |
| modifyLocalVars | Mikan.Syntax.Scope.Monad |
| modifyNamedScope | Mikan.Syntax.Scope.Monad |
| modifyNameSpace | Mikan.Syntax.Scope.Base |
| modifyOldInteractionScopes | Mikan.Interaction.InteractionTop |
| modifyPatternSyns | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyPersistentState | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyPersistentVerbosity | Mikan.Interaction.Options.Lenses |
| modifyPragmaOptions | Mikan.Interaction.Options.Lenses |
| modifyRecEta | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifySafeMode | Mikan.Interaction.Options.Lenses |
| modifyScope | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyScopes | Mikan.Syntax.Scope.Monad |
| ModifySession | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifySession | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifySleepingConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyStatistics | Mikan.TypeChecking.Monad.Statistics, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifySystem | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| modifyTheInteractionPoints | Mikan.Interaction.InteractionTop |
| modifyVerbosity | Mikan.Interaction.Options.Lenses |
| modName | Mikan.Syntax.Concrete |
| modPragmas | Mikan.Syntax.Concrete |
| ModTelData | Mikan.TypeChecking.Rules.Term |
| ModTelNotData | Mikan.TypeChecking.Rules.Term |
| ModTelOrigin | Mikan.TypeChecking.Rules.Term |
| Module | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Concrete |
| 4 (Data Constructor) | Mikan.Mimer.Options |
| ModuleApplication | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| ModuleArityMismatch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleArityMismatch_ | Mikan.Interaction.Options.Errors |
| ModuleAssignment | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| ModuleCheckMode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleCheckpoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleCheckpointsSection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleCheckpointsTop | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleContents | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| moduleContents | Mikan.Interaction.BasicOps |
| ModuleDefinedInOtherFile | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleDefinedInOtherFile_ | Mikan.Interaction.Options.Errors |
| ModuleDoesntExport | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleDoesntExport_ | Mikan.Interaction.Options.Warnings |
| ModuleInfo | |
| 1 (Type/Class) | Mikan.Syntax.Info |
| 2 (Data Constructor) | Mikan.Syntax.Info |
| 3 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 4 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleMacro | Mikan.Syntax.Concrete |
| ModuleMap | Mikan.Syntax.Scope.Base |
| ModuleName | |
| 1 (Type/Class) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| ModuleNameDoesntMatchFileName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleNameDoesntMatchFileName_ | Mikan.Interaction.Options.Errors |
| ModuleNameHash | |
| 1 (Type/Class) | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| 2 (Data Constructor) | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| moduleNameHash | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| ModuleNameHashCollision | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleNameHashCollision_ | Mikan.Interaction.Options.Errors |
| moduleNameId | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| moduleNameInferred | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| moduleNameParser | |
| 1 (Function) | Mikan.Syntax.Parser.Parser |
| 2 (Function) | Mikan.Syntax.Parser |
| moduleNameParts | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| moduleNameRange | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| moduleNameToFileName | Mikan.Syntax.TopLevelModuleName |
| ModuleNameUnexpected | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleNameUnexpected_ | Mikan.Interaction.Options.Errors |
| ModuleNotName | Mikan.Syntax.Scope.Base |
| moduleParamsToApply | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| moduleParser | |
| 1 (Function) | Mikan.Syntax.Parser.Parser |
| 2 (Function) | Mikan.Syntax.Parser |
| Modules | Mikan.Interaction.Options.ProfileOptions |
| ModuleScopeChecked | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModulesInScope | Mikan.Syntax.Scope.Base |
| ModuleTag | Mikan.Syntax.Scope.Base |
| ModuleToSource | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleToSourceId | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| moduleToSourceId | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ModuleTypeChecked | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadAbsToCon | Mikan.Syntax.Translation.AbstractToConcrete, Mikan.TypeChecking.Pretty |
| MonadAddContext | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadBench | Mikan.Utils.Benchmark, Mikan.TypeChecking.Monad.Benchmark |
| MonadBlock | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadChange | Mikan.Utils.Update |
| MonadConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadDebug | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadFileId | Mikan.Utils.FileId, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadFixityError | Mikan.Syntax.Concrete.Fixity |
| MonadFresh | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadInteractionPoints | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadLogHtml | Mikan.Interaction.Highlighting.HTML.Base |
| MonadLogLaTeX | Mikan.Interaction.Highlighting.LaTeX.Base |
| MonadMatch | Mikan.TypeChecking.Patterns.Match |
| MonadMetaSolver | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadPlus | Mikan.Utils.Monad |
| MonadPretty | Mikan.TypeChecking.Pretty |
| MonadReader | Mikan.Utils.StrictReader |
| MonadReduce | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadReflectedToAbstract | Mikan.Syntax.Translation.ReflectedToAbstract |
| MonadReify | Mikan.Syntax.Translation.InternalToAbstract |
| MonadState | Mikan.Utils.StrictState |
| MonadStatistics | Mikan.TypeChecking.Monad.Statistics, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadStConcreteNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadTCEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadTCError | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| MonadTCM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadTCState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadTer | Mikan.Termination.Monad |
| MonadTrace | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MonadTrans | Mikan.Utils.Monad |
| MonadWarning | Mikan.TypeChecking.Warnings |
| MonadWriter | Mikan.Utils.StrictWriter |
| movePos | Mikan.Syntax.Position |
| movePosByString | Mikan.Syntax.Position |
| mparens | Mikan.Syntax.Common.Pretty |
| mplus | Mikan.Utils.Monad |
| msum | Mikan.Utils.Monad |
| mul | |
| 1 (Function) | Mikan.Termination.Semiring |
| 2 (Function) | Mikan.Termination.SparseMatrix |
| multiLineText | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| MultipleEllipses | Mikan.Syntax.Concrete.Definitions.Errors |
| MultipleFixityDecls | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MultipleFixityDecls_ | Mikan.Interaction.Options.Errors |
| MultiplePolarityPragmas | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MultiplePolarityPragmas_ | Mikan.Interaction.Options.Errors |
| mustAllApplyElims | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| mustApplyElim | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| mustBePi | Mikan.TypeChecking.Telescope |
| MutDefArg | Mikan.TypeChecking.Positivity.Occurrence |
| Mutual | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| MutualBlock | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MutualBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MutualChecks | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Types |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types |
| mutualChecks | |
| 1 (Function) | Mikan.Syntax.Concrete.Definitions.Types |
| 2 (Function) | Mikan.TypeChecking.Rules.Decl |
| mutualCoverage | Mikan.Syntax.Concrete.Definitions.Types |
| mutualCoverageCheck | Mikan.Syntax.Info |
| MutualId | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MutualInfo | |
| 1 (Type/Class) | Mikan.Syntax.Info |
| 2 (Data Constructor) | Mikan.Syntax.Info |
| mutualInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mutuallyRecursive | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| MutualNames | Mikan.Termination.RecCheck |
| mutualNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mutualPositivity | Mikan.Syntax.Concrete.Definitions.Types |
| mutualPositivityCheck | Mikan.Syntax.Info |
| mutualRange | Mikan.Syntax.Info |
| MutualS | Mikan.Syntax.Abstract |
| mutualTermination | Mikan.Syntax.Concrete.Definitions.Types |
| mutualTerminationCheck | Mikan.Syntax.Info |
| mvError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvFrozen | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvInstantiation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvJudgement | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvListeners | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvPermutation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvPriority | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mvTwin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| mzero | Mikan.Utils.Monad |