
17 Aug
2013
17 Aug
'13
7:49 p.m.
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