For each…,…in|of_§do_

Definitions:

literal phrase ⇒ token, literal phrase ⇒ token, expression phrase ⇒ tuple, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Tuples
Categories: Control Structures, Loops, Collections, Tuples
Tuple iterating-loop that invokes action once for every elementPhrase in aTuple, making available the index of the elementPhrase in the scope of the function body.
Position Name Type Description
Parameters
1 elementPhrase literal phrase ⇒ token A literal phrase holding a synthetic literal token whose value is the name of the loop variable. The generated loop variable is given the strongest possible type based on the type union of the leading types and default type of aTuple.
2 indexPhrase literal phrase ⇒ token A literal phrase holding a synthetic literal token whose value is the name of the loop index variable. The generated loop variable is given the strongest possible type based on the cardinality of aTuple.
3 aTuple expression phrase ⇒ tuple An expression phrase that yields the tuple to iterate over
4 action block phrase ⇒ []→⊤ A zero-argument block phrase that represents the body of the loop.
Returns send phrase ⇒ ⊤