[Haskell-cafe] Fwd: extending Do notation

Evan Laforge qdunkan at gmail.com
Tue May 20 19:20:34 UTC 2014

On Tue, May 20, 2014 at 12:09 PM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:
> On Wed, May 21, 2014 at 1:38 AM, Evan Laforge <qdunkan at gmail.com> wrote:
>> So perhaps the way forward is to find the old proposal (or make a new
>> one, if it's gone), and see if Idris's solution applies to haskell.
> Is Idris's solution written up anywhere? Mind sharing the link?

It's briefly documented in the tutorial, see do notation:


Looks like the key bit is "will lift expr as high as possible within
the current scope".

More information about the Haskell-Cafe mailing list