MinedMap/src/io
Matthias Schiffer a4b726992a
io/storage: compress/decompress data in bulk
The bulk API is signifiantly faster than the stream API.
2023-03-03 20:58:35 +01:00
..
data.rs io: remove a few unnecessary [..] for Vec -> slice deref 2023-01-28 01:15:00 +01:00
mod.rs io: add storage helper 2023-02-28 21:59:45 +01:00
region.rs io/region: allow stopping foreach_chunk early 2023-02-26 01:01:37 +01:00
storage.rs io/storage: compress/decompress data in bulk 2023-03-03 20:58:35 +01:00