package decompress

  1. Overview
  2. Docs
type ('i, 'o) t = {
  1. d : ('i, 'o, crc) RFC1951.t;
  2. z : ('i, 'o) state;
  3. expected_wbits : 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 =
  1. | Header of ('i, 'o) k
  2. | Inflate
  3. | Adler32 of ('i, 'o) k
  4. | Finish
  5. | Exception of error
and ('i, 'o) res =
  1. | Cont of ('i, 'o) t
  2. | Wait of ('i, 'o) t
  3. | Flush of ('i, 'o) t
  4. | Ok of ('i, 'o) t
  5. | Error of ('i, 'o) t * error
and error = error_z
and crc = Window.adler32
val pp_error : Format.formatter -> error_z -> unit
val pp_state : Format.formatter -> ('a, 'b) state -> unit
val pp : Format.formatter -> ('a, 'b) t -> unit
val error : ('a, 'b) t -> error -> ('c, 'd) res
val ok : ('a, 'b) t -> ('c, 'd) res
val get_byte : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('d, 'e) t -> ('f, 'g) res) -> ('h, 'i) state) -> (int -> ('a, 'b) Safe.t -> 'j -> ('k, 'l) t -> ('f, 'g) res) -> ('a, 'b) Safe.t -> 'm -> ('d, 'e) t -> ('f, 'g) 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 -> 'e -> ('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 -> 'e -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'f -> ('b, 'd) t -> ('b, 'd) res
val drop_bits : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('d, 'e) t -> ('b, 'f) res) -> ('b, 'f) state) -> int -> (('a, 'b) Safe.t -> 'g -> ('h, 'i) t -> ('b, 'f) res) -> ('a, 'b) Safe.t -> 'j -> ('d, 'e) t -> ('b, 'f) res
module KHeader : sig ... end
module KCrc : sig ... end
val adler32 : (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 -> ('b, 'c) t -> ('d, 'e) res
val header : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
val eval : 'a -> 'b -> ('c, 'd) t -> [> `Await of ('e, 'f) t | `End of ('g, 'h) t | `Error of ('i, 'j) t * error | `Flush of ('k, 'l) t ]
val default : witness:'a Buffer.t -> ?wbits:int -> ('a, crc) Window.t -> ('b, 'c) t
val refill : int -> int -> ('a, 'b) t -> ('c, 'd) t
val flush : int -> int -> ('a, 'b) t -> ('c, 'd) t
val used_in : ('a, 'b) t -> int
val used_out : ('a, 'b) t -> int
val write : ('a, 'b) t -> int
include sig ... end
val to_result : 'a -> 'b -> ('c -> int) -> ('d -> int -> int) -> ('e, 'f) t -> (('g, 'h) t, error) result
val bytes : 'a -> 'b -> ('c -> int) -> ('c -> int -> int) -> ('d, 'e) t -> (('f, 'g) t, error) result
val bigstring : 'a -> 'b -> ('c -> int) -> ('c -> int -> int) -> ('d, 'e) t -> (('f, 'g) t, error) result
OCaml

Innovation. Community. Security.