30 Aug
2007
30 Aug
'07
7:40 a.m.
On Wed, 29 Aug 2007, Thomas Schilling wrote:
On 29 aug 2007, at 22.02, Henning Thielemann wrote:
Since the documentation doesn't tell which elements are actually compared it seems to assume that the comparison is commutative and transitive. Maybe this point should be made clearer.
I'd say this should be an implicit requirement for Eq a, just like Monad a assumes the monad laws (or strongly suggests). But I agree that could be made clearer.
'groupBy' (not 'group') has no Eq constraint.