categories-0.3: Category Library Contents Index

Control.Category.Distributive Portability non-portable (class-associated types) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Contents Distributive Categories

Description

Synopsis

factor :: (Cartesian k, CoCartesian k) => k (Sum k (Prod k a b) (Prod k a c)) (Prod k a (Sum k b c)) class (Cartesian k, CoCartesian k) => Distributive k where distribute :: k (Prod k a (Sum k b c)) (Sum k (Prod k a b) (Prod k a c))

Distributive Categories

factor :: (Cartesian k, CoCartesian k) => k (Sum k (Prod k a b) (Prod k a c)) (Prod k a (Sum k b c))

the canonical morphism usually known as delta

class (Cartesian k, CoCartesian k) => Distributive k where

A category in which factor is an isomorphism Methods distribute :: k (Prod k a (Sum k b c)) (Sum k (Prod k a b) (Prod k a c)) Instances Distributive (->)

Produced by Haddock version 0.8