(* $Id: netgzip.mli 1610 2011-05-30 08:03:45Z gerd $ *) (** Gzip object channels *) 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 -> 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 -> 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 -> 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 {!Netcompression}. *)