Closed dinosaure closed 3 months ago
This PR is the continuity of #140 and #143. It adds the support to make a *.tar.gz archive. I extended the GADT and introduce the Write operation. Then, it just matters of composition between the ('a, 'err, 't) Tar.t and the decompress layer.
*.tar.gz
Write
('a, 'err, 't) Tar.t
decompress
I think it's ready to merge :+1:. All contributors agreed on this version,
This PR is the continuity of #140 and #143. It adds the support to make a
*.tar.gz
archive. I extended the GADT and introduce theWrite
operation. Then, it just matters of composition between the('a, 'err, 't) Tar.t
and thedecompress
layer.