category-extras-0.51.3: Various modules and constructs inspired by category theory Source code 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 :: (PreCartesian hom prod, PreCoCartesian hom sum) => hom (sum (prod a b) (prod a c)) (prod a (sum b c)) class (PreCartesian hom prod, PreCoCartesian hom sum) => Distributive hom prod sum where distribute :: hom (prod a (sum b c)) (sum (prod a b) (prod a c))

Distributive Categories

factor :: (PreCartesian hom prod, PreCoCartesian hom sum) => hom (sum (prod a b) (prod a c)) (prod a (sum b c)) Source

the canonical factoring morphism

class (PreCartesian hom prod, PreCoCartesian hom sum) => Distributive hom prod sum where Source

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 Distributive Hask (,) Either Distributive Hask (,) Either Distributive Hask (,) Either

Produced by Haddock version 2.3.0