[Haskell-cafe] Records and associated types

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Sun Dec 21 19:45:38 EST 2008


Am Donnerstag, 11. Dezember 2008 22:04 schrieb Taru Karttunen:
> Hello
>
> What is the correct way to transform code that uses record selection
> with TypeEq (like HList) to associated types?

Hello Taru,

you might want to look at

<http://www.mail-archive.com/glasgow-haskell-users%40haskell.org/msg12788.html>

and its follow-ups.

Best wishes,
Wolfgang


More information about the Haskell-Cafe mailing list