[Haskell-cafe] Implicit newtype unwrapping

[David Menendez]

On Thu, Dec 3, 2009 at 6:28 AM, Joachim Breitner
<mail at joachim-breitner.de> 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>