magicZ | Data.Category.Discrete |
mkAdjunction | Data.Category.Adjunction |
mkComonad | Data.Category.Monoidal |
mkMonad | Data.Category.Monoidal |
Mon | Data.Category.Monoid |
Monad | Data.Category.Monoidal |
monadFunctor | Data.Category.Monoidal |
MonoidA | |
1 (Data Constructor) | Data.Category.Monoid |
2 (Type/Class) | Data.Category.Monoid |
MonoidAsCategory | Data.Category.Monoidal |
MonoidMorphism | Data.Category.Monoid |
MonoidObject | |
1 (Data Constructor) | Data.Category.Monoidal |
2 (Type/Class) | Data.Category.Monoidal |
MonoidValue | Data.Category.Monoidal |
multiply | Data.Category.Monoidal |