Ticket #5242 (closed feature request: wontfix)
IntMap.differenceKeysSet for removing an IntSet of keys
|Reported by:||liyang||Owned by:||fox@…|
|Type of failure:||None/Unknown||Difficulty:|
|Test Case:||Blocked By:|
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)