W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2016

[Bug 29428] map:fold and map:filter

From: <bugzilla@jessica.w3.org>
Date: Sun, 22 May 2016 06:40:15 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29428-523-Jc0Vn7maqH@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.3.1 : Sunday, 22 May 2016 06:40:21 UTC