Control.Category.Distributive

Distributive Categories

factor :: (PreCartesian ~>, PreCoCartesian ~>) => Sum ~> (Product ~> a b) (Product ~> a c) ~> Product ~> a (Sum ~> b c)

the canonical factoring morphism

 factor :: ( PreCartesian (~>)
         , (*) ~ Product (~>)
         , PreCoCartesian (~>)
         , (+) ~ Sum (~>) 
         ) => ((a * b) + (a * c)) ~> (a * (b + c))

class (PreCartesian ~>, PreCoCartesian ~>) => Distributive (~>) where

Methods

distribute :: Product ~> a (Sum ~> b c) ~> Sum ~> (Product ~> a b) (Product ~> a c)

Instances

Distributive (->)