Functional Dependencies
Dirk Reckmann
reckmann at cs.tu-berlin.de
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. ;-)
Ciao,
Dirk
More information about the Glasgow-haskell-users
mailing list