unwords package:streamly-core

Flattens the stream of Array Char, after appending a separating space to each string. unwords is an inverse operation to words.

>>> Stream.fold Fold.toList $ Unicode.unwords $ Stream.fromList ["unwords", "this", "string"]
"unwords this string"

unwords = S.unwords A.read

Note that, in general

unwords . words /= id

Unfold the elements of a stream to character streams using the supplied Unfold and concat the results with a whitespace character infixed between the streams.

>>> unwords = Stream.unfoldEachSepBy ' '

>>> unwords = Stream.unfoldEachSepBySeq " " Unfold.fromList

Pre-release