Sorry, I wasn't clear. What I want is somehow to find out whether the type under consideration is declared using data or newtype. Is it possible? Roman * José Pedro Magalhães [2013-01-27 20:29:52+0000]

Hi Roman,

Yes, the automatic derivation of Generic instances does not see through newtypes.

Cheers, Pedro

On Sun, Jan 27, 2013 at 8:17 PM, Roman Cheplyaka wrote:

...

Hi,

Is it possible to generate different instances for newtypes and datatypes using GHC.Generics?

Roman

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Sure. Should it go to the GHC bug tracker? Roman * José Pedro Magalhães [2013-01-27 20:36:54+0000]

Ah, no. But that would be easy to add to the Datatype classhttp://hackage.haskell.org/packages/archive/base/4.6.0.0/doc/html/GHC-Generi..., I think. Perhaps open a feature request?

Cheers, Pedro

On Sun, Jan 27, 2013 at 8:34 PM, Roman Cheplyaka wrote:

...

Sorry, I wasn't clear. What I want is somehow to find out whether the type under consideration is declared using data or newtype.

Is it possible?

Roman

* José Pedro Magalhães [2013-01-27 20:29:52+0000]

...

Hi Roman,

Yes, the automatic derivation of Generic instances does not see through newtypes.

Cheers, Pedro

On Sun, Jan 27, 2013 at 8:17 PM, Roman Cheplyaka wrote:

...

Hi,

Is it possible to generate different instances for newtypes and datatypes using GHC.Generics?

Roman

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe