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 (Type/Class) | Data.Category.Monoid |
2 (Data Constructor) | Data.Category.Monoid |
MonoidMorphism | Data.Category.Monoid |
MonoidObject | |
1 (Type/Class) | Data.Category.Monoidal |
2 (Data Constructor) | Data.Category.Monoidal |
multiply | Data.Category.Monoidal |