Module type Codec.Decompressor


module type Decompressor = sig .. end
Common interface for decompressing (i.e., inflating) data.

val uncompress : IO.input -> IO.input
Wrap an input channel, decompressing transparently data when reading from it.

Operations performed on the returned channel can raise, in addition to their usual exceptions, Codec.Compression_error.

val open_in : ?mode:File.open_in_flag list ->
?perm:File.permission -> string -> IO.input
Shorthand: directly open a compressed file to read from it See File.open_in
val with_in : IO.input -> (IO.input -> 'a) -> 'a
with_in input f creates a new input input' which will transparently decompress data from input, then invokes f input' to process that new input. Once f has returned or triggered an exception, the input' is closed before proceeding.