Trait tract_hir::internal::tract_downcast_rs::__std::ops::Neg

#[lang = "neg"]pub trait Neg {
    type Output;
#[must_use]    pub 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);

Associated Types

type Output

The resulting type after applying the - operator.

Loading content...

Required methods

#[must_use]pub fn neg(self) -> Self::Output

Performs the unary - operation.

Example

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

Loading content...

Implementations on Foreign Types

impl Neg for i64

type Output = i64

pub fn neg(self) -> i64

impl Neg for f64

type Output = f64

pub fn neg(self) -> f64

impl<'_> Neg for &'_ f64

type Output = <f64 as Neg>::Output

pub fn neg(self) -> <f64 as Neg>::Output

impl Neg for i8

type Output = i8

pub fn neg(self) -> i8

impl<'_> Neg for &'_ i8

type Output = <i8 as Neg>::Output

pub fn neg(self) -> <i8 as Neg>::Output

impl<'_> Neg for &'_ isize

type Output = <isize as Neg>::Output

pub fn neg(self) -> <isize as Neg>::Output

impl<'_> Neg for &'_ i128

type Output = <i128 as Neg>::Output

pub fn neg(self) -> <i128 as Neg>::Output

impl<'_> Neg for &'_ i16

type Output = <i16 as Neg>::Output

pub fn neg(self) -> <i16 as Neg>::Output

impl<'_> Neg for &'_ i64

type Output = <i64 as Neg>::Output

pub fn neg(self) -> <i64 as Neg>::Output

impl Neg for i16

type Output = i16

pub fn neg(self) -> i16

impl Neg for isize

type Output = isize

pub fn neg(self) -> isize

impl Neg for i32

type Output = i32

pub fn neg(self) -> i32

impl Neg for i128

type Output = i128

pub fn neg(self) -> i128

impl<'_> Neg for &'_ f32

type Output = <f32 as Neg>::Output

pub fn neg(self) -> <f32 as Neg>::Output

impl Neg for f32

type Output = f32

pub fn neg(self) -> f32

impl<'_> Neg for &'_ i32

type Output = <i32 as Neg>::Output

pub fn neg(self) -> <i32 as Neg>::Output

impl<'a, T> Neg for &'a Complex<T> where
    T: Clone + Num + Neg<Output = T>, 

type Output = Complex<T>

pub fn neg(self) -> <&'a Complex<T> as Neg>::Output

impl<T> Neg for Complex<T> where
    T: Clone + Num + Neg<Output = T>, 

type Output = Complex<T>

pub fn neg(self) -> <Complex<T> as Neg>::Output

Loading content...

Implementors

impl Neg for TDim

type Output = TDim

pub fn neg(self) -> TDim

impl Neg for f16

type Output = f16

pub fn neg(self) -> f16

impl Neg for Wrapping<i8>

type Output = Wrapping<i8>

pub fn neg(self) -> Wrapping<i8>

impl Neg for Wrapping<i16>

type Output = Wrapping<i16>

pub fn neg(self) -> Wrapping<i16>

impl Neg for Wrapping<i32>

type Output = Wrapping<i32>

pub fn neg(self) -> Wrapping<i32>

impl Neg for Wrapping<i64>

type Output = Wrapping<i64>

pub fn neg(self) -> Wrapping<i64>

impl Neg for Wrapping<i128>

type Output = Wrapping<i128>

pub fn neg(self) -> Wrapping<i128>

impl Neg for Wrapping<isize>

type Output = Wrapping<isize>

pub fn neg(self) -> Wrapping<isize>

impl Neg for Wrapping<u8>

type Output = Wrapping<u8>

pub fn neg(self) -> Wrapping<u8>

impl Neg for Wrapping<u16>

type Output = Wrapping<u16>

pub fn neg(self) -> Wrapping<u16>

impl Neg for Wrapping<u32>

type Output = Wrapping<u32>

pub fn neg(self) -> Wrapping<u32>

impl Neg for Wrapping<u64>

type Output = Wrapping<u64>

pub fn neg(self) -> Wrapping<u64>

impl Neg for Wrapping<u128>

type Output = Wrapping<u128>

pub fn neg(self) -> Wrapping<u128>

impl Neg for Wrapping<usize>

type Output = Wrapping<usize>

pub fn neg(self) -> Wrapping<usize>

impl<'_> Neg for &'_ Wrapping<i8>

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

pub fn neg(self) -> <Wrapping<i8> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<i16>

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

pub fn neg(self) -> <Wrapping<i16> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<i32>

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

pub fn neg(self) -> <Wrapping<i32> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<i64>

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

pub fn neg(self) -> <Wrapping<i64> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<i128>

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

pub fn neg(self) -> <Wrapping<i128> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<isize>

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

pub fn neg(self) -> <Wrapping<isize> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<u8>

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

pub fn neg(self) -> <Wrapping<u8> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<u16>

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

pub fn neg(self) -> <Wrapping<u16> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<u32>

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

pub fn neg(self) -> <Wrapping<u32> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<u64>

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

pub fn neg(self) -> <Wrapping<u64> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<u128>

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

pub fn neg(self) -> <Wrapping<u128> as Neg>::Output

impl<'_> Neg for &'_ Wrapping<usize>

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

pub fn neg(self) -> <Wrapping<usize> as Neg>::Output

impl<'a, A, S, D> Neg for &'a ArrayBase<S, D> where
    S: Data<Elem = A>,
    D: Dimension,
    &'a A: 'a,
    &'a A: Neg,
    <&'a A as Neg>::Output == A, 

type Output = ArrayBase<OwnedRepr<A>, D>

pub fn neg(self) -> ArrayBase<OwnedRepr<A>, D>

Perform an elementwise negation of reference self and return the result as a new Array.

impl<A, S, D> Neg for ArrayBase<S, D> where
    S: DataOwned<Elem = A> + DataMut,
    A: Clone + Neg<Output = A>,
    D: Dimension, 

type Output = ArrayBase<S, D>

pub fn neg(self) -> ArrayBase<S, D>

Perform an elementwise negation of self and return the result.

impl<T> Neg for GenericFactoid<T> where
    T: Neg<Output = T> + PartialEq + Clone + Debug + Hash, 

type Output = GenericFactoid<T>

fn neg(self) -> GenericFactoid<T>

Loading content...