Safe Haskell	None
Language	Haskell2010

NumHask.Algebra.Module

Description

Algebra for Modules

Synopsis

class Additive a => AdditiveAction m a | m -> a where
- (.+) :: a -> m -> m
- (+.) :: m -> a -> m
class Subtractive a => SubtractiveAction m a | m -> a where
- (.-) :: a -> m -> m
- (-.) :: m -> a -> m
class Multiplicative a => MultiplicativeAction m a | m -> a where
- (.*) :: a -> m -> m
- (*.) :: m -> a -> m
class Divisive a => DivisiveAction m a | m -> a where
- (./) :: a -> m -> m
- (/.) :: m -> a -> m
class (Distributive a, MultiplicativeAction m a) => Module m a

Documentation

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

Additive Action

Methods

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

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

Subtractive Action

Methods

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

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

Multiplicative Action

Methods

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

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

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

Divisive Action

Methods

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

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

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