Data.Bifunctor.Sum

Documentation

data Sum p q a b

Constructors

L2 (p a b)

R2 (q a b)

Instances

BifunctorFunctor k k k k (Sum k k p)

BifunctorMonad k k (Sum k k p)

(Bifunctor p, Bifunctor q) => Bifunctor (Sum * * p q)

(Bifoldable p, Bifoldable q) => Bifoldable (Sum * * p q)

(Bitraversable p, Bitraversable q) => Bitraversable (Sum * * p q)

Generic1 (Sum k * p q a)

(Eq (p a b), Eq (q a b)) => Eq (Sum k k p q a b)

(Ord (p a b), Ord (q a b)) => Ord (Sum k k p q a b)

(Read (p a b), Read (q a b)) => Read (Sum k k p q a b)

(Show (p a b), Show (q a b)) => Show (Sum k k p q a b)

Generic (Sum k k p q a b)

type Rep1 (Sum k k1 p q a)

type Rep (Sum k k1 p q a b)