Module `Inf.Ns`Source

Sourcetype decoder = {

i : bigstring;
mutable i_pos : int;
i_len : int;
mutable hold : int;
mutable bits : int;
o : bigstring;
mutable o_pos : int;
o_len : int;

}

Sourcetype error = [

| `Unexpected_end_of_input
| `Unexpected_end_of_output
| `Invalid_kind_of_block
| `Invalid_dictionary
| `Invalid_complement_of_length
| `Invalid_distance
| `Invalid_distance_code

]

val pp_error : 
  Format.formatter ->
  [< `Invalid_complement_of_length
  | `Invalid_dictionary
  | `Invalid_distance
  | `Invalid_distance_code
  | `Invalid_kind_of_block
  | `Unexpected_end_of_input
  | `Unexpected_end_of_output ] ->
  unit

Sourceexception Malformed of error

Sourceval err_unexpected_end_of_input : unit -> 'a

Sourceval err_unexpected_end_of_output : unit -> 'a

Sourceval err_invalid_kind_of_block : unit -> 'a

Sourceval err_invalid_dictionary : unit -> 'a

Sourceval err_invalid_complement_of_length : unit -> 'a

Sourceval err_invalid_distance : unit -> 'a

Sourceval err_invalid_distance_code : unit -> 'a

Sourceval i_rem : decoder -> int

Sourceval _slow_blit : bigstring -> int -> bigstring -> int -> int -> unit

Sourceval _blit : bigstring -> int -> bigstring -> int -> int -> unit

Sourceval flat : decoder -> unit

Sourceval _fill_bits : decoder -> int -> unit

Sourceval __fill_bits : decoder -> int -> unit

Sourceval pop_bits : decoder -> int -> int

Sourceexception End

Sourceexception Invalid_distance

Sourceexception Invalid_distance_code

Sourceval fixed : decoder -> unit

Sourceval make_table : int array -> int -> int -> decoder -> unit

Source

val inflate_table : 
  decoder ->
  int array ->
  int ->
  int array ->
  (int * int * 'a) ->
  unit

Sourceval table : decoder -> int -> int -> int -> unit

Sourceval dynamic : decoder -> unit

Sourceval decode : decoder -> unit

Sourceval inflate : bigstring -> bigstring -> (int * int, [> error ]) result

package rfc1951

Module Inf.NsSource

Module `Inf.Ns`Source