Control.Category.Groupoid

Documentation

class Category k => Groupoid k where

Category where every morphism is iso

Laws:

id = f . invert f
id = invert f . f

Methods

invert :: k a b -> k b a

Instances

Category s => Groupoid (Iso s :: k -> k -> Type)

Defined in Data.Morphism.Iso

Methods

invert :: Iso s a b -> Iso s b a

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

Defined in Control.Category.Dual

Methods

invert :: Dual k2 a b -> Dual k2 b a

(Semigroup a, Group a) => Groupoid (Const2 a :: k -> k -> Type)

Defined in Control.Category.Const2

Methods

invert :: Const2 a a0 b -> Const2 a b a0

Groupoid s => Groupoid (NT s :: (k1 -> k2) -> (k1 -> k2) -> Type)

Defined in Control.Categorical.Functor

Methods

invert :: NT s a b -> NT s b a