Numeric.Multiplication.Commutative
- class Multiplicative r => Commutative r
Documentation
class Multiplicative r => Commutative r Source
A commutative multiplicative semigroup
Instances
| 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) |