Trait cairo_vm::with_std::ops::Neg

pub trait Neg {
    type Output;

    // Required method
    fn neg(self) -> Self::Output;
}

The unary negation operator -.

Examples

An implementation of Neg for Sign, which allows the use of - to negate its value.

use std::ops::Neg;

#[derive(Debug, PartialEq)]
enum Sign {
    Negative,
    Zero,
    Positive,
}

impl Neg for Sign {
    type Output = Self;

    fn neg(self) -> Self::Output {
        match self {
            Sign::Negative => Sign::Positive,
            Sign::Zero => Sign::Zero,
            Sign::Positive => Sign::Negative,
        }
    }
}

// A negative positive is a negative.
assert_eq!(-Sign::Positive, Sign::Negative);
// A double negative is a positive.
assert_eq!(-Sign::Negative, Sign::Positive);
// Zero is its own negation.
assert_eq!(-Sign::Zero, Sign::Zero);

Required Associated Types

type Output

The resulting type after applying the - operator.

Required Methods

fn neg(self) -> Self::Output

Performs the unary - operation.

Example

let x: i32 = 12;
assert_eq!(-x, -12);

Implementors

impl Neg for &f16

type Output = <f16 as Neg>::Output

impl Neg for &f32

type Output = <f32 as Neg>::Output

impl Neg for &f64

type Output = <f64 as Neg>::Output

impl Neg for &f128

type Output = <f128 as Neg>::Output

impl Neg for &i8

type Output = <i8 as Neg>::Output

impl Neg for &i16

type Output = <i16 as Neg>::Output

impl Neg for &i32

type Output = <i32 as Neg>::Output

impl Neg for &i64

type Output = <i64 as Neg>::Output

impl Neg for &i128

type Output = <i128 as Neg>::Output

impl Neg for &isize

type Output = <isize as Neg>::Output

impl Neg for &Felt

type Output = Felt

impl Neg for &NonZero<i8>

type Output = <NonZero<i8> as Neg>::Output

impl Neg for &NonZero<i16>

type Output = <NonZero<i16> as Neg>::Output

impl Neg for &NonZero<i32>

type Output = <NonZero<i32> as Neg>::Output

impl Neg for &NonZero<i64>

type Output = <NonZero<i64> as Neg>::Output

impl Neg for &NonZero<i128>

type Output = <NonZero<i128> as Neg>::Output

impl Neg for &NonZero<isize>

type Output = <NonZero<isize> as Neg>::Output

impl Neg for &Saturating<i8>

type Output = <Saturating<i8> as Neg>::Output

impl Neg for &Saturating<i16>

type Output = <Saturating<i16> as Neg>::Output

impl Neg for &Saturating<i32>

type Output = <Saturating<i32> as Neg>::Output

impl Neg for &Saturating<i64>

type Output = <Saturating<i64> as Neg>::Output

impl Neg for &Saturating<i128>

type Output = <Saturating<i128> as Neg>::Output

impl Neg for &Saturating<isize>

type Output = <Saturating<isize> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<i8>

type Output = <Wrapping<i8> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<i16>

type Output = <Wrapping<i16> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<i32>

type Output = <Wrapping<i32> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<i64>

type Output = <Wrapping<i64> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<i128>

type Output = <Wrapping<i128> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<isize>

type Output = <Wrapping<isize> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<u8>

type Output = <Wrapping<u8> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<u16>

type Output = <Wrapping<u16> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<u32>

type Output = <Wrapping<u32> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<u64>

type Output = <Wrapping<u64> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<u128>

type Output = <Wrapping<u128> as Neg>::Output

impl Neg for &cairo_vm::with_std::num::Wrapping<usize>

type Output = <Wrapping<usize> as Neg>::Output

impl Neg for &BigInt

type Output = BigInt

impl Neg for &starknet_curve::ec_point::AffinePoint

type Output = AffinePoint

impl Neg for &starknet_types_core::curve::affine_point::AffinePoint

type Output = AffinePoint

impl Neg for &ProjectivePoint

type Output = ProjectivePoint

impl Neg for Sign

type Output = Sign

impl Neg for f16

type Output = f16

impl Neg for f32

type Output = f32

impl Neg for f64

type Output = f64

impl Neg for f128

type Output = f128

impl Neg for i8

type Output = i8

impl Neg for i16

type Output = i16

impl Neg for i32

type Output = i32

impl Neg for i64

type Output = i64

impl Neg for i128

type Output = i128

impl Neg for isize

type Output = isize

impl Neg for Felt

type Output = Felt

impl Neg for NonZero<i8>

type Output = NonZero<i8>

impl Neg for NonZero<i16>

type Output = NonZero<i16>

impl Neg for NonZero<i32>

type Output = NonZero<i32>

impl Neg for NonZero<i64>

type Output = NonZero<i64>

impl Neg for NonZero<i128>

type Output = NonZero<i128>

impl Neg for NonZero<isize>

type Output = NonZero<isize>

impl Neg for Saturating<i8>

type Output = Saturating<i8>

impl Neg for Saturating<i16>

type Output = Saturating<i16>

impl Neg for Saturating<i32>

type Output = Saturating<i32>

impl Neg for Saturating<i64>

type Output = Saturating<i64>

impl Neg for Saturating<i128>

type Output = Saturating<i128>

impl Neg for Saturating<isize>

type Output = Saturating<isize>

impl Neg for cairo_vm::with_std::num::Wrapping<i8>

type Output = Wrapping<i8>

impl Neg for cairo_vm::with_std::num::Wrapping<i16>

type Output = Wrapping<i16>

impl Neg for cairo_vm::with_std::num::Wrapping<i32>

type Output = Wrapping<i32>

impl Neg for cairo_vm::with_std::num::Wrapping<i64>

type Output = Wrapping<i64>

impl Neg for cairo_vm::with_std::num::Wrapping<i128>

type Output = Wrapping<i128>

impl Neg for cairo_vm::with_std::num::Wrapping<isize>

type Output = Wrapping<isize>

impl Neg for cairo_vm::with_std::num::Wrapping<u8>

type Output = Wrapping<u8>

impl Neg for cairo_vm::with_std::num::Wrapping<u16>

type Output = Wrapping<u16>

impl Neg for cairo_vm::with_std::num::Wrapping<u32>

type Output = Wrapping<u32>

impl Neg for cairo_vm::with_std::num::Wrapping<u64>

type Output = Wrapping<u64>

impl Neg for cairo_vm::with_std::num::Wrapping<u128>

type Output = Wrapping<u128>

impl Neg for cairo_vm::with_std::num::Wrapping<usize>

type Output = Wrapping<usize>

impl Neg for crypto_bigint::wrapping::Wrapping<Limb>

type Output = Wrapping<Limb>

impl Neg for BigInt

type Output = BigInt

impl Neg for Decimal

type Output = Decimal

impl Neg for starknet_ff::FieldElement

type Output = FieldElement

impl Neg for Duration

type Output = Duration

impl Neg for UtcOffset

type Output = UtcOffset

impl Neg for ATerm

type Output = ATerm

impl Neg for Z0

-Z0 = Z0

type Output = Z0

impl<'a> Neg for &'a Decimal

type Output = Decimal

impl<F> Neg for &lambdaworks_math::field::element::FieldElement<F>

where F: IsField,

Negation operator overloading for field elements*/

type Output = FieldElement<F>

impl<F> Neg for &Polynomial<FieldElement<F>>

where F: IsField,

type Output = Polynomial<FieldElement<F>>

impl<F> Neg for lambdaworks_math::field::element::FieldElement<F>

where F: IsField,

type Output = FieldElement<F>

impl<F> Neg for Polynomial<FieldElement<F>>

where F: IsField,

type Output = Polynomial<FieldElement<F>>

impl<MOD, const LIMBS: usize> Neg for &Residue<MOD, LIMBS>

where MOD: ResidueParams<LIMBS>,

type Output = Residue<MOD, LIMBS>

impl<MOD, const LIMBS: usize> Neg for Residue<MOD, LIMBS>

where MOD: ResidueParams<LIMBS>,

type Output = Residue<MOD, LIMBS>

impl<P> Neg for CubicExtField<P>

where P: CubicExtConfig,

type Output = CubicExtField<P>

impl<P> Neg for QuadExtField<P>

where P: QuadExtConfig,

type Output = QuadExtField<P>

impl<P, const N: usize> Neg for Fp<P, N>

where P: FpConfig<N>,

type Output = Fp<P, N>

impl<T, R> Neg for &ReducedInt<T, R>

where T: PartialEq + Clone, R: Reducer<T> + Clone,

type Output = ReducedInt<T, R>

impl<T, R> Neg for ReducedInt<T, R>

where T: PartialEq, R: Reducer<T>,

type Output = ReducedInt<T, R>

impl<U> Neg for NInt<U>

where U: Unsigned + NonZero,

-NInt = PInt

type Output = PInt<U>

impl<U> Neg for PInt<U>

where U: Unsigned + NonZero,

-PInt = NInt

type Output = NInt<U>

impl<V, A> Neg for TArr<V, A>

where V: Neg, A: Neg,

type Output = TArr<<V as Neg>::Output, <A as Neg>::Output>

impl<const LIMBS: usize> Neg for &DynResidue<LIMBS>

type Output = DynResidue<LIMBS>

impl<const LIMBS: usize> Neg for DynResidue<LIMBS>

type Output = DynResidue<LIMBS>

impl<const LIMBS: usize> Neg for crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>

type Output = Wrapping<Uint<LIMBS>>

impl<const N: usize> Neg for Simd<f32, N>

where f32: SimdElement, LaneCount<N>: SupportedLaneCount,

type Output = Simd<f32, N>

impl<const N: usize> Neg for Simd<f64, N>

where f64: SimdElement, LaneCount<N>: SupportedLaneCount,

type Output = Simd<f64, N>

impl<const N: usize> Neg for Simd<i8, N>

where i8: SimdElement, LaneCount<N>: SupportedLaneCount,

type Output = Simd<i8, N>

impl<const N: usize> Neg for Simd<i16, N>

where i16: SimdElement, LaneCount<N>: SupportedLaneCount,

type Output = Simd<i16, N>

impl<const N: usize> Neg for Simd<i32, N>

where i32: SimdElement, LaneCount<N>: SupportedLaneCount,

type Output = Simd<i32, N>

impl<const N: usize> Neg for Simd<i64, N>

where i64: SimdElement, LaneCount<N>: SupportedLaneCount,

type Output = Simd<i64, N>

impl<const N: usize> Neg for Simd<isize, N>

where isize: SimdElement, LaneCount<N>: SupportedLaneCount,

type Output = Simd<isize, N>