(* $Id: netgzip.mli 1174 2008-03-30 16:22:14Z 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.
   *)