 | monoids-0.1.32: Monoids, specialized containers and a general map/reduce framework | Source code | Contents | Index |
| Data.Ring.Algebra |
| module Data.Ring.Module |
| class (Module r m, Multiplicative m) => Algebra r m |
| class (Module r m, Multiplicative m) => Algebra r m | Source |
r *. (x * y) = (r *. x) * y = x * (r *. y) (x * y) .* r = y * (x .* r) = (y .* r) * x |
 Instances |