category-0.2.0.1: Categorical types and classes

Safe Haskell	None
Language	Haskell2010

Control.Category.Groupoid

Documentation

class Category k => Groupoid k where Source #

Minimal complete definition

Methods

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

Instances

Category k s => Groupoid k (Iso k s) Source #
Methods invert :: k a b -> k b a Source #
Groupoid k1 k2 => Groupoid k1 (Dual k1 k1 k2) Source #
Methods invert :: k a b -> k b a Source #
(Semigroup a, Group a) => Groupoid k (Const2 k k a) Source #
Methods invert :: k a b -> k b a Source #
Groupoid k2 s => Groupoid (k1 -> k2) (NT k2 k1 k2 s) Source #
Methods invert :: k a b -> k b a Source #