Algebra.Structures.Module

Documentation

class (CommutativeRing r, AbelianGroup m) => Module r m where

Methods

(*>) :: r -> m -> m

Instances

AbelianGroup m => Module Z m

(<*) :: Module r m => m -> r -> m

propScalarMul :: (Module r m, Eq m) => r -> m -> m -> Bool

propScalarAdd :: (Module r m, Eq m) => r -> r -> m -> Bool

propScalarAssoc :: (Module r m, Eq m) => r -> r -> m -> Bool

propModule :: (Module r m, Eq m) => r -> r -> m -> m -> Property