Module Decompress_inflate.Gzip

type ('i, 'o) t = {
d : ('i, 'o, crc) RFC1951.t;
z : ('i, 'o) state;
mtime : Optint.t;
xfl : int;
os : OS.t;
extra_l : int option;
extra : string option;
name : string option;
comment : string option;
crc16 : Optint.t;
hcrc16 : int option;
}
and ('i, 'o) k = (Safe.ro, 'i) Safe.t -> (Safe.wo, 'o) Safe.t -> ('i, 'o) t -> ('i, 'o) res
and ('i, 'o) state =
| Header of ('i, 'o) k
| Inflate
| Crc32 of ('i, 'o) k
| Size of ('i, 'o) k
| Finish
| Exception of error
and ('i, 'o) res =
| Cont of ('i, 'o) t
| Wait of ('i, 'o) t
| Flush of ('i, 'o) t
| Ok of ('i, 'o) t
| Error of ('i, 'o) t * error
and error = error_g
and crc = Window.crc32
val pp_error : Stdlib.Format.formatter -> error_g -> unit
val pp_state : Stdlib.Format.formatter -> ('a, 'b) state -> unit
val pp : Stdlib.Format.formatter -> ('a, 'b) t -> unit
val error : ('a, 'b) t -> error -> ('a, 'b) res
val ok : ('a, 'b) t -> ('a, 'b) res
val get_byte : ctor:((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
val get_with_holding : ctor:((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
val peek_bits : ctor:((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> int -> (('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
val drop_bits : ctor:((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> int -> (('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
val get_int16 : ctor:((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
val get_string : ctor:((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> int -> (string -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
val get_zero_term_string : ctor:((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (string -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
val digest_crc16_byte : (int -> 'a -> 'b -> ('c, 'd) t -> 'e) -> int -> 'a -> 'b -> ('c, 'd) t -> 'e
val digest_crc16_int16 : (int -> 'a -> 'b -> ('c, 'd) t -> 'e) -> int -> 'a -> 'b -> ('c, 'd) t -> 'e
val digest_crc16_z_string : (Stdlib.String.t -> 'a -> 'b -> ('c, 'd) t -> 'e) -> Stdlib.String.t -> 'a -> 'b -> ('c, 'd) t -> 'e
val digest_crc16_n_string : (Stdlib.String.t -> 'a -> 'b -> ('c, 'd) t -> 'e) -> int -> Stdlib.String.t -> 'a -> 'b -> ('c, 'd) t -> 'e
module KHeader : sig ... end
module KCrc : sig ... end
module KSize : sig ... end
val size : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val crc32 : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val inflate : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'a) Safe.t -> ('a, 'a) t -> ('a, 'a) res
val nop : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'd
val fextra : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val fname : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val fcomment : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val fcrc16 : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val header : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val eval : 'a -> 'a -> ('a, 'a) t -> [> `Await of ('a, 'a) t | `End of ('a, 'a) t | `Error of ('a, 'a) t * error | `Flush of ('a, 'a) t ]
val default : witness:'a Buffer.t -> ?⁠wbits:int -> ('a, crc) Window.t -> ('a, 'a) t
val refill : int -> int -> ('a, 'b) t -> ('a, 'b) t
val flush : int -> int -> ('a, 'b) t -> ('a, 'b) t
val used_in : ('a, 'b) t -> int
val used_out : ('a, 'b) t -> int
val write : ('a, 'b) t -> int
val xfl : ('a, 'b) t -> int
val os : ('a, 'b) t -> OS.t
val mtime : ('a, 'b) t -> Optint.t
val extra : ('a, 'b) t -> string option
val name : ('a, 'b) t -> string option
val comment : ('a, 'b) t -> string option
include sig ... end
val to_result : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) Stdlib.result
val bytes : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) Stdlib.result
val bigstring : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) Stdlib.result