Do you mean GeneralizedNewtypeDeriving?
Отправлено с iPad
17.08.2013, в 23:49, Joachim Breitner
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@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users