Data.Bifunctor.Wrapped

provisional

Make a Functor over the second argument of a Bifunctor.

Instances

instance (Eq p, Eq a, Eq b) => Eq (WrappedBifunctor p a b)
instance (Ord p, Ord a, Ord b) => Ord (WrappedBifunctor p a b)
instance (Show p, Show a, Show b) => Show (WrappedBifunctor p a b)
instance (Read p, Read a, Read b) => Read (WrappedBifunctor p a b)
instance (Generic p, Generic a, Generic b) => Generic (WrappedBifunctor p a b)
instance (Generic1 p, Generic1 a, Generic1 b) => Generic1 (WrappedBifunctor p a b)
instance (Eq2 p, Eq a) => Eq1 (WrappedBifunctor p a)
instance Eq2 p => Eq2 (WrappedBifunctor p)
instance (Ord2 p, Ord a) => Ord1 (WrappedBifunctor p a)
instance Ord2 p => Ord2 (WrappedBifunctor p)
instance (Read2 p, Read a) => Read1 (WrappedBifunctor p a)
instance Read2 p => Read2 (WrappedBifunctor p)
instance (Show2 p, Show a) => Show1 (WrappedBifunctor p a)
instance Show2 p => Show2 (WrappedBifunctor p)
instance Bifunctor p => Bifunctor (WrappedBifunctor p)
instance Bifunctor p => Functor (WrappedBifunctor p a)
instance Biapplicative p => Biapplicative (WrappedBifunctor p)
instance Bifoldable p => Foldable (WrappedBifunctor p a)
instance Bifoldable p => Bifoldable (WrappedBifunctor p)
instance Bifoldable1 p => Bifoldable1 (WrappedBifunctor p)
instance Bitraversable p => Traversable (WrappedBifunctor p a)
instance Bitraversable p => Bitraversable (WrappedBifunctor p)

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