AIHC Haddock

Community
Modules 14

Data.Bifunctor.Product

provisional

The product of two bifunctors.

data Product f g a b

Form the product of two bifunctors

Pair :: (f a b) -> (g a b) -> Product f g a b

Instances

31
  • instance (Eq f, Eq g, Eq a, Eq b) => Eq (Product f g a b)
  • instance (Ord f, Ord g, Ord a, Ord b) => Ord (Product f g a b)
  • instance (Show f, Show g, Show a, Show b) => Show (Product f g a b)
  • instance (Read f, Read g, Read a, Read b) => Read (Product f g a b)
  • instance (Generic f, Generic g, Generic a, Generic b) => Generic (Product f g a b)
  • instance (Generic1 f, Generic1 g, Generic1 a, Generic1 b) => Generic1 (Product f g a b)
  • instance (Functor (f a), Functor (g a)) => Functor (Product f g a)
  • instance (Foldable (f a), Foldable (g a)) => Foldable (Product f g a)
  • instance (Traversable (f a), Traversable (g a)) => Traversable (Product f g a)
  • instance (Eq2 f, Eq2 g, Eq a) => Eq1 (Product f g a)
  • instance (Eq2 f, Eq2 g) => Eq2 (Product f g)
  • instance (Ord2 f, Ord2 g, Ord a) => Ord1 (Product f g a)
  • instance (Ord2 f, Ord2 g) => Ord2 (Product f g)
  • instance (Read2 f, Read2 g, Read a) => Read1 (Product f g a)
  • instance (Read2 f, Read2 g) => Read2 (Product f g)
  • instance (Show2 f, Show2 g, Show a) => Show1 (Product f g a)
  • instance (Show2 f, Show2 g) => Show2 (Product f g)
  • instance (Bifunctor f, Bifunctor g) => Bifunctor (Product f g)
  • instance (Biapplicative f, Biapplicative g) => Biapplicative (Product f g)
  • instance (Bifoldable f, Bifoldable g) => Bifoldable (Product f g)
  • instance (Bifoldable1 f, Bifoldable1 g) => Bifoldable1 (Product f g)
  • instance (Bitraversable f, Bitraversable g) => Bitraversable (Product f g)
  • instance BifunctorFunctor (Product p)
  • instance BifunctorComonad (Product p)
  • instance (Category p, Category q) => Category (Product p q)
  • instance (A.Arrow p, A.Arrow q) => A.Arrow (Product p q)
  • instance (A.ArrowChoice p, A.ArrowChoice q) => A.ArrowChoice (Product p q)
  • instance (A.ArrowLoop p, A.ArrowLoop q) => A.ArrowLoop (Product p q)
  • instance (A.ArrowZero p, A.ArrowZero q) => A.ArrowZero (Product p q)
  • instance (A.ArrowPlus p, A.ArrowPlus q) => A.ArrowPlus (Product p q)
  • instance (Swap p, Swap q) => Swap (Product p q)
Maintainer
Edward Kmett <ekmett@gmail.com>
Portability
portable
Copyright
(C) 2008-2016 Jesse Selover, 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.