literal phrase ⇒ token, expression phrase ⇒ any, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Sets
Categories: Control Structures, Loops, Collections, Sets
Iteratively apply predicate to each consecutive element of aSet, collecting those elements for which predicate answers true into a new set. Answer the new set.
| 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 aSet. | |
| 2 | aSet | expression phrase ⇒ any | An expression phrase that yields the set to iterate over | |
| 3 | action | block phrase ⇒ []→⊤ | A zero-argument block phrase that represents the body of the loop. | |
| Returns | send phrase ⇒ ⊤ | |||
literal phrase ⇒ token, expression phrase ⇒ any, block phrase ⇒ []→⊤
Source: /avail/Avail/Data Abstractions/Iterators/Iterators
Categories: Loops, Data Abstractions, Readers
Iteratively apply predicate to each consecutive element of aReader, collecting those elements for which predicate answers true into a new reader (and preserving ordering). Answer the new reader.
| 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 aReader. | |
| 2 | aReader | expression phrase ⇒ any | An expression phrase that yields the reader to iterate over | |
| 3 | action | block phrase ⇒ []→⊤ | A zero-argument block phrase that represents the body of the loop. | |
| Returns | send phrase ⇒ ⊤ | |||
literal phrase ⇒ token, expression phrase ⇒ any, block phrase ⇒ []→⊤
Source: /avail/Avail/Data Abstractions/Streams/Streams
Categories: Loops, Data Abstractions, Streams
Iteratively apply predicate to each consecutive element of aStream, collecting those elements for which predicate answers true into a new stream (and preserving ordering). Answer the new stream.
| 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 aStream. | |
| 2 | aStream | expression phrase ⇒ any | An expression phrase that yields the stream to iterate over | |
| 3 | action | block phrase ⇒ []→⊤ | A zero-argument block phrase that represents the body of the loop. | |
| Returns | send phrase ⇒ ⊤ | |||
literal phrase ⇒ token, expression phrase ⇒ any, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Tuples
Categories: Control Structures, Loops, Collections, Tuples
Iteratively apply predicate to each consecutive element of aTuple, collecting those elements for which predicate answers true into a new tuple (and preserving ordering). Answer the new tuple.
| 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 | aTuple | expression phrase ⇒ any | An expression phrase that yields the tuple to iterate over | |
| 3 | action | block phrase ⇒ []→⊤ | A zero-argument block phrase that represents the body of the loop. | |
| Returns | send phrase ⇒ ⊤ | |||