# Index of values

A
add_entry [Zip] | `Zip.add_entry data zf name` adds a new entry to the ZIP file `zf`.
add_entry_generator [Zip] | `Zip.add_entry_generator zf name` returns a pair of functions `(add, finish)`.
C
close_in [Zip] | Close the given ZIP file handle.
close_in [Gzip] | Close the given input channel.
close_out [Zip] | Finish writing the ZIP archive by adding the table of contents, and close it.
close_out [Gzip] | Close the given output channel.
comment [Zip] | Return the comment attached to the given ZIP file, or the empty string if none.
compress [Zlib] |
compress_direct [Zlib] |
copy_channel_to_entry [Zip] | Same as `Zip.add_entry`, but the data associated with the entry is read from the input channel given as first argument.
copy_entry_to_channel [Zip] | `Zip.copy_entry_to_channel zf e oc` reads and uncompresses the data associated with entry `e` of ZIP file `zf`.
copy_entry_to_file [Zip] | `Zip.copy_entry_to_file zf e destfile` reads and uncompresses the data associated with entry `e` of ZIP file `zf`.
copy_file_to_entry [Zip] | Same as `Zip.add_entry`, but the data associated with the entry is read from the file whose name is given as first argument.
D
deflate [Zlib] |
deflate_end [Zlib] |
deflate_init [Zlib] |
deflate_string [Zlib] |
dispose [Gzip] | Same as `Gzip.close_in`, but does not close the underlying regular file channel (of type `Stdlib.in_channel`); just dispose of the resources associated with the decompression channel.
E
entries [Zip] | Return a list of all entries in the given ZIP file.
F
find_entry [Zip] | `Zip.find_entry zf filename` returns the description of the entry having name `filename` in the ZIP file `zf`.
flush [Gzip] | Same as `Gzip.close_out`, but do not close the underlying regular file channel (of type `Stdlib.out_channel`); just flush all pending compressed data and dispose of the resources associated with the compression channel.
flush_continue [Gzip] | Flush all pending compressed data through both the compression channel and the underlying regular file channel, but keep both channels open to accept further data.
I
inflate [Zlib] |
inflate_end [Zlib] |
inflate_init [Zlib] |
inflate_string [Zlib] |
input [Gzip] | `input ic buf pos len` uncompresses up to `len` characters from the given channel `ic`, storing them in string `buf`, starting at character number `pos`.
input_byte [Gzip] | Same as `Gzip.input_char`, but return the 8-bit integer representing the character.
input_char [Gzip] | Uncompress one character from the given channel, and return it.
O
open_in [Zip] | `Zip.open_in zipfilename` opens the ZIP file with the given filename.
open_in [Gzip] | Open a compressed file for reading.
open_in_chan [Gzip] | Open a compressed file for reading.
open_out [Zip] | `Zip.open_out zipfilename` creates (or truncates to zero length) the ZIP file with the given filename.
open_out [Gzip] | Open a compressed file for writing.
open_out_chan [Gzip] | Open a compressed file for writing.
open_update [Zip] | `Zip.open_update zipfilename` opens the ZIP file with the given filename, preserving its contents.
output [Gzip] | `output oc buf pos len` compresses and writes `len` characters from string `buf`, starting at offset `pos`, and writes the compressed data to the channel `oc`.
output_byte [Gzip] | Same as `Gzip.output_char`, but the output character is given by its code.
output_char [Gzip] | Output one character to the given compressed channel.
output_substring [Gzip] | Same as `output`, but takes a string as argument instead of a byte sequence.
P
plain_uncompress [Zlib] |
R
read_entry [Zip] | `Zip.read_entry zf e` reads and uncompresses the data (file contents) associated with entry `e` of ZIP file `zf`.
really_input [Gzip] | `really_input ic buf pos len` uncompresses `len` characters from the given channel, storing them in string `buf`, starting at character number `pos`.
U
uncompress [Zlib] |
update_crc [Zlib] |
update_crc_string [Zlib] |