Module Rfc1951.InfSource

Sourcetype src = [
  1. | `Channel of in_channel
  2. | `String of string
  3. | `Manual
]
Sourcetype decode = [
  1. | `Await
  2. | `Flush
  3. | `End
  4. | `Malformed of string
]
Sourceexception Invalid_huffman
Sourceval prefix : (int * int) Heap.queue -> int -> int array
Sourcetype kind =
  1. | CODES
  2. | LENS
  3. | DISTS
Sourceval empty_table : int array * int
Sourceval huffman : kind -> int array -> int -> int -> int array * int
Sourcetype decoder = {
  1. src : src;
  2. mutable i : bigstring;
  3. mutable i_pos : int;
  4. mutable i_len : int;
  5. mutable hold : int;
  6. mutable bits : int;
  7. mutable last : bool;
  8. o : bigstring;
  9. t : bigstring;
  10. mutable t_need : int;
  11. mutable t_len : int;
  12. mutable o_pos : int;
  13. mutable l : int;
  14. mutable d : int;
  15. mutable literal : Lookup.t;
  16. mutable distance : Lookup.t;
  17. mutable jump : jump;
  18. w : WInf.t;
  19. mutable s : state;
  20. mutable k : decoder -> ret;
}
Sourceand state =
  1. | Header
  2. | Table of {
    1. hlit : int;
    2. hdist : int;
    3. hclen : int;
    }
  3. | Inflate_table of {
    1. t : int array;
    2. l : int;
    3. r : int array;
    4. h : int * int * int;
    }
  4. | Inflate
  5. | Slow
  6. | Flat_header
  7. | Dynamic_header
  8. | Flat
  9. | End_of_inflate
Sourceand jump =
  1. | Length
  2. | Extra_length
  3. | Distance
  4. | Extra_distance
  5. | Write
Sourceand ret =
  1. | Await
  2. | Flush
  3. | End
  4. | K
  5. | Malformed of string
Sourceval malformedf : ('a, Format.formatter, unit, ret) format4 -> 'a
Sourceval eoi : decoder -> unit
Sourceval final : 'a -> ret
Sourceval err_unexpected_end_of_input : decoder -> ret
Sourceval err_invalid_kind_of_block : decoder -> ret
Sourceval err_invalid_dictionary : decoder -> ret
Sourceval err_invalid_complement_of_length : decoder -> ret
Sourceval err_invalid_distance : decoder -> ret
Sourceval err_invalid_distance_code : decoder -> ret
Sourceval i_rem : decoder -> int
Sourceval refill : (decoder -> ret) -> decoder -> ret
Sourceval c_peek_bits : int -> (decoder -> ret) -> decoder -> ret
Sourceval t_need : decoder -> int -> unit
Sourceval t_fill : (decoder -> ret) -> decoder -> ret
Sourceval reverse_bits : int -> int
Sourceval fixed_lit : Lookup.t
Sourceval fixed_dist : Lookup.t
Sourceval checksum : decoder -> optint
Sourceval flat : decoder -> ret
Sourceval flat_header : decoder -> ret
Sourceval c_put_byte : int -> (decoder -> ret) -> decoder -> ret
Sourceval slow_inflate : Lookup.t -> Lookup.t -> jump -> decoder -> ret
Sourceval inflate : Lookup.t -> Lookup.t -> jump -> decoder -> ret
Sourceval fixed : decoder -> ret
Sourceval make_table : int array -> int -> int -> decoder -> ret
Sourceval inflate_table : decoder -> ret
Sourceval table : decoder -> ret
Sourceval (//) : int -> int -> int
Sourceval dynamic : decoder -> ret
Sourceval decode_k : decoder -> ret
Sourceval decode : decoder -> [> `Await | `End | `Flush | `Malformed of string ]
Sourceval dst_rem : decoder -> int
Sourceval src_rem : decoder -> int
Sourceval flush : decoder -> unit
Sourceval decoder : src -> o:bigstring -> w:bigstring -> decoder
Sourceval reset : decoder -> unit
Sourcemodule Ns : sig ... end