 | monoids-0.1.33: 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) => RAlgebra r m |
| class (Module r m, Multiplicative m) => RAlgebra r m | Source |
Algebra over a (near) (semi) ring. r *. (x * y) = (r *. x) * y = x * (r *. y) (x * y) .* r = y * (x .* r) = (y .* r) * x |
 Instances |