[Haskell-cafe] Implicit newtype unwrapping

David Menendez dave at zednenem.com
Thu Dec 3 13:03:38 EST 2009

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?


Dave Menendez <dave at zednenem.com>

More information about the Haskell-Cafe mailing list