Data.FiniteMap

[Christian Maeder]

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