bifunctors-5: Bifunctors

Copyright	(C) 2008-2015 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

Documentation

data Product f g a b Source

Form the product of two bifunctors

Constructors

Pair (f a b) (g a b)

Instances

(Bifunctor f, Bifunctor g) => Bifunctor (Product f g) Source
Methods bimap :: (a -> b) -> (c -> d) -> Product f g a c -> Product f g b d first :: (a -> b) -> Product f g a c -> Product f g b c second :: (b -> c) -> Product f g a b -> Product f g a c
(Bifoldable f, Bifoldable g) => Bifoldable (Product f g) Source
Methods bifold :: Monoid m => Product f g m m -> m Source bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Product f g a b -> m Source bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Product f g a b -> c Source bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Product f g a b -> c Source
(Bitraversable f, Bitraversable g) => Bitraversable (Product f g) Source
Methods bitraverse :: Applicative b => (a -> b c) -> (d -> b e) -> Product f g a d -> b (Product f g c e) Source bisequenceA :: Applicative a => Product f g (a b) (a c) -> a (Product f g b c) Source bimapM :: Monad m => (a -> m c) -> (b -> m d) -> Product f g a b -> m (Product f g c d) Source bisequence :: Monad m => Product f g (m a) (m b) -> m (Product f g a b) Source
(Biapplicative f, Biapplicative g) => Biapplicative (Product f g) Source
Methods bipure :: a -> b -> Product f g a b Source (<<>>) :: Product f g (a -> b) (c -> d) -> Product f g a c -> Product f g b d Source (>>) :: Product f g a b -> Product f g c d -> Product f g c d Source (<<*) :: Product f g a b -> Product f g c d -> Product f g a b Source
(Eq (f a b), Eq (g a b)) => Eq (Product f g a b) Source
Methods (==) :: Product f g a b -> Product f g a b -> Bool (/=) :: Product f g a b -> Product f g a b -> Bool
(Ord (f a b), Ord (g a b)) => Ord (Product f g a b) Source
Methods compare :: Product f g a b -> Product f g a b -> Ordering (<) :: Product f g a b -> Product f g a b -> Bool (<=) :: Product f g a b -> Product f g a b -> Bool (>) :: Product f g a b -> Product f g a b -> Bool (>=) :: Product f g a b -> Product f g a b -> Bool max :: Product f g a b -> Product f g a b -> Product f g a b min :: Product f g a b -> Product f g a b -> Product f g a b
(Read (f a b), Read (g a b)) => Read (Product f g a b) Source
Methods readsPrec :: Int -> ReadS (Product f g a b) readList :: ReadS [Product f g a b] readPrec :: ReadPrec (Product f g a b) readListPrec :: ReadPrec [Product f g a b]
(Show (f a b), Show (g a b)) => Show (Product f g a b) Source
Methods showsPrec :: Int -> Product f g a b -> ShowS show :: Product f g a b -> String showList :: [Product f g a b] -> ShowS