diff options
| author | Łukasz Gołębiewski <lukasz.golebiewski@gmail.com> | 2021-03-22 20:08:03 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-04-05 20:42:17 -0400 |
| commit | 939fa61c0036b8181772743e5bb157b45551c88b (patch) | |
| tree | bf04f45d091c899c115b890800924bae653744c9 | |
| parent | 33b886453d8dbf030998d77aa970c90a27fde19f (diff) | |
| download | haskell-939fa61c0036b8181772743e5bb157b45551c88b.tar.gz | |
Fixes Monad's associativity docs
It is incorrectly displayed in hackage as:
`m1 <*> m2 = m1 >>= (x1 -> m2 >>= (x2 -> return (x1 x2)))`
which isn't correct Haskell
| -rw-r--r-- | libraries/base/GHC/Base.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/base/GHC/Base.hs b/libraries/base/GHC/Base.hs index 7d5023650d..f4fd326fb2 100644 --- a/libraries/base/GHC/Base.hs +++ b/libraries/base/GHC/Base.hs @@ -818,7 +818,7 @@ Instances of 'Monad' should satisfy the following: Furthermore, the 'Monad' and 'Applicative' operations should relate as follows: * @'pure' = 'return'@ -* @m1 '<*>' m2 = m1 '>>=' (\x1 -> m2 '>>=' (\x2 -> 'return' (x1 x2)))@ +* @m1 '<*>' m2 = m1 '>>=' (\\x1 -> m2 '>>=' (\\x2 -> 'return' (x1 x2)))@ The above laws imply: |