Source file decompress.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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
open Impl
module Buffer = Decompress_buffer
module Hunk = Decompress_hunk
module Lz77 = Decompress_lz77
module OS = Decompress_os
module Inflate = Decompress_inflate
module Deflate = Decompress_deflate
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
-> 'a
-> ('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 : witness:'a Buffer.t -> ?wbits:int -> int -> ('a, 'a) t
val to_result :
'a
-> 'a
-> ?meth:meth * int
-> ('a -> int option -> int)
-> ('a -> 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)
-> (Bytes.t, Bytes.t) t
-> ((Bytes.t, Bytes.t) t, error) result
val bigstring :
Buffer.Bigstring.t
-> Buffer.Bigstring.t
-> ?meth:meth * int
-> (Buffer.Bigstring.t -> int option -> int)
-> (Buffer.Bigstring.t -> int -> int)
-> (Buffer.Bigstring.t, Buffer.Bigstring.t) t
-> ((Buffer.Bigstring.t, Buffer.Bigstring.t) t, error) result
end
type error_rfc1951_deflate = Deflate.error_rfc1951 = Lz77 of Lz77.error
module RFC1951_deflate = Deflate.RFC1951
type error_z_deflate = Deflate.error_z = RFC1951 of error_rfc1951_deflate
module Zlib_deflate = Deflate.Zlib
type error_g_deflate = Deflate.error_g = RFC1951 of error_rfc1951_deflate
module Gzip_deflate = Deflate.Gzip
module Window = Decompress_window
module type INFLATE = sig
type error
type crc
type ('i, 'o) t
val pp_error : Format.formatter -> error -> unit
val pp : Format.formatter -> ('i, 'o) t -> unit
val eval :
'a
-> 'a
-> ('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 to_result :
'a
-> 'a
-> ('a -> int)
-> ('a -> int -> int)
-> ('a, 'a) t
-> (('a, 'a) t, error) result
val bytes :
Bytes.t
-> Bytes.t
-> (Bytes.t -> int)
-> (Bytes.t -> int -> int)
-> (Bytes.t, Bytes.t) t
-> ((Bytes.t, Bytes.t) t, error) result
val bigstring :
Buffer.Bigstring.t
-> Buffer.Bigstring.t
-> (Buffer.Bigstring.t -> int)
-> (Buffer.Bigstring.t -> int -> int)
-> (Buffer.Bigstring.t, Buffer.Bigstring.t) t
-> ((Buffer.Bigstring.t, Buffer.Bigstring.t) t, error) result
end
type error_rfc1951_inflate = Inflate.error_rfc1951 =
| Invalid_kind_of_block
| Invalid_complement_of_length
| Invalid_dictionary
| Invalid_distance_code
| Invalid_distance of {distance: int; max: int}
module RFC1951_inflate = struct
open Inflate.RFC1951
type crc = Window.none
type nonrec ('i, 'o) t = ('i, 'o, crc) t
type nonrec error = error
let eval = eval
let used_in = used_in
let used_out = used_out
let bits_remaining = bits_remaining
let bigstring = bigstring
let bytes = bytes
let to_result = to_result
let default = default
let write = write
let flush = flush
let refill = refill
let pp = pp
let pp_error = pp_error
end
type error_z_inflate = Inflate.error_z =
| RFC1951 of RFC1951_inflate.error
| Invalid_checksum of {have: Checkseum.Adler32.t; expect: Checkseum.Adler32.t}
module Zlib_inflate = Inflate.Zlib
type error_g_inflate = Inflate.error_g =
| RFC1951 of RFC1951_inflate.error
| Invalid_checksum of {have: Checkseum.Adler32.t; expect: Checkseum.Adler32.t}
| Invalid_size of {have: Optint.t; expect: Optint.t}
module Gzip_inflate = Inflate.Gzip