Community
Modules 14

Data.Bifunctor.Biff

provisional

newtype Biff p f g a b

Compose two Functors on the inside of a Bifunctor.

Biff :: p (f a) (g b) -> Biff p f g a b

runBiff :: Biff p f g a b -> p (f a) (g b)

Instances

23
  • instance (Eq p, Eq f, Eq g, Eq a, Eq b) => Eq (Biff p f g a b)
  • instance (Ord p, Ord f, Ord g, Ord a, Ord b) => Ord (Biff p f g a b)
  • instance (Show p, Show f, Show g, Show a, Show b) => Show (Biff p f g a b)
  • instance (Read p, Read f, Read g, Read a, Read b) => Read (Biff p f g a b)
  • instance (Generic p, Generic f, Generic g, Generic a, Generic b) => Generic (Biff p f g a b)
  • instance Functor (p (f a)) => Generic1 (Biff p f g a)
  • instance (Eq2 p, Eq1 f, Eq1 g, Eq a) => Eq1 (Biff p f g a)
  • instance (Eq2 p, Eq1 f, Eq1 g) => Eq2 (Biff p f g)
  • instance (Ord2 p, Ord1 f, Ord1 g, Ord a) => Ord1 (Biff p f g a)
  • instance (Ord2 p, Ord1 f, Ord1 g) => Ord2 (Biff p f g)
  • instance (Read2 p, Read1 f, Read1 g, Read a) => Read1 (Biff p f g a)
  • instance (Read2 p, Read1 f, Read1 g) => Read2 (Biff p f g)
  • instance (Show2 p, Show1 f, Show1 g, Show a) => Show1 (Biff p f g a)
  • instance (Show2 p, Show1 f, Show1 g) => Show2 (Biff p f g)
  • instance (Bifunctor p, Functor f, Functor g) => Bifunctor (Biff p f g)
  • instance (Bifunctor p, Functor g) => Functor (Biff p f g a)
  • instance (Biapplicative p, Applicative f, Applicative g) => Biapplicative (Biff p f g)
  • instance (Bifoldable p, Foldable g) => Foldable (Biff p f g a)
  • instance (Bifoldable p, Foldable f, Foldable g) => Bifoldable (Biff p f g)
  • instance (Bifoldable1 p, Foldable1 f, Foldable1 g) => Bifoldable1 (Biff p f g)
  • instance (Bitraversable p, Traversable g) => Traversable (Biff p f g a)
  • instance (Bitraversable p, Traversable f, Traversable g) => Bitraversable (Biff p f g)
  • instance (f ~ g, Functor f, Swap p) => Swap (Biff p f g)
Maintainer
Edward Kmett <ekmett@gmail.com>
Portability
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.