| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Data.Semigroupoid.Dual
Description
A semigroupoid satisfies all of the requirements to be a Category except for the existence of identity arrows.
Documentation
Instances
| Category k => Category (Dual k) | |
| Semigroupoid k => Semigroupoid (Dual k) |