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 | |
Commutative Euclidean | |
(Multiplicative (Complex r), TriviallyInvolutive r, Rng r) => Commutative (Complex r) | |
(Multiplicative (Dual r), TriviallyInvolutive r, Rng r) => Commutative (Dual r) | |
(Multiplicative (Hyper' k), Commutative k, Semiring k) => Commutative (Hyper' k) | |
(Multiplicative (Hyper k), Commutative k, Semiring k) => Commutative (Hyper k) | |
(Multiplicative (Dual' r), TriviallyInvolutive r, Rng r) => Commutative (Dual' r) | |
Multiplicative (BasisCoblade m) => Commutative (BasisCoblade m) | |
(Multiplicative (Trig k), Commutative k, Rng k) => Commutative (Trig k) | |
(Multiplicative (Exp r), Abelian r) => Commutative (Exp r) | |
(Multiplicative (End r), Abelian r, Commutative r) => Commutative (End r) | |
(Multiplicative (Opposite r), Commutative r) => Commutative (Opposite r) | |
(Multiplicative (RngRing r), Commutative r, Rng r) => Commutative (RngRing r) | |
(Multiplicative (ZeroRng r), Monoidal r) => Commutative (ZeroRng r) | |
(Multiplicative (a -> r), CommutativeAlgebra r a) => Commutative (a -> r) | |
(Multiplicative (a, b), Commutative a, Commutative b) => Commutative (a, b) | |
(Multiplicative (:->: a r), HasTrie a, CommutativeAlgebra r a) => Commutative (:->: a r) | |
(Multiplicative (Covector r m), Commutative m, Coalgebra r m) => Commutative (Covector r m) | |
(Multiplicative (a, b, c), Commutative a, Commutative b, Commutative c) => Commutative (a, b, c) | |
(Multiplicative (Map r b m), Commutative m, Coalgebra r m) => Commutative (Map r b m) | |
(Multiplicative (a, b, c, d), Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d) | |
(Multiplicative (a, b, c, d, e), Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e) | |