Safe Haskell | None |
---|
Data.Semigroupoid.Coproduct
Documentation
data Coproduct j k a b where
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) |