[Haskell-cafe] Choosing a type-class instance based on the context

Cristiano Paris frodo at theshire.org
Thu Jan 6 01:15:56 CET 2011


On Wed, Jan 5, 2011 at 20:35, Stephen Tetley <stephen.tetley at gmail.com> wrote:
> Though its quite different to AdvancedOverlap, Conal Elliott has a
> method of answering the title of your post - "Choosing a type-class
> instance based on the context".
>
> See the CxMonoid (context monoid) in Section 3. Flexible Layout of the
> paper Applicative Data-Driven Computation.
>
> http://conal.net/papers/data-driven/paper.pdf

Thank you Stephen. I'll read it and come back to this ml.

Regards,

-- 
Cristiano

GPG Key: 4096R/C17E53C6 2010-02-22
Fingerprint = 4575 4FB5 DC8E 7641 D3D8  8EBE DF59 B4E9 C17E 53C6



More information about the Haskell-Cafe mailing list