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 ⇒ ⊤ | |||