Pandora.Pattern.Groupoid
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 #