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

On Wed, Jan 5, 2011 at 20:35, Stephen Tetley 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