Module endian

Module endian 

Source
Expand description

Reasoning about representations of non-negative numbers with endianness, including conversion between bases.

Structs§

EndianNat
Provides either little-endian or big-endian interpretation of a sequence of numbers with a given base. This interpretation may have any number of leading zeros. With little-endian, the first digit is the least significant position; the last digit is the most significant position. With big-endian, the last digit of a sequence is the least significant position; the first digit is the most significant position.

Enums§

Endian
Represents little-endian or big-endian interpretation.

Traits§

Base
Represents a base with value Self::base().
BasePow2
Represents a base which is a power of 2 specified by Self::bits().
CompatibleSmallerBaseFor
Represents a base for which each digit of BIG converts to multiple digits in this base.

Functions§

base_upper_bound_excl
endianness
group_endian_nat_axioms
to_big_from_digits