[Haskell-cafe] Fwd: extending Do notation
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