20 Sep
2006
20 Sep
'06
8:54 a.m.
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