Data.Set API

Iavor Diatchki iavor.diatchki at gmail.com
Mon Nov 21 16:28:40 EST 2005


Hello,
I just noticed that the type of Data.Set.map is
(Ord a, Ord b) => (a -> b) -> Set a -> Set b
Is the 'Ord a' constraint really neccessary?
It did not use to be there in the old implementation.
-Iavor


More information about the Libraries mailing list