functional dependencies

29 Jun 2002


      Can I write dependencies like this:
...
class C x y z | x -> (y, z) 
class D x y z | (x, y) -> z
in hugs? in ghc? The ghc doc refers to  
Mark Jones: "Type Classes with Functional Dependencies",
http://www.cse.ogi.edu/~mpj/pubs/fundeps.html
where this seems to be allowed (section 4, page 9)

Especially, I would need class D above. 
-- 
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --