package rfc1951

You can search for identifiers within the package.

in-package search v0.2.0

package rfc1951

rfc1951
- Rfc1951
  - B
    
    Bigstring
  - DEFLATE
    
    F
  - Deflate
    
    F
  - Hunk
  - INFLATE
  - Inflate
  - L
  - Window

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.