Module type `Rfc1951.INFLATE`Source

Inflate algorithm.

A functionnal non-blocking implementation of Zlib algorithm.

Sourcetype error

Inflate error.

Sourcetype ('i, 'o) t

The state of the inflate algorithm. 'i and 'o are the implementation used respectively for the input and the output, see B.st and B.bs. The typer considers than 'i = 'o.

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

Pretty-printer of inflate error.

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

Pretty-printer of inflate state.

Source

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 ]

eval i o t computes the state t with the input i and the output o. This function returns:

`Await t: the state t waits a new input, may be you use refill.
`Flush t: the state t completes the output, may be you use flush.
`End t: means that the deflate algorithm is done in your input. May be t writes something in your output. You can check with used_out.
`Error (t, exn): the algorithm catches an error exn.

Sourceval refill : int -> int -> ('i, 'o) t -> ('i, 'o) t

refill off len t allows the state t to use an output at off on len byte(s).

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

flush off len t allows the state t to use an output at off on len byte(s).

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

used_in t returns how many byte(s) was used by t in the input.

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

used_out ŧ returns how many byte(s) was used by t in the output.

Sourceval write : ('i, 'o) t -> int

write t returns the size of the stream decompressed.

Sourceval bits_remaining : ('x, 'x) t -> int

Sourceval default : 'o Window.t -> ('i, 'o) t

default makes a new state t.

Source

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

to_result i o refill flush t is a convenience function to apply the inflate algorithm on the stream refill and call flush when the internal output is full (and need to flush).

If the compute catch an error, we returns Error exn (see INFLATE.error). Otherwise, we returns the state useless t.

Source

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

Specialization of to_result with B.Bytes.t.

Source

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

Specialization of to_result with B.Bigstring.t.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/decompress.rfc1951/Rfc1951/module-type-INFLATE/index.html

Module type `Rfc1951.INFLATE`Source

package decompress

Install

Dune Dependency

Authors

Maintainers

Sources

doc/decompress.rfc1951/Rfc1951/module-type-INFLATE/index.html

Module type Rfc1951.INFLATESource

Module type `Rfc1951.INFLATE`Source