purescript-deprecated/purescript-maps

Make unionWith use a merge instead of an alter loop

Closed this issue · 2 comments

I think unionWith could do a merge because both maps are already sorted. This would be O(n). Currently it does an alter loop which is O(n log n).

paf31 commented

Same as #1?

Ganz toll!