[Haskell-cafe] looking for examples of non-full Functional Dependencies

Tom Schrijvers Tom.Schrijvers at cs.kuleuven.be
Wed Apr 16 10:30:27 EDT 2008


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.



Tom Schrijvers

Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee

tel: +32 16 327544
e-mail: tom.schrijvers at cs.kuleuven.be
url: http://www.cs.kuleuven.be/~toms/

More information about the Haskell-Cafe mailing list