Module `Rfc1951.Def`Source

Sourcetype dst = [

| `Channel of out_channel
| `Buffer of Buffer.t
| `Manual

]

Sourcetype dynamic = {

ltree : T.tree;
dtree : T.tree;
bltree : T.tree;
h_lit : int;
h_dst : int;
h_len : int;
symbols : int array;

}

Sourceval bl_tree : T.tree -> T.tree -> bl_count:int array -> int * T.tree

val dynamic_of_frequencies : 
  literals:int array ->
  distances:int array ->
  dynamic

Sourceval invalid_encode : unit -> 'a

Sourcetype kind =

| Flat
| Fixed
| Dynamic of dynamic

Sourcetype block = {

kind : kind;
last : bool;

}

Sourcetype encode = [

| `Await
| `Flush
| `Block of block

]

Sourceval exists : [< `Copy of int * int | `End | `Literal of char ] -> block -> bool

Sourcetype encoder = {

dst : dst;
mutable blk : block;
mutable hold : int;
mutable bits : int;
mutable bits_rem : [ `Rem of int | `Pending ];
mutable flat : int;
mutable fmax : int;
mutable o : bigstring;
mutable o_pos : int;
mutable o_max : int;
b : Queue.t;
mutable k : encoder -> encode -> [ `Ok | `Partial | `Block ];

}

Sourceval o_rem : encoder -> int

Source

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

Source

val partial : 
  ('a -> 'b) ->
  'a ->
  [< `Await | `Block of 'c | `Copy of 'd | `End | `Flush | `Literal of 'e ] ->
  'b

Source

val flush : 
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val c_byte : 
  int ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val c_short : 
  int ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val c_bits : 
  int ->
  int ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val ensure : 
  int ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val encode_flat_header : 
  bool ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val encode_huffman : 
  dynamic ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val encode_zigzag : 
  dynamic ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val encode_dynamic_header : 
  bool ->
  dynamic ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val encode_fixed_header : 
  bool ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Source

val pending_bits : 
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Sourceexception Flush_bits of {

hold : int;
bits : int;

}

Sourceval block : encoder -> encode -> [ `Block | `Ok | `Partial ]

Source

val flush_bits : 
  bits:int ->
  hold:int ->
  (encoder -> [ `Block | `Ok | `Partial ]) ->
  encoder ->
  [ `Block | `Ok | `Partial ]

Sourceval write : encoder -> [ `Block | `Ok | `Partial ]

Sourceval force : block -> encoder -> [ `Block | `Ok | `Partial ]

Sourceval write_flat : encoder -> [ `Block | `Ok | `Partial ]

Source

val first_entry : 
  encoder ->
  [< `Await | `Block of block | `Flush ] ->
  [ `Block | `Ok | `Partial ]

Sourceval dst_rem : encoder -> int

Sourceval bits_rem : encoder -> int

Sourceval encoder : dst -> q:Queue.t -> encoder

Sourceval encode : encoder -> encode -> [ `Block | `Ok | `Partial ]

Sourcemodule Ns : sig ... end

package rfc1951

Module Rfc1951.DefSource

Module `Rfc1951.Def`Source