Proposal: keep Data.Map.foldWithKey

[Christian Maeder]

I wouldn't mind the additions even if committed for ghc-7.0.2, but can
we please start deprecations a major release later (and revert the
current spurious deprecation of Data.Map.foldWithKey).

Christian

Am 14.01.2011 12:07, schrieb Ross Paterson:
> On Fri, Jan 14, 2011 at 11:13:31AM +0100, Gregory Collins wrote:
>> hunk ./Data/IntMap.hs 117
>>              -- ** Fold
>>              , fold
>>              , foldWithKey
>> +            , foldlWithKey
>> +            , foldrWithKey
>> +            , foldlWithKey'
>> +            , foldrWithKey'
>>  
>> [...]
>> +{-# DEPRECATED foldWithKey "Use foldrWithKey instead" #-}
> 
> The additions improve consistency between Data.Map and Data.IntMap,
> which is clearly the right thing to do.
> 
> I also believe that deprecating the redundant foldWithKey in both modules
> is also a good first step toward trimming the redundancy from these APIs.
> I would also favour deprecating fold in all four modules in favour of
> Data.Foldable.foldr.