Hi Serguey,
On Sat, Jun 07, 2008 at 05:32:46PM +0400, Serguey Zefirov wrote:
So I propose to include those operations into next version of Data.Map.
If anyone could point me in the right direction I could do any necessary
modifications myself (just because I need it).
Please see
I found that I often need predecessor and successor of some key in
Data.Map.Map. Just like that:
predKey, succKey :: Ord k = Data.Map.Map k a - k - Maybe k
predKeyElem, succKeyElem :: Ord k = Data.Map.Map k a - k - Maybe (k,a)
Data.Map has operations like that on key indexes, but it is