Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File doc/godi-zip/Zip.html GODI Package godi-zip
 
   Zip.html    zip.cmi_pretty    zip.mli    Sources  

Module Zip


module Zip: sig .. end


type compression_method =
| Stored
| Deflated

type entry = {
   filename : string;
   extra : string;
   comment : string;
   methd : compression_method;
   mtime : float;
   crc : int32;
   uncompressed_size : int;
   compressed_size : int;
   is_directory : bool;
   file_offset : int;
}
type in_file 
val open_in : string -> in_file
val entries : in_file -> entry list
val comment : in_file -> string
val find_entry : in_file -> string -> entry
val read_entry : in_file -> entry -> string
val copy_entry_to_channel : in_file -> entry -> Pervasives.out_channel -> unit
val copy_entry_to_file : in_file -> entry -> string -> unit
val close_in : in_file -> unit
type out_file 
val open_out : ?comment:string -> string -> out_file
val add_entry : string ->
out_file ->
?extra:string ->
?comment:string -> ?level:int -> ?mtime:float -> string -> unit
val copy_channel_to_entry : Pervasives.in_channel ->
out_file ->
?extra:string ->
?comment:string -> ?level:int -> ?mtime:float -> string -> unit
val copy_file_to_entry : string ->
out_file ->
?extra:string ->
?comment:string -> ?level:int -> ?mtime:float -> string -> unit
val close_out : out_file -> unit
exception Error of string * string * string
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml