|
Control.Category.Distributive | Portability | non-portable (class-associated types) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
|
|
Description |
|
|
Synopsis |
|
|
|
|
Distributive Categories
|
|
|
the canonical factoring morphism
|
|
|
A category in which factor is an isomorphism
| | Methods | distribute :: hom (prod a (sum b c)) (sum (prod a b) (prod a c)) | Source |
|
| | Instances | |
|
|
Produced by Haddock version 2.4.2 |