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] |
|