18 Aug
2007
18 Aug
'07
8:36 a.m.
Adrian Hey wrote:
It seems to me that there's no getting away from arbitraryness. Say the GT class abandoned the Ord constraint and just provided..
assocs :: map a -> [(k,a)]
which returned the list of associations in some *arbitrary* (unspecified but still deterministic) order of keys. Is that any better?
Yes, given that you don't mind the arbitrary order :) Like for printing the list. The point is just that the general finite map class shouldn't depend on an ordering and hence not provide toAscList :: Ord k => map k a -> [(k,a)] I'd use an extra class with Map as superclass for that. Regards, apfelmus