Pandora.Pattern.Object.Group

Documentation

class Quasiring a => Group a where

When providing a new instance, you should ensure it satisfies the two laws:
* Right absorption: x * invert x ≡ zero
* Left absorption: invert x * x ≡ zero

Methods

invert :: a -> a

Instances

Group Boolean

Defined in Pandora.Pattern.Object.Setoid

Methods

invert :: Boolean -> Boolean

Group a => Group (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

invert :: Identity a -> Identity a

(Group a, Group b) => Group (Product a b)

Defined in Pandora.Paradigm.Basis.Product

Methods

invert :: Product a b -> Product a b

Group a => Group (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

invert :: Tagged tag a -> Tagged tag a

Group a => Group (Constant a b)

Defined in Pandora.Paradigm.Basis.Constant

Methods

invert :: Constant a b -> Constant a b