| M | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow, Proarrow |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| map | Proarrow.Functor, Proarrow |
| mapBase | Proarrow.Object.Power |
| mapCompanion | Proarrow.Category.Equipment |
| mapCompanionSPath | Proarrow.Category.Bicategory.Strictified |
| mapConjoint | Proarrow.Category.Equipment |
| mapConjointSPath | Proarrow.Category.Bicategory.Strictified |
| mapCopower | Proarrow.Object.Copower |
| mapLan | Proarrow.Category.Bicategory.Kan |
| mapLift | Proarrow.Category.Bicategory.Kan |
| mappend | |
| 1 (Function) | Proarrow.Monoid, Proarrow |
| 2 (Function) | Proarrow.Category.Promonoidal |
| mappendAct | Proarrow.Monoid, Proarrow |
| mappendDefault | Proarrow.Category.Instance.PointedHask |
| mapPower | Proarrow.Object.Power |
| mapRan | Proarrow.Category.Bicategory.Kan |
| mapRift | Proarrow.Category.Bicategory.Kan |
| Mat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Mat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Mat |
| mat | Proarrow.Category.Instance.Mat |
| matId | Proarrow.Category.Instance.Mat |
| MatK | Proarrow.Category.Instance.Mat |
| maybeLiftsSemigroup | Proarrow.Category.Instance.Constraint |
| mempty | |
| 1 (Function) | Proarrow.Monoid, Proarrow |
| 2 (Function) | Proarrow.Category.Promonoidal |
| memptyAct | Proarrow.Monoid, Proarrow |
| memptyDefault | Proarrow.Category.Instance.PointedHask |
| minusState | Proarrow.Category.Instance.ZX |
| mirror | Proarrow.Category.Instance.ZX |
| MixedOptic | Proarrow.Category.Monoidal.Optic |
| MK | Proarrow.Category.Bicategory.MonoidalAsBi |
| mkAlgebraicLens | Proarrow.Category.Monoidal.Optic |
| mkCons | Proarrow.Profunctor.List |
| mkEndo | Proarrow.Category.Monoidal.Endo |
| mkExponential | Proarrow.Object.Exponential |
| mkHaskOptic | Proarrow.Squares, Proarrow |
| mkLens | |
| 1 (Function) | Proarrow.Category.Monoidal.Optic |
| 2 (Function) | Proarrow.Squares, Proarrow |
| mkPar | Proarrow.Category.Instance.Linear |
| mkPrism | |
| 1 (Function) | Proarrow.Category.Monoidal.Optic |
| 2 (Function) | Proarrow.Squares, Proarrow |
| mkProfOptic | Proarrow.Squares, Proarrow |
| mkTraversal | Proarrow.Squares, Proarrow |
| mkWith | Proarrow.Category.Instance.Linear |
| mkYoneda | Proarrow.Profunctor.Yoneda |
| ModuleObject | Proarrow.Monoid, Proarrow |
| Mon | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow |
| 2 (Data Constructor) | Proarrow.Monoid, Proarrow |
| Mon2 | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.MonoidalAsBi |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.MonoidalAsBi |
| Monad | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| MonK | Proarrow.Category.Bicategory.MonoidalAsBi |
| Monoid | Proarrow.Monoid, Proarrow |
| Monoidal | Proarrow.Category.Monoidal |
| MonoidalAction | Proarrow.Category.Monoidal.Action |
| MonoidalProfunctor | Proarrow.Category.Monoidal |
| MONOIDK | Proarrow.Monoid, Proarrow |
| mu | Proarrow.Category.Bicategory |
| mult | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Squares.Relative |
| 3 (Function) | Proarrow.Category.Equipment.Stateful |
| multDayExp | Proarrow.Profunctor.Day |
| multiplicator | Proarrow.Category.Monoidal.Action |
| multiplicatorInv | Proarrow.Category.Monoidal.Action |
| multQuest | Proarrow.Category.Instance.Linear |
| mupdate | Proarrow.Category.Monoidal.Optic |