Data.* collections maintenance
Christian Maeder
maeder at tzi.de
Fri Oct 21 06:41:39 EDT 2005
Jean-Philippe Bernardy wrote:
> As some demand seem to exist for the job, I volunteer to take
> over/resume maintenance of Data.Map and friends. In the hope that will
> alleviate the heavy load on the compiler maintainers :)
Thank you!
> Pending issues include :
> - Better integration of Map and Set (proposed by John Meacham)
> - More performance tests and QuickCheck properties (Christian Maeder)
With respect to biasing I'ld like the following property between Sets
and Maps.
data Pair a b = a := b
instance Eq/Ord a => Eq/Ord (Pair a b) where
(a1 := _) <= (a2 := _) = a1 <= a2
and then let "Set (Pair a b)" correspond to "Map a b" for insert, union,
intersection, etc.
Christian
More information about the Libraries
mailing list