Module Decompress_deflate.Gzip

type error = error_g
module F = RFC1951.F
type ('i, 'o) t = {
d : ('i, 'o) RFC1951.t;
z : ('i, 'o) state;
text : bool;
crc16 : Optint.t option;
extra : string option;
name : string option;
comment : string option;
mtime : int;
os : OS.t;
}
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
| Deflate
| 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 meth = RFC1951.meth =
| PARTIAL
| SYNC
| FULL
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 ok : ('i, 'o) t -> ('i, 'o) res
val error : ('i, 'o) t -> error -> ('i, 'o) res
val put_byte : ctor:(('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> ('d, 'c) state) -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res
val put_short_lsb : ctor:(('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> ('d, 'c) state) -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res
val put_string : ctor:(('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> ('d, 'c) state) -> string -> ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res
val align : ctor:(('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> ('d, 'c) state) -> ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res
val put_short_msb : ctor:(('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> ('d, 'c) state) -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res
val digest_crc16_byte : int -> Checkseum.Crc32.t -> Checkseum.Crc32.t
val digest_crc16_string : Stdlib.String.t -> Checkseum.Crc32.t -> Checkseum.Crc32.t
module KHeader : sig ... end
module KSize : sig ... end
module KCrc32 : 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 deflate : (Lz77.Safe.ro, 'a) Lz77.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 : Stdlib.String.t -> ((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 : Stdlib.String.t -> ((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 : Stdlib.String.t -> ((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 : Optint.t -> ((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 Safe.Buffer.t -> ?⁠text:bool -> ?⁠header_crc:bool -> ?⁠extra:string -> ?⁠name:string -> ?⁠comment:string -> ?⁠mtime:int -> ?⁠os:OS.t -> int -> ('a, 'a) t
val get_frequencies : ('a, 'b) t -> RFC1951.F.t
val set_frequencies : ?⁠paranoid:bool -> (int array * int array) -> ('a, 'b) t -> ('a, 'b) t
val finish : ('a, 'a) t -> ('a, 'a) t
val no_flush : int -> int -> ('a, 'b) t -> ('a, 'b) t
val partial_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t
val sync_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t
val full_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t
val flush_of_meth : RFC1951.meth -> int -> int -> ('a, 'a) t -> ('a, 'a) 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
include sig ... end
val to_result : 'a -> 'a -> ?⁠meth:(meth * int) -> ('a -> int option -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) Stdlib.result
val bytes : 'a -> 'a -> ?⁠meth:(meth * int) -> ('a -> int option -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) Stdlib.result
val bigstring : 'a -> 'a -> ?⁠meth:(meth * int) -> ('a -> int option -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) Stdlib.result