avoid `mappend` in monoid laws, because it doesn't work with haddock
authorRoss Paterson <ross@soi.city.ac.uk>
Sun, 18 Jan 2009 01:15:08 +0000 (01:15 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Sun, 18 Jan 2009 01:15:08 +0000 (01:15 +0000)
Data/Monoid.hs

index 65e3bb7..3eba6bb 100644 (file)
@@ -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@
 --