| M | |
| 1 (Type/Class) | Proarrow.Category.Instance.Monoid |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| m1Optic | Proarrow.Optic.MonoidalTraversal |
| map | Proarrow.Functor, Proarrow |
| mapBase | Proarrow.Limit.Power |
| mapCobase | Proarrow.Colimit.Copower |
| mapColimit | Proarrow.Colimit |
| mapCopower | Proarrow.Colimit.Copower |
| mapCorepStar | Proarrow.Profunctor.Representable |
| mapDecision | Proarrow.Category.Enriched.Thin |
| mapDown | Proarrow.Category.Instance.Duploid |
| mapLimit | Proarrow.Limit |
| mapMaybe | Proarrow.Category.Instance.PointedHask |
| mappend | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| mappendAct | Proarrow.Monoid |
| mappendDefault | Proarrow.Category.Instance.PointedHask |
| mappendS | Proarrow.Monoid |
| mapPower | Proarrow.Limit.Power |
| mapRepCostar | Proarrow.Profunctor.Representable |
| mapSome | Proarrow.Testing |
| mapUp | Proarrow.Category.Instance.Duploid |
| MapWrap | Proarrow.Category.Enriched.Thin |
| mapWrap | Proarrow.Category.Enriched.Thin |
| Mat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Mat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Mat |
| matching | Proarrow.Optic.AffineTraversal, Proarrow.Optics, Proarrow |
| matchingP | Proarrow.Optic.Prism |
| MatCol | Proarrow.Category.Enriched.Thin.Composition |
| matId | Proarrow.Category.Instance.Mat |
| MatK | Proarrow.Category.Instance.Mat |
| MatMul | Proarrow.Category.Enriched.Thin.Composition |
| MatrixSize | Proarrow.Category.Instance.ZX |
| MatVec | Proarrow.Category.Enriched.Thin.Composition |
| maximalSieve | Proarrow.Profunctor.Instance.Sieve |
| maybeLiftsSemigroup | Proarrow.Category.Instance.Constraint |
| meaningOf | Proarrow.Tools.Diagrams.Svg |
| Member | Proarrow.Category.Enriched.Thin |
| member | Proarrow.Category.Enriched.Thin |
| memberIndex | Proarrow.Category.Enriched.Thin |
| mempty | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| memptyAct | Proarrow.Monoid |
| memptyDefault | Proarrow.Category.Instance.PointedHask |
| memptyS | Proarrow.Monoid |
| MergePoint | Proarrow.Tools.Diagrams.Svg |
| MinIs | Proarrow.Category.Enriched.Quantale |
| minIs | Proarrow.Category.Enriched.Quantale |
| MinLeft | Proarrow.Category.Enriched.Quantale |
| MinRight | Proarrow.Category.Enriched.Quantale |
| minusState | Proarrow.Category.Instance.ZX |
| mirror | |
| 1 (Function) | Proarrow.Tools.Diagrams.Svg |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| mkCons | Proarrow.Profunctor.Instance.List |
| mkExponential | Proarrow.Category.Monoidal.Closed |
| mkExponentialS | Proarrow.Category.Monoidal.Closed |
| mkOptic | Proarrow.Squares |
| mkPar | Proarrow.Category.Instance.Linear |
| MkSomeList | Proarrow.Testing |
| mkSomeList | Proarrow.Testing |
| mkTambara | Proarrow.Profunctor.Instance.PastroTambara |
| mkWith | Proarrow.Category.Instance.Linear |
| mkYoneda | Proarrow.Profunctor.Instance.Yoneda |
| Mod | Proarrow.Optic.Glass |
| Mon | |
| 1 (Type/Class) | Proarrow.Category.Instance.Monoid |
| 2 (Data Constructor) | Proarrow.Category.Instance.Monoid |
| monActDefault | Proarrow.Category.Monoidal.Strength |
| Monad | Proarrow.Promonad, Proarrow |
| monLens | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| MonLensFl | Proarrow.Optic.MonoidalLens |
| MONOID | Proarrow.Category.Instance.Monoid |
| Monoid | Proarrow.Monoid, Proarrow |
| Monoidal | Proarrow.Category.Monoidal |
| MonoidalAction | Proarrow.Category.Monoidal.Action |
| MonoidalLens | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| MonoidalLens' | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| MonoidalOrdinal | Proarrow.Category.Instance.Ordinal |
| MonoidalProfunctor | Proarrow.Category.Monoidal |
| MonoidalTraversal | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| MonoidalTraversal' | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| MonoidalW | Proarrow.Testing.Laws.Run |
| MonoidSupplyW | Proarrow.Testing.Laws.Run |
| MonStrong | Proarrow.Category.Monoidal.Strength |
| monTraverseOf | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| MonTravFl | Proarrow.Optic.Traversal |
| monTravP | Proarrow.Optic.Traversal |
| move | Proarrow.Tools.Diagrams.Svg |
| Mul | Proarrow.Tools.CCC |
| mult | |
| 1 (Function) | Proarrow.Category.Instance.FinSet |
| 2 (Function) | Proarrow.Category.Instance.FinRel |
| multDayExp | Proarrow.Profunctor.Instance.Day |
| multiplicator | Proarrow.Category.Monoidal.Action |
| multiplicatorInv | Proarrow.Category.Monoidal.Action |
| multOptic | Proarrow.Optic.MonoidalTraversal |
| multQuest | Proarrow.Category.Instance.Linear |
| MultRep | Proarrow.Category.Monoidal |
| mupdate | Proarrow.Optic.Setter |