[m-users.] More modes for map.map_foldl

[Julien Fischer]

Hi Volker,

On Tue, 2 Dec 2025 at 05:25, Volker Wysk <post at volker-wysk.de> wrote:

>
> Could you (the Mercury Team) provide more modes for map_foldl, for the case
> when the inner predicate is cc_multi? For my case, it should look like
> this:
>
> :- mode map_foldl(in(pred(in, in, out, di, uo) is cc_multi),
>                   in, out, di, uo) is cc_multi.


I will add this.  Are there any others that you specifically need?

There are also a lot more predicates which should updated this way as well.
>

Adding every possible mode for some of these higher-order predicates will
increase the size of the library; generally we only add them as required.

Julien.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20251202/27db6202/attachment.html>