diff options
Diffstat (limited to 'libraries/base')
| -rw-r--r-- | libraries/base/GHC/Base.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libraries/base/GHC/Base.hs b/libraries/base/GHC/Base.hs index 25596e0d6c..44085a2efa 100644 --- a/libraries/base/GHC/Base.hs +++ b/libraries/base/GHC/Base.hs @@ -444,10 +444,10 @@ Furthermore, the 'Monad' and 'Applicative' operations should relate as follows: * @'pure' = 'return'@ * @('<*>') = 'ap'@ -The above laws imply that +The above laws imply: -* @'fmap' f xs = xs '>>=' 'return' . f@, -* @('>>') = ('*>') +* @'fmap' f xs = xs '>>=' 'return' . f@ +* @('>>') = ('*>')@ and that 'pure' and ('<*>') satisfy the applicative functor laws. |