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 |

- 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