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