Data.Groupoid

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

Instances

Groupoid k => Groupoid (Dual k)

Semigroupoid k => Groupoid (Iso k)

(Groupoid j, Groupoid k) => Groupoid (Product j k)

(Groupoid j, Groupoid k) => Groupoid (Coproduct j k)