Trait snarkvm_circuit::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<&f32> for f32

impl AddAssign<&f64> for f64

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<f32> for f32

impl AddAssign<f64> for f64

impl AddAssign<i8> for i8

impl AddAssign<i8> for Saturating<i8>

impl AddAssign<i8> for Wrapping<i8>

impl AddAssign<i8> for BigInt

impl AddAssign<i16> for i16

impl AddAssign<i16> for Saturating<i16>

impl AddAssign<i16> for Wrapping<i16>

impl AddAssign<i16> for BigInt

impl AddAssign<i32> for i32

impl AddAssign<i32> for Saturating<i32>

impl AddAssign<i32> for Wrapping<i32>

impl AddAssign<i32> for BigInt

impl AddAssign<i64> for i64

impl AddAssign<i64> for Saturating<i64>

impl AddAssign<i64> for Wrapping<i64>

impl AddAssign<i64> for BigInt

impl AddAssign<i128> for i128

impl AddAssign<i128> for Saturating<i128>

impl AddAssign<i128> for Wrapping<i128>

impl AddAssign<i128> for BigInt

impl AddAssign<isize> for isize

impl AddAssign<isize> for Saturating<isize>

impl AddAssign<isize> for Wrapping<isize>

impl AddAssign<isize> for BigInt

impl AddAssign<u8> for u8

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 u16

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 u32

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 u64

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 u128

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 usize

impl AddAssign<usize> for Saturating<usize>

impl AddAssign<usize> for Wrapping<usize>

impl AddAssign<usize> for BigInt

impl AddAssign<usize> for BigUint

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<Duration> for Duration

impl AddAssign<Duration> for Instant

impl AddAssign<Duration> for SystemTime

impl AddAssign<BigInt> for BigInt

impl AddAssign<BigUint> for BigUint

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> AddAssign<Cow<'a, str>> for Cow<'a, str>

impl<'a, E> AddAssign<&'a KZGRandomness<E>> for KZGRandomness<E>where E: PairingEngine,

impl<'a, E> AddAssign<(<E as PairingEngine>::Fr, &'a KZGRandomness<E>)> for KZGRandomness<E>where E: PairingEngine,

impl<'a, F> AddAssign<&'a DensePolynomial<F>> for DensePolynomial<F>where F: Field,

impl<'a, F> AddAssign<&'a Evaluations<F>> for Evaluations<F>where F: PrimeField,

impl<'a, F> AddAssign<&'a LinearCombination<F>> for LinearCombination<F>where F: Field,

impl<'a, F> AddAssign<&'a Polynomial<'a, F>> for DensePolynomial<F>where F: Field,

impl<'a, F> AddAssign<&'a SparsePolynomial<F>> for DensePolynomial<F>where F: Field,

impl<'a, F> AddAssign<&'a SparsePolynomial<F>> for SparsePolynomial<F>where F: PrimeField,

impl<'a, F> AddAssign<(F, &'a DensePolynomial<F>)> for DensePolynomial<F>where F: Field,

impl<'a, F> AddAssign<(F, &'a LinearCombination<F>)> for LinearCombination<F>where F: Field,

impl<'a, F> AddAssign<(F, &'a Polynomial<'a, F>)> for DensePolynomial<F>where F: Field,

impl<'a, F> AddAssign<(F, &'a SparsePolynomial<F>)> for SparsePolynomial<F>where F: PrimeField,

impl<'a, P> AddAssign<&'a Fp2<P>> for Fp2<P>where P: Fp2Parameters,

impl<'a, P> AddAssign<&'a Fp6<P>> for Fp6<P>where P: Fp6Parameters,

impl<'a, P> AddAssign<&'a Fp12<P>> for Fp12<P>where P: Fp12Parameters,

impl<'a, P> AddAssign<&'a Fp256<P>> for Fp256<P>where P: Fp256Parameters,

impl<'a, P> AddAssign<&'a Fp384<P>> for Fp384<P>where P: Fp384Parameters,

impl<'a, P> AddAssign<&'a Projective<P>> for Projective<P>where P: ShortWeierstrassParameters,

impl<'a, P> AddAssign<&'a Projective<P>> for Projective<P>where P: TwistedEdwardsParameters,

impl<'a, P> AddAssign<&'a mut Fp2<P>> for Fp2<P>where P: Fp2Parameters,

impl<'a, P> AddAssign<&'a mut Fp6<P>> for Fp6<P>where P: Fp6Parameters,

impl<'a, P> AddAssign<&'a mut Fp12<P>> for Fp12<P>where P: Fp12Parameters,

impl<'a, P> AddAssign<&'a mut Fp256<P>> for Fp256<P>where P: Fp256Parameters,

impl<'a, P> AddAssign<&'a mut Fp384<P>> for Fp384<P>where P: Fp384Parameters,

impl<'a, P> AddAssign<&'a mut Projective<P>> for Projective<P>where P: ShortWeierstrassParameters,

impl<'a, P> AddAssign<&'a mut Projective<P>> for Projective<P>where P: TwistedEdwardsParameters,

impl<E> AddAssign<&Field<E>> for snarkvm_circuit::Field<E>where E: Environment,

impl<E> AddAssign<&Group<E>> for snarkvm_circuit::Group<E>where E: Environment,

impl<E> AddAssign<&Scalar<E>> for snarkvm_circuit::Scalar<E>where E: Environment,

impl<E> AddAssign<&Field<E>> for Field<E>where E: Environment,

impl<E> AddAssign<&Group<E>> for Group<E>where E: Environment,

impl<E> AddAssign<&Scalar<E>> for Scalar<E>where E: Environment,

impl<E> AddAssign<Field<E>> for snarkvm_circuit::Field<E>where E: Environment,

impl<E> AddAssign<Group<E>> for snarkvm_circuit::Group<E>where E: Environment,

impl<E> AddAssign<Scalar<E>> for snarkvm_circuit::Scalar<E>where E: Environment,

impl<E> AddAssign<Field<E>> for Field<E>where E: Environment,

impl<E> AddAssign<Group<E>> for Group<E>where E: Environment,

impl<E> AddAssign<Scalar<E>> for Scalar<E>where E: Environment,

impl<E, I> AddAssign<&Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,

impl<E, I> AddAssign<&Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,

impl<E, I> AddAssign<Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,

impl<E, I> AddAssign<Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,

impl<F> AddAssign<&LinearCombination<F>> for snarkvm_circuit::LinearCombination<F>where F: PrimeField,

impl<F> AddAssign<(F, Variable)> for ConstraintVariable<F>where F: Field,

impl<F> AddAssign<(F, Variable)> for LinearCombination<F>where F: Field,

impl<F> AddAssign<LinearCombination<F>> for snarkvm_circuit::LinearCombination<F>where F: PrimeField,

impl<F> AddAssign<F> for LinearCombination<F>where F: Field,

impl<P> AddAssign<&&Fp2<P>> for Fp2<P>where P: Fp2Parameters,

impl<P> AddAssign<&&Fp6<P>> for Fp6<P>where P: Fp6Parameters,

impl<P> AddAssign<&&Fp12<P>> for Fp12<P>where P: Fp12Parameters,

impl<P> AddAssign<&&Fp256<P>> for Fp256<P>where P: Fp256Parameters,

impl<P> AddAssign<&&Fp384<P>> for Fp384<P>where P: Fp384Parameters,

impl<P> AddAssign<&&Projective<P>> for Projective<P>where P: ShortWeierstrassParameters,

impl<P> AddAssign<&&Projective<P>> for Projective<P>where P: TwistedEdwardsParameters,

impl<P> AddAssign<Fp2<P>> for Fp2<P>where P: Fp2Parameters,

impl<P> AddAssign<Fp6<P>> for Fp6<P>where P: Fp6Parameters,

impl<P> AddAssign<Fp12<P>> for Fp12<P>where P: Fp12Parameters,

impl<P> AddAssign<Fp256<P>> for Fp256<P>where P: Fp256Parameters,

impl<P> AddAssign<Fp384<P>> for Fp384<P>where P: Fp384Parameters,

impl<P> AddAssign<Projective<P>> for Projective<P>where P: ShortWeierstrassParameters,

impl<P> AddAssign<Projective<P>> for Projective<P>where P: TwistedEdwardsParameters,

impl<T, U, const LANES: usize> AddAssign<U> for Simd<T, LANES>where Simd<T, LANES>: Add<U, Output = Simd<T, LANES>>, T: SimdElement, LaneCount<LANES>: SupportedLaneCount,