package decompress

  1. Overview
  2. Docs

Module Decompress_impl.Zlib_deflateSource

Sourcetype ('i, 'o) t = {
  1. d : ('i, 'o) RFC1951_deflate.t;
  2. z : ('i, 'o) state;
}
Sourceand ('i, 'o) k = (Safe.read, 'i) Safe.t -> (Safe.write, 'o) Safe.t -> ('i, 'o) t -> ('i, 'o) res
Sourceand ('i, 'o) state =
  1. | Header of ('i, 'o) k
  2. | Deflate
  3. | Adler32 of ('i, 'o) k
  4. | Finish
  5. | Exception of error
Sourceand ('i, 'o) res =
  1. | Cont of ('i, 'o) t
  2. | Wait of ('i, 'o) t
  3. | Flush of ('i, 'o) t
  4. | Ok of ('i, 'o) t
  5. | Error of ('i, 'o) t * error
Sourceand meth = RFC1951_deflate.meth =
  1. | PARTIAL
  2. | SYNC
  3. | FULL
Sourceval pp_error : Format.formatter -> error_z_deflate -> unit
Sourceval pp_state : Format.formatter -> ('a, 'b) state -> unit
Sourceval pp : Format.formatter -> ('a, 'b) t -> unit
Sourceval ok : ('a, 'b) t -> ('a, 'b) res
Sourceval error : ('a, 'b) t -> error -> ('a, 'b) res
Sourceval put_byte : ctor: (('a -> ([< `Read | `Write Write ] as 'b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> ('d, 'e) state) -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res
Sourceval put_short_lsb : ctor: (('a -> ([< `Read | `Write Write ] as 'b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> ('d, 'e) state) -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res
Sourceval align : ctor: (('a -> ([< `Read | `Write Write ] as 'b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> ('d, 'e) state) -> ('a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res
Sourceval put_short_msb : ctor: (('a -> ([< `Read | `Write Write ] as 'b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> ('d, 'e) state) -> int -> ('a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res) -> 'a -> ('b, 'c) Safe.t -> ('d, 'e) t -> ('d, 'e) res
Sourcemodule KHeader : sig ... end
Sourcemodule KAdler32 : sig ... end
Sourceval adler32 : (Safe.read, 'a) Safe.t -> (Safe.write, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval deflate : (L.Safe.read, 'a) L.Safe.t -> (Safe.write, 'a) Safe.t -> ('a, 'a) t -> ('a, 'a) res
Sourceval header : int -> (Safe.read, 'a) Safe.t -> (Safe.write, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval eval : 'a Decompress_impl__.Decompress_b.t -> 'a Decompress_impl__.Decompress_b.t -> ('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 : proof:'a B.t -> ?wbits:int -> int -> ('b, 'a) t
Sourceval get_frequencies : ('a, 'b) t -> RFC1951_deflate.F.t
Sourceval set_frequencies : ?paranoid:bool -> (int array * int array) -> ('a, 'b) t -> ('a, 'b) t
Sourceval finish : ('a, 'a) t -> ('a, 'a) t
Sourceval no_flush : int -> int -> ('a, 'b) t -> ('a, 'b) t
Sourceval partial_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t
Sourceval sync_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t
Sourceval full_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t
Sourceval flush_of_meth : RFC1951_deflate.meth -> int -> int -> ('a, 'a) t -> ('a, 'a) 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
include sig ... end
Sourceval 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
Sourceval bytes : B.Bytes.t -> B.Bytes.t -> ?meth:(meth * int) -> (B.Bytes.t -> int option -> int) -> (B.Bytes.t -> int -> int) -> (B.st, B.st) t -> ((B.st, B.st) t, error) result
Sourceval 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