Trait Not

pub trait Not {
    type Output;

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

The unary logical negation operator !.

Examples

An implementation of Not for Answer, which enables the use of ! to invert its value.

use std::ops::Not;

#[derive(Debug, PartialEq)]
enum Answer {
    Yes,
    No,
}

impl Not for Answer {
    type Output = Self;

    fn not(self) -> Self::Output {
        match self {
            Answer::Yes => Answer::No,
            Answer::No => Answer::Yes
        }
    }
}

assert_eq!(!Answer::Yes, Answer::No);
assert_eq!(!Answer::No, Answer::Yes);

Required Associated Types

type Output

The resulting type after applying the ! operator.

Required Methods

fn not(self) -> Self::Output

Performs the unary ! operation.

Examples

assert_eq!(!true, false);
assert_eq!(!false, true);
assert_eq!(!1u8, 254);
assert_eq!(!0u8, 255);

Implementors

impl Not for &bool

type Output = <bool as Not>::Output

impl Not for &i8

type Output = <i8 as Not>::Output

impl Not for &i16

type Output = <i16 as Not>::Output

impl Not for &i32

type Output = <i32 as Not>::Output

impl Not for &i64

type Output = <i64 as Not>::Output

impl Not for &i128

type Output = <i128 as Not>::Output

impl Not for &isize

type Output = <isize as Not>::Output

impl Not for &u8

type Output = <u8 as Not>::Output

impl Not for &u16

type Output = <u16 as Not>::Output

impl Not for &u32

type Output = <u32 as Not>::Output

impl Not for &u64

type Output = <u64 as Not>::Output

impl Not for &u128

type Output = <u128 as Not>::Output

impl Not for &usize

type Output = <usize as Not>::Output

impl Not for &Saturating<i8>

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

impl Not for &Saturating<i16>

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

impl Not for &Saturating<i32>

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

impl Not for &Saturating<i64>

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

impl Not for &Saturating<i128>

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

impl Not for &Saturating<isize>

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

impl Not for &Saturating<u8>

type Output = <Saturating<u8> as Not>::Output

impl Not for &Saturating<u16>

type Output = <Saturating<u16> as Not>::Output

impl Not for &Saturating<u32>

type Output = <Saturating<u32> as Not>::Output

impl Not for &Saturating<u64>

type Output = <Saturating<u64> as Not>::Output

impl Not for &Saturating<u128>

type Output = <Saturating<u128> as Not>::Output

impl Not for &Saturating<usize>

type Output = <Saturating<usize> as Not>::Output

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl Not for &Ipv4Addr

type Output = Ipv4Addr

impl Not for &Ipv6Addr

type Output = Ipv6Addr

impl Not for &BigInt

type Output = BigInt

impl Not for bool

type Output = bool

impl Not for i8

type Output = i8

impl Not for i16

type Output = i16

impl Not for i32

type Output = i32

impl Not for i64

type Output = i64

impl Not for i128

type Output = i128

impl Not for isize

type Output = isize

impl Not for !

type Output = !

impl Not for u8

type Output = u8

impl Not for u16

type Output = u16

impl Not for u32

type Output = u32

impl Not for u64

type Output = u64

impl Not for u128

type Output = u128

impl Not for usize

type Output = usize

impl Not for Saturating<i8>

type Output = Saturating<i8>

impl Not for Saturating<i16>

type Output = Saturating<i16>

impl Not for Saturating<i32>

type Output = Saturating<i32>

impl Not for Saturating<i64>

type Output = Saturating<i64>

impl Not for Saturating<i128>

type Output = Saturating<i128>

impl Not for Saturating<isize>

type Output = Saturating<isize>

impl Not for Saturating<u8>

type Output = Saturating<u8>

impl Not for Saturating<u16>

type Output = Saturating<u16>

impl Not for Saturating<u32>

type Output = Saturating<u32>

impl Not for Saturating<u64>

type Output = Saturating<u64>

impl Not for Saturating<u128>

type Output = Saturating<u128>

impl Not for Saturating<usize>

type Output = Saturating<usize>

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

type Output = Wrapping<i8>

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

type Output = Wrapping<i16>

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

type Output = Wrapping<i32>

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

type Output = Wrapping<i64>

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

type Output = Wrapping<i128>

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

type Output = Wrapping<isize>

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

type Output = Wrapping<u8>

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

type Output = Wrapping<u16>

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

type Output = Wrapping<u32>

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

type Output = Wrapping<u64>

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

type Output = Wrapping<u128>

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

type Output = Wrapping<usize>

impl Not for Ipv4Addr

type Output = Ipv4Addr

impl Not for Ipv6Addr

type Output = Ipv6Addr

impl Not for Limb

type Output = Limb

impl Not for BigInt

type Output = BigInt

impl Not for udouble

type Output = udouble

impl Not for u32x4_generic

type Output = u32x4_generic

impl Not for u64x2_generic

type Output = u64x2_generic

impl Not for u128x1_generic

type Output = u128x1_generic

impl Not for Choice

type Output = Choice

impl Not for B0

Not of 0 (!0 = 1)

type Output = B1

impl Not for B1

Not of 1 (!1 = 0)

type Output = B0

impl<'a, T, O> Not for &'a mut BitSlice<T, O>

where T: BitStore, O: BitOrder,

Inverts each bit in the bit-slice.

Unlike the &, |, and ^ operators, this implementation is guaranteed to update each memory element only once, and is not required to traverse every live bit in the underlying region.

type Output = &'a mut BitSlice<T, O>

impl<A, O> Not for BitArray<A, O>

where A: BitViewSized, O: BitOrder,

type Output = BitArray<A, O>

impl<M, T, O> Not for BitRef<'_, M, T, O>

where M: Mutability, T: BitStore, O: BitOrder,

type Output = bool

impl<O> Not for I16<O>

type Output = I16<O>

impl<O> Not for I32<O>

type Output = I32<O>

impl<O> Not for I64<O>

type Output = I64<O>

impl<O> Not for I128<O>

type Output = I128<O>

impl<O> Not for U16<O>

type Output = U16<O>

impl<O> Not for U32<O>

type Output = U32<O>

impl<O> Not for U64<O>

type Output = U64<O>

impl<O> Not for U128<O>

type Output = U128<O>

impl<R> Not for BitMask<R>

where R: BitRegister,

type Output = BitMask<R>

impl<T, O> Not for BitBox<T, O>

where T: BitStore, O: BitOrder,

type Output = BitBox<T, O>

impl<T, O> Not for BitVec<T, O>

where T: BitStore, O: BitOrder,

This implementation inverts all elements in the live buffer. You cannot rely on the value of bits in the buffer that are outside the domain of BitVec::as_mut_bitslice.

type Output = BitVec<T, O>

impl<T, const N: usize> Not for Mask<T, N>

where T: MaskElement, LaneCount<N>: SupportedLaneCount,

type Output = Mask<T, N>

impl<const LIMBS: usize> Not for Uint<LIMBS>

type Output = Uint<LIMBS>

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

type Output = Wrapping<Uint<LIMBS>>

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

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

type Output = Simd<i8, N>

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

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

type Output = Simd<i16, N>

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

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

type Output = Simd<i32, N>

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

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

type Output = Simd<i64, N>

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

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

type Output = Simd<isize, N>

impl<const N: usize> Not for Simd<u8, N>

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

type Output = Simd<u8, N>

impl<const N: usize> Not for Simd<u16, N>

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

type Output = Simd<u16, N>

impl<const N: usize> Not for Simd<u32, N>

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

type Output = Simd<u32, N>

impl<const N: usize> Not for Simd<u64, N>

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

type Output = Simd<u64, N>

impl<const N: usize> Not for Simd<usize, N>

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

type Output = Simd<usize, N>