pure_input:stream_to_lazy

swipl
- library

stream_to_lazy_codes(+Stream, -List) is det

stream_to_lazy_chars(+Stream, -List) is det

stream_to_lazy_list(+Stream, -List) is det

Create a lazy list representing the character codes (chars) in Stream. List is a partial list ending in an attributed variable. Unifying this variable reads the next block of data. The block is stored with the attribute value such that there is no need to re-read it.

deprecated: - stream_to_lazy_list/2 is a backward compatibility alias for stream_to_lazy_codes/2.
Compatibility: - Unlike the previous version of this predicate this version does not require a repositionable stream. It does require a buffer size of at least the maximum number of bytes of a multi-byte sequence (6).