StreamFunctions1 S

stream.spad line 1174 [edit on github]

• S: Type

Functions defined on streams with entries in one set.

concat: Stream Stream S -> Stream S

concat(u) returns the left-to-right concatenation of the streams in u. Note: concat(u) = reduce(concat, u).