Folding insert might still be a win if one of the maps is very much smaller than the other, but since size is O(n) for Data.IntMap, there&#39;s no way to find out if that&#39;s the case.<div><br></div><div>- chris<br><br><div class="gmail_quote">
On Fri, Feb 24, 2012 at 4:48 AM, wren ng thornton <span dir="ltr">&lt;<a href="mailto:wren@freegeek.org">wren@freegeek.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">When the two maps are of vastly different sizes, O(min(m,n)) is a more intuitive way to think about it. Since you only have to look at the places where the spines clash, that will be on the order of the smaller map.</div>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote></div></div>