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
.
val init : unit -> unit
By calling this function it is enforced that the (de)-compression
algorithms are registered at
Netcompression
.