| Copyright | (C) 2007-2011 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
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) | |
| Semifunctor f c d => Semifunctor f (Dual c) (Dual d) | |
| Semigroupoid k => Semigroupoid (Dual k) | |
| Groupoid k => Groupoid (Dual k) |