[Haskell-cafe] RebindableSyntax on individual do blocks

Mark Roberts markandrusroberts at gmail.com
Mon Jun 22 19:19:52 UTC 2015


Ah, I missed that bit. Thank you!
Mark

On Mon, Jun 22, 2015 at 12:18 PM, Erik Hesselink <hesselink at gmail.com>
wrote:

> Hi Mark,
>
> RebindableSyntax uses whatever (>>), (>>=) and return are in scope. So
> if you bind them in a `let` or `where`, you should be able to use
> different ones for different do blocks.
>
> Erik
>
> On Mon, Jun 22, 2015 at 8:39 PM, Mark Roberts
> <markandrusroberts at gmail.com> wrote:
> > I have a program that uses both monads and indexed monads, and I'd like
> to
> > use do-notation for each in the same source file. Is there a way to
> rebind
> > syntax for only the do blocks that make use of an indexed monad?
> >
> > Thanks,
> > Mark
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150622/5b78f8f8/attachment.html>


More information about the Haskell-Cafe mailing list