concatenate_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _++_

Definitions:

stream*
Source: /avail/Avail/Data Abstractions/Streams/Abstract Streams
Categories: Data Abstractions, Streams
Construct and answer a stream that produces values from the specified tuple of streams. The result first produces the values of the first element of the tuple, then the second, etc.
Position Name Type Description
Parameters
1 streams stream* streams - A tuple of streams.
Returns stream The requested stream.
tuple of tuple
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Tuples, Transformers
Construct and answer a tuple that is the left-to-right concatenation of all elements (i.e. tuples) of the specified tuple.
Position Name Type Description
Parameters
1 tupleOfTuples tuple of tuple A tuple of tuples.
Returns tuple The requested tuple.
reader*
Source: /avail/Avail/Data Abstractions/Iterators/Concatenation Readers
Categories: Data Abstractions, Readers
Construct and answer an reader that produces values from the specified tuple of readers The result first produces the values of the first element of the tuple, then the second, etc.
Position Name Type Description
Parameters
1 readers reader* A tuple of readers.
Returns reader The requested reader.

Semantic restrictions:

readers
Source: /avail/Avail/Data Abstractions/Iterators/Concatenation Readers
Strengthen the reader infix-concatenation operation ({@method «_‡++» }).
Type Description
Parameter Types
readers reader*'s type
Returns concatenation reader
readers
Source: /avail/Avail/Data Abstractions/Iterators/Concatenation Readers
Strengthen the reader concatenate_ operation.
Type Description
Parameter Types
readers reader*'s type
Returns concatenation reader
tuple of tuple's type
Source: /avail/Avail/Foundation/Early Tuples
Type Description
Parameter Types
tuple of tuple's type