[Haskell-cafe] typeclass question

[Johannes Waldmann]

>> if support for this simple shape of dependencies ( ... | a -> b )  ...

> For backwards-compatibility reasons, 

Yes.

> or because you think they're better than type families?

Don't know (haven't used them).

Concrete example: I have  this "class Partial p i b | p i -> b"
http://dfa.imn.htwk-leipzig.de/cgi-bin/cvsweb/tool/src/Challenger/Partial.hs?rev=1.28

What would type families buy me here?

In my code, this class has tons of instances (I count 80).
How much would I need to change them? Could this be automated?

Thanks - J.W.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080911/3c55c1f7/signature.bin