From 1c55c7cd9f9a3f48aed3740def88dec3a33ae920 Mon Sep 17 00:00:00 2001 From: Ross Paterson Date: Sun, 18 Jan 2009 01:15:08 +0000 Subject: [PATCH] avoid `mappend` in monoid laws, because it doesn't work with haddock --- Data/Monoid.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Data/Monoid.hs b/Data/Monoid.hs index 65e3bb7..3eba6bb 100644 --- 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@ -- -- 1.7.10.4