Hello,
I'm looking for practical examples of non-full functional dependencies and
would be grateful if anyone could show me some or point to applications
using them.
A non-full functional dependency is one involves only part of the
parameters of a type class. E.g.
class C a b c | a -> b
has a non-full functional dependency a -> b which does not involve c.
Thanks,
Tom
--
Tom Schrijvers
Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee
Belgium
tel: +32 16 327544
e-mail: [EMAIL PROTECTED]
url: http://www.cs.kuleuven.be/~toms/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
