gzip- Модуль
- std.
bytes → - Получатель
- Bytes
- Минимальное число аргументов
- 0
- Максимальное число аргументов
- 0
Declaration and parameters
СсылкаДоступность
Включено по умолчанию · Не определено
Import std.bytes in language mode 5.21.
The current compiler selects std/bytes.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.
Получатель
Bytes
Ограничения параметров
Bytes.gzipCompress returns Ok with one RFC 1952 gzip member containing the receiver bytes. Empty input is valid.
The compressor does not read a clock or derive a filename from its environment. The header timestamp is zero and optional name and comment fields are absent.
Bytes.gzipDecompress accepts one member with compression method DEFLATE, including valid timestamp, operating system, extra field, name, comment, and header CRC fields.
The decoder accepts stored, fixed Huffman, and dynamic Huffman DEFLATE blocks. It validates the member CRC-32 and uncompressed size modulo 4294967296.
Reserved header flags, malformed optional fields, invalid compressed data, checksum mismatches, and truncation return Err with a string.
A second member or other bytes after the member return Err. A Bytes value represents one complete compressed payload in this API.
Decoding a successfully compressed value recovers the original bytes. A decoder failure never exposes a prefix of the output.
The receiver evaluates once and remains unchanged. Compression and decompression perform no I/O and do not decode the payload as text.
Связанное правило · Read and write complete gzip members →Результат
The declared result type is Result<Bytes, string>.
Эффекты
Ошибки
Result and effects
СсылкаDecode one complete gzip member and validate its header, DEFLATE blocks, CRC-32, and uncompressed size.
Resolved contracts
СсылкаRelated entries
СсылкаRead and write complete gzip members
СсылкаRead and write complete gzip members
Bytes.gzipCompress returns Ok with one RFC 1952 gzip member containing the receiver bytes. Empty input is valid.
The compressor does not read a clock or derive a filename from its environment. The header timestamp is zero and optional name and comment fields are absent.
Bytes.gzipDecompress accepts one member with compression method DEFLATE, including valid timestamp, operating system, extra field, name, comment, and header CRC fields.
The decoder accepts stored, fixed Huffman, and dynamic Huffman DEFLATE blocks. It validates the member CRC-32 and uncompressed size modulo 4294967296.
Reserved header flags, malformed optional fields, invalid compressed data, checksum mismatches, and truncation return Err with a string.
A second member or other bytes after the member return Err. A Bytes value represents one complete compressed payload in this API.
Decoding a successfully compressed value recovers the original bytes. A decoder failure never exposes a prefix of the output.
The receiver evaluates once and remains unchanged. Compression and decompression perform no I/O and do not decode the payload as text.
Причина
Standard header and block handling allows gzip data to move between programs. Requiring one complete member prevents unconsumed suffixes from being silently discarded.
Recover empty and nonempty payloads
Ссылкаimport std.ioimport std.testfor text in (["", "hello"]) {let encoded = test.assertOk(text.encodeUtf8().gzipCompress())io.writeLine(test.assertOk(encoded.gzipDecompress()).toHex())}
68656c6c6f
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
68656c6c6f
Accept ordinary gzip header metadata
Ссылкаimport std.bytes { Bytes }import std.ioimport std.testlet encoded = test.assertOk(Bytes.fromHex("1f8b0800010000000003010500faff68656c6c6f86a6103605000000"))match (encoded.gzipDecompress()) {case Ok(bytes) => io.writeLine(bytes.toHex())case Err(_) => io.writeLine("rejected")}
68656c6c6f
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
68656c6c6f
Accept compressed gzip blocks
Ссылкаimport std.bytes { Bytes }import std.ioimport std.testlet encoded = test.assertOk(Bytes.fromHex("1f8b08000000000000ffcb48cdc9c9070086a6103605000000"))match (encoded.gzipDecompress()) {case Ok(bytes) => io.writeLine(bytes.toHex())case Err(_) => io.writeLine("rejected")}
68656c6c6f
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
68656c6c6f
Reject a truncated member and an invalid checksum
Ссылкаimport std.bytes { Bytes }import std.ioimport std.testfor hex in (["1f8b0800", "1f8b08000000000000ff010500faff68656c6c6f87a6103605000000"]) {match (test.assertOk(Bytes.fromHex(hex)).gzipDecompress()) {case Err(_) => io.writeLine("invalid gzip")case Ok(_) => io.writeLine("accepted")}}
invalid gzip
invalid gzip
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
invalid gzipinvalid gzip