diff options
Diffstat (limited to 'libraries')
| -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 cf9fd81c70..a9923681f4 100644 --- a/libraries/base/GHC/Base.hs +++ b/libraries/base/GHC/Base.hs @@ -519,7 +519,7 @@ class Functor f where -- -- * @'pure' = 'return'@ -- --- * @('<*>') = 'ap'@ +-- * @m1 '<*>' m2 = m1 '>>=' (\x1 -> m2 '>>=' (\x2 -> 'return' (x1 x2)))@ -- -- * @('*>') = ('>>')@ -- @@ -639,7 +639,7 @@ Instances of 'Monad' should satisfy the following: Furthermore, the 'Monad' and 'Applicative' operations should relate as follows: * @'pure' = 'return'@ -* @('<*>') = 'ap'@ +* @m1 '<*>' m2 = m1 '>>=' (\x1 -> m2 '>>=' (\x2 -> 'return' (x1 x2)))@ The above laws imply: |