newtype Join p a
Make a Functor over both arguments of a Bifunctor.
newtype Join p aMake a Functor over both arguments of a Bifunctor.
Join :: p a a -> Join p arunJoin :: Join p a -> p a ainstance (Generic p, Generic a) => Generic (Join p a)instance Eq (p a a) => Eq (Join p a)instance Ord (p a a) => Ord (Join p a)instance Show (p a a) => Show (Join p a)instance Read (p a a) => Read (Join p a)instance Eq2 p => Eq1 (Join p)instance Ord2 p => Ord1 (Join p)instance Read2 p => Read1 (Join p)instance Show2 p => Show1 (Join p)instance Bifunctor p => Functor (Join p)instance Biapplicative p => Applicative (Join p)instance Bifoldable p => Foldable (Join p)instance Bifoldable1 p => Foldable1 (Join p)instance Bitraversable p => Traversable (Join p)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
Open the dependency plan · Download the documentation model