| Copyright | 2008 Edward Kmett |
|---|---|
| License | BSD |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable (class-associated types) |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Control.Category.Distributive
Contents
Description
Synopsis
- factor :: (Cartesian k, CoCartesian k) => k (Sum k (Product k a b) (Product k a c)) (Product k a (Sum k b c))
- class (Cartesian k, CoCartesian k) => Distributive (k :: Type -> Type -> Type) where
Distributive Categories
factor :: (Cartesian k, CoCartesian k) => k (Sum k (Product k a b) (Product k a c)) (Product k a (Sum k b c)) Source #
The canonical factoring morphism.
class (Cartesian k, CoCartesian k) => Distributive (k :: Type -> Type -> Type) where Source #
A category in which factor is an isomorphism
Instances
| Distributive (->) Source # | |
Defined in Control.Category.Distributive | |