rings-0.0.1: basic algebra
Data.Group
class Monoid a => Group a where Source #
A Group is a Monoid plus a function, negate, such that:
Group
Monoid
negate
a << negate a == mempty
negate a << a == mempty
Minimal complete definition
(negate | (<<))
Methods
negate :: a -> a Source #
(<<) :: a -> a -> a infixl 6 Source #