avoid `mappend` in monoid laws, because it doesn't work with haddock

[ghc-base.git] / Data / Monoid.hs

diff --git a/Data/Monoid.hs b/Data/Monoid.hs
index 65e3bb7..3eba6bb 100644 (file)
--- a/Data/Monoid.hs
+++ b/Data/Monoid.hs
@@ -42,11 +42,11 @@ import Test.QuickCheck
 -- | The class of monoids (types with an associative binary operation that
 -- has an identity).  Instances should satisfy the following laws:
 --
---  * @mempty `mappend` x = x@
+--  * @mappend mempty x = x@
 --
---  * @x `mappend` mempty = x@
+--  * @mappend x mempty = x@
 --
---  * @x `mappend` (y `mappend` z) = (x `mappend` y) `mappend` z@
+--  * @mappend x (mappend y z) = mappend (mappend x y) z@
 --
 --  * @mconcat = 'foldr' mappend mempty@
 --