Data.Group

Documentation

class Monoid m => Group m where

A Group is a Monoid plus a function, invert, such that:

a <> invert a == mempty invert a <> a == mempty

Methods

invert :: m -> m

Instances

Group ()

Group a => Group (Dual a)

Num a => Group (Sum a)

Fractional a => Group (Product a)

Group b => Group (a -> b)

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

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

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

(Group a, Group b, Group c, Group d, Group e) => Group (a, b, c, d, e)