HasBinaryCoproducts | Data.Category.Limit |
HasBinaryProducts | Data.Category.Limit |
HasColimits | Data.Category.Limit |
HasInitialObject | Data.Category.Limit |
HaskO | Data.Category, Data.Category.Functor, Data.Category.NaturalTransformation |
HasLimits | Data.Category.Limit |
HasTerminalObject | Data.Category.Limit |
Hom | |
1 (Type/Class) | Data.Category.Product |
2 (Data Constructor) | Data.Category.Product |
HomX_ | Data.Category.Functor |
Hom_X | Data.Category.Functor |