Data.Bifunctor.Sum

Instances

instance (Eq p, Eq q, Eq a, Eq b) => Eq (Sum p q a b)
instance (Ord p, Ord q, Ord a, Ord b) => Ord (Sum p q a b)
instance (Show p, Show q, Show a, Show b) => Show (Sum p q a b)
instance (Read p, Read q, Read a, Read b) => Read (Sum p q a b)
instance (Generic p, Generic q, Generic a, Generic b) => Generic (Sum p q a b)
instance (Generic1 p, Generic1 q, Generic1 a, Generic1 b) => Generic1 (Sum p q a b)
instance (Functor (f a), Functor (g a)) => Functor (Sum f g a)
instance (Foldable (f a), Foldable (g a)) => Foldable (Sum f g a)
instance (Traversable (f a), Traversable (g a)) => Traversable (Sum f g a)
instance (Eq2 f, Eq2 g, Eq a) => Eq1 (Sum f g a)
instance (Eq2 f, Eq2 g) => Eq2 (Sum f g)
instance (Ord2 f, Ord2 g, Ord a) => Ord1 (Sum f g a)
instance (Ord2 f, Ord2 g) => Ord2 (Sum f g)
instance (Read2 f, Read2 g, Read a) => Read1 (Sum f g a)
instance (Read2 f, Read2 g) => Read2 (Sum f g)
instance (Show2 f, Show2 g, Show a) => Show1 (Sum f g a)
instance (Show2 f, Show2 g) => Show2 (Sum f g)
instance (Bifunctor p, Bifunctor q) => Bifunctor (Sum p q)
instance (Bifoldable p, Bifoldable q) => Bifoldable (Sum p q)
instance (Bitraversable p, Bitraversable q) => Bitraversable (Sum p q)
instance BifunctorFunctor (Sum p)
instance BifunctorMonad (Sum p)
instance (Swap p, Swap q) => Swap (Sum p q)

Build record and source files

Community contribution. The service has not verified this documentation. The generator reported 2 diagnostics.

Target: Linux on x86-64. Some inferred types and resolved links are not available.

Generator: aihc-haddock-aa6debbd-web-3

Metadata snapshot: 09b82df928e064b0f451e3d0573302709a7badfc69fe1ca8110c8d45f2c2865f