Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Monoid a => Group a where Source #
When providing a new instance, you should ensure it satisfies: * Right absorption: x + invert x ≡ zero * Left absorption: invert x + x ≡ zero
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
class Monoid a => Group a where Source #
When providing a new instance, you should ensure it satisfies: * Right absorption: x + invert x ≡ zero * Left absorption: invert x + x ≡ zero