[Haskell-cafe] typeclass question

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Thu Sep 11 12:34:06 EDT 2008

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

> For backwards-compatibility reasons, 


> 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"

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

More information about the Haskell-Cafe mailing list