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