Commit 1a9705c3 authored by Vaibhav Sagar's avatar Vaibhav Sagar Committed by Ben Gamari

Escape lambda.

Test Plan: View updated documentation?

Reviewers: austin, hvr, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2583

GHC Trac Issues: #12672
parent 85e81a85
......@@ -469,7 +469,7 @@ Instances of 'Monad' should satisfy the following laws:
* @'return' a '>>=' k = k a@
* @m '>>=' 'return' = m@
* @m '>>=' (\x -> k x '>>=' h) = (m '>>=' k) '>>=' h@
* @m '>>=' (\\x -> k x '>>=' h) = (m '>>=' k) '>>=' h@
Furthermore, the 'Monad' and 'Applicative' operations should relate as follows:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment