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
Instances
Bind m => Semifunctor (*, *) * (Bi * * Either) (Product * * * * (Kleisli m) (Kleisli m)) (Kleisli m) # | |
Bind m => Semifunctor (*, *) * (Bi * * (,)) (Product * * * * (Kleisli m) (Kleisli m)) (Kleisli m) # | |
Semifunctor (*, *) * (Bi * * Either) (Product * * * * ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep)) ((->) LiftedRep LiftedRep) # | |
Semifunctor (*, *) * (Bi * * (,)) (Product * * * * ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep)) ((->) LiftedRep LiftedRep) # | |
(Groupoid k2 j, Groupoid k1 k3) => Groupoid (k2, k1) (Product k2 k1 k2 k1 j k3) # | |
(Semigroupoid k2 j, Semigroupoid k1 k3) => Semigroupoid (k2, k1) (Product k2 k1 k2 k1 j k3) # | |
(Ob k2 l a, Ob k1 r b) => Ob (k2, k1) (Product k2 k1 k2 k1 l r) ((,) k2 k1 a b) # | |