each…in|of_§satisfies_

Definitions:

literal phrase ⇒ token, expression phrase ⇒ tuple, block phrase ⇒ []→boolean
Source: /avail/Avail/Foundation/Tuples
Categories: Collections, Tuples, Queries
Compute and answer whether all 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 ⇒ ⊤
literal phrase ⇒ token, expression phrase ⇒ set, block phrase ⇒ []→boolean
Source: /avail/Avail/Foundation/Sets
Categories: Collections, Sets, Queries
Compute and answer whether all 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 aTuple 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 ⇒ ⊤