Trait Increment 

pub trait Increment:
    Sized
    + One
    + Add<Output = Self>
    + AddAssign
    + Copy {
    // Provided methods
    fn increment(&mut self) { ... }
    fn increment_checked(&mut self) -> Result<(), ()>
       where Self: OverflowBehavior + MaxValue + PartialEq { ... }
    fn can_increment(&self) -> bool
       where Self: OverflowBehavior + MaxValue + PartialEq { ... }
    fn successor(self) -> Self { ... }
    fn successor_checked(&mut self) -> Result<Self, ()>
       where Self: OverflowBehavior + MaxValue + PartialEq { ... }
    fn have_successor(self) -> bool
       where Self: OverflowBehavior + MaxValue + PartialEq { ... }
}

The +1 operation

Provided Methods

fn increment(&mut self)

The increment x++ operator

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

where Self: OverflowBehavior + MaxValue + PartialEq,

The increment x++ operator

fn can_increment(&self) -> bool

where Self: OverflowBehavior + MaxValue + PartialEq,

Do the current value have a successor.

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

fn successor(self) -> Self

Return the successor self + 1

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

where Self: OverflowBehavior + MaxValue + PartialEq,

Return the successor self + 1

fn have_successor(self) -> bool

where Self: OverflowBehavior + MaxValue + PartialEq,

Do the current value have a successor.

True if not Self::MAX, except for wrapping type, they always have a successor 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> Increment for T

where T: One + Add<Output = T> + AddAssign + Copy,