pub trait TryPredecessor: PartialOrd + Sized {
// Required method
fn try_predecessor(&self) -> Option<Self>;
}Expand description
A partial order in which some elements have predecessors, i.e., unique greatest lesser values.
Every order can implement this trait, mathematically speaking it is quite boring. The actual computation of predecessors (when they exist) is the interesting part.
Required Methods§
Sourcefn try_predecessor(&self) -> Option<Self>
fn try_predecessor(&self) -> Option<Self>
If self has a predecessor, i.e., a unique greatest value which is strictly less than self, returns it. If there is no unique predecessor, returns None.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.