[Haskell-cafe] typeclass question
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...
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