headers
Martin Hofmann | 15 Jan 2009 08:34
Picon
Favicon

Finding instances for a data type

I am also interested in such a feature of TH. It is not one of my
burning issues, but reading this post I thought one could pool together.

> I'd like to use TH to find what classes a type is an instance of, or
> alternatively all known instances of a class. 

In particular I am additionally interested in accessing the class
functions via an instance of that particular class.

> As far as I can tell this is not yet possible. 

This confirms my conjecture, too.

> How hard would it be to implement? I'd like to help out,
> but it would be nice to have some idea of where to start. Any tips?

Unfortunately, I don't have a clue either.

Greetings,

Martin
Permalink | Reply |
headers
Alfonso Acosta | 15 Jan 2009 08:36
Picon

Re: Finding instances for a data type

On Thu, Jan 15, 2009 at 8:34 AM, Martin Hofmann
<martin.hofmann <at> uni-bamberg.de> wrote:
>> How hard would it be to implement? I'd like to help out,
>> but it would be nice to have some idea of where to start. Any tips?

I would recommend adding yourself to the CC list of
http://hackage.haskell.org/trac/ghc/ticket/1835
Permalink | Reply |
headers
Simon Peyton-Jones | 15 Jan 2009 12:43
Picon
Favicon
Gravatar

RE: Finding instances for a data type

Right, that's the one.  Any volunteers?

| -----Original Message-----
| From: template-haskell-bounces <at> haskell.org [mailto:template-haskell-bounces <at> haskell.org] On
| Behalf Of Alfonso Acosta
| Sent: 15 January 2009 07:37
| To: martin.hofmann <at> uni-bamberg.de
| Cc: template-haskell <at> haskell.org
| Subject: Re: [Template-haskell] Finding instances for a data type
|
| On Thu, Jan 15, 2009 at 8:34 AM, Martin Hofmann
| <martin.hofmann <at> uni-bamberg.de> wrote:
| >> How hard would it be to implement? I'd like to help out,
| >> but it would be nice to have some idea of where to start. Any tips?
|
| I would recommend adding yourself to the CC list of
| http://hackage.haskell.org/trac/ghc/ticket/1835
Permalink | Reply |

Gmane