| M | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow, Proarrow |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| m1Optic | Proarrow.Category.Monoidal.Optic |
| map | Proarrow.Functor, Proarrow |
| Map0 | Proarrow.Category.Bicategory.LaxFunctor |
| Map1 | Proarrow.Category.Bicategory.LaxFunctor |
| map2 | Proarrow.Category.Bicategory.LaxFunctor |
| mapBase | Proarrow.Limit.Power |
| mapCobase | Proarrow.Colimit.Copower |
| mapColimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Colimit |
| mapCopower | Proarrow.Colimit.Copower |
| mapCorepStar | Proarrow.Profunctor.Representable |
| mapDown | Proarrow.Category.Instance.Duploid |
| mapLan | Proarrow.Category.Bicategory.Kan |
| mapLift | Proarrow.Category.Bicategory.Kan |
| mapLimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Limit |
| mapMaybe | Proarrow.Category.Instance.PointedHask |
| mappend | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| mappendAct | Proarrow.Monoid, Proarrow |
| mappendDefault | Proarrow.Category.Instance.PointedHask |
| mappendS | Proarrow.Monoid, Proarrow |
| mapPower | Proarrow.Limit.Power |
| mapRan | Proarrow.Category.Bicategory.Kan |
| mapRepCostar | Proarrow.Profunctor.Representable |
| mapRift | Proarrow.Category.Bicategory.Kan |
| mapUp | Proarrow.Category.Instance.Duploid |
| Mat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Mat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Mat |
| matId | Proarrow.Category.Instance.Mat |
| MatK | Proarrow.Category.Instance.Mat |
| MatrixSize | Proarrow.Category.Instance.ZX |
| maybeLiftsSemigroup | Proarrow.Category.Instance.Constraint |
| mempty | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| memptyAct | Proarrow.Monoid, Proarrow |
| memptyDefault | Proarrow.Category.Instance.PointedHask |
| memptyS | Proarrow.Monoid, Proarrow |
| minusState | Proarrow.Category.Instance.ZX |
| mirror | Proarrow.Category.Instance.ZX |
| MK | Proarrow.Category.Bicategory.MonoidalAsBi |
| mkAlgebraicLens | Proarrow.Category.Monoidal.Optic |
| mkCons | Proarrow.Profunctor.Instance.List |
| mkEndo | Proarrow.Category.Monoidal.Endo |
| mkExponential | Proarrow.Category.Monoidal.Closed |
| mkExponentialS | Proarrow.Category.Monoidal.Closed |
| mkHaskOptic | Proarrow.Squares |
| mkIso | Proarrow.Squares |
| mkLens | |
| 1 (Function) | Proarrow.Category.Monoidal.Optic |
| 2 (Function) | Proarrow.Squares |
| mkMonoidal | Proarrow.Category.Monoidal.Optic |
| mkPar | Proarrow.Category.Instance.Linear |
| mkPrism | |
| 1 (Function) | Proarrow.Category.Monoidal.Optic |
| 2 (Function) | Proarrow.Squares |
| mkProfOptic | Proarrow.Squares |
| mkTraversal | Proarrow.Squares |
| mkWith | Proarrow.Category.Instance.Linear |
| mkYoneda | Proarrow.Profunctor.Instance.Yoneda |
| 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 |
| monActDefault | Proarrow.Category.Monoidal.Strength |
| Monad | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| 3 (Type/Class) | Proarrow.Promonad |
| MonFunctor | Proarrow.Category.Bicategory.MonoidalAsBi |
| MonK | Proarrow.Category.Bicategory.MonoidalAsBi |
| Monoid | Proarrow.Monoid, Proarrow |
| Monoidal | Proarrow.Category.Monoidal |
| MonoidalAction | Proarrow.Category.Monoidal.Action |
| MonoidalOptic | Proarrow.Category.Monoidal.Optic |
| MonoidalProfunctor | Proarrow.Category.Monoidal |
| MONOIDK | Proarrow.Monoid, Proarrow |
| MonStrong | Proarrow.Category.Monoidal.Strength |
| mu | Proarrow.Category.Bicategory |
| mult | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Category.Instance.FinSet |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| 4 (Function) | Proarrow.Category.Equipment.Stateful |
| 5 (Function) | Proarrow.Squares.Relative |
| multDayExp | Proarrow.Profunctor.Instance.Day |
| multiplicator | Proarrow.Category.Monoidal.Action |
| multiplicatorInv | Proarrow.Category.Monoidal.Action |
| multOptic | Proarrow.Category.Monoidal.Optic |
| multQuest | Proarrow.Category.Instance.Linear |
| MultRep | Proarrow.Category.Monoidal |
| mupdate | Proarrow.Category.Monoidal.Optic |