Data.Group

Documentation

class Eq a => Group a where

Group is monoid with invertibility But for our purposes we prefer two functions: add and sub.

Minimal complete definition

add, sub, zero

Methods

add :: a -> a -> a

sub :: a -> a -> a

zero :: a

Instances

Group Structured

Methods

add :: Structured -> Structured -> Structured

sub :: Structured -> Structured -> Structured

zero :: Structured

Group Database

Methods

add :: Database -> Database -> Database

sub :: Database -> Database -> Database

zero :: Database

Eq a => Group [a]

Methods

add :: [a] -> [a] -> [a]

sub :: [a] -> [a] -> [a]

zero :: [a]

Ord a => Group (Set a)

Methods

add :: Set a -> Set a -> Set a

sub :: Set a -> Set a -> Set a

zero :: Set a

(Ord k, Group a) => Group (Map k a)

Methods

add :: Map k a -> Map k a -> Map k a

sub :: Map k a -> Map k a -> Map k a

zero :: Map k a

groupSum :: Group a => [a] -> a

Sums list