package decompress
Pure OCaml implementation of Zlib
Install
Dune Dependency
Authors
Maintainers
Sources
decompress-0.8.tbz
sha256=ea6987f72816044ccf3edb586e3b64668d53c5ef1b0a735119e5c9d740504240
md5=547eaf0803af3ed01ff7801facfe27e6
doc/src/decompress.rfc1951/rfc1951.ml.html
Source file rfc1951.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105module B = Decompress_impl.B module Hunk = Decompress_impl.Hunk module L = Decompress_impl.L module type DEFLATE = sig type error module F: sig type t = int array * int array 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 bits_remaining: ('x, 'x) 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 end type error_deflate = Decompress_impl.error_rfc1951_deflate = Lz77 of L.error module Deflate = Decompress_impl.RFC1951_deflate module Window = Decompress_impl.Window module type INFLATE = sig type error type ('i, 'o) t val pp_error: Format.formatter -> error -> unit val pp: Format.formatter -> ('i, 'o) t -> unit 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 refill: int -> int -> ('i, 'o) t -> ('i, 'o) t val flush: int -> int -> ('i, 'o) t -> ('i, 'o) t val used_in: ('i, 'o) t -> int val used_out: ('i, 'o) t -> int val write: ('i, 'o) t -> int val bits_remaining: ('x, 'x) t -> int val default: 'o Window.t -> ('i, 'o) t 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 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 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 end type error_inflate = Decompress_impl.error_rfc1951_inflate = | Invalid_kind_of_block | Invalid_complement_of_length | Invalid_dictionary module Inflate = Decompress_impl.RFC1951_inflate