[ Reference Manual | Alphabetic Index ]

library(lazy_io)

Mapping between lists and I/O streams

Predicates

list_to_stream(?Codes, +Stream, +Mode)
Map a list to an output stream
stream_to_lazy_list(+Stream, ?Codes)
Map an input stream to a lazy list
stream_to_list(?, ?, ?)
No description available

About


Generated from lazy_io.eci on 2022-09-03 14:26