On Thu, Dec 3, 2009 at 6:28 AM, Joachim Breitner <[email protected]> wrote: > Hi, > > Am Donnerstag, den 03.12.2009, 11:13 +0000 schrieb Matthew Pocock: >> Perhaps what you are looking for is a more powerful "defining" >> semantics? >> >> newtype MyFoo = Foo defining (Foo(..)) -- all class instances that Foo >> has are delegated through from MyFoo > > it goes into the right direction, but I’d also like to have this also > capeable to derive single functions (giving them a new name), and not > only class instances.
Something like the restricted type synonym extension in Hugs? <http://cvs.haskell.org/Hugs/pages/users_guide/restricted-synonyms.html> -- Dave Menendez <[email protected]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
