Copyright | (C) 2007-2015 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 |
A semigroupoid satisfies all of the requirements to be a Category except for the existence of identity arrows.
Documentation
Semifunctor k1 k f c d => Semifunctor k k f (Dual k k c) (Dual k k d) | |
Category k k1 => Category k (Dual k k k) | |
Semigroupoid k k1 => Semigroupoid k (Dual k k k) | |
Groupoid k k1 => Groupoid k (Dual k k k) |