Pandora.Pattern.Object.Group

Documentation

class Monoid a => Group a where

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

Minimal complete definition

invert

Methods

invert :: a -> a

(-) :: a -> a -> a infixl 9

Instances

Group a => Group (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

invert :: Exactly a -> Exactly a

(-) :: Exactly a -> Exactly a -> Exactly a

(Group s, Group a) => Group (s :*: a)

Defined in Pandora.Paradigm.Algebraic.Product

Methods

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

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

Group a => Group (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

invert :: Vector a a -> Vector a a

(-) :: Vector a a -> Vector a a -> Vector a a

(Group a, Group r, Group (a :*: r), Group (Vector r a)) => Group (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

invert :: Vector (a :*: r) a -> Vector (a :*: r) a

(-) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Vector (a :*: r) a

Group a => Group (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

invert :: Constant a b -> Constant a b

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

Group a => Group (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

invert :: Tagged tag a -> Tagged tag a

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