본문으로 건너뛰기

토파즈6.0 · 출시 전

다운로드 →

라이브러리 · std.bytes

Bytes.gzipCompress

Compresses this byte sequence in gzip format.

gzipCompress() -> Result<Bytes, string>

모듈: 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

Return one gzip member in Ok with a zero timestamp and no ambient filename or comment.

Resolved contracts

Read and write complete gzip members

규칙topaz.stdlib.contract.bytes-gzip.rule

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 →Accept ordinary gzip header metadata →Accept compressed gzip blocks →Reject a truncated member and an invalid checksum →

Recover empty and nonempty payloads

run · running · 검증 · 미실행

main.tpzRecover empty and nonempty payloads플레이그라운드 열기 →

import std.io
import std.test
for text in (["", "hello"]) {
let encoded = test.assertOk(text.encodeUtf8().gzipCompress())
io.writeLine(test.assertOk(encoded.gzipDecompress()).toHex())
}

기대 출력종료 코드 0

68656c6c6f

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

68656c6c6f

이 예제는 아직 실행하지 않았습니다.

Accept ordinary gzip header metadata

run · running · 검증 · 미실행

main.tpzAccept ordinary gzip header metadata플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
import std.test
let encoded = test.assertOk(Bytes.fromHex("1f8b0800010000000003010500faff68656c6c6f86a6103605000000"))
match (encoded.gzipDecompress()) {
case Ok(bytes) => io.writeLine(bytes.toHex())
case Err(_) => io.writeLine("rejected")
}

기대 출력종료 코드 0

68656c6c6f

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

68656c6c6f

이 예제는 아직 실행하지 않았습니다.

Accept compressed gzip blocks

run · running · 검증 · 미실행

main.tpzAccept compressed gzip blocks플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
import std.test
let encoded = test.assertOk(Bytes.fromHex("1f8b08000000000000ffcb48cdc9c9070086a6103605000000"))
match (encoded.gzipDecompress()) {
case Ok(bytes) => io.writeLine(bytes.toHex())
case Err(_) => io.writeLine("rejected")
}

기대 출력종료 코드 0

68656c6c6f

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

68656c6c6f

이 예제는 아직 실행하지 않았습니다.

Reject a truncated member and an invalid checksum

run · running · 검증 · 미실행

main.tpzReject a truncated member and an invalid checksum플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
import std.test
for hex in (["1f8b0800", "1f8b08000000000000ff010500faff68656c6c6f87a6103605000000"]) {
match (test.assertOk(Bytes.fromHex(hex)).gzipDecompress()) {
case Err(_) => io.writeLine("invalid gzip")
case Ok(_) => io.writeLine("accepted")
}
}

기대 출력종료 코드 0

invalid gzip
invalid gzip

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

invalid gzip
invalid gzip

이 예제는 아직 실행하지 않았습니다.