[Haskell-cafe] Implicit newtype unwrapping

[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.

Greetings,
Joachim

-- 
Joachim Breitner
  e-Mail: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata at joachim-breitner.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Dies ist ein digital signierter Nachrichtenteil
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20091203/4c828604/attachment.bin