Functional Dependencies

Dirk Reckmann reckmann at
Wed Aug 17 10:45:20 EDT 2005

Am Dienstag, 16. August 2005 21:17 schrieb Keean Schupke:
> Attached are 3 Haskell modules used for type level programming. These

Thank you!

> The general 'trick' if you will is to imlement each funtion as a type
> class, pattern matching the
> types to instances in a type-level analogue of the value level function.

Having a value level function at all seems to be the trick I had to learn 
first. ;-)


More information about the Glasgow-haskell-users mailing list