package SZXX
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module SZXX.ZipSource
type descriptor = {crc : Core.Int32.t;compressed_size : Core.Int64.t;uncompressed_size : Core.Int64.t;offset : Core.Int64.t option;
}type entry = {version_needed : version;flags : int;trailing_descriptor_present : bool;methd : methd;descriptor : descriptor;filename : string;extra_fields : extra_field list;comment : string;
}val stream_files :
sw:Eio.Std.Switch.t ->
feed:Feed.t ->
(entry -> 'a Action.t) ->
(entry * 'a Data.t) Core.Sequence.tStream files from a ZIP archive. This function operates in a single pass.
SZXX.Zip.stream_files ~sw ~feed callback
sw: A regular Eio.Switch.t.
feed: A producer of raw input data. Create a feed by using the SZXX.Feed module.
callback: A function called on every file found within the ZIP archive. You must choose an Action (SZXX.Zip.Action.t) to perform over each file encountered within the ZIP archive.
Return Action.Skip to skip over the compressed bytes of this file without attempting to decompress them. The file's integrity is still validated as usual. Return Action.Fast_skip to skip over the compressed bytes without attempting to decompress or validate them Return Action.String to collect the whole decompressed file into a single string. Return Action.Bigstring to collect the whole decompressed file into a single bigstring. More efficient than Action.String if you don't need to convert the result into a string. Return Action.Fold_string to fold this file into a final state, in string chunks of ~8192 bytes. Return Action.Fold_bigstring to fold this file into a final state, in bigstring chunks of ~8192 bytes. IMPORTANT: this Bigstring.t is volatile! It's only safe to read from it until the end of function f (the "folder"). If you need to access the data again later, copy it in some way before the end of function f. Return Action.Parse to apply an Angstrom.t parser to the file while it is being decompressed without having to fully decompress it first. Parse expects the parser to consume all bytes and leave no trailing junk bytes after a successful parse. Return Action.Parse_many to repeatedly apply an Angstrom.t parser to the file while it is being decompressed without having to fully decompress it first. Call on_parse on each parsed value. Parse_many expects the file to end with a complete parse and leave no trailing junk bytes. Return Action.Terminate to abruptly terminate processing of the ZIP archive. The output Sequence will finish with a Data.Terminate element. SZXX stops reading from the Feed.t immediately, without even skipping over the bytes of that entry.
This function returns a Sequence of all files in the archive. The order of the files passed to the callback and on the Sequence matches the arrangement of the files within the ZIP.
SZXX will wait for you to consume from the Sequence before extracting more.
Return a list of all entries in a ZIP file. This function is more efficient than the SZXX.Zip.stream_files equivalent, but it can only operate on files.