semigroupoids-5.1: Semigroupoids: Category sans id

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilitypolykinds
Safe HaskellSafe
LanguageHaskell98

Data.Groupoid

Description

 

Synopsis

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

Minimal complete definition

inv

Methods

inv :: k a b -> k b a Source #

Instances

Semigroupoid k k1 => Groupoid k (Iso k k1) Source # 

Methods

inv :: k a b -> k b a Source #

Groupoid k k1 => Groupoid k (Dual k k k1) Source # 

Methods

inv :: k a b -> k b a Source #