| Copyright | (C) 2011-2015 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | polykinds |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.Groupoid
Description
- class Semigroupoid k => Groupoid k where
- inv :: k a b -> k b a
Documentation
class Semigroupoid k => Groupoid k where Source
semigroupoid with inverses. This technically should be a category with inverses, except we need to use Ob to define the valid objects for the category