| 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.
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) |