[mercury-users] Additions to list.m

[Julien Fischer]

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?

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