Data.Bifunctor.Product

bifunctors-5.3: Bifunctors

Copyright | (C) 2008-2016 Jesse Selover, Edward Kmett
License | BSD-style (see the file LICENSE)
Maintainer | Edward Kmett <ekmett@gmail.com>
Stability | provisional
Portability | portable
Safe Haskell | Safe
Language | Haskell98

Data.Bifunctor.Product

Description

The product of two bifunctors.

Synopsis

- data Product f g a b = Pair (f a b) (g a b)

# Documentation

data Product f g a b

Form the product of two bifunctors

Constructors

Pair (f a b) (g a b) |

Instances

BifunctorFunctor k k k k (Product k k p) |
BifunctorComonad k k (Product k k p) |
(Bifunctor f, Bifunctor g) => Bifunctor (Product * * f g) |
(Bifoldable f, Bifoldable g) => Bifoldable (Product * * f g) |
(Bitraversable f, Bitraversable g) => Bitraversable (Product * * f g) |
(Biapplicative f, Biapplicative g) => Biapplicative (Product * * f g) |
Generic1 (Product k * f g a) |
(Eq (f a b), Eq (g a b)) => Eq (Product k k f g a b) |
(Ord (f a b), Ord (g a b)) => Ord (Product k k f g a b) |
(Read (f a b), Read (g a b)) => Read (Product k k f g a b) |
(Show (f a b), Show (g a b)) => Show (Product k k f g a b) |
Generic (Product k k f g a b) |
type Rep1 (Product k k1 f g a) |
type Rep (Product k k1 f g a b) |