|Did you know ...||Search Documentation:|
:- use_module(library(zlib)).(can be autoloaded)
Defined options on output streams are:
deflateenvelope is simple and short and is typically used for compressed (network) communication. The
raw_deflatedoes not include an envelope and is often used as a step in crypographic encodings. The
gzipenvelope is compatible to the gzip program and intended to read/write compressed files.
true, restart reading if the input is not at end-of-file. The default is
truefor gzip streams.
Generic options are:
true(default), closing the compressed stream also closes (and thus invalidates) the wrapped stream. If
false, the wrapped stream is not closed. This can be used to read/write a compressed data block as partial input/output on a stream.