Proposal: IntMap.differenceKeysSet for removing an IntSet of keys

Felipe Almeida Lessa felipe.lessa at
Fri Jun 10 03:09:18 CEST 2011

If we had something like

  fromIntSet :: IntSet -> IntMap ()

then at least we could have a RULE to convert "difference m
(fromIntSet s)" to "differenceIntSet m s".  Then we could just hide
differenceIntSet and the name wouldn't matter.  Perhaps this
"fromIntSet" function should be proposed as well?



More information about the Libraries mailing list