21 Feb
2005
21 Feb
'05
9:05 p.m.
On Mon, Feb 21, 2005 at 02:39:54PM -0500, S. Alexander Jacobson wrote:
Data.FiniteMap has functions keysFM_GE and eltsFM_GE which return the keys or elts of pairs greater than or equal to the provided key.
These functions do not appear to be in the new Data.Map.
Is this intentional?
There is splitLookup :: (Ord k) => k -> Data.Map.Map k a -> (Data.Map.Map k a, Maybe a, Data.Map.Map k a) and toAscList :: Data.Map.Map k a -> [(k, a)] so you can write keysFM_GE and eltsFM_GE yourself, for example: eltsFM_GE k m = maybe [] return eq ++ Prelude.map snd (toAscList ge) where (_, eq, ge) = splitLookup k m in Best regards Tomasz