Numeric.Addition.Abelian

An Addition Abelian Semigroup

class Additive r => Abelian r

an additive abelian semigroup

a + b = b + a

Instances

Abelian Bool

Abelian Int

Abelian Int8

Abelian Int16

Abelian Int32

Abelian Int64

Abelian Integer

Abelian Word

Abelian Word8

Abelian Word16

Abelian Word32

Abelian Word64

Abelian ()

Abelian Natural

Commutative r => Abelian (Log r)

Abelian r => Abelian (End r)

Abelian r => Abelian (ZeroRng r)

Abelian r => Abelian (Opposite r)

Abelian r => Abelian (RngRing r)

Abelian r => Abelian (e -> r)

(Abelian a, Abelian b) => Abelian (a, b)

Abelian s => Abelian (Linear s a)

Abelian s => Abelian (Antilinear s a)

(Abelian a, Abelian b, Abelian c) => Abelian (a, b, c)

Abelian s => Abelian (Map s b a)

(Abelian a, Abelian b, Abelian c, Abelian d) => Abelian (a, b, c, d)

(Abelian a, Abelian b, Abelian c, Abelian d, Abelian e) => Abelian (a, b, c, d, e)