14 Dec
2010
14 Dec
'10
5:42 p.m.
On Tue, Dec 14, 2010 at 01:28:14PM +0100, Christian Maeder wrote:
I've now created a proper library proposal to keep Data.Map.foldWithKey.
In the ticket you say: [keep] Data.Map.foldWithKey as the aim to finally remove this function is bad as long as Data.IntMap.foldWithKey is the primary folding function for the specialized maps. but why is keeping foldWithKey the right answer, rather than adding fold{l,r}WithKey to Data.IntMap (and removing foldWithKey from it)? Thanks Ian