package decompress

You can search for identifiers within the package.

in-package search v0.2.0

package decompress

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
    
    Hunk
    
    Safe
    
    Seq
    
    T
  - Q
  - RFC1951_deflate
    
    F
    
    KDynamicHeader
    
    KWriteBlock
  - RFC1951_inflate
    
    Dictionary
    
    Heap
    
    Huffman
    
    KBlock
    
    KDictionary
    
    KFlat
    
    KInflate
    
    KLast
    
    Lookup
  - S_deflate
  - S_inflate
  - Safe
  - Seq
  - T
  - Table
  - Window
  - Zlib_deflate
    
    KAdler32
    
    KHeader
  - Zlib_inflate
    
    KCrc
    
    KHeader
decompress.rfc1951
- Rfc1951
  - B
    
    Bigstring
  - DEFLATE
    
    F
  - Deflate
    
    F
  - Hunk
  - INFLATE
  - Inflate
  - L
  - Window

Legend:
Library
Module
Module type
Parameter
Class
Class type

non-blocking and functionnal implementation of Deflate

type error

module F : sig ... end

type ('i, 'o) t

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

val pp : Format.formatter -> ('i, 'o) t -> unit

val get_frequencies : ('i, 'o) t -> F.t

val set_frequencies : ?paranoid:bool -> F.t -> ('i, 'o) t -> ('i, 'o) t

val finish : ('x, 'x) t -> ('x, 'x) t

val no_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t

val partial_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t

val sync_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t

val full_flush : int -> int -> ('x, 'x) t -> ('x, 'x) t

type meth =

| PARTIAL
| SYNC
| FULL

val flush_of_meth : meth -> int -> int -> ('x, 'x) t -> ('x, 'x) t

val flush : int -> int -> ('i, 'o) t -> ('i, 'o) t

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

val used_in : ('i, 'o) t -> int

val used_out : ('i, 'o) t -> int

val default : proof:'o B.t -> ?wbits:int -> int -> ('i, 'o) t

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

val bytes : 
  Bytes.t ->
  Bytes.t ->
  ?meth:(meth * int) ->
  (Bytes.t -> int option -> int) ->
  (Bytes.t -> int -> int) ->
  (B.st, B.st) t ->
  ((B.st, B.st) t, error) result

val bigstring : 
  B.Bigstring.t ->
  B.Bigstring.t ->
  ?meth:(meth * int) ->
  (B.Bigstring.t -> int option -> int) ->
  (B.Bigstring.t -> int -> int) ->
  (B.bs, B.bs) t ->
  ((B.bs, B.bs) t, error) result