pub struct ATerm;
Expand description
The terminating type for type arrays.
Trait Implementations
sourceimpl Ord for ATerm
impl Ord for ATerm
sourceimpl<Rhs> PartialDiv<Rhs> for ATerm
impl<Rhs> PartialDiv<Rhs> for ATerm
sourcepub fn partial_div(self, Rhs) -> <ATerm as PartialDiv<Rhs>>::Output
pub fn partial_div(self, Rhs) -> <ATerm as PartialDiv<Rhs>>::Output
Method for performing the division
sourceimpl PartialOrd<ATerm> for ATerm
impl PartialOrd<ATerm> for ATerm
sourcepub fn partial_cmp(&self, other: &ATerm) -> Option<Ordering>
pub fn partial_cmp(&self, other: &ATerm) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl Copy for ATerm
impl Eq for ATerm
impl StructuralEq for ATerm
impl StructuralPartialEq for ATerm
impl TypeArray for ATerm
Auto Trait Implementations
impl RefUnwindSafe for ATerm
impl Send for ATerm
impl Sync for ATerm
impl Unpin for ATerm
impl UnwindSafe for ATerm
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> CallHasher for T where
T: Hash + ?Sized,
impl<T> CallHasher for T where
T: Hash + ?Sized,
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more