| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
SubHask.Category.Product
Documentation
data (cat1 >< cat2) a b Source
Constructors
| Product (cat1 a b, cat2 a b) |
Instances
| (Category k cat1, Category k cat2) => Category k ((><) k k cat1 cat2) Source | |
| type ValidCategory k ((><) k k cat1 cat2) a = (ValidCategory k cat1 a, ValidCategory k cat2 a) Source |