darcs patch: Add proximal lookup functions in Map (and 2 more)
Ross Paterson
ross at soi.city.ac.uk
Tue May 22 13:41:47 EDT 2007
On Tue, May 22, 2007 at 10:28:24AM -0700, Adam Langley wrote:
> Please see attached 2 patches (and 1 misc patch) to Data.Map which add
> the ability to lookup entries by proximity. For example, if I have a
> Map which relates times to the state of a system at that time:
> let m = Map.fromList [(1, x), (10, y), (15, z)]
> Then, if I want to find out the state at time 5:
> Map.nearestLesserOrEqual 5 m
> -> (1, x)
>
> In a similar fashion, nearestGreaterOrEqual and nearest are also provided.
nearest needs Num, but the other two shouldn't.
More information about the Libraries
mailing list