Data.Group

Documentation

class Monoid a => Group a where

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

a << negate a == mempty

negate a << a == mempty

Minimal complete definition

(negate | (<<))

Methods

negate :: a -> a

(<<) :: a -> a -> a infixl 6