package decompress

  1. Overview
  2. Docs

non-blocking and functionnal implementation of Deflate

type error
module F : sig ... end
type ('i, 'o) t
val pp_error : Format.formatter -> error -> unit
val pp : Format.formatter -> ('i, 'o) t -> unit
val get_frequencies : ('i, 'o) t -> F.t
val set_frequencies : ?paranoid:bool -> F.t -> ('i, 'o) t -> ('i, 'o) t
val finish : ('x, 'x) t -> ('x, 'x) t
val no_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t
val partial_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t
val sync_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t
val full_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t
type meth =
  1. | PARTIAL
  2. | SYNC
  3. | FULL
val flush_of_meth : meth -> int -> int -> ('x, 'x) t -> ('x, 'x) t
val flush : int -> int -> ('i, 'o) t -> ('i, 'o) t
val eval : 'a B.t -> 'a B.t -> ('a, 'a) t -> [ `Await of ('a, 'a) t | `Flush of ('a, 'a) t | `End of ('a, 'a) t | `Error of ('a, 'a) t * error ]
val used_in : ('i, 'o) t -> int
val used_out : ('i, 'o) t -> int
val default : proof:'o B.t -> ?wbits:int -> int -> ('i, 'o) t
val to_result : 'a B.t -> 'a B.t -> ?meth:(meth * int) -> ('a B.t -> int option -> int) -> ('a B.t -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) result
val bytes : Bytes.t -> Bytes.t -> ?meth:(meth * int) -> (Bytes.t -> int option -> int) -> (Bytes.t -> int -> int) -> (B.st, B.st) t -> ((B.st, B.st) t, error) result
val bigstring : B.Bigstring.t -> B.Bigstring.t -> ?meth:(meth * int) -> (B.Bigstring.t -> int option -> int) -> (B.Bigstring.t -> int -> int) -> (B.bs, B.bs) t -> ((B.bs, B.bs) t, error) result