1
(* $Id: netgzip.mli 1610 2011-05-30 08:03:45Z gerd $ *)
3
(** Gzip object channels *)
5
class input_gzip : Gzip.in_channel -> Netchannels.in_obj_channel
6
(** A [Gzip.in_channel] turned into a {!Netchannels.in_obj_channel} *)
8
class output_gzip : Gzip.out_channel -> Netchannels.out_obj_channel
9
(** A [Gzip.out_channel] turned into a {!Netchannels.out_obj_channel} *)
11
class inflating_pipe : unit -> Netchannels.io_obj_channel
12
(** An inflating (uncompressing) pipe for gzip data, to be used in filters *)
14
class deflating_pipe : ?level:int -> unit -> Netchannels.io_obj_channel
15
(** A deflating (compressing) pipe for gzip data, to be used in filters *)
18
Netchannels.in_obj_channel -> Netchannels.in_obj_channel
19
(** [let ch' = new input_inflate ch]: Reading data from [ch'] inflates
20
data read from [ch]. Use this for uncompressing data while reading.
22
Note that [ch] isn't closed when [ch'] is closed.
27
Netchannels.in_obj_channel -> Netchannels.in_obj_channel
28
(** [let ch' = new input_deflate ch]: Reading data from [ch'] deflates
29
data read from [ch]. Use this for compressing data while reading.
31
Note that [ch] isn't closed when [ch'] is closed.
34
class output_inflate :
35
Netchannels.out_obj_channel -> Netchannels.out_obj_channel
36
(** [let ch' = new output_inflate ch]: Data written to [ch'] is inflated
37
and written to [ch]. Use this for uncompressing data while writing.
39
Note that [ch] isn't closed when [ch'] is closed.
42
class output_deflate :
44
Netchannels.out_obj_channel -> Netchannels.out_obj_channel
45
(** [let ch' = new output_deflate ch]: Data written to [ch'] is deflated
46
and written to [ch]. Use this for compressing data while writing.
48
Note that [ch] isn't closed when [ch'] is closed.
51
val init : unit -> unit
52
(** By calling this function it is enforced that the (de)-compression
53
algorithms are registered at {!Netcompression}.