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