NumHask.Algebra.Module

Algebra for Modules

Documentation

class Additive a => AdditiveAction m a | m -> a where

Additive Action

Methods

(.+) :: a -> m -> m infixl 6

(+.) :: m -> a -> m infixl 6

class Subtractive a => SubtractiveAction m a | m -> a where

Subtractive Action

Methods

(.-) :: a -> m -> m infixl 6

(-.) :: m -> a -> m infixl 6

class Multiplicative a => MultiplicativeAction m a | m -> a where

Multiplicative Action

Methods

(.*) :: a -> m -> m infixl 7

(*.) :: m -> a -> m infixl 7

class Divisive a => DivisiveAction m a | m -> a where

Divisive Action

Methods

(./) :: a -> m -> m infixl 7

(/.) :: m -> a -> m infixl 7

class (Distributive a, MultiplicativeAction m a) => Module m a

A Module

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