Module Decompress_inflate.RFC1951Source

Sourcemodule Heap : sig ... end
Sourcemodule Huffman : sig ... end
Sourceval reverse_bits : int -> int
Sourcemodule Lookup : sig ... end
Sourcetype ('i, 'o, 'crc) t = {
  1. last : bool;
  2. hold : int;
  3. bits : int;
  4. o_off : int;
  5. o_pos : int;
  6. o_len : int;
  7. i_off : int;
  8. i_pos : int;
  9. i_len : int;
  10. write : int;
  11. state : ('i, 'o, 'crc) state;
  12. window : ('o, 'crc) Window.t;
  13. wbits : int;
  14. wi : 'i Buffer.t;
  15. wo : 'o Buffer.t;
}
Sourceand ('i, 'o, 'crc) k = (Safe.ro, 'i) Safe.t -> (Safe.wo, 'o) Safe.t -> ('i, 'o, 'crc) t -> ('i, 'o, 'crc) res
Sourceand ('i, 'o, 'crc) state =
  1. | Last
  2. | Block
  3. | Flat of ('i, 'o, 'crc) k
  4. | Fixed
  5. | Dictionary of ('i, 'o, 'crc) k
  6. | Inffast of Lookup.t * Lookup.t * code
  7. | Inflate of ('i, 'o, 'crc) k
  8. | Switch
  9. | Finish of int
  10. | Exception of error
Sourceand ('i, 'o, 'crc) res =
  1. | Cont of ('i, 'o, 'crc) t
  2. | Wait of ('i, 'o, 'crc) t
  3. | Flush of ('i, 'o, 'crc) t
  4. | Ok of ('i, 'o, 'crc) t
  5. | Error of ('i, 'o, 'crc) t * error
Sourceand code =
  1. | Length
  2. | ExtLength of int
  3. | Dist of int
  4. | ExtDist of int * int
  5. | Write of int * int
Sourceval pp_error : Format.formatter -> error_rfc1951 -> unit
Sourceval pp_code : Format.formatter -> code -> unit
Sourceval pp_state : Format.formatter -> ('a, 'b, 'c) state -> unit
Sourceval pp : Format.formatter -> ('a, 'b, 'c) t -> unit
Sourceval error : ('a, 'b, 'c) t -> error -> ('a, 'b, 'c) res
Sourceval ok : ('a, 'b, 'c) t -> int -> ('a, 'b, 'c) res
Sourceval get_byte : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('b, 'd, 'e) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res
Sourceval put_byte : ctor: (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c, 'e) t -> ('d, 'c, 'e) res) -> ('d, 'c, 'e) state) -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'c, 'e) t -> ('d, 'c, 'e) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'c, 'e) t -> ('d, 'c, 'e) res
Sourceval fill_byte : ctor: (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c, 'e) t -> ('d, 'c, 'e) res) -> ('d, 'c, 'e) state) -> int -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'c, 'e) t -> ('d, 'c, 'e) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'c, 'e) t -> ('d, 'c, 'e) res
Sourceval peek_bits : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('b, 'd, 'e) state) -> int -> (('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res
Sourceval drop_bits : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('b, 'd, 'e) state) -> int -> (('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res
Sourceval get_bits : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('b, 'd, 'e) state) -> int -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res
Sourceval get_with_holding : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('b, 'd, 'e) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res
Sourceval get_int16 : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('b, 'd, 'e) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd, 'e) t -> ('b, 'd, 'e) res
Sourcemodule KLast : sig ... end
Sourcemodule KBlock : sig ... end
Sourcemodule KDictionary : sig ... end
Sourcemodule KFlat : sig ... end
Sourcemodule KInflate : sig ... end
Sourcemodule Dictionary : sig ... end
Sourceval fixed : 'a -> 'b -> ('c, 'd, 'e) t -> ('c, 'd, 'e) res
Sourceval dictionary : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res
Sourceval switch : 'a -> 'b -> ('c, 'd, 'e) t -> ('c, 'd, 'e) res
Sourceval flat : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'a) Safe.t -> ('a, 'a, 'b) t -> ('a, 'a, 'b) res
Sourceval inflate : Lookup.t -> Lookup.t -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res
Sourceexception End
Sourceexception Exn_invalid_distance of int * int
Sourceval inffast : ([< `Rd | `Wr Rd ], 'a) Safe.t -> ([< `Rd | `Wr Wr ], 'b) Safe.t -> ('a, 'b, 'c) t -> Lookup.t -> Lookup.t -> code -> ('a, 'b, 'c) res
Sourceval block : ([< `Rd | `Wr Rd ], 'a) Safe.t -> 'b -> ('a, 'a, 'c) t -> ('a, 'a, 'c) res
Sourceval last : ([< `Rd | `Wr Rd ], 'a) Safe.t -> 'b -> ('a, 'c, 'd) t -> ('a, 'c, 'd) res
Sourceval eval0 : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'a) Safe.t -> ('a, 'a, 'b) t -> ('a, 'a, 'b) res
Sourceval eval : 'a -> 'a -> ('a, 'a, 'b) t -> [> `Await of ('a, 'a, 'b) t | `End of ('a, 'a, 'b) t | `Error of ('a, 'a, 'b) t * error | `Flush of ('a, 'a, 'b) t ]
Sourceval default : witness:'a Buffer.t -> ?wbits:int -> ('a, 'b) Window.t -> ('a, 'a, 'b) t
Sourceval refill : int -> int -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t
Sourceval flush : int -> int -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t
Sourceval used_in : ('a, 'b, 'c) t -> int
Sourceval used_out : ('a, 'b, 'c) t -> int
Sourceval write : ('a, 'b, 'c) t -> int
Sourceval bits_remaining : ('a, 'b, 'c) t -> int
include sig ... end
Sourceval to_result : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a, Window.none) t -> (('a, 'a, Window.none) t, error) result
Sourceval bytes : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a, Window.none) t -> (('a, 'a, Window.none) t, error) result
Sourceval bigstring : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a, Window.none) t -> (('a, 'a, Window.none) t, error) result