Streams of Strings

Break a string up into a stream of strings at newline characters. The resulting strings do not contain newlines.

lines = S.lines A.write

>>> Stream.toList $ Unicode.lines $ Stream.fromList "lines\nthis\nstring\n\n\n"
["lines","this","string","",""]

Break a string up into a stream of strings, which were delimited by characters representing white space.

words = S.words A.write

>>> Stream.toList $ Unicode.words $ Stream.fromList "A  newline\nis considered white space?"
["A","newline","is","considered","white","space?"]

Flattens the stream of Array Char, after appending a terminating newline to each string.

unlines is an inverse operation to lines.

>>> Stream.toList $ Unicode.unlines $ Stream.fromList ["lines", "this", "string"]
"lines\nthis\nstring\n"

unlines = S.unlines A.read

Note that, in general

unlines . lines /= id

Flattens the stream of Array Char, after appending a separating space to each string.

unwords is an inverse operation to words.

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

unwords = S.unwords A.read

Note that, in general

unwords . words /= id