- class Multiplicative r => Commutative r
Documentation
class Multiplicative r => Commutative r Source
A commutative multiplicative semigroup
Commutative Bool | |
Commutative Int | |
Commutative Int8 | |
Commutative Int16 | |
Commutative Int32 | |
Commutative Int64 | |
Commutative Integer | |
Commutative Word | |
Commutative Word8 | |
Commutative Word16 | |
Commutative Word32 | |
Commutative Word64 | |
Commutative () | |
Commutative Natural | |
Abelian r => Commutative (Exp r) | |
(Abelian r, Commutative r) => Commutative (End r) | |
AdditiveMonoid r => Commutative (ZeroRng r) | |
Commutative r => Commutative (Opposite r) | |
(Commutative r, Rng r) => Commutative (RngRing r) | |
(Commutative a, Commutative b) => Commutative (a, b) | |
(Commutative m, FreeCoalgebra r m) => Commutative (Linear r m) | |
(Commutative a, Commutative b, Commutative c) => Commutative (a, b, c) | |
(Commutative m, FreeCoalgebra r m) => Commutative (Map r b m) | |
(Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d) | |
(Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e) |