Trait creusot_contracts::std::ops::AddAssign

pub trait AddAssign<Rhs = Self> {
    // Required method
    fn add_assign(&mut self, rhs: Rhs);
}

The addition assignment operator +=.

Examples

This example creates a Point struct that implements the AddAssign trait, and then demonstrates add-assigning to a mutable Point.

use std::ops::AddAssign;

#[derive(Debug, Copy, Clone, PartialEq)]
struct Point {
    x: i32,
    y: i32,
}

impl AddAssign for Point {
    fn add_assign(&mut self, other: Self) {
        *self = Self {
            x: self.x + other.x,
            y: self.y + other.y,
        };
    }
}

let mut point = Point { x: 1, y: 0 };
point += Point { x: 2, y: 3 };
assert_eq!(point, Point { x: 3, y: 3 });

Required Methods

fn add_assign(&mut self, rhs: Rhs)

Performs the += operation.

Example

let mut x: u32 = 12;
x += 1;
assert_eq!(x, 13);

Implementors

impl AddAssign for f16

impl AddAssign for f32

impl AddAssign for f64

impl AddAssign for f128

impl AddAssign for i8

impl AddAssign for i16

impl AddAssign for i32

impl AddAssign for i64

impl AddAssign for i128

impl AddAssign for isize

impl AddAssign for u8

impl AddAssign for u16

impl AddAssign for u32

impl AddAssign for u64

impl AddAssign for u128

impl AddAssign for usize

impl AddAssign for Saturating<i8>

impl AddAssign for Saturating<i16>

impl AddAssign for Saturating<i32>

impl AddAssign for Saturating<i64>

impl AddAssign for Saturating<i128>

impl AddAssign for Saturating<isize>

impl AddAssign for Saturating<u8>

impl AddAssign for Saturating<u16>

impl AddAssign for Saturating<u32>

impl AddAssign for Saturating<u64>

impl AddAssign for Saturating<u128>

impl AddAssign for Saturating<usize>

impl AddAssign for Wrapping<i8>

impl AddAssign for Wrapping<i16>

impl AddAssign for Wrapping<i32>

impl AddAssign for Wrapping<i64>

impl AddAssign for Wrapping<i128>

impl AddAssign for Wrapping<isize>

impl AddAssign for Wrapping<u8>

impl AddAssign for Wrapping<u16>

impl AddAssign for Wrapping<u32>

impl AddAssign for Wrapping<u64>

impl AddAssign for Wrapping<u128>

impl AddAssign for Wrapping<usize>

impl AddAssign for Duration

impl AddAssign for BigInt

impl AddAssign for BigUint

impl AddAssign<&f16> for f16

impl AddAssign<&f32> for f32

impl AddAssign<&f64> for f64

impl AddAssign<&f128> for f128

impl AddAssign<&i8> for i8

impl AddAssign<&i8> for Saturating<i8>

impl AddAssign<&i8> for Wrapping<i8>

impl AddAssign<&i16> for i16

impl AddAssign<&i16> for Saturating<i16>

impl AddAssign<&i16> for Wrapping<i16>

impl AddAssign<&i32> for i32

impl AddAssign<&i32> for Saturating<i32>

impl AddAssign<&i32> for Wrapping<i32>

impl AddAssign<&i64> for i64

impl AddAssign<&i64> for Saturating<i64>

impl AddAssign<&i64> for Wrapping<i64>

impl AddAssign<&i128> for i128

impl AddAssign<&i128> for Saturating<i128>

impl AddAssign<&i128> for Wrapping<i128>

impl AddAssign<&isize> for isize

impl AddAssign<&isize> for Saturating<isize>

impl AddAssign<&isize> for Wrapping<isize>

impl AddAssign<&str> for String

Implements the += operator for appending to a String.

This has the same behavior as the push_str method.

impl AddAssign<&u8> for u8

impl AddAssign<&u8> for Saturating<u8>

impl AddAssign<&u8> for Wrapping<u8>

impl AddAssign<&u16> for u16

impl AddAssign<&u16> for Saturating<u16>

impl AddAssign<&u16> for Wrapping<u16>

impl AddAssign<&u32> for u32

impl AddAssign<&u32> for Saturating<u32>

impl AddAssign<&u32> for Wrapping<u32>

impl AddAssign<&u64> for u64

impl AddAssign<&u64> for Saturating<u64>

impl AddAssign<&u64> for Wrapping<u64>

impl AddAssign<&u128> for u128

impl AddAssign<&u128> for Saturating<u128>

impl AddAssign<&u128> for Wrapping<u128>

impl AddAssign<&usize> for usize

impl AddAssign<&usize> for Saturating<usize>

impl AddAssign<&usize> for Wrapping<usize>

impl AddAssign<&Saturating<i8>> for Saturating<i8>

impl AddAssign<&Saturating<i16>> for Saturating<i16>

impl AddAssign<&Saturating<i32>> for Saturating<i32>

impl AddAssign<&Saturating<i64>> for Saturating<i64>

impl AddAssign<&Saturating<i128>> for Saturating<i128>

impl AddAssign<&Saturating<isize>> for Saturating<isize>

impl AddAssign<&Saturating<u8>> for Saturating<u8>

impl AddAssign<&Saturating<u16>> for Saturating<u16>

impl AddAssign<&Saturating<u32>> for Saturating<u32>

impl AddAssign<&Saturating<u64>> for Saturating<u64>

impl AddAssign<&Saturating<u128>> for Saturating<u128>

impl AddAssign<&Saturating<usize>> for Saturating<usize>

impl AddAssign<&Wrapping<i8>> for Wrapping<i8>

impl AddAssign<&Wrapping<i16>> for Wrapping<i16>

impl AddAssign<&Wrapping<i32>> for Wrapping<i32>

impl AddAssign<&Wrapping<i64>> for Wrapping<i64>

impl AddAssign<&Wrapping<i128>> for Wrapping<i128>

impl AddAssign<&Wrapping<isize>> for Wrapping<isize>

impl AddAssign<&Wrapping<u8>> for Wrapping<u8>

impl AddAssign<&Wrapping<u16>> for Wrapping<u16>

impl AddAssign<&Wrapping<u32>> for Wrapping<u32>

impl AddAssign<&Wrapping<u64>> for Wrapping<u64>

impl AddAssign<&Wrapping<u128>> for Wrapping<u128>

impl AddAssign<&Wrapping<usize>> for Wrapping<usize>

impl AddAssign<i8> for Saturating<i8>

impl AddAssign<i8> for Wrapping<i8>

impl AddAssign<i8> for BigInt

impl AddAssign<i16> for Saturating<i16>

impl AddAssign<i16> for Wrapping<i16>

impl AddAssign<i16> for BigInt

impl AddAssign<i32> for Saturating<i32>

impl AddAssign<i32> for Wrapping<i32>

impl AddAssign<i32> for BigInt

impl AddAssign<i64> for Saturating<i64>

impl AddAssign<i64> for Wrapping<i64>

impl AddAssign<i64> for BigInt

impl AddAssign<i128> for Saturating<i128>

impl AddAssign<i128> for Wrapping<i128>

impl AddAssign<i128> for BigInt

impl AddAssign<isize> for Saturating<isize>

impl AddAssign<isize> for Wrapping<isize>

impl AddAssign<isize> for BigInt

impl AddAssign<u8> for Saturating<u8>

impl AddAssign<u8> for Wrapping<u8>

impl AddAssign<u8> for BigInt

impl AddAssign<u8> for BigUint

impl AddAssign<u16> for Saturating<u16>

impl AddAssign<u16> for Wrapping<u16>

impl AddAssign<u16> for BigInt

impl AddAssign<u16> for BigUint

impl AddAssign<u32> for Saturating<u32>

impl AddAssign<u32> for Wrapping<u32>

impl AddAssign<u32> for BigInt

impl AddAssign<u32> for BigUint

impl AddAssign<u64> for Saturating<u64>

impl AddAssign<u64> for Wrapping<u64>

impl AddAssign<u64> for BigInt

impl AddAssign<u64> for BigUint

impl AddAssign<u128> for Saturating<u128>

impl AddAssign<u128> for Wrapping<u128>

impl AddAssign<u128> for BigInt

impl AddAssign<u128> for BigUint

impl AddAssign<usize> for Saturating<usize>

impl AddAssign<usize> for Wrapping<usize>

impl AddAssign<usize> for BigInt

impl AddAssign<usize> for BigUint

impl AddAssign<Duration> for Instant

impl AddAssign<Duration> for SystemTime

impl<'a> AddAssign for Cow<'a, str>

impl<'a> AddAssign<&'a str> for Cow<'a, str>

impl<'a> AddAssign<&'a BigInt> for BigInt

impl<'a> AddAssign<&'a BigUint> for BigUint

impl<'a, T> AddAssign<&'a Ratio<T>> for Ratio<T>

where T: Clone + Integer + NumAssign,

impl<'a, T> AddAssign<&'a T> for Ratio<T>

where T: Clone + Integer + NumAssign,

impl<T> AddAssign for Ratio<T>

where T: Clone + Integer + NumAssign,

impl<T> AddAssign<T> for Ratio<T>

where T: Clone + Integer + NumAssign,

impl<T, U, const N: usize> AddAssign<U> for Simd<T, N>

where Simd<T, N>: Add<U, Output = Simd<T, N>>, T: SimdElement, LaneCount<N>: SupportedLaneCount,