On Wed, Apr 16, 2008 at 04:30:27PM +0200, Tom Schrijvers wrote:
> 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.
hackageDB has a substantial sample of code these days, which is handy
for questions like this. There are examples of non-full FDs in the
following packages:
ArrayRef-0.1.2
arrows-0.4
OpenAFP-1.0
parsec-3.0.0
StrategyLib-4.0.0.0
Yampa-0.9.2.1
However for most of these there are indirect dependencies. The only
exceptions I can find are those in ArrayRef, parsec and StrategyLib.
On Wed, Apr 16, 2008 at 05:06:07PM +0200, Martin Sulzmann wrote:
> We're also looking for (practical) examples of "multi-range" functional
> dependencies
>
> class C a b c | c -> a b
Look in
BerkeleyDB-0.3
CC-delcont-0.2
collections-0.3
HsJudy-0.2
yi-0.3
yi-gtk-0.2
yi-vty-0.2
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
