Data.Semigroupoid.Coproduct

Documentation

data L a

Instances

(Semigroupoid (Coproduct l r), Ob l a, Semigroupoid r) => Ob (Coproduct l r) (L a)

data R a

Instances

(Semigroupoid (Coproduct l r), Semigroupoid l, Ob r a) => Ob (Coproduct l r) (R a)

data Coproduct j k a b where

Constructors

L :: j a b -> Coproduct j k (L a) (L b)

R :: k a b -> Coproduct j k (R a) (R b)

Instances

(Semigroupoid (Coproduct j k), Groupoid j, Groupoid k) => Groupoid (Coproduct j k)

(Semigroupoid j, Semigroupoid k) => Semigroupoid (Coproduct j k)

(Semigroupoid (Coproduct l r), Semigroupoid l, Ob r a) => Ob (Coproduct l r) (R a)

(Semigroupoid (Coproduct l r), Ob l a, Semigroupoid r) => Ob (Coproduct l r) (L a)

distributeDualCoproduct :: Dual (Coproduct j k) a b -> Coproduct (Dual j) (Dual k) a b

factorDualCoproduct :: Coproduct (Dual j) (Dual k) a b -> Dual (Coproduct j k) a b