Private classes

[migmit]

Do you mean GeneralizedNewtypeDeriving?

Отправлено с iPad

17.08.2013, в 23:49, Joachim Breitner <mail at joachim-breitner.de> написал(а):

> Hi,
> 
> Am Samstag, den 17.08.2013, 20:34 +0200 schrieb Bas van Dijk:
>> I used the following in the past:
>> 
>> module M (PublicClass(..)) where
>> 
>> class HiddenClass a
>> 
>> class HiddenClass a => PublicClass a where
>>  ...
> 
>>  ...
>> 
>> Now users of M can't declare instances of PublicClass because they
>> don't have its superclass HiddenClass in scope.
> 
> nice idea! Unfortunately not quite what I need; I still want the user to
> be able to use standalone deriving instances for the class.
> 
> Greetings,
> Joachim
> 
> -- 
> Joachim “nomeata” Breitner
>  mail at joachim-breitner.de • http://www.joachim-breitner.de/
>  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0x4743206C
>  Debian Developer: nomeata at debian.org
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users