Expand description
Fixed-width unsigned integer combinators.
The exported zero-sized formats cover 8-, 16-, 24-, 32-, and 64-bit values with explicit little- or big-endian order and allocation-free execution.
Modules§
- exec
- Executable trait implementations for this combinator. Executable fixed-width unsigned integer formats.
- proof
- Correctness proofs for this combinator. Correctness proofs for fixed-width unsigned integers.
- spec
- Specification trait implementations for this combinator. Specifications for fixed-width unsigned integers.
Structs§
- U8
- Unsigned 8-bit integer combinator.
- U16Be
- Big-endian unsigned 16-bit integer.
- U16Le
- Little-endian unsigned 16-bit integer.
- U24Be
- Big-endian unsigned 24-bit integer, represented as
u32. - U24Le
- Little-endian unsigned 24-bit integer, represented as
u32. - U32Be
- Big-endian unsigned 32-bit integer.
- U32Le
- Little-endian unsigned 32-bit integer.
- U64Be
- Big-endian unsigned 64-bit integer.
- U64Le
- Little-endian unsigned 64-bit integer.