package decompress

  1. Overview
  2. Docs
val ctor : ('a, 'b, 'c) k -> ('a, 'b, 'c) state
val peek_bits : int -> ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('c, 'b, 'd) t -> ('c, 'b, 'd) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('c, 'b, 'd) t -> ('c, 'b, 'd) res
val put_byte : int -> ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('c, 'b, 'd) t -> ('a, 'e, 'f) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'e, 'f) t -> ('a, 'e, 'f) res
val fill_byte : int -> int -> ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('c, 'b, 'd) t -> ('a, 'e, 'f) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'e, 'f) t -> ('a, 'e, 'f) res
val get : Lookup.t -> (int -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('c, 'd, 'e) t -> ('a, 'b, 'f) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'f) t -> ('a, 'b, 'f) res
val put : Lookup.t -> Lookup.t -> int -> int -> ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('d, 'e, 'f) res) -> ('g, 'h, 'i) k
val read_extra_dist : int -> (int -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('c, 'd, 'e) t -> ('a, 'b, 'f) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('g, 'h, 'i) t -> ('a, 'b, 'f) res
val read_extra_length : int -> (int -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('c, 'd, 'e) t -> ('a, 'b, 'f) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'f) t -> ('a, 'b, 'f) res