Dylan Simon
|
ad6413d9b7
|
Complete zipStream, untested
|
2017-05-13 00:41:41 -04:00 |
|
Dylan Simon
|
c460089d1a
|
Start zipStream implementation
Only local headers and data so far; no central directory yet
|
2017-05-12 17:17:35 -04:00 |
|
Dylan Simon
|
49f413a492
|
Minor reorganization in prep for zipping
|
2017-05-11 21:38:16 -04:00 |
|
Dylan Simon
|
2c87f62e2b
|
Add command-line unzipper (mainly to test with)
|
2017-05-11 21:20:15 -04:00 |
|
Dylan Simon
|
9a6b39ce11
|
Add support for compressed stream data
|
2017-05-11 19:58:08 -04:00 |
|
Dylan Simon
|
bbc25f9766
|
Documentation fixes
|
2017-05-11 16:16:09 -04:00 |
|
Dylan Simon
|
fed591ecfb
|
Generalize beyond IO monad
|
2017-05-11 16:04:34 -04:00 |
|
Dylan Simon
|
05a04383f8
|
Fix extra field processing loop
So much for untesting, though my own fault for removing getList in the
first place
|
2017-05-11 15:31:03 -04:00 |
|
Dylan Simon
|
66d0ad3720
|
Add zip64 support to unzip
Untested, but hey, the last untested stuff worked perfectly
|
2017-05-11 15:20:54 -04:00 |
|
Dylan Simon
|
c4d405c086
|
Make sure to read the entire entry contents
Even if decompressor ends early. Maybe this should be an error?
|
2017-05-09 23:24:51 -04:00 |
|
Dylan Simon
|
e006ecd336
|
Streaming unzip conduit, initial version
Untested, still many limitations on zip format
|
2017-05-09 20:47:49 -04:00 |
|