pandora-0.1.2: A box of patterns and paradigms
Pandora.Pattern.Object.Group
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 #
Defined in Pandora.Paradigm.Basis.Identity
inverse :: Identity a -> Identity a Source #
Defined in Pandora.Paradigm.Basis.Product
inverse :: Product a b -> Product a b Source #