Struct DafnyInt 

pub struct DafnyInt { /* private fields */ }

Implementations

impl DafnyInt

pub fn new(data: Rc<BigInt>) -> DafnyInt

pub fn strong_count(&self) -> usize

impl DafnyInt

pub fn parse_bytes(number: &[u8], radix: u32) -> DafnyInt

pub fn from_usize(usize: usize) -> DafnyInt

pub fn from_i32(i: i32) -> DafnyInt

impl DafnyInt

pub fn as_usize(&self) -> usize

Trait Implementations

impl Add for DafnyInt

type Output = DafnyInt

The resulting type after applying the + operator.

fn add(self, rhs: DafnyInt) -> Self::Output

Performs the + operation.

impl AsRef<BigInt> for DafnyInt

fn as_ref(&self) -> &BigInt

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for DafnyInt

fn clone(&self) -> DafnyInt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl DafnyPrint for DafnyInt

fn fmt_print(&self, f: &mut Formatter<'_>, _in_seq: bool) -> Result

fn is_char() -> bool

impl DafnyUsize for DafnyInt

fn into_usize(self) -> usize

impl Debug for DafnyInt

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

Formats the value using the given formatter.

impl Default for DafnyInt

fn default() -> Self

Returns the “default value” for a type.

impl Div for DafnyInt

type Output = DafnyInt

The resulting type after applying the / operator.

fn div(self, rhs: DafnyInt) -> Self::Output

Performs the / operation.

impl From<&[u8]> for DafnyInt

fn from(number: &[u8]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<&[u8; N]> for DafnyInt

fn from(number: &[u8; N]) -> Self

Converts to this type from the input type.

impl From<DafnyChar> for DafnyInt

fn from(c: DafnyChar) -> Self

Converts to this type from the input type.

impl From<DafnyCharUTF16> for DafnyInt

fn from(c: DafnyCharUTF16) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for i128

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for i16

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for i32

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for i64

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for i8

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for u128

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for u16

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for u32

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for u64

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for u8

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<DafnyInt> for usize

fn from(val: DafnyInt) -> Self

Converts to this type from the input type.

impl From<char> for DafnyInt

fn from(c: char) -> Self

Converts to this type from the input type.

impl From<i128> for DafnyInt

fn from(n: i128) -> Self

Converts to this type from the input type.

impl From<i16> for DafnyInt

fn from(n: i16) -> Self

Converts to this type from the input type.

impl From<i32> for DafnyInt

fn from(n: i32) -> Self

Converts to this type from the input type.

impl From<i64> for DafnyInt

fn from(n: i64) -> Self

Converts to this type from the input type.

impl From<i8> for DafnyInt

fn from(n: i8) -> Self

Converts to this type from the input type.

impl From<u128> for DafnyInt

fn from(n: u128) -> Self

Converts to this type from the input type.

impl From<u16> for DafnyInt

fn from(n: u16) -> Self

Converts to this type from the input type.

impl From<u32> for DafnyInt

fn from(n: u32) -> Self

Converts to this type from the input type.

impl From<u64> for DafnyInt

fn from(n: u64) -> Self

Converts to this type from the input type.

impl From<u8> for DafnyInt

fn from(n: u8) -> Self

Converts to this type from the input type.

impl From<usize> for DafnyInt

fn from(n: usize) -> Self

Converts to this type from the input type.

impl Hash for DafnyInt

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Mul for DafnyInt

type Output = DafnyInt

The resulting type after applying the * operator.

fn mul(self, rhs: DafnyInt) -> Self::Output

Performs the * operation.

impl Neg for DafnyInt

type Output = DafnyInt

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl NontrivialDefault for DafnyInt

fn nontrivial_default() -> Self

impl Num for DafnyInt

type FromStrRadixErr = ParseBigIntError

fn from_str_radix(s: &str, radix: u32) -> Result<Self, Self::FromStrRadixErr>

Convert from a string and radix (typically 2..=36).

impl One for DafnyInt

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

where Self: PartialEq,

Returns true if self is equal to the multiplicative identity.

impl Ord for DafnyInt

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

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for DafnyInt

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for DafnyInt

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

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

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

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

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

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

impl Rem for DafnyInt

type Output = DafnyInt

The resulting type after applying the % operator.

fn rem(self, rhs: DafnyInt) -> Self::Output

Performs the % operation.

impl Signed for DafnyInt

fn abs(&self) -> Self

Computes the absolute value.

fn abs_sub(&self, other: &Self) -> Self

The positive difference of two numbers.

fn signum(&self) -> Self

Returns the sign of the number.

fn is_positive(&self) -> bool

Returns true if the number is positive and false if the number is zero or negative.

fn is_negative(&self) -> bool

Returns true if the number is negative and false if the number is zero or positive.

impl Sub for DafnyInt

type Output = DafnyInt

The resulting type after applying the - operator.

fn sub(self, rhs: DafnyInt) -> Self::Output

Performs the - operation.

impl ToPrimitive for DafnyInt

fn to_i64(&self) -> Option<i64>

Converts the value of self to an i64. If the value cannot be represented by an i64, then None is returned.

fn to_u64(&self) -> Option<u64>

Converts the value of self to a u64. If the value cannot be represented by a u64, then None is returned.

fn to_u128(&self) -> Option<u128>

Converts the value of self to a u128. If the value cannot be represented by a u128 (u64 under the default implementation), then None is returned.

fn to_i128(&self) -> Option<i128>

Converts the value of self to an i128. If the value cannot be represented by an i128 (i64 under the default implementation), then None is returned.

fn to_isize(&self) -> Option<isize>

Converts the value of self to an isize. If the value cannot be represented by an isize, then None is returned.

fn to_i8(&self) -> Option<i8>

Converts the value of self to an i8. If the value cannot be represented by an i8, then None is returned.

fn to_i16(&self) -> Option<i16>

Converts the value of self to an i16. If the value cannot be represented by an i16, then None is returned.

fn to_i32(&self) -> Option<i32>

Converts the value of self to an i32. If the value cannot be represented by an i32, then None is returned.

fn to_usize(&self) -> Option<usize>

Converts the value of self to a usize. If the value cannot be represented by a usize, then None is returned.

fn to_u8(&self) -> Option<u8>

Converts the value of self to a u8. If the value cannot be represented by a u8, then None is returned.

fn to_u16(&self) -> Option<u16>

Converts the value of self to a u16. If the value cannot be represented by a u16, then None is returned.

fn to_u32(&self) -> Option<u32>

Converts the value of self to a u32. If the value cannot be represented by a u32, then None is returned.

fn to_f32(&self) -> Option<f32>

Converts the value of self to an f32. Overflows may map to positive or negative inifinity, otherwise None is returned if the value cannot be represented by an f32.

fn to_f64(&self) -> Option<f64>

Converts the value of self to an f64. Overflows may map to positive or negative inifinity, otherwise None is returned if the value cannot be represented by an f64.

impl Zero for DafnyInt

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl Eq for DafnyInt