15 Apr
2004
15 Apr
'04
4:53 a.m.
On Fri, 2 Apr 2004, Dylan Thurston wrote:
I am now more convinced than before that the 'Eq' and 'Ord' constraints on your classes don't belong;
The 'Eq' constraint is gone now. And I think the 'Ord' is no problem, since Sets/Maps need 'Eq' anyway.
if I want to implement the ridiculously slow list-based implementation of Sets currently in the Prelude, which only needs equality and nothing else, why can't I?
You could, if I the Abstract Collections had a class of Unordered Sets, but I left that one out, because it is of little use. (Really long rationale is in the documentation.) Robert