Module `Decompress_deflate.RFC1951`Source

Sourcemodule F : sig ... end

Sourcetype error = error_rfc1951

Sourcetype ('i, 'o) t = {

hold : int;
bits : int;
temp : ([ Safe.ro | Safe.wo ], 'o) Safe.t;
o_off : int;
o_pos : int;
o_len : int;
i_off : int;
i_pos : int;
i_len : int;
level : int;
wbits : int;
read : int32;
write : int;
adler : Checkseum.Adler32.t;
crc : Checkseum.Crc32.t;
state : ('i, 'o) state;
wi : 'i Buffer.t;
wo : 'o Buffer.t;

}

and ('i, 'o) k =
  (Safe.ro, 'i) Safe.t ->
  (Safe.wo, 'o) Safe.t ->
  ('i, 'o) t ->
  ('i, 'o) res

Sourceand ('i, 'o) state =

| MakeBlock of ('i, 'o) block
| WriteBlock of ('i, 'o) k
| FastBlock of (int * int) array * (int * int) array * Hunk.t Q.t * code * flush
| AlignBlock of F.t option * bool
| FixedBlock of F.t
| DynamicHeader of ('i, 'o) k
| StaticHeader of ('i, 'o) k
| AlignF of ('i, 'o) k
| Finish of int
| Exception of error

Sourceand ('i, 'o) res =

| Cont of ('i, 'o) t
| Wait of ('i, 'o) t
| Flush of ('i, 'o) t
| Ok of ('i, 'o) t
| Error of ('i, 'o) t * error

Sourceand ('i, 'o) block =

| Static of {
1. lz : 'i Lz77.t;
2. frequencies : F.t;
3. deflate : Hunk.t Seq.t;
}
| Dynamic of {
1. lz : 'i Lz77.t;
2. frequencies : F.t;
3. deflate : Hunk.t Seq.t;
}
| Flat of int

Sourceand flush =

| Sync of F.t
| Partial of F.t
| Full
| Final

Sourceand code =

| Length
| ExtLength
| Dist
| ExtDist

Sourceand meth =

| PARTIAL
| SYNC
| FULL

Sourceval pp_error : Format.formatter -> error_rfc1951 -> unit

Sourceval pp_code : Format.formatter -> code -> unit

Sourceval pp_flush : Format.formatter -> flush -> unit

Sourceval pp_block : Format.formatter -> ('a, 'b) block -> unit

Sourceval pp_state : Format.formatter -> ('a, 'b) state -> unit

Sourceval pp : Format.formatter -> ('a, 'b) t -> unit

Sourceval await : ('i, 'o) t -> ('i, 'o) res

Sourceval error : ('i, 'o) t -> error -> ('i, 'o) res

Sourceval ok : ('i, 'o) t -> int -> ('i, 'o) res

Sourceval block_of_flush : flush -> ('a, 'b) state

Source

val put_byte : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  int ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val put_short_lsb : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  int ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val align : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val put_bits : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  (int * int) ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val put_bit : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  bool ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Sourcemodule KWriteBlock : sig ... end

Sourcemodule KDynamicHeader : sig ... end

Source

val get_tree_symbols : 
  int ->
  int array ->
  int ->
  int array ->
  int array * int array

Source

val block_of_level : 
  witness:'a Lz77.Buffer.t ->
  wbits:int ->
  ?frequencies:F.t ->
  int ->
  ('a, 'b) block

Sourceval zip : 'a array -> 'b array -> ('a * 'b) array

Source

val write_block : 
  (int * int) array ->
  (int * int) array ->
  Hunk.t Q.t ->
  flush ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val static : 
  'a ->
  Hunk.t Q.t ->
  ('a -> flush) ->
  (Safe.ro, 'b) Safe.t ->
  (Safe.wo, 'c) Safe.t ->
  ('b, 'c) t ->
  ('b, 'c) res

Source

val dynamic : 
  (int array * int array) ->
  Hunk.t Q.t ->
  ((int array * int array) -> flush) ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'a) Safe.t ->
  ('a, 'a) t ->
  ('a, 'a) res

Source

val align_bytes : 
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val write_flat : 
  int ->
  int ->
  int ->
  bool ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val flat : 
  int ->
  int ->
  int ->
  bool ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val make_block : 
  (Lz77.Safe.ro, 'a) Lz77.Safe.t ->
  'b ->
  ('a, 'a) t ->
  ('a, 'c) block ->
  ('a, 'a) res

Source

val fixed_block : 
  F.t ->
  bool ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val align_block : 
  F.t option ->
  bool ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val write_fast_block : 
  'a ->
  ([< `Rd | `Wr Wr ], 'b) Safe.t ->
  ('c, 'b) t ->
  (int * int) array ->
  (int * int) array ->
  Hunk.t Q.t ->
  code ->
  flush ->
  ('c, 'b) res

Sourceval flush : int -> int -> ('a, 'b) t -> ('a, 'b) t

Sourceval get_frequencies : ('a, 'b) t -> F.t

Source

val set_frequencies : 
  ?paranoid:bool ->
  (int array * int array) ->
  ('a, 'b) t ->
  ('a, 'b) t

Sourceval to_final : 'a -> flush

Sourceval to_partial : F.t -> flush

Sourceval to_sync : F.t -> flush

Sourceval to_full : 'a -> flush

Sourceval finish : ('a, 'a) t -> ('a, 'a) t

Sourceval no_flush : int -> int -> ('a, 'b) t -> ('a, 'b) t

Sourceval partial_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t

Sourceval sync_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t

Sourceval full_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t

Sourceval flush_of_meth : meth -> int -> int -> ('a, 'a) t -> ('a, 'a) t

Source

val eval0 : 
  (Lz77.Safe.ro, 'a) Lz77.Safe.t ->
  (Safe.wo, 'a) Safe.t ->
  ('a, 'a) t ->
  ('a, 'a) res

Source

val eval : 
  'a ->
  'a ->
  ('a, 'a) t ->
  [> `Await of ('a, 'a) t
  | `End of ('a, 'a) t
  | `Error of ('a, 'a) t * error
  | `Flush of ('a, 'a) t ]

Sourceval used_in : ('a, 'b) t -> int

Sourceval used_out : ('a, 'b) t -> int

Sourceval read : ('a, 'b) t -> int32

Sourceval bits_remaining : ('a, 'b) t -> int

Sourceval default : witness:'a Safe.Buffer.t -> ?wbits:int -> int -> ('a, 'a) t

include sig ... end

Source

val to_result : 
  'a ->
  'a ->
  ?meth:(meth * int) ->
  ('a -> int option -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Source

val bytes : 
  'a ->
  'a ->
  ?meth:(meth * int) ->
  ('a -> int option -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Source

val bigstring : 
  'a ->
  'a ->
  ?meth:(meth * int) ->
  ('a -> int option -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/decompress.impl/Impl/Decompress_deflate/RFC1951/index.html

Module `Decompress_deflate.RFC1951`Source

package decompress

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/decompress.impl/Impl/Decompress_deflate/RFC1951/index.html

Module Decompress_deflate.RFC1951Source

dune-project
Dependency

Module `Decompress_deflate.RFC1951`Source