morphisms-objects-0.1.3: Algebraic structures

Control.Object.Group

class Monoid a => Group a where Source #

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 Source #