[m-rev.] deep profiler server enhancements

[Ralph Becket]

> From: Zoltan Somogyi [mailto:zs at cs.mu.OZ.AU]
> Sent: 04 June 2001 11:04
> 
> deep_profiler/array_util.m:
> 	Make the names of the predicates more expressive.
> [...]
>
> +	% Performs a foldl on all the elements of the given array
> +	% between the two index values given by the first two arguments,
> +	% both inclusive.
>  :- pred array_foldl(int, int, pred(int, T, U, U), array(T), U, U).
>  :- mode array_foldl(in, in, pred(in, in, di, uo) is det, in, di, uo)
is det.
>  :- mode array_foldl(in, in, pred(in, in, array_di, array_uo) is det,
in,
>  	array_di, array_uo) is det.
>  :- mode array_foldl(in, in, pred(in, in, in, out) is det, in, in,
out) is det.
>
> [and array_foldl2 and array_map]

This functionality would be useful in array.m - I've written the same
things myself more than once.  If anyone gets round to doing this soon,
please remember to include func versions.

- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------