bifunctors-5.2: Bifunctors

Copyright(C) 2008-2016 Jesse Selover, Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Data.Bifunctor.Product

Description

The product of two bifunctors.

Synopsis

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)