Data.Semigroupoid
- class Semigroupoid c where
- o :: c j k -> c i j -> c i k
Documentation
class Semigroupoid c whereSource
Control.Category.Category sans Control.Category.id
Instances
| Semigroupoid (->) | |
| Bind m => Semigroupoid (Kleisli m) | |
| Extend w => Semigroupoid (Cokleisli w) | |
| Apply f => Semigroupoid (Static f) |