Groupoid

Documentation

class Semigroupoid k1 => Groupoid (k1 :: k -> 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

Minimal complete definition

inv

Methods

inv :: k1 a b -> k1 b a

Instances

Groupoid (Coercion :: k -> k -> *)

Defined in Data.Groupoid

Methods

inv :: Coercion a b -> Coercion b a

Groupoid ((:~:) :: k -> k -> *)

Defined in Data.Groupoid

Methods

inv :: (a :~: b) -> b :~: a

Groupoid ((:~~:) :: k -> k -> *)

Defined in Data.Groupoid

Methods

inv :: (a :~~: b) -> b :~~: a

Groupoid k2 => Groupoid (Dual k2 :: k1 -> k1 -> *)

Defined in Data.Groupoid

Methods

inv :: Dual k2 a b -> Dual k2 b a