[Haskell-cafe] Yet Another Forkable Class

[Ozgur Akgun]

Hi.

On 23 August 2013 13:29, Nicolas Trangez <nicolas at incubaid.com> wrote:

> Did anyone ever consider using type-level literals (strings) to 'name'
> effects (or transformer layers when using monad stacks)?
>

Edwin Brady had this in his effects library in Idris.
http://www.idris-lang.org/documentation/effects/

Ozgur.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130824/44b51eac/attachment.htm>