[Haskell-cafe] Synthetic values?
frodo at theshire.org
Wed Feb 9 21:34:57 CET 2011
On Wed, Feb 9, 2011 at 20:14, Alexey Khudyakov
<alexey.skladnoy at gmail.com> wrote:
>> instance PRead (WRead ::: b)
>> instance PRead b => PRead (a ::: b)
>> instance PWrite (WWrite ::: b)
>> instance PWrite b => PWrite (a ::: b)
Brilliant! I was thinking to something like this but as a replacement
of the accumulation mechanism in the Monad. I didn't think of it in
the permission checking part.
Thanks a lot. Now I need to consolidate better my code for
incorporating yours and other people contributions.
GPG Key: 4096R/C17E53C6 2010-02-22
Fingerprint = 4575 4FB5 DC8E 7641 D3D8 8EBE DF59 B4E9 C17E 53C6
More information about the Haskell-Cafe