pandora-0.3.8: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Object.Group

Synopsis

Documentation

class Monoid a => Group a where Source #

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

Minimal complete definition

invert

Methods

invert :: a -> a Source #

(-) :: a -> a -> a infixl 6 Source #

Instances

Instances details
Group a => Group (Identity a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Identity

(Group s, Group a) => Group (s :*: a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

invert :: (s :*: a) -> s :*: a Source #

(-) :: (s :*: a) -> (s :*: a) -> s :*: a Source #

Group a => Group (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

invert :: Tagged tag a -> Tagged tag a Source #

(-) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #

Group a => Group (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

invert :: Constant a b -> Constant a b Source #

(-) :: Constant a b -> Constant a b -> Constant a b Source #