For each…in|of_§do_

Definitions:

literal phrase ⇒ token, expression phrase ⇒ reader, block phrase ⇒ []→⊤
Source: /avail/Avail/Data Abstractions/Iterators/Iterators
Categories: Control Structures, Loops, Readers, Data Abstractions
Reader iterating-loop that invokes action once for every elementPhrase in aReader
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 of aReader 's element type.
2 aReader expression phrase ⇒ reader 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 ⇒ tuple, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Tuples
Categories: Control Structures, Loops, Collections, Tuples
Tuple iterating-loop that invokes action once for every elementPhrase in aTuple
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 action block phrase ⇒ []→⊤ A zero-argument block phrase that represents the body of the loop.
Returns send phrase ⇒ ⊤
literal phrase ⇒ token, expression phrase ⇒ set, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Sets
Categories: Control Structures, Loops, Collections, Sets
Set iterating-loop that invokes action once for every elementPhrase in aSet
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 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 ⇒ stream, block phrase ⇒ []→⊤
Source: /avail/Avail/Data Abstractions/Streams/Streams
Categories: Control Structures, Loops, Readers, Data Abstractions
Stream iterating-loop that invokes action once for every elementPhrase in aStream
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 of aStream 's element type.
2 aStream expression phrase ⇒ stream 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 ⇒ ⊤