[Haskell-cafe] RebindableSyntax on individual do blocks

Erik Hesselink hesselink at gmail.com
Mon Jun 22 19:18:10 UTC 2015


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
>


More information about the Haskell-Cafe mailing list