Data.FiniteMap

[Christian Maeder]

I've copied the old code from Data.FiniteMap and only implemented:

foldFM_LE f v k =
 Map.foldWithKey (\ i w c -> if i > k then c else f i w c) v

Christian Maeder schrieb:
> Malcolm Wallace schrieb:
>>> I think there is a wrapper somewhere that provides the old
>>> Data.FiniteMap in terms of the Data.Map implementation.
>> Darcs patch attached, if it is of interest.
> 
> This patch does not have the functions:
>        foldFM_GE, fmToList_GE, keysFM_GE, eltsFM_GE,
>        foldFM_LE, fmToList_LE, keysFM_LE, eltsFM_LE,
> 
> Currently I need to replace fmToList_LE and keysFM_LE. Does someone have
>  code for these (in terms of Data.Map)?
> 
> Christian