rings-0.0.2: Rings, semirings, and dioids.

Safe HaskellSafe
LanguageHaskell2010

Data.Group

Synopsis

Documentation

class Monoid a => Group a where Source #

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 Source #

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