pub struct Term(_);
Expand description
Leaf term value
Trait Implementations
sourceimpl From<&'_ SystemTime> for Term
impl From<&'_ SystemTime> for Term
sourcefn from(value: &SystemTime) -> Self
fn from(value: &SystemTime) -> Self
Converts to this type from the input type.
sourceimpl From<Option<&'_ SystemTime>> for Term
impl From<Option<&'_ SystemTime>> for Term
sourcefn from(value: Option<&SystemTime>) -> Self
fn from(value: Option<&SystemTime>) -> Self
Converts to this type from the input type.
sourceimpl From<Option<SystemTime>> for Term
impl From<Option<SystemTime>> for Term
sourcefn from(value: Option<SystemTime>) -> Self
fn from(value: Option<SystemTime>) -> Self
Converts to this type from the input type.
sourceimpl From<SystemTime> for Term
impl From<SystemTime> for Term
sourcefn from(value: SystemTime) -> Self
fn from(value: SystemTime) -> Self
Converts to this type from the input type.
sourceimpl Ord for Term
impl Ord for Term
sourceimpl PartialOrd<Term> for Term
impl PartialOrd<Term> for Term
sourcefn partial_cmp(&self, other: &Term) -> Option<Ordering>
fn partial_cmp(&self, other: &Term) -> 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 Eq for Term
impl StructuralEq for Term
impl StructuralPartialEq for Term
Auto Trait Implementations
impl RefUnwindSafe for Term
impl Send for Term
impl Sync for Term
impl Unpin for Term
impl UnwindSafe for Term
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more