C | |
| close_in [Bz] | |
| close_in [Gz] | |
| close_out [Bz] | |
| close_out [Gz] | close_out flushes all pending output if necessary, closes the
compressed file and deallocates all the (de)compression state.
|
| compress [Bz] | |
| compress [Gz] | |
F | |
| flush [Gz] |
The
flush function should be used with caution because it can
degrade compression.
|
I | |
| input_char [Gz] | |
| input_line [Gz] | |
| input_value [Gz] | |
O | |
| open_in [Bz] | open_in opens a compressed stream that is located on a
Pervasives channel.
|
| open_in [Gz] | |
| open_out [Bz] | open_out creates an out_channel from a Pervasives
channel.
|
| open_out [Gz] | open_out opens the given filename for writing.
|
| output_byte [Gz] | |
| output_char [Gz] | |
| output_endline [Gz] | |
| output_newline [Gz] | |
| output_string [Gz] | |
| output_value [Gz] | |
P | |
| pos_in [Gz] | |
| pos_out [Gz] | |
R | |
| read [Bz] | read reads len characters in a string buffer.
|
| read [Gz] | |
| read_get_unused [Bz] |
If there's some data after the compressed stream that you want to read
from the same
Pervasives in_channel,
use read_get_unused.
|
| rewind [Gz] | |
S | |
| seek_in [Gz] |
The
seek_in function is emulated but can be extremely slow.
|
| seek_out [Gz] | seek_out set the position of the next write operation on the
channel.
|
| setparams [Gz] | setparams modifies the two parameters of an opened channel
|
U | |
| uncompress [Bz] | |
| uncompress [Gz] | |
V | |
| version [Bz] | |
| version [Gz] | |
W | |
| write [Bz] | |
| write [Gz] |