Netgzip

#

class input_gzip : Gzip.in_channel -> Netchannels.in_obj_channel

A Gzip.in_channel turned into a Netchannels.in_obj_channel

#

class output_gzip : Gzip.out_channel -> Netchannels.out_obj_channel

A Gzip.out_channel turned into a 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 option -> 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. Use this for uncompressing data while reading.

Note that ch isn't closed when ch' is closed.

#

class input_deflate : ?level:int option -> Netchannels.in_obj_channel -> Netchannels.in_obj_channel

let ch' = new input_deflate ch: Reading data from ch' deflates data read from ch. Use this for compressing data while reading.

Note that ch isn't closed when ch' is closed.

#

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. Use this for uncompressing data while writing.

Note that ch isn't closed when ch' is closed.

#

class output_deflate : ?level:int option -> Netchannels.out_obj_channel -> Netchannels.out_obj_channel

let ch' = new output_deflate ch: Data written to ch' is deflated and written to ch. Use this for compressing data while writing.

Note that ch isn't closed when ch' is closed.

#

val init : unit -> unit

By calling this function it is enforced that the (de)-compression algorithms are registered at [root:Netcompression].

module Netgzip