On Wed, Feb 9, 2011 at 20:14, Alexey Khudyakov <alexey.sklad...@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. Bye, -- Cristiano GPG Key: 4096R/C17E53C6 2010-02-22 Fingerprint = 4575 4FB5 DC8E 7641 D3D8 8EBE DF59 B4E9 C17E 53C6 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe