Stream package:text

A co-recursive type yielding a single element at a time depending on the internal state it carries.

O(n) Convert Text into a Stream Char. Properties

unstream . stream = id

stream . unstream = id

O(n) Convert a Text into a 'Stream Char'.

Decode, in a stream oriented way, a ByteString containing UTF-8 encoded text that is known to be valid. If the input contains any invalid UTF-8 data, an exception will be thrown (either by this function or a continuation) that cannot be caught in pure code. For more control over the handling of invalid data, use streamDecodeUtf8With.

Decode, in a stream oriented way, a lazy ByteString containing UTF-8 encoded text.

Deprecated: Do not use this function

O(n) Convert a ByteString into a 'Stream Char', using big endian UTF-16 encoding.

O(n) Convert a ByteString into a 'Stream Char', using little endian UTF-16 encoding.

O(n) Convert a ByteString into a 'Stream Char', using big endian UTF-32 encoding.

O(n) Convert a ByteString into a 'Stream Char', using little endian UTF-32 encoding.

O(n) Convert a ByteString into a 'Stream Char', using UTF-8 encoding.

O(n) streamLn t = stream (t <> '\n')

Stream the UTF-8-like packed encoding used by GHC to represent constant strings in generated code. This encoding uses the byte sequence "xc0x80" to represent NUL, and the string is NUL-terminated. Properties

unstream . streamCString# addr# = unpackCString# addr#

O(n) Convert a list into a Stream. Properties

unstream . streamList = pack

O(n) Convert a lazy ByteString into a 'Stream Char', using UTF-8 encoding.

O(n) Convert a Stream Word8 to a ByteString.

O(n) Converts Text into a Stream Char, but iterates backwards through the text. Properties

unstream . reverseStream = reverse

O(n) Convert Stream Char into a Text. Properties

unstream . stream = id

stream . unstream = id

O(n) Convert a Stream into a list. Properties

unstreamList . stream = unpack

Print a Stream Char.