Trait snarkvm_console_algorithms::Neg

1.0.0 · source ·
pub trait Neg {
    type Output;

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

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§

source

type Output

The resulting type after applying the - operator.

Required Methods§

source

fn neg(self) -> Self::Output

Performs the unary - operation.

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

Implementors§

source§

impl Neg for &f32

§

type Output = <f32 as Neg>::Output

source§

impl Neg for &f64

§

type Output = <f64 as Neg>::Output

source§

impl Neg for &i8

§

type Output = <i8 as Neg>::Output

source§

impl Neg for &i16

§

type Output = <i16 as Neg>::Output

source§

impl Neg for &i32

§

type Output = <i32 as Neg>::Output

source§

impl Neg for &i64

§

type Output = <i64 as Neg>::Output

source§

impl Neg for &i128

§

type Output = <i128 as Neg>::Output

source§

impl Neg for &isize

§

type Output = <isize as Neg>::Output

1.71.0 · source§

impl Neg for &NonZero<i8>

§

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

1.71.0 · source§

impl Neg for &NonZero<i16>

§

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

1.71.0 · source§

impl Neg for &NonZero<i32>

§

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

1.71.0 · source§

impl Neg for &NonZero<i64>

§

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

1.71.0 · source§

impl Neg for &NonZero<i128>

1.71.0 · source§

impl Neg for &NonZero<isize>

1.74.0 · source§

impl Neg for &Saturating<i8>

1.74.0 · source§

impl Neg for &Saturating<i16>

1.74.0 · source§

impl Neg for &Saturating<i32>

1.74.0 · source§

impl Neg for &Saturating<i64>

1.74.0 · source§

impl Neg for &Saturating<i128>

1.74.0 · source§

impl Neg for &Saturating<isize>

1.14.0 · source§

impl Neg for &Wrapping<i8>

§

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

1.14.0 · source§

impl Neg for &Wrapping<i16>

1.14.0 · source§

impl Neg for &Wrapping<i32>

1.14.0 · source§

impl Neg for &Wrapping<i64>

1.14.0 · source§

impl Neg for &Wrapping<i128>

1.14.0 · source§

impl Neg for &Wrapping<isize>

1.14.0 · source§

impl Neg for &Wrapping<u8>

§

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

1.14.0 · source§

impl Neg for &Wrapping<u16>

1.14.0 · source§

impl Neg for &Wrapping<u32>

1.14.0 · source§

impl Neg for &Wrapping<u64>

1.14.0 · source§

impl Neg for &Wrapping<u128>

1.14.0 · source§

impl Neg for &Wrapping<usize>

source§

impl Neg for &BigInt

source§

impl Neg for Sign

§

type Output = Sign

source§

impl Neg for f32

§

type Output = f32

source§

impl Neg for f64

§

type Output = f64

source§

impl Neg for i8

§

type Output = i8

source§

impl Neg for i16

§

type Output = i16

source§

impl Neg for i32

§

type Output = i32

source§

impl Neg for i64

§

type Output = i64

source§

impl Neg for i128

§

type Output = i128

source§

impl Neg for isize

1.71.0 · source§

impl Neg for NonZero<i8>

1.71.0 · source§

impl Neg for NonZero<i16>

1.71.0 · source§

impl Neg for NonZero<i32>

1.71.0 · source§

impl Neg for NonZero<i64>

1.71.0 · source§

impl Neg for NonZero<i128>

1.71.0 · source§

impl Neg for NonZero<isize>

1.74.0 · source§

impl Neg for Saturating<i8>

1.74.0 · source§

impl Neg for Saturating<i16>

1.74.0 · source§

impl Neg for Saturating<i32>

1.74.0 · source§

impl Neg for Saturating<i64>

1.74.0 · source§

impl Neg for Saturating<i128>

1.74.0 · source§

impl Neg for Saturating<isize>

1.10.0 · source§

impl Neg for Wrapping<i8>

1.10.0 · source§

impl Neg for Wrapping<i16>

1.10.0 · source§

impl Neg for Wrapping<i32>

1.10.0 · source§

impl Neg for Wrapping<i64>

1.10.0 · source§

impl Neg for Wrapping<i128>

1.10.0 · source§

impl Neg for Wrapping<isize>

1.10.0 · source§

impl Neg for Wrapping<u8>

1.10.0 · source§

impl Neg for Wrapping<u16>

1.10.0 · source§

impl Neg for Wrapping<u32>

1.10.0 · source§

impl Neg for Wrapping<u64>

1.10.0 · source§

impl Neg for Wrapping<u128>

1.10.0 · source§

impl Neg for Wrapping<usize>

source§

impl Neg for BigInt

§

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

§

type Output = Field<E>

§

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

§

type Output = Group<E>

§

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

§

type Output = Scalar<E>

§

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

§

type Output = Integer<E, I>

source§

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

§

type Output = Fp2<P>

source§

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

§

type Output = Fp6<P>

source§

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

§

type Output = Fp12<P>

source§

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

§

type Output = Fp256<P>

source§

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

§

type Output = Fp384<P>

§

impl<P> Neg for Affine<P>

§

type Output = Affine<P>

§

impl<P> Neg for Affine<P>
where P: ShortWeierstrassParameters,

§

type Output = Affine<P>

§

impl<P> Neg for Projective<P>

§

type Output = Projective<P>

§

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

§

type Output = Projective<P>

source§

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

§

type Output = Simd<f32, N>

source§

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

§

type Output = Simd<f64, N>

source§

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

§

type Output = Simd<i8, N>

source§

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

§

type Output = Simd<i16, N>

source§

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

§

type Output = Simd<i32, N>

source§

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

§

type Output = Simd<i64, N>

source§

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

§

type Output = Simd<isize, N>