M | Data.Category.Cube |
Magic | |
1 (Type/Class) | Data.Category.Void |
2 (Data Constructor) | Data.Category.Void |
magic | Data.Category.Void |
map | Data.Category.Enriched |
mkAdjunction | Data.Category.Adjunction |
mkAdjunctionUnits | Data.Category.Adjunction |
mkComonad | Data.Category.Monoidal |
mkMonad | Data.Category.Monoidal |
Monad | Data.Category.Monoidal |
monadFunctor | Data.Category.Monoidal |
MonoidAsCategory | Data.Category.Monoidal |
MonoidObject | |
1 (Type/Class) | Data.Category.Monoidal |
2 (Data Constructor) | Data.Category.Monoidal |
MonoidValue | Data.Category.Monoidal |
multiply | Data.Category.Monoidal |