module Netgzip: sig .. end
Gzip object channels
class input_gzip : Gzip.in_channel -> Netchannels.in_obj_channel
class output_gzip : Gzip.out_channel -> Netchannels.out_obj_channel
class inflating_pipe : unit -> Netchannels.io_obj_channel
An inflating (uncompressing) pipe for gzip data, to be used in filters
class deflating_pipe : ?level:int -> unit -> Netchannels.io_obj_channel
A deflating (compressing) pipe for gzip data, to be used in filters
class input_inflate : Netchannels.in_obj_channel -> Netchannels.in_obj_channel
let ch' = new input_inflate ch: Reading data from ch' inflates
data read from ch.
class input_deflate : ?level:int -> Netchannels.in_obj_channel -> Netchannels.in_obj_channel
let ch' = new input_deflate ch: Reading data from ch' deflates
data read from ch.
class output_inflate : Netchannels.out_obj_channel -> Netchannels.out_obj_channel
let ch' = new output_inflate ch: Data written to ch' is inflated
and written to ch.
class output_deflate : ?level:int -> Netchannels.out_obj_channel -> Netchannels.out_obj_channel
let ch' = new output_deflate ch: Data written to ch' is deflated
and written to ch.
