[Haskell-cafe] Building a monoid, continuation-passing style

[Edward Kmett]

For reference Oleg's indexed continuation monad is packaged on hackage in
category-extras as:

http://hackage.haskell.org/packages/archive/category-extras/latest/doc/html/Control-Monad-Indexed-Cont.html
-Edward Kmett
On Wed, Sep 16, 2009 at 7:07 AM, Martijn van Steenbergen <
martijn at van.steenbergen.nl> wrote:

> David Menendez wrote:
>
>> I'm reminded of the parameterized monad of continuations that Oleg
>> mentioned a few years back.
>>
>> <http://www.haskell.org/pipermail/haskell/2007-December/020034.html>
>>
>
> This is all very interesting, thank you both for the pointers!
>
> I was trying to get rid of the newtypes but couldn't think of how to do
> that. I can't believe the solution now is as simple as (m -> r) -> a.
> There's hardly any code left, now.
>
> The fact that it all exists already is nice on the one hand and sad on the
> other. :-)
>
> I will have to look into parametrized monads and parametrized applicatives.
>
> Thanks again,
>
> Martijn.
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090916/2447e714/attachment.html