Copyright	(C) 2011-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	polykinds
Safe Haskell	None
Language	Haskell98

Data.Semigroupoid.Product

Description

Documentation

data Product j k a b where #

Constructors

Pair :: j a b -> k a' b' -> Product j k '(a, a') '(b, b')

Instances

Bind m => Semifunctor (Bi Either) (Product (Kleisli m) (Kleisli m) :: (Type, Type) -> (Type, Type) -> Type) (Kleisli m :: Type -> Type -> Type) #
Instance details Defined in Data.Semifunctor Methods semimap :: Product (Kleisli m) (Kleisli m) a b -> Kleisli m (Bi Either a) (Bi Either b) #
Bind m => Semifunctor (Bi (,)) (Product (Kleisli m) (Kleisli m) :: (Type, Type) -> (Type, Type) -> Type) (Kleisli m :: Type -> Type -> Type) #
Instance details Defined in Data.Semifunctor Methods semimap :: Product (Kleisli m) (Kleisli m) a b -> Kleisli m (Bi (,) a) (Bi (,) b) #
Semifunctor (Bi Either) (Product ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) ((->) :: Type -> Type -> Type) #
Instance details Defined in Data.Semifunctor Methods semimap :: Product (->) (->) a b -> Bi Either a -> Bi Either b #
Semifunctor (Bi (,)) (Product ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) ((->) :: Type -> Type -> Type) #
Instance details Defined in Data.Semifunctor Methods semimap :: Product (->) (->) a b -> Bi (,) a -> Bi (,) b #
(Groupoid j, Groupoid k3) => Groupoid (Product j k3 :: (k2, k1) -> (k2, k1) -> Type) #
Instance details Defined in Data.Semigroupoid.Product Methods inv :: Product j k3 a b -> Product j k3 b a #
(Semigroupoid j, Semigroupoid k3) => Semigroupoid (Product j k3 :: (k2, k1) -> (k2, k1) -> Type) #
Instance details Defined in Data.Semigroupoid.Product Methods o :: Product j k3 j0 k10 -> Product j k3 i j0 -> Product j k3 i k10 #
(Ob l a, Ob r b) => Ob (Product l r :: (k2, k1) -> (k2, k1) -> Type) ((,) a b :: (k2, k1)) #
Instance details Defined in Data.Semigroupoid.Product Methods semiid :: Product l r (a, b) (a, b) #

distributeDualProduct :: Dual (Product j k) a b -> Product (Dual j) (Dual k) a b #

factorDualProduct :: Product (Dual j) (Dual k) a b -> Dual (Product j k) a b #