literal phrase ⇒ token, expression phrase ⇒ set, block phrase ⇒ []→boolean
Source: /avail/Avail/Foundation/Sets
Categories: Queries, Collections, Sets
Compute and answer the count of elements of aSet that satisfy the given predicate.
| 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: Queries, Collections, Tuples
Compute and answer the count of elements of aTuple that satisfy the given predicate.
| 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 ⇒ ⊤ | |||