[mercury-users] Additions to list.m

[Nicholas Nethercote]

On Mon, 7 Aug 2006, Julien Fischer wrote:

> On Mon, 7 Aug 2006, Nicholas Nethercote wrote:
>
>> list.m has lots of variants and combinations of map, fold and filter.  I'm 
>> guessing these are added on demand.
>
> That's what usually happens.
>
>> If so, I'd like to request that
>> map_corresponding3_foldl and map2_foldl3 be added.
>
> Okay.  What modes do you need?

Just the simplest in/out/det ones:

:- pred map2_foldl3(pred(L, M, N, A, A, B, B, C, C), list(L), list(M),
         list(N), A, A, B, B, C, C).
:- mode map2_foldl3(pred(in, out, out, in, out, in, out, in, out) is det,
         in, out, out, in, out, in, out, in, out) is det.

:- pred map_corresponding3_foldl(pred(A, B, C, D, list(E), list(E)), list(A),
         list(B), list(C), list(D), list(E), list(E)).
:- mode map_corresponding3_foldl(pred(in, in, in, out, in, out) is det, in,
         in, in, out, in, out) is det.

but I would have guessed you'd add all the ones that the other variants have 
(ie. some di/uo ones, and ones with different determinisms) for consistency.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------