Safe Haskell | Safe-Inferred |
---|
Documentation
data Product j k a b whereSource
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) |