An Addition Abelian Semigroup
class Additive r => Abelian r Source
an additive abelian semigroup
a + b = b + a
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) |