Module `Rfc1951.Inf`Source

Sourcetype src = [

| `Channel of in_channel
| `String of string
| `Manual

]

Sourcetype decode = [

| `Await
| `Flush
| `End
| `Malformed of string

]

Sourceexception Invalid_huffman

Sourceval prefix : (int * int) Heap.queue -> int -> int array

Sourcetype kind =

| CODES
| LENS
| DISTS

Sourceval empty_table : int array * int

Sourceval huffman : kind -> int array -> int -> int -> int array * int

Sourcetype decoder = {

src : src;
mutable i : bigstring;
mutable i_pos : int;
mutable i_len : int;
mutable hold : int;
mutable bits : int;
mutable last : bool;
o : bigstring;
t : bigstring;
mutable t_need : int;
mutable t_len : int;
mutable o_pos : int;
mutable l : int;
mutable d : int;
mutable literal : Lookup.t;
mutable distance : Lookup.t;
mutable jump : jump;
w : WInf.t;
mutable s : state;
mutable k : decoder -> ret;

}

Sourceand state =

| Header
| Table of {
1. hlit : int;
2. hdist : int;
3. hclen : int;
}
| Inflate_table of {
1. t : int array;
2. l : int;
3. r : int array;
4. h : int * int * int;
}
| Inflate
| Slow
| Flat_header
| Dynamic_header
| Flat
| End_of_inflate

Sourceand jump =

| Length
| Extra_length
| Distance
| Extra_distance
| Write

Sourceand ret =

| Await
| Flush
| End
| K
| 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

Source

val src : 
  decoder ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  int ->
  int ->
  unit

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

package rfc1951

Module Rfc1951.InfSource

Module `Rfc1951.Inf`Source