pandora-0.5.5: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Groupoid

Synopsis

Documentation

class Category m => Groupoid m where Source #

When providing a new instance, you should ensure it satisfies:
* Inversion absence: inversion . inversion ≡ identity

Methods

inversion :: m a b -> m b a Source #