Struct vstd::prelude::nat

pub struct nat;

Trait Implementations

impl Add for nat

type Output = nat

The resulting type after applying the + operator.

fn add(self, _other: nat) -> <nat as Add>::Output

Performs the + operation.

impl Clone for nat

fn clone(&self) -> nat

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Div for nat

type Output = nat

The resulting type after applying the / operator.

fn div(self, _other: nat) -> <nat as Div>::Output

Performs the / operation.

impl Integer for nat

const CONST_DEFAULT: nat = nat

impl Mul for nat

type Output = nat

The resulting type after applying the * operator.

fn mul(self, _other: nat) -> <nat as Mul>::Output

Performs the * operation.

impl Ord for nat

fn cmp(&self, _other: &nat) -> 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 + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for nat

fn eq(&self, _other: &nat) -> bool

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

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

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

impl PartialOrd for nat

fn partial_cmp(&self, _other: &nat) -> Option<Ordering>

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

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

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

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

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

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

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

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 Rem for nat

type Output = nat

The resulting type after applying the % operator.

fn rem(self, _other: nat) -> <nat as Rem>::Output

Performs the % operation.

impl SpecAdd<i128> for nat

type Output = int

fn spec_add(self, _rhs: i128) -> <nat as SpecAdd<i128>>::Output

impl SpecAdd<i16> for nat

type Output = int

fn spec_add(self, _rhs: i16) -> <nat as SpecAdd<i16>>::Output

impl SpecAdd<i32> for nat

type Output = int

fn spec_add(self, _rhs: i32) -> <nat as SpecAdd<i32>>::Output

impl SpecAdd<i64> for nat

type Output = int

fn spec_add(self, _rhs: i64) -> <nat as SpecAdd<i64>>::Output

impl SpecAdd<i8> for nat

type Output = int

fn spec_add(self, _rhs: i8) -> <nat as SpecAdd<i8>>::Output

impl SpecAdd<int> for nat

type Output = int

fn spec_add(self, _rhs: int) -> <nat as SpecAdd<int>>::Output

impl SpecAdd<isize> for nat

type Output = int

fn spec_add(self, _rhs: isize) -> <nat as SpecAdd<isize>>::Output

impl SpecAdd<u128> for nat

type Output = int

fn spec_add(self, _rhs: u128) -> <nat as SpecAdd<u128>>::Output

impl SpecAdd<u16> for nat

type Output = int

fn spec_add(self, _rhs: u16) -> <nat as SpecAdd<u16>>::Output

impl SpecAdd<u32> for nat

type Output = int

fn spec_add(self, _rhs: u32) -> <nat as SpecAdd<u32>>::Output

impl SpecAdd<u64> for nat

type Output = int

fn spec_add(self, _rhs: u64) -> <nat as SpecAdd<u64>>::Output

impl SpecAdd<u8> for nat

type Output = int

fn spec_add(self, _rhs: u8) -> <nat as SpecAdd<u8>>::Output

impl SpecAdd<usize> for nat

type Output = int

fn spec_add(self, _rhs: usize) -> <nat as SpecAdd<usize>>::Output

impl SpecAdd for nat

type Output = nat

fn spec_add(self, _rhs: nat) -> <nat as SpecAdd>::Output

impl SpecEuclideanDiv for nat

type Output = nat

fn spec_euclidean_div(self, _rhs: nat) -> <nat as SpecEuclideanDiv>::Output

impl SpecEuclideanMod for nat

type Output = nat

fn spec_euclidean_mod(self, _rhs: nat) -> <nat as SpecEuclideanMod>::Output

impl SpecMul<i128> for nat

type Output = int

fn spec_mul(self, _rhs: i128) -> <nat as SpecMul<i128>>::Output

impl SpecMul<i16> for nat

type Output = int

fn spec_mul(self, _rhs: i16) -> <nat as SpecMul<i16>>::Output

impl SpecMul<i32> for nat

type Output = int

fn spec_mul(self, _rhs: i32) -> <nat as SpecMul<i32>>::Output

impl SpecMul<i64> for nat

type Output = int

fn spec_mul(self, _rhs: i64) -> <nat as SpecMul<i64>>::Output

impl SpecMul<i8> for nat

type Output = int

fn spec_mul(self, _rhs: i8) -> <nat as SpecMul<i8>>::Output

impl SpecMul<int> for nat

type Output = int

fn spec_mul(self, _rhs: int) -> <nat as SpecMul<int>>::Output

impl SpecMul<isize> for nat

type Output = int

fn spec_mul(self, _rhs: isize) -> <nat as SpecMul<isize>>::Output

impl SpecMul<u128> for nat

type Output = int

fn spec_mul(self, _rhs: u128) -> <nat as SpecMul<u128>>::Output

impl SpecMul<u16> for nat

type Output = int

fn spec_mul(self, _rhs: u16) -> <nat as SpecMul<u16>>::Output

impl SpecMul<u32> for nat

type Output = int

fn spec_mul(self, _rhs: u32) -> <nat as SpecMul<u32>>::Output

impl SpecMul<u64> for nat

type Output = int

fn spec_mul(self, _rhs: u64) -> <nat as SpecMul<u64>>::Output

impl SpecMul<u8> for nat

type Output = int

fn spec_mul(self, _rhs: u8) -> <nat as SpecMul<u8>>::Output

impl SpecMul<usize> for nat

type Output = int

fn spec_mul(self, _rhs: usize) -> <nat as SpecMul<usize>>::Output

impl SpecMul for nat

type Output = nat

fn spec_mul(self, _rhs: nat) -> <nat as SpecMul>::Output

impl SpecNeg for nat

type Output = int

fn spec_neg(self) -> <nat as SpecNeg>::Output

impl<Rhs> SpecOrd<Rhs> for nat

where Rhs: Integer,

fn spec_lt(self, _rhs: Rhs) -> bool

fn spec_le(self, _rhs: Rhs) -> bool

fn spec_gt(self, _rhs: Rhs) -> bool

fn spec_ge(self, _rhs: Rhs) -> bool

impl<Rhs> SpecSub<Rhs> for nat

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <nat as SpecSub<Rhs>>::Output

impl Sub for nat

type Output = nat

The resulting type after applying the - operator.

fn sub(self, _other: nat) -> <nat as Sub>::Output

Performs the - operation.

impl<K, V, Pred: InvariantPredicate<K, V>> UniqueValueToken<nat> for flag_rc<K, V, Pred>

fn unique(&mut self, other: &Self)

impl<K, V, Pred: InvariantPredicate<K, V>> ValueToken<nat> for flag_rc<K, V, Pred>

fn instance_id(&self) -> InstanceId

fn value(&self) -> nat

fn agree(&self, other: &Self)

fn arbitrary() -> Self

impl Copy for nat

impl Eq for nat

impl Structural for nat