Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Monoid a => Group a where Source #
When providing a new instance, you should ensure it satisfies the two laws: * Right absorption: x <> inverse x ≡ unit * Left absorption: inverse x <> x ≡ unit