Skip to main content

Module bytes

Module bytes 

Source
Expand description

Fixed- and value-dependent byte sequence combinators.

Use Fixed for a compile-time length, Varied for a runtime length, and ExactLen to confine another format to a bounded byte region.

Modules§

exec
Executable trait implementations for this combinator. Executable implementations for fixed- and variable-length bytes.
proof
Correctness proofs for this combinator. Correctness proofs for fixed- and variable-length bytes.
spec
Specification trait implementations for this combinator. Specifications for fixed- and variable-length bytes.

Structs§

AndThen
Run a bytes combinator A and then re-interpret the entire bytes consumed/produced by A with another combinator B.
ExactLen
Wraps an inner combinator, constraining it to consume/produce exactly self.0 bytes.
Fixed
Parses/serializes exactly N bytes as Seq<u8>.
Varied
Parses/serializes a variable-length byte sequence Seq<u8>.