Trait snarkvm_circuit_types::SubAssign

1.8.0 · source ·
pub trait SubAssign<Rhs = Self> {
    // Required method
    fn sub_assign(&mut self, rhs: Rhs);
}
Expand description

The subtraction assignment operator -=.

Examples

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

use std::ops::SubAssign;

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

impl SubAssign for Point {
    fn sub_assign(&mut self, other: Self) {
        *self = Self {
            x: self.x - other.x,
            y: self.y - other.y,
        };
    }
}

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

Required Methods§

source

fn sub_assign(&mut self, rhs: Rhs)

Performs the -= operation.

Example
let mut x: u32 = 12;
x -= 1;
assert_eq!(x, 11);

Implementors§

1.22.0 · source§

impl SubAssign<&f32> for f32

1.22.0 · source§

impl SubAssign<&f64> for f64

1.22.0 · source§

impl SubAssign<&i8> for i8

1.22.0 · source§

impl SubAssign<&i8> for Saturating<i8>

1.22.0 · source§

impl SubAssign<&i8> for Wrapping<i8>

1.22.0 · source§

impl SubAssign<&i16> for i16

1.22.0 · source§

impl SubAssign<&i16> for Saturating<i16>

1.22.0 · source§

impl SubAssign<&i16> for Wrapping<i16>

1.22.0 · source§

impl SubAssign<&i32> for i32

1.22.0 · source§

impl SubAssign<&i32> for Saturating<i32>

1.22.0 · source§

impl SubAssign<&i32> for Wrapping<i32>

1.22.0 · source§

impl SubAssign<&i64> for i64

1.22.0 · source§

impl SubAssign<&i64> for Saturating<i64>

1.22.0 · source§

impl SubAssign<&i64> for Wrapping<i64>

1.22.0 · source§

impl SubAssign<&i128> for i128

1.22.0 · source§

impl SubAssign<&i128> for Saturating<i128>

1.22.0 · source§

impl SubAssign<&i128> for Wrapping<i128>

1.22.0 · source§

impl SubAssign<&isize> for isize

1.22.0 · source§

impl SubAssign<&isize> for Saturating<isize>

1.22.0 · source§

impl SubAssign<&isize> for Wrapping<isize>

1.22.0 · source§

impl SubAssign<&u8> for u8

1.22.0 · source§

impl SubAssign<&u8> for Saturating<u8>

1.22.0 · source§

impl SubAssign<&u8> for Wrapping<u8>

1.22.0 · source§

impl SubAssign<&u16> for u16

1.22.0 · source§

impl SubAssign<&u16> for Saturating<u16>

1.22.0 · source§

impl SubAssign<&u16> for Wrapping<u16>

1.22.0 · source§

impl SubAssign<&u32> for u32

1.22.0 · source§

impl SubAssign<&u32> for Saturating<u32>

1.22.0 · source§

impl SubAssign<&u32> for Wrapping<u32>

1.22.0 · source§

impl SubAssign<&u64> for u64

1.22.0 · source§

impl SubAssign<&u64> for Saturating<u64>

1.22.0 · source§

impl SubAssign<&u64> for Wrapping<u64>

1.22.0 · source§

impl SubAssign<&u128> for u128

1.22.0 · source§

impl SubAssign<&u128> for Saturating<u128>

1.22.0 · source§

impl SubAssign<&u128> for Wrapping<u128>

1.22.0 · source§

impl SubAssign<&usize> for usize

1.22.0 · source§

impl SubAssign<&usize> for Saturating<usize>

1.22.0 · source§

impl SubAssign<&usize> for Wrapping<usize>

1.22.0 · source§

impl SubAssign<&Saturating<i8>> for Saturating<i8>

1.22.0 · source§

impl SubAssign<&Saturating<i16>> for Saturating<i16>

1.22.0 · source§

impl SubAssign<&Saturating<i32>> for Saturating<i32>

1.22.0 · source§

impl SubAssign<&Saturating<i64>> for Saturating<i64>

1.22.0 · source§

impl SubAssign<&Saturating<i128>> for Saturating<i128>

1.22.0 · source§

impl SubAssign<&Saturating<isize>> for Saturating<isize>

1.22.0 · source§

impl SubAssign<&Saturating<u8>> for Saturating<u8>

1.22.0 · source§

impl SubAssign<&Saturating<u16>> for Saturating<u16>

1.22.0 · source§

impl SubAssign<&Saturating<u32>> for Saturating<u32>

1.22.0 · source§

impl SubAssign<&Saturating<u64>> for Saturating<u64>

1.22.0 · source§

impl SubAssign<&Saturating<u128>> for Saturating<u128>

1.22.0 · source§

impl SubAssign<&Saturating<usize>> for Saturating<usize>

1.22.0 · source§

impl SubAssign<&Wrapping<i8>> for Wrapping<i8>

1.22.0 · source§

impl SubAssign<&Wrapping<i16>> for Wrapping<i16>

1.22.0 · source§

impl SubAssign<&Wrapping<i32>> for Wrapping<i32>

1.22.0 · source§

impl SubAssign<&Wrapping<i64>> for Wrapping<i64>

1.22.0 · source§

impl SubAssign<&Wrapping<i128>> for Wrapping<i128>

1.22.0 · source§

impl SubAssign<&Wrapping<isize>> for Wrapping<isize>

1.22.0 · source§

impl SubAssign<&Wrapping<u8>> for Wrapping<u8>

1.22.0 · source§

impl SubAssign<&Wrapping<u16>> for Wrapping<u16>

1.22.0 · source§

impl SubAssign<&Wrapping<u32>> for Wrapping<u32>

1.22.0 · source§

impl SubAssign<&Wrapping<u64>> for Wrapping<u64>

1.22.0 · source§

impl SubAssign<&Wrapping<u128>> for Wrapping<u128>

1.22.0 · source§

impl SubAssign<&Wrapping<usize>> for Wrapping<usize>

source§

impl SubAssign<f32> for f32

source§

impl SubAssign<f64> for f64

source§

impl SubAssign<i8> for i8

source§

impl SubAssign<i8> for Saturating<i8>

1.60.0 · source§

impl SubAssign<i8> for Wrapping<i8>

source§

impl SubAssign<i8> for BigInt

source§

impl SubAssign<i16> for i16

source§

impl SubAssign<i16> for Saturating<i16>

1.60.0 · source§

impl SubAssign<i16> for Wrapping<i16>

source§

impl SubAssign<i16> for BigInt

source§

impl SubAssign<i32> for i32

source§

impl SubAssign<i32> for Saturating<i32>

1.60.0 · source§

impl SubAssign<i32> for Wrapping<i32>

source§

impl SubAssign<i32> for BigInt

source§

impl SubAssign<i64> for i64

source§

impl SubAssign<i64> for Saturating<i64>

1.60.0 · source§

impl SubAssign<i64> for Wrapping<i64>

source§

impl SubAssign<i64> for BigInt

source§

impl SubAssign<i128> for i128

source§

impl SubAssign<i128> for Saturating<i128>

1.60.0 · source§

impl SubAssign<i128> for Wrapping<i128>

source§

impl SubAssign<i128> for BigInt

source§

impl SubAssign<isize> for isize

source§

impl SubAssign<isize> for Saturating<isize>

1.60.0 · source§

impl SubAssign<isize> for Wrapping<isize>

source§

impl SubAssign<isize> for BigInt

source§

impl SubAssign<u8> for u8

source§

impl SubAssign<u8> for Saturating<u8>

1.60.0 · source§

impl SubAssign<u8> for Wrapping<u8>

source§

impl SubAssign<u8> for BigInt

source§

impl SubAssign<u8> for BigUint

source§

impl SubAssign<u16> for u16

source§

impl SubAssign<u16> for Saturating<u16>

1.60.0 · source§

impl SubAssign<u16> for Wrapping<u16>

source§

impl SubAssign<u16> for BigInt

source§

impl SubAssign<u16> for BigUint

source§

impl SubAssign<u32> for u32

source§

impl SubAssign<u32> for Saturating<u32>

1.60.0 · source§

impl SubAssign<u32> for Wrapping<u32>

source§

impl SubAssign<u32> for BigInt

source§

impl SubAssign<u32> for BigUint

source§

impl SubAssign<u64> for u64

source§

impl SubAssign<u64> for Saturating<u64>

1.60.0 · source§

impl SubAssign<u64> for Wrapping<u64>

source§

impl SubAssign<u64> for BigInt

source§

impl SubAssign<u64> for BigUint

source§

impl SubAssign<u128> for u128

source§

impl SubAssign<u128> for Saturating<u128>

1.60.0 · source§

impl SubAssign<u128> for Wrapping<u128>

source§

impl SubAssign<u128> for BigInt

source§

impl SubAssign<u128> for BigUint

source§

impl SubAssign<usize> for usize

source§

impl SubAssign<usize> for Saturating<usize>

1.60.0 · source§

impl SubAssign<usize> for Wrapping<usize>

source§

impl SubAssign<usize> for BigInt

source§

impl SubAssign<usize> for BigUint

source§

impl SubAssign<Saturating<i8>> for Saturating<i8>

source§

impl SubAssign<Saturating<i16>> for Saturating<i16>

source§

impl SubAssign<Saturating<i32>> for Saturating<i32>

source§

impl SubAssign<Saturating<i64>> for Saturating<i64>

source§

impl SubAssign<Saturating<i128>> for Saturating<i128>

source§

impl SubAssign<Saturating<isize>> for Saturating<isize>

source§

impl SubAssign<Saturating<u8>> for Saturating<u8>

source§

impl SubAssign<Saturating<u16>> for Saturating<u16>

source§

impl SubAssign<Saturating<u32>> for Saturating<u32>

source§

impl SubAssign<Saturating<u64>> for Saturating<u64>

source§

impl SubAssign<Saturating<u128>> for Saturating<u128>

source§

impl SubAssign<Saturating<usize>> for Saturating<usize>

source§

impl SubAssign<Wrapping<i8>> for Wrapping<i8>

source§

impl SubAssign<Wrapping<i16>> for Wrapping<i16>

source§

impl SubAssign<Wrapping<i32>> for Wrapping<i32>

source§

impl SubAssign<Wrapping<i64>> for Wrapping<i64>

source§

impl SubAssign<Wrapping<i128>> for Wrapping<i128>

source§

impl SubAssign<Wrapping<isize>> for Wrapping<isize>

source§

impl SubAssign<Wrapping<u8>> for Wrapping<u8>

source§

impl SubAssign<Wrapping<u16>> for Wrapping<u16>

source§

impl SubAssign<Wrapping<u32>> for Wrapping<u32>

source§

impl SubAssign<Wrapping<u64>> for Wrapping<u64>

source§

impl SubAssign<Wrapping<u128>> for Wrapping<u128>

source§

impl SubAssign<Wrapping<usize>> for Wrapping<usize>

1.9.0 · source§

impl SubAssign<Duration> for Duration

1.9.0 · source§

impl SubAssign<Duration> for Instant

1.9.0 · source§

impl SubAssign<Duration> for SystemTime

source§

impl SubAssign<BigInt> for BigInt

source§

impl SubAssign<BigUint> for BigUint

§

impl SubAssign<ControlModes> for ControlModes

§

impl SubAssign<DupFlags> for DupFlags

§

impl SubAssign<FdFlags> for FdFlags

§

impl SubAssign<InputModes> for InputModes

§

impl SubAssign<LocalModes> for LocalModes

§

impl SubAssign<OutputModes> for OutputModes

§

impl SubAssign<ReadWriteFlags> for ReadWriteFlags

source§

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

source§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

source§

impl<E> SubAssign<&Field<E>> for snarkvm_circuit_types::Field<E>where E: Environment,

source§

impl<E> SubAssign<&Group<E>> for snarkvm_circuit_types::Group<E>where E: Environment,

§

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

§

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

§

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

source§

impl<E> SubAssign<Field<E>> for snarkvm_circuit_types::Field<E>where E: Environment,

source§

impl<E> SubAssign<Group<E>> for snarkvm_circuit_types::Group<E>where E: Environment,

§

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

§

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

§

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

source§

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

§

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

source§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

source§

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