| Safe Haskell | None |
|---|
Data.Groupoid
- class Semigroupoid k => Groupoid k where
- inv :: k a b -> k b a
Documentation
class Semigroupoid k => Groupoid k where
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
Methods
inv :: k a b -> k b a