Trait Decrement 

pub trait Decrement:
    Sized
    + One
    + Sub<Output = Self>
    + SubAssign
    + Copy {
    // Provided methods
    fn decrement(&mut self) { ... }
    fn decrement_checked(&mut self) -> Result<(), ()>
       where Self: OverflowBehavior + MinValue + PartialEq { ... }
    fn can_decrement(&self) -> bool
       where Self: OverflowBehavior + MinValue + PartialEq { ... }
    fn predecessor(self) -> Self { ... }
    fn predecessor_checked(&mut self) -> Result<Self, ()>
       where Self: OverflowBehavior + MinValue + PartialEq { ... }
    fn have_predecessor(self) -> bool
       where Self: OverflowBehavior + MinValue + PartialEq { ... }
}

The -1 operation

Provided Methods

fn decrement(&mut self)

The decrement x-- operator

fn decrement_checked(&mut self) -> Result<(), ()>

where Self: OverflowBehavior + MinValue + PartialEq,

The increment x-- operator

fn can_decrement(&self) -> bool

where Self: OverflowBehavior + MinValue + PartialEq,

Do the current value have a predecessor.

True if not Self::MIN, except for wrapping type, they always have a predecessor because they wrap

fn predecessor(self) -> Self

Return the predecessor self - 1

fn predecessor_checked(&mut self) -> Result<Self, ()>

where Self: OverflowBehavior + MinValue + PartialEq,

Return the predecessor self - 1

fn have_predecessor(self) -> bool

where Self: OverflowBehavior + MinValue + PartialEq,

Do the current value have a predecessor.

True if not Self::MIN, except for wrapping type, they always have a predecessor because they wrap

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<T> Decrement for T

where T: One + Sub<Output = T> + SubAssign + Copy,