monoids-0.1.33: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Ring.Algebra
Synopsis
module Data.Ring.Module
class (Module r m, Multiplicative m) => RAlgebra r m
Documentation
module Data.Ring.Module
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
show/hide Instances
Produced by Haddock version 2.4.2