These are chat archives for non/algebra

13th
Jan 2016
RĂ¼diger Klaehn
@rklaehn
Jan 13 2016 13:07
@larsrh are these your Ord[A] and Hash[A], or existing ones? Also, do you care about performance?
If you control Ord, Hash and Eq, and do not care much about performance, you could have Ord and Hash not extend from Eq, but just provide (prioritized) implicit conversions from Ord => Eq and Hash => Eq. But that would be a PITA.
RĂ¼diger Klaehn
@rklaehn
Jan 13 2016 13:21
Not that this is a good solution, but it is the only thing I can think of. I guess passing the implicit explicitly is not an option?