Struct ATerm

pub struct ATerm;

The terminating type for type arrays.

Trait Implementations

impl Add for ATerm

type Output = ATerm

The resulting type after applying the + operator.

fn add(self, _: ATerm) -> Self::Output

Performs the + operation.

impl Clone for ATerm

fn clone(&self) -> ATerm

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ATerm

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

Formats the value using the given formatter.

impl<Rhs> Div<Rhs> for ATerm

type Output = ATerm

The resulting type after applying the / operator.

fn div(self, _: Rhs) -> Self::Output

Performs the / operation.

impl Hash for ATerm

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 Len for ATerm

Length of ATerm by itself is 0

type Output = UTerm

The length as a type-level unsigned integer.

fn len(&self) -> Self::Output

This function isn’t used in this crate, but may be useful for others.

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) -> Self::Output

Performs the * operation.

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) -> Self::Output

Performs the * operation.

impl Mul<ATerm> for Z0

type Output = ATerm

The resulting type after applying the * operator.

fn mul(self, _: ATerm) -> Self::Output

Performs the * operation.

impl<Rhs> Mul<Rhs> for ATerm

type Output = ATerm

The resulting type after applying the * operator.

fn mul(self, _: Rhs) -> Self::Output

Performs the * operation.

impl Neg for ATerm

type Output = ATerm

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Ord for ATerm

fn cmp(&self, other: &ATerm) -> 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<Rhs> PartialDiv<Rhs> for ATerm

type Output = ATerm

The type of the result of the division

fn partial_div(self, _: Rhs) -> Self::Output

Method for performing the division

impl PartialEq for ATerm

fn eq(&self, other: &ATerm) -> 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 ATerm

fn partial_cmp(&self, other: &ATerm) -> 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<Rhs> Rem<Rhs> for ATerm

type Output = ATerm

The resulting type after applying the % operator.

fn rem(self, _: Rhs) -> Self::Output

Performs the % operation.

impl Sub for ATerm

type Output = ATerm

The resulting type after applying the - operator.

fn sub(self, _: ATerm) -> Self::Output

Performs the - operation.

impl Copy for ATerm

impl Eq for ATerm

impl StructuralPartialEq for ATerm

impl TypeArray for ATerm

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 0 bytes