Bytes-as-digits-in-base-256
Specialized versions of the operations to convert between natural numbers and digits that use bytes as digits, in base 256.
Subtopics
- Bebytes=>nat
- Convert a big-endian list of bytes, seen as digits in base 256, to their value.
- Lebytes=>nat
- Convert a little-endian list of bytes, seen as digits in base 256, to their value.
- Nat=>bebytes
- Convert a natural number to its big-endian list of bytes, seen as digits in base 256, of specified length.
- Nat=>lebytes
- Convert a natural number to its little-endian list of bytes, seen as digits in base 256, of specified length.
- Nat=>bebytes*
- Convert a natural number to its minimum-length big-endian list of bytes, seen as sigits in base 256.
- Nat=>lebytes*
- Convert a natural number to its minimum-length little-endian list of bytes, seen as sigits in base 256.
- Nat=>lebytes+
- Convert a natural number to its non-empty minimum-length little-endian list of bytes, seen as sigits in base 256.
- Nat=>bebytes+
- Convert a natural number to its non-empty minimum-length big-endian list of bytes, seen as sigits in base 256.
- Bits/bytes-digit-grouping
- Specialized versions of the operations to group and ungroup digitsthat are bits (base 2) and bytes (base 256).
