Safe Haskell | None |
---|

- class Semigroupoid k => Groupoid k where
- inv :: k a b -> k b a

# Documentation

class Semigroupoid k => Groupoid k whereSource

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

(Semigroupoid (Dual k), Groupoid k) => Groupoid (Dual k) | |

(Semigroupoid (Iso k), Semigroupoid k) => Groupoid (Iso k) |