Index - M
| Magenta | UVMHS.Lib.Pretty.Color, UVMHS.Lib.Pretty, UVMHS |
| main | UVMHSMain |
| makeLenses | UVMHS.Core.LensDeriving, UVMHS.Core, UVMHS |
| makeLensLogic | UVMHS.Core.LensDeriving, UVMHS.Core, UVMHS |
| makePrettyRecord | UVMHS.Lib.Pretty.Deriving, UVMHS.Lib.Pretty, UVMHS |
| makePrettyRecordLogic | UVMHS.Lib.Pretty.Deriving, UVMHS.Lib.Pretty, UVMHS |
| makePrettySum | UVMHS.Lib.Pretty.Deriving, UVMHS.Lib.Pretty, UVMHS |
| makePrettySumLogic | UVMHS.Lib.Pretty.Deriving, UVMHS.Lib.Pretty, UVMHS |
| makePrettyUnion | UVMHS.Lib.Pretty.Deriving, UVMHS.Lib.Pretty, UVMHS |
| makePrettyUnionLogic | UVMHS.Lib.Pretty.Deriving, UVMHS.Lib.Pretty, UVMHS |
| makePrismLogic | UVMHS.Core.LensDeriving, UVMHS.Core, UVMHS |
| makePrisms | UVMHS.Core.LensDeriving, UVMHS.Core, UVMHS |
| many | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| manyNT | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| manyPrefBy | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| manySepBy | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| map | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| map2 | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| map2iso | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mapAfterFirst | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapATag | UVMHS.Lib.Annotated, UVMHS |
| mapAVal | UVMHS.Lib.Annotated, UVMHS |
| mapBeforeLast | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapBoth | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapChoice | UVMHS.Core.Data.Choice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapContOn𝐼 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapCont𝐼 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapEnv | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| mapEnvL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| mapFirst | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapFst | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapInl | UVMHS.Core.Data.Choice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapInr | UVMHS.Core.Data.Choice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapK𝑉 | UVMHS.Core.VectorSparse, UVMHS.Core, UVMHS |
| mapLast | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapLastOn | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapLL | UVMHS.Core.Data.LazyList, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapM | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mapMATag | UVMHS.Lib.Annotated, UVMHS |
| mapMAVal | UVMHS.Lib.Annotated, UVMHS |
| mapMBoth | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapMChoice | UVMHS.Core.Data.Choice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapMFst | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapMInl | UVMHS.Core.Data.Choice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapMInr | UVMHS.Core.Data.Choice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapMLL | UVMHS.Core.Data.LazyList, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapMOn | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mapMPair | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapMSnd | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapM𝐴 | UVMHS.Lib.Annotated, UVMHS |
| mapM𝐷 | UVMHS.Core.Data.Dict, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapM𝐼 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapM𝐿 | UVMHS.Core.Data.List, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapM𝕌 | UVMHS.Core.Vector, UVMHS.Core, UVMHS |
| mapM𝕍 | UVMHS.Core.Vector, UVMHS.Core, UVMHS |
| mapOn | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mapOut | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| mapp | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mapPair | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mappOn | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mappp | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mapppOn | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mapSep | UVMHS.Lib.Sep |
| mapSepI | UVMHS.Lib.Sep |
| mapSnd | UVMHS.Core.Data.Pair, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapStateOnFrom𝐼 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapState𝐼 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapState𝐼C | UVMHS.Core.Sized, UVMHS.Core, UVMHS |
| mapUnder𝕄S | UVMHS.Core.VectorStatic, UVMHS.Core, UVMHS |
| mapWhile | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mapWindowL | UVMHS.Lib.Window, UVMHS |
| mapWindowR | UVMHS.Lib.Window, UVMHS |
| map𝐴 | UVMHS.Lib.Annotated, UVMHS |
| map𝐷 | UVMHS.Core.Data.Dict, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| map𝐼 | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| map𝐿 | UVMHS.Core.Data.List, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| map𝑃 | UVMHS.Core.Data.Set, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| map𝑄 | UVMHS.Core.Data.Sequence, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| map𝑆 | UVMHS.Core.Data.Stream, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| map𝑇V | UVMHS.Lib.TreeAnnote, UVMHS |
| map𝑉 | UVMHS.Core.VectorSparse, UVMHS.Core, UVMHS |
| map𝕌 | UVMHS.Core.Vector, UVMHS.Core, UVMHS |
| map𝕌S | UVMHS.Core.VectorStatic, UVMHS.Core, UVMHS |
| map𝕍 | UVMHS.Core.Vector, UVMHS.Core, UVMHS |
| map𝕍S | UVMHS.Core.VectorStatic, UVMHS.Core, UVMHS |
| materialize | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| matrixHelper | UVMHS.Lib.Pretty.Doc, UVMHS.Lib.Pretty, UVMHS |
| maxBy | UVMHS.Core.Classes.Order, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| maxKey𝑉 | UVMHS.Core.VectorSparse, UVMHS.Core, UVMHS |
| maxsFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| maxsMMSP | UVMHS.Lib.MMSP, UVMHS |
| maxsMMSPL | UVMHS.Lib.MMSP, UVMHS |
| maxView𝑉 | UVMHS.Core.VectorSparse, UVMHS.Core, UVMHS |
| mbindsSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| mbindSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| MCompose | |
| 1 (Type/Class) | UVMHS.Core.Classes.Monoid, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| 2 (Data Constructor) | UVMHS.Core.Classes.Monoid, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mcompose | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mconcat | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| Meet | UVMHS.Core.Classes.Lattice, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| MeetLattice | UVMHS.Core.Classes.Lattice, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| meetMaxs | UVMHS.Lib.MMSP, UVMHS |
| meetMaxsMins | UVMHS.Lib.MMSP, UVMHS |
| meetMins | UVMHS.Lib.MMSP, UVMHS |
| meetMinsSums | UVMHS.Lib.MMSP, UVMHS |
| meetMMSP | UVMHS.Lib.MMSP, UVMHS |
| meets | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| meetsFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| meet𝐷 | UVMHS.Core.Data.Dict, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| meet𝑃 | UVMHS.Core.Data.Set, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| MetaSubst | |
| 1 (Type/Class) | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Substitution.Subst |
| MetaSubst_SA | UVMHS.Lib.Substitution.Substy |
| metaSubst_SAL | UVMHS.Lib.Substitution.Substy |
| mfold | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldFromOn | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldFromWith | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldk | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldkFromOn | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldkFromWith | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldkOnFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldkOnWith | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldkWithFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldkWithOn | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldOnFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldOnWith | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldr | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldrFromOn | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldrFromWith | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldrOnFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldrOnWith | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldrWithFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldrWithOn | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldWithFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mfoldWithOn | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| minBy | UVMHS.Core.Classes.Order, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| minKey𝑉 | UVMHS.Core.VectorSparse, UVMHS.Core, UVMHS |
| minsFrom | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| minsMMSP | UVMHS.Lib.MMSP, UVMHS |
| minsMMSPL | UVMHS.Lib.MMSP, UVMHS |
| Minus | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| minus𝔻ᴾ | UVMHS.Core.Data.Arithmetic, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| minView𝑉 | UVMHS.Core.VectorSparse, UVMHS.Core, UVMHS |
| mirror | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| Mixes | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| MixesF | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesFInfix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesFInfixL | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesFInfixR | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesFPostfix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesFPrefix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesInfix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesInfixL | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesInfixR | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesPostfix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesPrefix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixesPure | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| Mixfix | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixfix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| MixfixF | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixfixFLevels | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixfixFTerminals | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixfixLevels | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixfixPure | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixfixTerminals | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixfixWithContext | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixInfix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixInfixL | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixInfixR | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixPostfix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixPrefix | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mixTerminal | UVMHS.Lib.Parser.Mixfix, UVMHS.Lib.Parser, UVMHS |
| mjoin | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| mjoin𝐼 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| mkFuzzyM | UVMHS.Lib.Fuzzy, UVMHS |
| mkIndentTokenWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| mkName | UVMHS.Lib.Substitution.Name, UVMHS.Lib.Substitution, UVMHS |
| mkRWS | UVMHS.Core.Monads, UVMHS.Core, UVMHS |
| mkRWST | UVMHS.Core.Monads, UVMHS.Core, UVMHS |
| mkSSubstElem | UVMHS.Lib.Substitution.SubstElem |
| mkState | UVMHS.Core.Monads, UVMHS.Core, UVMHS |
| mkSubstM | UVMHS.Lib.Substitution.Substy |
| mkSVar | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| mkTokenBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| mkTokenWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| mmap | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| MMSP | |
| 1 (Type/Class) | UVMHS.Lib.MMSP, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.MMSP, UVMHS |
| MMSPAtom | UVMHS.Lib.MMSP, UVMHS |
| MMSPMaxs | |
| 1 (Type/Class) | UVMHS.Lib.MMSP, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.MMSP, UVMHS |
| mmspMaxs | UVMHS.Lib.MMSP, UVMHS |
| mmspMaxsConstant | UVMHS.Lib.MMSP, UVMHS |
| mmspMaxsMins | UVMHS.Lib.MMSP, UVMHS |
| MMSPMins | |
| 1 (Type/Class) | UVMHS.Lib.MMSP, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.MMSP, UVMHS |
| mmspMinsConstant | UVMHS.Lib.MMSP, UVMHS |
| mmspMinsSums | UVMHS.Lib.MMSP, UVMHS |
| MMSPProds | |
| 1 (Type/Class) | UVMHS.Lib.MMSP, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.MMSP, UVMHS |
| mmspProdsExps | UVMHS.Lib.MMSP, UVMHS |
| MMSPSums | |
| 1 (Type/Class) | UVMHS.Lib.MMSP, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.MMSP, UVMHS |
| mmspSumsConstant | UVMHS.Lib.MMSP, UVMHS |
| mmspSumsPRods | UVMHS.Lib.MMSP, UVMHS |
| modify | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| modifyC | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| modifyEnv | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| modifyEnvL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| modifyL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| modifyM | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| modifyML | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| Monad | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| MonadBad | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadCont | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadDelay | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadError | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadFail | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadIO | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadNondet | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadQ | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| MonadRand | UVMHS.Lib.Rand, UVMHS |
| MonadReader | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadState | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadTop | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadUCont | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MonadWriter | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| Monoid | UVMHS.Core.Classes.Monoid, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| MoreZOM | UVMHS.Core.Pointed, UVMHS.Core, UVMHS |
| moreZOML | UVMHS.Core.Pointed, UVMHS.Core, UVMHS |
| mpretty | UVMHS.Lib.Pretty.Doc, UVMHS.Lib.Pretty, UVMHS |
| msubst | UVMHS.Lib.Substitution.Substy, UVMHS.Lib.Substitution, UVMHS |
| mtop | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| MU | |
| 1 (Type/Class) | UVMHS.Core.Monads, UVMHS.Core, UVMHS |
| 2 (Data Constructor) | UVMHS.Core.Monads, UVMHS.Core, UVMHS |
| MultiLine | UVMHS.Lib.Pretty.Shape, UVMHS.Lib.Pretty, UVMHS |
| multiLineL | UVMHS.Lib.Pretty.Shape, UVMHS.Lib.Pretty, UVMHS |
| Multiplicative | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| MVar | |
| 1 (Type/Class) | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| mvarName | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| mvarNameL | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| mvarSubst | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| mvarSubstL | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| mzero | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| mzeroIfNot | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| mzero𝑂 | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| M_UVar | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| m_UVarL | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |