Library proposal: add a Location interface for element-wise operations on Data.Map (#4887)
lemming at henning-thielemann.de
Sat Jan 8 16:21:54 CET 2011
On Sat, 8 Jan 2011, Ross Paterson wrote:
> That would work well for search, but then index, minLocation and maxLocation
> would return Locations that value was always mapped to Just something.
> Extra invariants like that feel wrong to me.
'index' can be out of range and then return Nothing. minLocation and
maxLocation return Nothing if the Map is empty.
More information about the Libraries