proarrow-0: Category theory with a central role for profunctors (Index - M)

proarrow-0: Category theory with a central role for profunctors

Index - M

M	Proarrow.Category.Instance.Mat
map	Proarrow.Functor, Proarrow
mapCompanion	Proarrow.Category.Equipment
mapCompanionSPath	Proarrow.Category.Equipment
mapConjoint	Proarrow.Category.Equipment
mapConjointSPath	Proarrow.Category.Equipment
mapLan	Proarrow.Category.Bicategory.Kan
mapLift	Proarrow.Category.Bicategory.Kan
mappend	Proarrow.Monoid
mappendAct	Proarrow.Monoid
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
MDK	Proarrow.Category.Enriched
mempty	Proarrow.Monoid
memptyAct	Proarrow.Monoid
MixedOptic	Proarrow.Category.Monoidal.Optic
MK	Proarrow.Category.Bicategory.MonoidalAsBi
mkAlgebraicLens	Proarrow.Category.Monoidal.Optic
mkCons	Proarrow.Category.Instance.List
mkEndo	Proarrow.Category.Monoidal.Endo
mkExponential	Proarrow.Object.Exponential
mkLens	Proarrow.Category.Monoidal.Optic
mkPrism	Proarrow.Category.Monoidal.Optic
mkYoneda	Proarrow.Profunctor.Yoneda
ModuleObject	Proarrow.Monoid
Mon2
1 (Type/Class)	Proarrow.Category.Bicategory.MonoidalAsBi
2 (Data Constructor)	Proarrow.Category.Bicategory.MonoidalAsBi
Monad	Proarrow.Category.Bicategory
MONADK	Proarrow.Category.Enriched
MonK	Proarrow.Category.Bicategory.MonoidalAsBi
Monoid	Proarrow.Monoid
Monoidal	Proarrow.Category.Monoidal
MonoidalAction	Proarrow.Category.Monoidal.Action
MonoidalProfunctor	Proarrow.Category.Monoidal
mu	Proarrow.Category.Bicategory
multDayExp	Proarrow.Profunctor.Day
multiplicator	Proarrow.Category.Monoidal.Action
multiplicatorInv	Proarrow.Category.Monoidal.Action
mupdate	Proarrow.Category.Monoidal.Optic