Skip to main content
Version: 1.4.0

Looping

One can iterate through all the bindings of a map, in increasing order of the keys, thanks to a loop of the form for (const <variable> of <map>) <block>. It means that the <block> of statements (or a single statement) will be computed once for each <variable> ranging over the bindings (as pairs of keys and values) of the map <map> in increasing order.

Here is an example where the values in a map are summed up.

function sum_val (m: map<int,int>) {
let sum = 0;
// The key is discarded.
for (const [_key, val] of m) sum = sum + val;
return sum;
};

Note: See the predefined namespace Map