package decompress

You can search for identifiers within the package.

in-package search v0.2.0

package decompress

decompress
- Library decompress
  - Decompress
    
    B
    
    Bigstring
    
    Hunk
    
    L
    
    DEFLATE
    
    F
    
    RFC1951_deflate
    
    F
    
    Zlib_deflate
    
    F
    
    Window
    
    INFLATE
    
    RFC1951_inflate
    
    Zlib_inflate
- Library decompress.impl
  - Decompress_impl
    
    B
    
    Bigstring
    
    Bytes
    
    Q
    
    Safe
    
    B
    
    Bigstring
    
    Bytes
    
    Seq
    
    Hunk
    
    L
    
    Safe
    
    B
    
    Bigstring
    
    Bytes
    
    Seq
    
    Hunk
    
    B
    
    Bigstring
    
    Bytes
    
    T
    
    Heap
    
    T
    
    Table
    
    DEFLATE
    
    F
    
    S_deflate
    
    Convenience_deflate
    
    RFC1951_deflate
    
    F
    
    KWriteBlock
    
    KDynamicHeader
    
    Zlib_deflate
    
    F
    
    KHeader
    
    KAdler32
    
    Window
    
    INFLATE
    
    S_inflate
    
    Convenience_inflate
    
    RFC1951_inflate
    
    Heap
    
    Huffman
    
    Lookup
    
    KLast
    
    KBlock
    
    KDictionary
    
    KFlat
    
    KInflate
    
    Dictionary
    
    Zlib_inflate
    
    KHeader
    
    KCrc
- Sources
  - decompress
    
    decompress.ml
  - decompress.impl
    
    decompress_b.ml
    
    decompress_bigstring.ml
    
    decompress_bytes.ml
    
    decompress_hunk.ml
    
    decompress_impl.ml
    
    decompress_impl__.ml
    
    decompress_lz77.ml
    
    decompress_q.ml
    
    decompress_safe.ml
    
    decompress_seq.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Decompress_impl.Zlib_inflate`Source

Sourcetype ('i, 'o) t = {

d : ('i, 'o) RFC1951_inflate.t;
z : ('i, 'o) state;
expected_wbits : int option;

}

Source

and ('i, 'o) k =
  (Safe.ro, 'i) Safe.t ->
  (Safe.wo, 'o) Safe.t ->
  ('i, 'o) t ->
  ('i, 'o) res

Sourceand ('i, 'o) state =

| Header of ('i, 'o) k
| Inflate
| Adler32 of ('i, 'o) k
| Finish
| Exception of error

Sourceand ('i, 'o) res =

| Cont of ('i, 'o) t
| Wait of ('i, 'o) t
| Flush of ('i, 'o) t
| Ok of ('i, 'o) t
| Error of ('i, 'o) t * error

Sourceand error = error_z_inflate

Sourceval pp_error : Format.formatter -> error_z_inflate -> unit

Sourceval pp_state : Format.formatter -> ('a, 'b) state -> unit

Sourceval pp : Format.formatter -> ('a, 'b) t -> unit

Sourceval error : ('a, 'b) t -> error -> ('a, 'b) res

Sourceval ok : ('a, 'b) t -> ('a, 'b) res

Source

val get_byte : 
  ctor:
    ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
      ('b, 'd) state) ->
  (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
  ('a, 'b) Safe.t ->
  'c ->
  ('b, 'd) t ->
  ('b, 'd) res

Source

val get_with_holding : 
  ctor:
    ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
      ('b, 'd) state) ->
  (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
  ('a, 'b) Safe.t ->
  'c ->
  ('b, 'd) t ->
  ('b, 'd) res

Source

val peek_bits : 
  ctor:
    ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
      ('b, 'd) state) ->
  int ->
  (('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
  ('a, 'b) Safe.t ->
  'c ->
  ('b, 'd) t ->
  ('b, 'd) res

Source

val drop_bits : 
  ctor:
    ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
      ('b, 'd) state) ->
  int ->
  (('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) ->
  ('a, 'b) Safe.t ->
  'c ->
  ('b, 'd) t ->
  ('b, 'd) res

Sourcemodule KHeader : sig ... end

Sourcemodule KCrc : sig ... end

Source

val adler32 : 
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val inflate : 
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'a) Safe.t ->
  ('a, 'a) t ->
  ('a, 'a) res

Source

val header : 
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

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

Sourceval default : witness:'a B.t -> ?wbits:int option -> 'a Window.t -> ('a, 'a) t

Sourceval refill : int -> int -> ('a, 'b) t -> ('a, 'b) t

Sourceval flush : int -> int -> ('a, 'b) t -> ('a, 'b) t

Sourceval used_in : ('a, 'b) t -> int

Sourceval used_out : ('a, 'b) t -> int

Sourceval write : ('a, 'b) t -> int

include sig ... end

Source

val to_result : 
  'a ->
  'a ->
  ('a -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Source

val bytes : 
  'a ->
  'a ->
  ('a -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Source

val bigstring : 
  'a ->
  'a ->
  ('a -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

package decompress

Module Decompress_impl.Zlib_inflateSource

Module `Decompress_impl.Zlib_inflate`Source