Data.Bifunctor.Sum · bifunctors-5.6.3

datadata Sum (p :: k -> k1 -> Type) (q :: k -> k1 -> Type) (a :: k) (b :: k1)

Constructors

L2 (p a b)
R2 (q a b)

Instances25BifunctorFunctor, BifunctorMonad, Generic1, Bifoldable, Bifunctor, Bitraversable, …

BifunctorFunctor (Sum p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
BifunctorMonad (Sum p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
Generic1 (Sum p q a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Bifoldable p, Bifoldable q) => Bifoldable (Sum p q)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Bifunctor p, Bifunctor q) => Bifunctor (Sum p q)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Bitraversable p, Bitraversable q) => Bitraversable (Sum p q)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Eq2 f, Eq2 g) => Eq2 (Sum f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Ord2 f, Ord2 g) => Ord2 (Sum f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Read2 f, Read2 g) => Read2 (Sum f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Show2 f, Show2 g) => Show2 (Sum f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Swap p, Swap q) => Swap (Sum p q)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Functor (f a), Functor (g a)) => Functor (Sum f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Foldable (f a), Foldable (g a)) => Foldable (Sum f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Traversable (f a), Traversable (g a)) => Traversable (Sum f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Eq2 f, Eq2 g, Eq a) => Eq1 (Sum f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Ord2 f, Ord2 g, Ord a) => Ord1 (Sum f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Read2 f, Read2 g, Read a) => Read1 (Sum f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Show2 f, Show2 g, Show a) => Show1 (Sum f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Eq (p a b), Eq (q a b)) => Eq (Sum p q a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Ord (p a b), Ord (q a b)) => Ord (Sum p q a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Read (p a b), Read (q a b)) => Read (Sum p q a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
(Show (p a b), Show (q a b)) => Show (Sum p q a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
Generic (Sum p q a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
type Rep (Sum p q a b) = D1 ('MetaData "Sum" "Data.Bifunctor.Sum" "bifunctors-5.6.3-DtuKh4Hx1S9EIe5zKyN5eJ" 'False) (C1 ('MetaCons "L2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (p a b))) :+: C1 ('MetaCons "R2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (q a b))))Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum
type Rep1 (Sum p q a) = D1 ('MetaData "Sum" "Data.Bifunctor.Sum" "bifunctors-5.6.3-DtuKh4Hx1S9EIe5zKyN5eJ" 'False) (C1 ('MetaCons "L2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (p a))) :+: C1 ('MetaCons "R2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (q a))))Defined in bifunctors-5.6.3 · Data.Bifunctor.Sum