[m-rev.] for review: list_util and map_util

[Michael Day]

> list_util:
> :- pred map2(pred(A, B, C), (list.list(A)), (list.list(B)), (list.list(C))).
> :- pred foldl2(pred(X, Y, Y, Z, Z), (list.list(X)), Y, Y, Z, Z).
> :- pred foldl3(pred(L, A1, A1, A2, A2, A3, A3), (list.list(L)), A1, A1, A2, A2, A3, A3).
> :- pred map2_foldl(pred(X, Y1, Y2, Z, Z), (list.list(X)), (list.list(Y1)), (list.list(Y2)), Z, Z).
> :- pred map_foldl2(pred(X, Y, A, A, B, B), (list.list(X)), (list.list(Y)), A, A, B, B).

These are all useful, list.foldl2 in particular I have used quite often.

Michael

-- 
YesLogic Prince prints XML!
http://yeslogic.com

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