Proposal: Add `restriction` to Data.Map and Data.IntMap
David Feuer
david.feuer at gmail.com
Thu Jul 14 04:45:27 UTC 2016
Cale Gibbard proposes the following:
Data.IntMap.restriction :: IntSet -> IntMap a -> IntMap a
Data.Map.restriction :: Ord k => Set k -> Map k a -> Map k a
In each case, the map is filtered to contain only the keys that are
also found in the set. This can be implemented efficiently using a
slightly stripped-down version of Data.Map.intersection.
David Feuer
More information about the Libraries
mailing list