Hi.

On 23 August 2013 13:29, Nicolas Trangez <[email protected]> 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.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to