Struct verification::bigint::uint::U128

#[repr(C)]
pub struct U128(pub [u64; 2]);

Little-endian large integer type

Trait Implementations

impl Ord for U128

fn cmp(&self, other: &U128) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl Eq for U128

impl PartialEq<U128> for U128

fn eq(&self, other: &U128) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &U128) -> bool

This method tests for !=.

impl Mul<U128> for U128

type Output = U128

The resulting type after applying the * operator.

fn mul(self, other: U128) -> U128

Performs the * operation.

impl Debug for U128

fn fmt(&self, f: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl FromStr for U128

type Err = FromHexError

The associated error which can be returned from parsing.

fn from_str(value: &str) -> Result<U128, <U128 as FromStr>::Err>

Parses a string s to return a value of this type.

impl BitXor<U128> for U128

type Output = U128

The resulting type after applying the ^ operator.

fn bitxor(self, other: U128) -> U128

Performs the ^ operation.

impl Hash for U128

fn hash<__H>(&self, state: &mut __H) where     __H: Hasher,

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].

impl Uint for U128

fn from_dec_str(value: &str) -> Result<U128, FromDecStrErr>

Convert from a decimal string.

fn low_u32(&self) -> u32

Conversion to u32

fn low_u64(&self) -> u64

Conversion to u64

fn as_u32(&self) -> u32

Conversion to u32 with overflow checking

fn as_u64(&self) -> u64

Conversion to u64 with overflow checking

fn is_zero(&self) -> bool

Returns

fn bits(&self) -> usize

Return the least number of bits needed to represent the number

fn bit(&self, index: usize) -> bool

Return if specific bit is set

fn byte(&self, index: usize) -> u8

Return single byte

fn to_big_endian(&self, bytes: &mut [u8])

Convert to the sequence of bytes with a big endian

fn to_little_endian(&self, bytes: &mut [u8])

Convert to the sequence of bytes with a little endian

fn to_hex(&self) -> String

Convert to a non-zero-prefixed hex representation (not prefixed by 0x).

fn exp10(n: usize) -> U128

Create Uint(10**n)

fn zero() -> U128

Returns new instance equalling zero.

fn one() -> U128

Returns new instance equalling one.

fn max_value() -> U128

Returns the largest value that can be represented by this integer type.

fn pow(self, expon: U128) -> U128

Fast exponentation by squaring https://en.wikipedia.org/wiki/Exponentiation_by_squaring

fn overflowing_pow(self, expon: U128) -> (U128, bool)

Fast exponentation by squaring https://en.wikipedia.org/wiki/Exponentiation_by_squaring

fn overflowing_add(self, other: U128) -> (U128, bool)

Optimized instructions

fn overflowing_sub(self, other: U128) -> (U128, bool)

Subtract another Uint from this returning result and possible overflow

fn overflowing_mul(self, other: U128) -> (U128, bool)

Multiple this Uint with other returning result and possible overflow

fn overflowing_div(self, other: U128) -> (U128, bool)

Divide this Uint by other returning result and possible overflow

fn overflowing_rem(self, other: U128) -> (U128, bool)

Returns reminder of division of this Uint by other and possible overflow

fn overflowing_neg(self) -> (U128, bool)

Returns negation of this Uint and overflow (always true)

impl Not for U128

type Output = U128

The resulting type after applying the ! operator.

fn not(self) -> U128

Performs the unary ! operation.

impl Shl<usize> for U128

type Output = U128

The resulting type after applying the << operator.

fn shl(self, shift: usize) -> U128

Performs the << operation.

impl Div<U128> for U128

type Output = U128

The resulting type after applying the / operator.

fn div(self, other: U128) -> U128

Performs the / operation.

impl From<U256> for U128

fn from(value: U256) -> U128

Performs the conversion.

impl From<u16> for U128

fn from(value: u16) -> U128

Performs the conversion.

impl From<U128> for U256

fn from(value: U128) -> U256

Performs the conversion.

impl From<&'static str> for U128

fn from(s: &'static str) -> U128

Performs the conversion.

impl From<i8> for U128

fn from(value: i8) -> U128

Performs the conversion.

impl From<U512> for U128

fn from(value: U512) -> U128

Performs the conversion.

impl From<i32> for U128

fn from(value: i32) -> U128

Performs the conversion.

impl From<U128> for U512

fn from(value: U128) -> U512

Performs the conversion.

impl<'a> From<&'a [u8]> for U128

fn from(bytes: &[u8]) -> U128

Performs the conversion.

impl From<i64> for U128

fn from(value: i64) -> U128

Performs the conversion.

impl From<usize> for U128

fn from(value: usize) -> U128

Performs the conversion.

impl From<u64> for U128

fn from(value: u64) -> U128

Performs the conversion.

impl From<i16> for U128

fn from(value: i16) -> U128

Performs the conversion.

impl From<u32> for U128

fn from(value: u32) -> U128

Performs the conversion.

impl From<u8> for U128

fn from(value: u8) -> U128

Performs the conversion.

impl From<isize> for U128

fn from(value: isize) -> U128

Performs the conversion.

impl PartialOrd<U128> for U128

fn partial_cmp(&self, other: &U128) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use] fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use] fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use] fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use] fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Display for U128

fn fmt(&self, f: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl HeapSizeOf for U128

fn heap_size_of_children(&self) -> usize

Measure the size of any heap-allocated structures that hang off this value, but not the space taken up by the value itself (i.e. what size_of:: measures, more or less); that space is handled by the implementation of HeapSizeOf for Box below.

impl Copy for U128

impl LowerHex for U128

fn fmt(&self, f: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl Clone for U128

fn clone(&self) -> U128

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl BitAnd<U128> for U128

type Output = U128

The resulting type after applying the & operator.

fn bitand(self, other: U128) -> U128

Performs the & operation.

impl Add<U128> for U128

type Output = U128

The resulting type after applying the + operator.

fn add(self, other: U128) -> U128

Performs the + operation.

impl Rem<U128> for U128

type Output = U128

The resulting type after applying the % operator.

fn rem(self, other: U128) -> U128

Performs the % operation.

impl Default for U128

fn default() -> U128

Returns the "default value" for a type.

impl Shr<usize> for U128

type Output = U128

The resulting type after applying the >> operator.

fn shr(self, shift: usize) -> U128

Performs the >> operation.

impl Sub<U128> for U128

type Output = U128

The resulting type after applying the - operator.

fn sub(self, other: U128) -> U128

Performs the - operation.

impl BitOr<U128> for U128

type Output = U128

The resulting type after applying the | operator.

fn bitor(self, other: U128) -> U128

Performs the | operation.