Community
Modules 14

Data.Bifunctor.Join

provisional

newtype Join p a

Make a Functor over both arguments of a Bifunctor.

Join :: p a a -> Join p a

Instances

14
  • instance (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)
Maintainer
Edward Kmett <ekmett@gmail.com>
Portability
non-portable
Copyright
(C) 2008-2016 Edward Kmett
License
BSD-style (see the file LICENSE)
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

Open the dependency plan · Download the documentation model

Import a package

Enter a package name and an exact version from Hackage. The site contains imported versions only.