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) | |