decompress 0.9.0 · OCaml Package

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 : Format.formatter -> error_g -> unit

val pp_state : Format.formatter -> ('a, 'b) state -> unit

val pp : 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 : 
  (String.t -> 'a -> 'b -> ('c, 'd) t -> 'e) ->
  String.t ->
  'a ->
  'b ->
  ('c, 'd) t ->
  'e

val digest_crc16_n_string : 
  (String.t -> 'a -> 'b -> ('c, 'd) t -> 'e) ->
  int ->
  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) result

val bytes : 
  'a ->
  'a ->
  ('a -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

val bigstring : 
  'a ->
  'a ->
  ('a -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

package decompress