lines package:streamly-core

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.fold Fold.toList $ Unicode.lines $ Stream.fromList "lines\nthis\nstring\n\n\n"
[fromList "lines",fromList "this",fromList "string",fromList "",fromList ""]

Fold each line of the stream using the supplied Fold and stream the result. Definition:

>>> lines f = Stream.foldMany (Fold.takeEndBy_ (== '\n') f)

Usage:

>>> Stream.toList $ Unicode.lines Fold.toList (Stream.fromList "line1\nline2\nline3\n\n\n")
["line1","line2","line3","",""]

Pre-release

How should we inline the serialize function? The default 'Just Inline'. However, aggressive inlining can bloat the code and increase in compilation times when there are big functions and too many nesting levels so you can change it accordingly. A Nothing value leaves the decision to the compiler.

Flattens the stream of Array Char, after appending a terminating newline to each string. unlines is an inverse operation to lines.

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

unlines = S.unlines A.read

Note that, in general

unlines . lines /= id

Unfold a stream to character streams using the supplied Unfold and concat the results suffixing a newline character \n to each stream. Definition:

>>> unlines = Stream.unfoldEachEndBy '\n'

>>> unlines = Stream.unfoldEachEndBySeq "\n" Unfold.fromList

Pre-release