[Haskell-cafe] Implicit newtype unwrapping

Joachim Breitner mail at joachim-breitner.de
Thu Dec 3 06:28:55 EST 2009


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.


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

More information about the Haskell-Cafe mailing list