Struct generic_arrayvec::typenum::array::ATerm [−]
pub struct ATerm;
The terminating type for type arrays.
Trait Implementations
impl Hash for ATerm
impl Hash for ATermfn hash<__H>(&self, state: &mut __H) where
__H: Hasher,
fn hash<__H>(&self, state: &mut __H) where
__H: Hasher, Feeds this value into the given [Hasher]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher, 1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher, Feeds a slice of this type into the given [Hasher]. Read more
impl PartialOrd<ATerm> for ATerm
impl PartialOrd<ATerm> for ATermfn partial_cmp(&self, other: &ATerm) -> Option<Ordering>
fn partial_cmp(&self, other: &ATerm) -> Option<Ordering>This method returns an ordering between self and other values if one exists. Read more
fn lt(&self, other: &Rhs) -> bool1.0.0[src]
fn lt(&self, other: &Rhs) -> boolThis method tests less than (for self and other) and is used by the < operator. Read more
fn le(&self, other: &Rhs) -> bool1.0.0[src]
fn le(&self, other: &Rhs) -> boolThis method tests less than or equal to (for self and other) and is used by the <= operator. Read more
fn gt(&self, other: &Rhs) -> bool1.0.0[src]
fn gt(&self, other: &Rhs) -> boolThis method tests greater than (for self and other) and is used by the > operator. Read more
fn ge(&self, other: &Rhs) -> bool1.0.0[src]
fn ge(&self, other: &Rhs) -> boolThis method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
impl TypeArray for ATerm
impl TypeArray for ATermimpl<Rhs> Div<Rhs> for ATerm
impl<Rhs> Div<Rhs> for ATermtype Output = ATerm
The resulting type after applying the / operator.
fn div(self, Rhs) -> <ATerm as Div<Rhs>>::Output
fn div(self, Rhs) -> <ATerm as Div<Rhs>>::OutputPerforms the / operation.
impl<Rhs> Rem<Rhs> for ATerm
impl<Rhs> Rem<Rhs> for ATermtype Output = ATerm
The resulting type after applying the % operator.
fn rem(self, Rhs) -> <ATerm as Rem<Rhs>>::Output
fn rem(self, Rhs) -> <ATerm as Rem<Rhs>>::OutputPerforms the % operation.
impl<Rhs> PartialDiv<Rhs> for ATerm
impl<Rhs> PartialDiv<Rhs> for ATermtype Output = ATerm
The type of the result of the division
fn partial_div(self, Rhs) -> <ATerm as PartialDiv<Rhs>>::Output
fn partial_div(self, Rhs) -> <ATerm as PartialDiv<Rhs>>::OutputMethod for performing the division
impl Len for ATerm
impl Len for ATermLength of ATerm by itself is 0
type Output = UTerm
The length as a type-level unsigned integer.
fn len(&self) -> <ATerm as Len>::Output
fn len(&self) -> <ATerm as Len>::OutputThis function isn't used in this crate, but may be useful for others.
impl Ord for ATerm
impl Ord for ATermfn cmp(&self, other: &ATerm) -> Ordering
fn cmp(&self, other: &ATerm) -> OrderingThis method returns an Ordering between self and other. Read more
fn max(self, other: Self) -> Self1.21.0[src]
fn max(self, other: Self) -> SelfCompares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self1.21.0[src]
fn min(self, other: Self) -> SelfCompares and returns the minimum of two values. Read more
impl<U> Mul<ATerm> for PInt<U> where
U: Unsigned + NonZero,
impl<U> Mul<ATerm> for PInt<U> where
U: Unsigned + NonZero, type Output = ATerm
The resulting type after applying the * operator.
fn mul(self, ATerm) -> <PInt<U> as Mul<ATerm>>::Output
fn mul(self, ATerm) -> <PInt<U> as Mul<ATerm>>::OutputPerforms the * operation.
impl Mul<ATerm> for Z0
impl Mul<ATerm> for Z0type Output = ATerm
The resulting type after applying the * operator.
fn mul(self, ATerm) -> <Z0 as Mul<ATerm>>::Output
fn mul(self, ATerm) -> <Z0 as Mul<ATerm>>::OutputPerforms the * operation.
impl<U> Mul<ATerm> for NInt<U> where
U: Unsigned + NonZero,
impl<U> Mul<ATerm> for NInt<U> where
U: Unsigned + NonZero, type Output = ATerm
The resulting type after applying the * operator.
fn mul(self, ATerm) -> <NInt<U> as Mul<ATerm>>::Output
fn mul(self, ATerm) -> <NInt<U> as Mul<ATerm>>::OutputPerforms the * operation.
impl<Rhs> Mul<Rhs> for ATerm
impl<Rhs> Mul<Rhs> for ATermtype Output = ATerm
The resulting type after applying the * operator.
fn mul(self, Rhs) -> <ATerm as Mul<Rhs>>::Output
fn mul(self, Rhs) -> <ATerm as Mul<Rhs>>::OutputPerforms the * operation.
impl Debug for ATerm
impl Debug for ATermfn fmt(&self, f: &mut Formatter) -> Result<(), Error>
fn fmt(&self, f: &mut Formatter) -> Result<(), Error>Formats the value using the given formatter. Read more
impl Clone for ATerm
impl Clone for ATermfn clone(&self) -> ATerm
fn clone(&self) -> ATermReturns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
fn clone_from(&mut self, source: &Self)Performs copy-assignment from source. Read more
impl Sub<ATerm> for ATerm
impl Sub<ATerm> for ATermtype Output = ATerm
The resulting type after applying the - operator.
fn sub(self, ATerm) -> <ATerm as Sub<ATerm>>::Output
fn sub(self, ATerm) -> <ATerm as Sub<ATerm>>::OutputPerforms the - operation.
impl PartialEq<ATerm> for ATerm
impl PartialEq<ATerm> for ATermfn eq(&self, other: &ATerm) -> bool
fn eq(&self, other: &ATerm) -> boolThis method tests for self and other values to be equal, and is used by ==. Read more
fn ne(&self, other: &Rhs) -> bool1.0.0[src]
fn ne(&self, other: &Rhs) -> boolThis method tests for !=.
impl Eq for ATerm
impl Eq for ATermimpl Copy for ATerm
impl Copy for ATermimpl Add<ATerm> for ATerm
impl Add<ATerm> for ATermtype Output = ATerm
The resulting type after applying the + operator.
fn add(self, ATerm) -> <ATerm as Add<ATerm>>::Output
fn add(self, ATerm) -> <ATerm as Add<ATerm>>::OutputPerforms the + operation.
impl Neg for ATerm
impl Neg for ATerm