Plasma GitLab Archive
Projects Blog Knowledge

Module Netgzip


module Netgzip: sig .. end
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.
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.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml