HasBinaryCoproducts | Data.Category.Limit |
HasBinaryProducts | Data.Category.Limit |
HasColimits | Data.Category.Limit |
HasInitialObject | Data.Category.Limit |
HasLimits | Data.Category.Limit |
HasTerminalObject | Data.Category.Limit |
HasUnit | Data.Category.Monoidal |
Hom | |
1 (Data Constructor) | Data.Category.Functor |
2 (Type/Class) | Data.Category.Functor |
homX_ | Data.Category.Functor |
hom_X | Data.Category.Functor |