diff options
| author | Chris Martin <ch.martin@gmail.com> | 2017-03-13 15:18:33 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-13 15:18:38 -0400 |
| commit | 72ab738caf7539b12c88b7b0b23096d31cc0ab0f (patch) | |
| tree | 13313c0d35a9413d7458e4e3a75f72a68e79d8a0 | |
| parent | e61b4a4169da17cd7b77f9dc09e3627eff1ff559 (diff) | |
| download | haskell-72ab738caf7539b12c88b7b0b23096d31cc0ab0f.tar.gz | |
Maybe Monoid doc: "is no semigroup" -> "used to be no semigroup"
Reviewers: austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie
Differential Revision: https://phabricator.haskell.org/D3312
| -rw-r--r-- | libraries/base/GHC/Base.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/base/GHC/Base.hs b/libraries/base/GHC/Base.hs index 8548da68b1..3c3dbd3c7b 100644 --- a/libraries/base/GHC/Base.hs +++ b/libraries/base/GHC/Base.hs @@ -317,8 +317,8 @@ instance Monoid Ordering where -- <http://en.wikipedia.org/wiki/Monoid>: \"Any semigroup @S@ may be -- turned into a monoid simply by adjoining an element @e@ not in @S@ -- and defining @e*e = e@ and @e*s = s = s*e@ for all @s ∈ S@.\" Since --- there is no \"Semigroup\" typeclass providing just 'mappend', we --- use 'Monoid' instead. +-- there used to be no \"Semigroup\" typeclass providing just 'mappend', +-- we use 'Monoid' instead. -- -- @since 2.01 instance Monoid a => Monoid (Maybe a) where |