[Haskell-cafe] Choosing a type-class instance based on the context
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.
Thank you Stephen. I'll read it and come back to this ml.
GPG Key: 4096R/C17E53C6 2010-02-22
Fingerprint = 4575 4FB5 DC8E 7641 D3D8 8EBE DF59 B4E9 C17E 53C6
More information about the Haskell-Cafe