Optimize Map.foldMapWithKey.
authorMilan Straka <fox@ucw.cz>
Tue, 2 Jul 2013 19:25:31 +0000 (21:25 +0200)
committerMilan Straka <fox@ucw.cz>
Tue, 2 Jul 2013 19:25:31 +0000 (21:25 +0200)
commite60634d138fe1170899678f4e5d7bf42c388fae8
treee5fd39fe1e29797a9f8df689f41924cc648581f7
parent0eb7a3424638f8d714c6cc928ddb7f2cc2c7d6cf
Optimize Map.foldMapWithKey.

Use optimalizations from foldMap and traverseWithKey -- associativity
and test for leaves.
Data/Map/Base.hs