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