Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data (cat1 >< cat2) a b Source
Product (cat1 a b, cat2 a b) |
(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 |