summaryrefslogtreecommitdiff
path: root/libraries/base/GHC/Base.hs
diff options
context:
space:
mode:
Diffstat (limited to 'libraries/base/GHC/Base.hs')
-rw-r--r--libraries/base/GHC/Base.hs6
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.