Improve {Map, Set}.intersection.
authorMilan Straka <fox@ucw.cz>
Fri, 27 Apr 2012 09:30:13 +0000 (11:30 +0200)
committerMilan Straka <fox@ucw.cz>
Fri, 27 Apr 2012 09:30:13 +0000 (11:30 +0200)
commitb19776e51d99f9264c9449952950f5f6071a0aa3
tree24d66421871f38cb4fde5dd954bd94baf164dd0b
parentcf2cdd50743f540c0781a6f1455cebec9a6042d1
Improve {Map, Set}.intersection.

Use the hedge-intersection algorithm, similar to hedge-union and
hedge-difference.

Depending on inputs, this causes up to 80% speedup.

Also remove Set.splitLookup, which was used only to define intersection.
Data/Map/Base.hs
Data/Set/Base.hs