- 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
Semigroupoid (->) | |
Bind m => Semigroupoid (Kleisli m) | |
Extend w => Semigroupoid (Cokleisli w) | |
Apply f => Semigroupoid (Static f) |