Copyright | (C) 2011-2015 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
Data.Semigroupoid.Coproduct
Description
Documentation
data Coproduct j k a b where #
Constructors
L :: j a b -> Coproduct j k (Left a) (Left b) | |
R :: k a b -> Coproduct j k (Right a) (Right b) |
Instances
(Groupoid a j, Groupoid b k) => Groupoid (Either a b) (Coproduct a b a b j k) # | |
(Semigroupoid a j, Semigroupoid b k) => Semigroupoid (Either a b) (Coproduct a b a b j k) # | |
(Semigroupoid a1 l, Ob b r a2) => Ob (Either a1 b) (Coproduct a1 b a1 b l r) (Right a1 b a2) # | |
(Ob a1 l a2, Semigroupoid b r) => Ob (Either a1 b) (Coproduct a1 b a1 b l r) (Left a1 b a2) # | |