17 Aug
2005
17 Aug
'05
10:45 a.m.
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