9 Jun
2011
9 Jun
'11
10:17 p.m.
On 10 June 2011 10:09, Felipe Almeida Lessa
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?
Sure, that sounds quite reasonable. Have done that as patch 0005 on the ticket. I've generalised it a bit to: fromSet :: (Key -> a) -> IntSet -> IntMap a Which version does everyone prefer? differenceKeysSet m s, or difference m (fromSet f s) ? Cheers, /Liyang