literal phrase ⇒ token, expression phrase ⇒ set, block phrase ⇒ []→boolean
Source: /avail/Avail/Foundation/Sets
Categories: Collections, Sets, Queries
Compute and answer whether any of the elements of aSet satisfies the specified function. Do not examine more elements than necessary.
| 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 ⇒ set | An expression phrase that yields the tuple to iterate over | |
| 3 | predicateBlock | block phrase ⇒ []→boolean | A zero-argument block phrase that represents the body of the predicate function. | |
| Returns | send phrase ⇒ ⊤ | |||
literal phrase ⇒ token, expression phrase ⇒ tuple, block phrase ⇒ []→boolean
Source: /avail/Avail/Foundation/Tuples
Categories: Collections, Tuples, Queries
Compute and answer whether any of the elements of aTuple satisfies the specified function. Do not examine more elements than necessary.
| 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 ⇒ tuple | An expression phrase that yields the tuple to iterate over | |
| 3 | predicateBlock | block phrase ⇒ []→boolean | A zero-argument block phrase that represents the body of the predicate function. | |
| Returns | send phrase ⇒ ⊤ | |||