| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Papa.Include.Data.Semigroupoid
- (.) :: Semigroupoid cat => cat b c -> cat a b -> cat a c
- class Semigroupoid k c
Documentation
(.) :: Semigroupoid cat => cat b c -> cat a b -> cat a c Source #
class Semigroupoid k c #
Minimal complete definition
Instances
| Category k k1 => Semigroupoid k (WrappedCategory k k k1) | |
| Semigroup m => Semigroupoid k (Semi k k m) | |
| Semigroupoid * (->) | |
| Semigroupoid * (,) | http://en.wikipedia.org/wiki/Band_(mathematics)#Rectangular_bands |
| Semigroupoid * Op | |
| Bind m => Semigroupoid * (Kleisli m) | |
| Extend w => Semigroupoid * (Cokleisli w) | |