Control.Object.Group

Documentation

class Monoid a => Group a where

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

Minimal complete definition

inverse

Methods

inverse :: a -> a