Predecessor

Trait Predecessor 

Source
pub trait Predecessor: TryPredecessor {
    // Provided method
    fn predecessor(&self) -> Self { ... }
}
Expand description

A partial order where every element has a unique predecessor.

Implementations of the try_predecessor function must never return None.

Provided Methods§

Source

fn predecessor(&self) -> Self

Returns the predecessor of self, i.e., the unique greatest value which is strictly less than self.

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.

Implementors§