[Bug 29428] map:fold and map:filter

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29428

Vladimir Nesterovsky <vladimir@nesterovsky-bros.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vladimir@nesterovsky-bros.c
                   |                            |om

--- Comment #2 from Vladimir Nesterovsky <vladimir@nesterovsky-bros.com> ---
> 17.3.13 map:fold
> 
>     Evaluates the supplied function cumulatively on successive values of the
> supplied map.
>     
> Signature
>     map:fold( $map  as map(*),
>     $zero  as item()*,
>     $function  as function(item()*, xs:anyAtomicType, item()*) as item()*)
> as item()*

Please note that map:fold() would be of limited use, as with current
definitions it relies on map:keys() functions, which is non-deterministic with
respect to ordering. This means that two calls with the same argument are not
guaranteed to call $function in the same order.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Sunday, 22 May 2016 06:40:19 UTC