Expand description
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
Aand then re-interpret the entire bytes consumed/produced byAwith another combinatorB. - Exact
Len - Wraps an inner combinator, constraining it to consume/produce exactly
self.0bytes. - Fixed
- Parses/serializes exactly
Nbytes asSeq<u8>. - Varied
- Parses/serializes a variable-length byte sequence
Seq<u8>.