Trait Increase 

pub trait Increase:
    Sized
    + One
    + Add<Output = Self>
    + AddAssign
    + Copy {
    // Provided methods
    fn increase(&mut self) { ... }
    fn increase_checked(&mut self) -> Result<(), ()>
       where Self: OverflowBehavior + MaxValue + PartialEq { ... }
    fn can_increase(&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 increase(&mut self)

The increment x++ operator

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

where Self: OverflowBehavior + MaxValue + PartialEq,

The increment x++ operator

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

Implementors

impl<T> Increase for T

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