package decompress

You can search for identifiers within the package.

in-package search v0.2.0

decompress
- Decompress
  - B
    
    Bigstring
  - DEFLATE
    
    F
  - Hunk
  - INFLATE
  - L
  - RFC1951_deflate
    
    F
  - RFC1951_inflate
  - Window
  - Zlib_deflate
    
    F
  - Zlib_inflate
decompress.impl
- Decompress_impl
  - B
    
    Bigstring
    
    Bytes
  - Convenience_deflate
    
    X
  - Convenience_inflate
    
    X
  - DEFLATE
    
    F
  - Heap
  - Hunk
  - INFLATE
  - L
    
    B
    
    Bigstring
    
    Bytes
    
    Hunk
    
    Safe
    
    B
    
    Bigstring
    
    Bytes
    
    Seq
    
    T
  - Q
  - RFC1951_deflate
    
    F
    
    KDynamicHeader
    
    KWriteBlock
  - RFC1951_inflate
    
    Dictionary
    
    Heap
    
    Huffman
    
    KBlock
    
    KDictionary
    
    KFlat
    
    KInflate
    
    KLast
    
    Lookup
  - S_deflate
  - S_inflate
  - Safe
    
    B
    
    Bigstring
    
    Bytes
  - Seq
  - T
  - Table
  - Window
  - Zlib_deflate
    
    KAdler32
    
    KHeader
  - Zlib_inflate
    
    KCrc
    
    KHeader

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.

The functor was not done now but may be soonly. So, TODO!

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 B.t ->
  ?level:int ->
  ?on:(Hunk.t -> unit) ->
  int ->
  'i t

default ~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 the frequencies of the Literal and Match.