[m-rev.] for review: svmap

[Julien Fischer]

On Tue, 14 Dec 2004, Zoltan Somogyi wrote:

> +	% Update value if the key is already present, otherwise
> +	% insert new key and value.
> +:- pred svmap__set(K, V, map(K, V), map(K, V)).
> +:- mode svmap__set(di, di, di, uo) is det.
> +:- mode svmap__set(in, in, in, out) is det.
> +
> +	% Delete a key-value pair from a map.
> +	% If the key is not present, leave the map unchanged.
> +:- pred svmap__delete(K, map(K, V), map(K, V)).
> +:- mode svmap__delete(in, di, uo) is det.
> +:- mode svmap__delete(in, in, out) is det.
> +
> +	% Apply map__delete/3 to a list of keys.
> +:- pred svmap__delete_list(list(K), map(K, V), map(K, V)).
> +:- mode svmap__delete_list(in, di, uo) is det.
> +:- mode svmap__delete_list(in, in, out) is det.
> +

Are the various di, uo modes scattered throughout this map
module and this one really worth keeping?

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------