Safe Haskell	Safe-Inferred
Language	Haskell98

Data.Semigroupoid.Product

Documentation

data Product j k a b where Source

Constructors

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

Instances

Semifunctor (Bi Either) (Product (->) (->)) (->)
Semifunctor (Bi (,)) (Product (->) (->)) (->)
Bind m => Semifunctor (Bi Either) (Product (Kleisli m) (Kleisli m)) (Kleisli m)
Bind m => Semifunctor (Bi (,)) (Product (Kleisli m) (Kleisli m)) (Kleisli m)
Extend w => Semifunctor (Bi (,)) (Product (Cokleisli w) (Cokleisli w)) (Cokleisli w)
(Semigroupoid j, Semigroupoid k) => Semigroupoid (Product j k)
(Groupoid j, Groupoid k) => Groupoid (Product j k)
(Ob l a, Ob r b) => Ob (Product l r) (a, b)