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", so this trait is not object safe.

Implementors

impl<T> Decrement for T

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