3 Dec
2009
3 Dec
'09
1:03 p.m.
On Thu, Dec 3, 2009 at 6:28 AM, Joachim Breitner
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