groupoids-0.2: Haskell 98 Groupoids

Safe HaskellSafe-Infered

Data.Groupoid

Synopsis

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

Methods

inv :: k a b -> k b aSource

Instances