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) #
Methods inv :: k1 a b -> k1 b a #
(Semigroupoid a j, Semigroupoid b k) => Semigroupoid (Either a b) (Coproduct a b a b j k) #
Methods o :: c j k1 -> c i j -> c i k1 #
(Semigroupoid a1 l, Ob b r a2) => Ob (Either a1 b) (Coproduct a1 b a1 b l r) (Right a1 b a2) #
Methods semiid :: Right a1 b a2 a a #
(Ob a1 l a2, Semigroupoid b r) => Ob (Either a1 b) (Coproduct a1 b a1 b l r) (Left a1 b a2) #
Methods semiid :: Left a1 b a2 a a #