NumHask.Algebra.Abstract.Module

Algebra for Modules

Documentation

class (Distributive (Actor h), MultiplicativeAction h) => Module h

A Module over r a is a (Ring a), an abelian (Group r a) and a scalar multiplier (.*, *.) with the laws:

a .* one == a
(a + b) .* c == (a .* c) + (b .* c)
c *. (a + b) == (c *. a) + (c *. b)
a .* zero == zero
a .* b == b *. a