Safe Haskell	Safe
Language	Haskell2010

Pandora.Pattern.Object.Group

Synopsis

class Monoid a => Group a where
- inverse :: a -> a

Documentation

class Monoid a => Group a where Source #

When providing a new instance, you should ensure it satisfies the two laws:
* Right absorption: x <> inverse x ≡ unit
* Left absorption: inverse x <> x ≡ unit

Methods

inverse :: a -> a Source #

Instances

Group a => Group (Identity a) Source #
Instance details Defined in Pandora.Paradigm.Basis.Identity Methods inverse :: Identity a -> Identity a Source #