On Tue, 09 Nov 2004 15:22:53 +0000, Graham Klyne
At 13:06 09/11/04 +0000, Simon Marlow wrote:
On 09 November 2004 12:45, Graham Klyne wrote:
I'd like to propose an addition to the FiniteMap module in the form of a monadic version of plusFM_C. The proposed implementation is pretty much a copy of the existing implementation within a do block.
Data.FiniteMap will shortly be deprecated in favour of DData.Map (which will be renamed to Data.Map when it is imported). Perhaps you'd like to reformulate the proposal using Data.Map instead?
Proposed addition: [***]
Ok, but in order to have a consistent interface, we'll need monadic versions of a lot of functions: there are Set, IntMap, IntSet types, and intersection, difference, etc. Might be a lot of work. A solution may be to make standard versions a special case of the monadic ones, still I wonder about performance issues. Cheers, JP.