Proposal: IntMap.differenceKeysSet for removing an IntSet of keys

Liyang HU at
Fri Jun 10 02:59:00 CEST 2011


Currently, IntMap.difference ma mb removes all the keys in mb from ma,
where the elements of the two IntMaps can be of different types; the
elements of mb are not used.

There is no efficient way to remove an IntSet of keys, however. These
patches adds the IntMap.differenceKeysSet function—essentially a
copy/paste of difference—that satisfies the following property:

    prop_DiffKeysSet :: Map Int -> Map () -> Bool
    prop_DiffKeysSet t1 t2
      = difference t1 t2 == differenceKeysSet t1 (keysSet t2)

Cons: Not so happy with the name. Code bloat.


More information about the Libraries mailing list