<p dir="ltr">If you name it, it will come!</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Jul 14, 2016 11:55 AM, "Ross Paterson" <<a href="mailto:R.Paterson@city.ac.uk">R.Paterson@city.ac.uk</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Thu, Jul 14, 2016 at 12:45:27AM -0400, David Feuer wrote:<br>
> Cale Gibbard proposes the following:<br>
><br>
> Data.IntMap.restriction :: IntSet -> IntMap a -> IntMap a<br>
> Data.Map.restriction :: Ord k => Set k -> Map k a -> Map k a<br>
><br>
> In each case, the map is filtered to contain only the keys that are<br>
> also found in the set. This can be implemented efficiently using a<br>
> slightly stripped-down version of Data.Map.intersection.<br>
<br>
One might also want the counterpart of Data.Map.difference for similar reasons.<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div>