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 | Safe |
Language | Haskell98 |
Data.Semigroupoid.Product
Description
Documentation
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) # | |
(Groupoid k1 j, Groupoid k k2) => Groupoid (k1, k) (Product k k k1 k1 j k2) # | |
(Semigroupoid k1 j, Semigroupoid k k2) => Semigroupoid (k1, k) (Product k k k1 k1 j k2) # | |
(Ob k1 l a, Ob k r b) => Ob (k1, k) (Product k k k1 k1 l r) ((,) k1 k a b) # | |