Algebra.Structures.Group

Documentation

class Group a where

Methods

(<+>) :: a -> a -> a

zero :: a

neg :: a -> a

Instances

Ring a => Group a

(Group a, Group b) => Group (a, b)

Pairs of groups:

propAssoc :: (Group a, Eq a) => a -> a -> a -> Bool

propId :: (Group a, Eq a) => a -> Bool

propInv :: (Group a, Eq a) => a -> Bool

propGroup :: (Group a, Eq a) => a -> a -> a -> Property

class Group a => AbelianGroup a

Abelian groups:

Instances

(Group a, Ring a) => AbelianGroup a

propComm :: (AbelianGroup a, Eq a) => a -> a -> Bool

propAbelianGroup :: (AbelianGroup a, Eq a) => a -> a -> a -> Property

sumGroup :: AbelianGroup a => [a] -> a