semigroupoid-extras-0.2.5: Semigroupoids requiring Haskell extensions

Data.Semigroupoid.Coproduct

Documentation

data L a Source

Instances

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

data R a Source

Instances

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

data Coproduct j k a b whereSource

Constructors

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

Instances

(Groupoid j, Groupoid k) => Groupoid (Coproduct j k) 
(Semigroupoid j, Semigroupoid k) => Semigroupoid (Coproduct j k) 
(Semigroupoid l, Ob r a) => Ob (Coproduct l r) (R a) 
(Ob l a, Semigroupoid r) => Ob (Coproduct l r) (L a)