Data.Groupoid

Synopsis

class Groupoid

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

classclass Semigroupoid k => Groupoid (k :: k1 -> k1 -> 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 :: k a b -> k 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 k => Groupoid (Iso k)Defined in semigroupoids-6.0.2 · Data.Isomorphism
Groupoid k => Groupoid (Dual k)Defined in semigroupoids-6.0.2 · Data.Groupoid