package decompress

You can search for identifiers within the package.

in-package search v0.2.0

decompress
- Decompress
  - Buffer
    
    Bigstring
  - DEFLATE
    
    F
  - Gzip_deflate
    
    F
  - Gzip_inflate
  - Hunk
  - INFLATE
  - Lz77
  - OS
  - RFC1951_deflate
    
    F
  - RFC1951_inflate
  - Window
  - Zlib_deflate
    
    F
  - Zlib_inflate
decompress.impl
- Impl
  - Decompress_bigstring
  - Decompress_buffer
  - Decompress_bytes
  - Decompress_deflate
    
    Convenience
    
    X
    
    DEFLATE
    
    F
    
    Gzip
    
    KCrc32
    
    KHeader
    
    KSize
    
    RFC1951
    
    F
    
    KDynamicHeader
    
    KWriteBlock
    
    S
    
    Zlib
    
    KAdler32
    
    KHeader
  - Decompress_heap
  - Decompress_hunk
  - Decompress_inflate
    
    Convenience
    
    X
    
    Gzip
    
    KCrc
    
    KHeader
    
    KSize
    
    INFLATE
    
    RFC1951
    
    Dictionary
    
    Heap
    
    Huffman
    
    KBlock
    
    KDictionary
    
    KFlat
    
    KInflate
    
    KLast
    
    Lookup
    
    S
    
    Zlib
    
    KCrc
    
    KHeader
  - Decompress_lz77
    
    T
  - Decompress_option
  - Decompress_os
  - Decompress_q
  - Decompress_safe
  - Decompress_seq
  - Decompress_tables
  - Decompress_tree
  - Decompress_window
    
    Crc

Legend:
Library
Module
Module type
Parameter
Class
Class type

Lz77 algorithm.

A functionnal non-blocking implementation of Lz77 algorithm. This algorithm produces a Hunk.t list of an input.

This algorithm is the same as https://github.com/Blosc/c-blosc. So the implementation is an imperative hack in OCaml. May be it's not the best in the functionnal world but it works. The interface was thinked to be replaced by your implemenation by a functor.

type error =

| Invalid_level of int
(*
This error appears when you try to compute the Lz77 algorithm with a wrong level (level >= 0 && level <= 9).
*)
| Invalid_wbits of int
(*
This error appears when you specify a bad wbits: wbits >= 8 && wbits <= 15
*)

Lz77 error.

type 'i t

The state of the Lz77 algorithm.

val pp_error : Format.formatter -> error -> unit

Pretty-printer of Lz77 error.

val pp : Format.formatter -> 'i t -> unit

Pretty-printer of Lz77 state.

val used_in : 'i t -> int

used_in t returns n bytes(s) used by the algorithm in the current input.

val default : 
  witness:'i Buffer.t ->
  ?level:int ->
  ?on:(Hunk.t -> unit) ->
  int ->
  'i t

default ~witness ~level ~on wbits produces a new state to compute the Lz77 algorithm in an input. level means the level of the compression (between 0 and 9), on is a function called when the algorithm produce one Hunk.t and wbits is the window size allowed.

Usually, wbits = 15 for a window of 32K. If wbits is lower, you constraint the distance of a Match produced by the Lz77 algorithm to the window size.

on is a function to interact fastly with your data-structure and keep frequencies of Literal and Match.