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