StreamFunctions1 SΒΆ

stream.spad line 1174 [edit on github]

Functions defined on streams with entries in one set.

concat: Stream Stream S -> Stream S

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