| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Data.Semigroupoid
Description
A semigroupoid satisfies all of the requirements to be a Category except for the existence of identity arrows.
- 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 (->) | |
| Semigroupoid Op | |
| Bind m => Semigroupoid (Kleisli m) | |
| Extend w => Semigroupoid (Cokleisli w) | |
| Apply f => Semigroupoid (Static f) |