literal phrase ⇒ token, literal phrase ⇒ token, expression phrase ⇒ map, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Maps
Categories: Loops, Collections, Maps
Iteratively apply predicate to each binding of aMap, in no particular order, rejecting those bindings for which predicate answers true into a new map. Answer the new map.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | keyPhrase | 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 aMap. | |
| 2 | valuePhrase | 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 aMap. | |
| 3 | aMap | expression phrase ⇒ map | An expression phrase that yields the map to iterate over | |
| 4 | predicate | block phrase ⇒ []→⊤ | A zero-argument block phrase that represents the body of the loop. | |
| Returns | send phrase ⇒ ⊤ | |||