Add Map.mergeWithKey.
authorMilan Straka <fox@ucw.cz>
Sat, 28 Apr 2012 14:35:51 +0000 (16:35 +0200)
committerMilan Straka <fox@ucw.cz>
Sat, 28 Apr 2012 14:35:51 +0000 (16:35 +0200)
commitbb7213c7d2f53c60d79e6b6bf5cac3d35234dc61
tree3f14f513638b80307c1f2cbd288eadb3ca02bbdc
parentc82a6386772774fe55475d375ceea0345acbb109
Add Map.mergeWithKey.
Data/Map/Base.hs
Data/Map/Lazy.hs
Data/Map/Strict.hs
tests/map-properties.hs