Data.Functor.Product

Products, lifted to functors.

Documentation

data Product f g a

Lifted product of functors.

Constructors

Pair (f a) (g a)

Instances

(Functor f, Functor g) => Functor (Product f g)

(Applicative f, Applicative g) => Applicative (Product f g)

(Foldable f, Foldable g) => Foldable (Product f g)

(Traversable f, Traversable g) => Traversable (Product f g)

(Alternative f, Alternative g) => Alternative (Product f g)