Data.Groupoid

Synopsis

class Groupoid

Packagesemigroupoids-6.0.2
Exports1
LanguageHaskell2010
LicenceBSD-2-Clause
SourceGroupoid.hs

classclass Semigroupoid k1 => Groupoid (k1 :: k -> k -> Type) 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

Methods

inv :: k1 a b -> k1 b a

Instances5Groupoid

Groupoid CoercionDefined in semigroupoids-6.0.2 · Data.Groupoid
Groupoid (:~:)Defined in semigroupoids-6.0.2 · Data.Groupoid
Groupoid (:~~:)Defined in semigroupoids-6.0.2 · Data.Groupoid
Semigroupoid k2 => Groupoid (Iso k2)Defined in semigroupoids-6.0.2 · Data.Isomorphism
Groupoid k2 => Groupoid (Dual k2)Defined in semigroupoids-6.0.2 · Data.Groupoid