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

Window used by the Inflate algorithm.

A functionnal implementation of window to use with the inflate algorithm. After one process, you can reset and reuse the window for a new process. This API is available to limit the allocation by Decompress.

type 'o t

The Window specialized by 'o (see B.st and B.bs).

val create : witness:'o B.t -> 'o t

create ~proof creates a new window.

val reset : 'o t -> 'o t

reset window resets a window to be reused by an Inflate algorithm.

val crc : 'o t -> Checkseum.Adler32.t

crc window returns the checksum computed by the window.