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 | Safe-Inferred |
Language | Haskell98 |
Documentation
data Coproduct j k a b where Source
(Groupoid k j, Groupoid k1 k2) => Groupoid (Either k k) (Coproduct k k k k j k) | |
(Semigroupoid k j, Semigroupoid k1 k2) => Semigroupoid (Either k k) (Coproduct k k k k j k) | |
(Semigroupoid k l, Ob k1 r a) => Ob (Either k k) (Coproduct k k k k l r) (Right k k a) | |
(Ob k1 l a, Semigroupoid k r) => Ob (Either k k) (Coproduct k k k k l r) (Left k k a) |