Struct ATerm

pub struct ATerm;

The terminating type for type arrays.

Trait Implementations

impl Add for ATerm

type Output = ATerm;
fn add(self, ATerm) -> Self::Output

impl Clone for ATerm

fn clone(&self) -> Self

impl Copy for ATerm

impl Debug for ATerm

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

impl Eq for ATerm

impl FoldAdd for ATerm

type Output = Null;

impl FoldMul for ATerm

type Output = Null;

impl Hash for ATerm

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

impl Len for ATerm

type Output = UTerm;
fn len(&self) -> Self::Output

impl Neg for ATerm

type Output = ATerm;
fn neg(self) -> Self::Output

impl Ord for ATerm

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

impl PartialEq for ATerm

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

impl PartialOrd for ATerm

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

impl StructuralPartialEq for ATerm

impl Sub for ATerm

type Output = ATerm;
fn sub(self, ATerm) -> Self::Output

impl TypeArray for ATerm

impl<Rhs> Div<Rhs> for ATerm

type Output = ATerm;
fn div(self, Rhs) -> Self::Output

impl<Rhs> Mul<Rhs> for ATerm

type Output = ATerm;
fn mul(self, Rhs) -> Self::Output

impl<Rhs> PartialDiv<Rhs> for ATerm

type Output = ATerm;
fn partial_div(self, Rhs) -> Self::Output

impl<Rhs> Rem<Rhs> for ATerm

type Output = ATerm;
fn rem(self, Rhs) -> Self::Output

Auto Trait Implementations

impl Freeze for ATerm

impl RefUnwindSafe for ATerm

impl Send for ATerm

impl Sync for ATerm

impl Unpin for ATerm

impl UnsafeUnpin for ATerm

impl UnwindSafe for ATerm

Blanket Implementations

impl<T> Any for ATerm where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for ATerm where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for ATerm where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for ATerm where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for ATerm

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Same for ATerm

type Output = T;

impl<T, U> Into<U> for ATerm where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of [From]<T> for U chooses to do.

impl<T, U> TryFrom<U> for ATerm where U: Into<T>,

type Error = never;
fn try_from(value: U) -> Result<T, never>

impl<T, U> TryInto<U> for ATerm where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error;
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>