Trait hacspec_lib::prelude::Not

1.0.0 · source · [−]

pub trait Not {
    type Output;

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

Expand description

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

source

type Output

The resulting type after applying the ! operator.

Required Methods

source

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

const: unstable · source

impl Not for bool

type Output = bool

const: unstable · source

impl Not for i8

type Output = i8

const: unstable · source

impl Not for i16

type Output = i16

const: unstable · source

impl Not for i32

type Output = i32

const: unstable · source

impl Not for i64

type Output = i64

const: unstable · source

impl Not for i128

type Output = i128

const: unstable · source

impl Not for isize

type Output = isize

1.60.0 (const: unstable) · source

impl Not for !

type Output = !

const: unstable · source

impl Not for u8

type Output = u8

const: unstable · source

impl Not for u16

type Output = u16

const: unstable · source

impl Not for u32

type Output = u32

const: unstable · source

impl Not for u64

type Output = u64

const: unstable · source

impl Not for u128

type Output = u128

const: unstable · source

impl Not for usize

type Output = usize

source

impl Not for Saturating<i8>

type Output = Saturating<i8>

source

impl Not for Saturating<i16>

type Output = Saturating<i16>

source

impl Not for Saturating<i32>

type Output = Saturating<i32>

source

impl Not for Saturating<i64>

type Output = Saturating<i64>

source

impl Not for Saturating<i128>

type Output = Saturating<i128>

source

impl Not for Saturating<isize>

type Output = Saturating<isize>

source

impl Not for Saturating<u8>

type Output = Saturating<u8>

source

impl Not for Saturating<u16>

type Output = Saturating<u16>

source

impl Not for Saturating<u32>

type Output = Saturating<u32>

source

impl Not for Saturating<u64>

type Output = Saturating<u64>

source

impl Not for Saturating<u128>

type Output = Saturating<u128>

source

impl Not for Saturating<usize>

type Output = Saturating<usize>

const: unstable · source

impl Not for Wrapping<i8>

type Output = Wrapping<i8>

const: unstable · source

impl Not for Wrapping<i16>

type Output = Wrapping<i16>

const: unstable · source

impl Not for Wrapping<i32>

type Output = Wrapping<i32>

const: unstable · source

impl Not for Wrapping<i64>

type Output = Wrapping<i64>

const: unstable · source

impl Not for Wrapping<i128>

type Output = Wrapping<i128>

const: unstable · source

impl Not for Wrapping<isize>

type Output = Wrapping<isize>

const: unstable · source

impl Not for Wrapping<u8>

type Output = Wrapping<u8>

const: unstable · source

impl Not for Wrapping<u16>

type Output = Wrapping<u16>

const: unstable · source

impl Not for Wrapping<u32>

type Output = Wrapping<u32>

const: unstable · source

impl Not for Wrapping<u64>

type Output = Wrapping<u64>

const: unstable · source

impl Not for Wrapping<u128>

type Output = Wrapping<u128>

const: unstable · source

impl Not for Wrapping<usize>

type Output = Wrapping<usize>

source

impl Not for BigInt

type Output = BigInt

source

impl Not for I8

type Output = I8

source

impl Not for I16

type Output = I16

source

impl Not for I32

type Output = I32

source

impl Not for I64

type Output = I64

source

impl Not for I128

type Output = I128

source

impl Not for U8

type Output = U8

source

impl Not for U16

type Output = U16

source

impl Not for U16Word

type Output = U16Word

source

impl Not for U32

type Output = U32

source

impl Not for U32Word

type Output = U32Word

source

impl Not for U64

type Output = U64

source

impl Not for U64Word

type Output = U64Word

source

impl Not for U128

type Output = U128

source

impl Not for U128Word

type Output = U128Word

source

impl Not for u16Word

Bit-wise not operation on the coefficients.

type Output = u16Word

source

impl Not for u32Word

Bit-wise not operation on the coefficients.

type Output = u32Word

source

impl Not for u64Word

Bit-wise not operation on the coefficients.

type Output = u64Word

source

impl Not for u128Word

Bit-wise not operation on the coefficients.

type Output = u128Word

const: unstable · source

impl<'_> Not for &bool

type Output = <bool as Not>::Output

const: unstable · source

impl<'_> Not for &i8

type Output = <i8 as Not>::Output

const: unstable · source

impl<'_> Not for &i16

type Output = <i16 as Not>::Output

const: unstable · source

impl<'_> Not for &i32

type Output = <i32 as Not>::Output

const: unstable · source

impl<'_> Not for &i64

type Output = <i64 as Not>::Output

const: unstable · source

impl<'_> Not for &i128

type Output = <i128 as Not>::Output

const: unstable · source

impl<'_> Not for &isize

type Output = <isize as Not>::Output

const: unstable · source

impl<'_> Not for &u8

type Output = <u8 as Not>::Output

const: unstable · source

impl<'_> Not for &u16

type Output = <u16 as Not>::Output

const: unstable · source

impl<'_> Not for &u32

type Output = <u32 as Not>::Output

const: unstable · source

impl<'_> Not for &u64

type Output = <u64 as Not>::Output

const: unstable · source

impl<'_> Not for &u128

type Output = <u128 as Not>::Output

const: unstable · source

impl<'_> Not for &usize

type Output = <usize as Not>::Output

source

impl<'_> Not for &Saturating<i8>

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

source

impl<'_> Not for &Saturating<i16>

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

source

impl<'_> Not for &Saturating<i32>

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

source

impl<'_> Not for &Saturating<i64>

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

source

impl<'_> Not for &Saturating<i128>

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

source

impl<'_> Not for &Saturating<isize>

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

source

impl<'_> Not for &Saturating<u8>

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

source

impl<'_> Not for &Saturating<u16>

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

source

impl<'_> Not for &Saturating<u32>

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

source

impl<'_> Not for &Saturating<u64>

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

source

impl<'_> Not for &Saturating<u128>

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

source

impl<'_> Not for &Saturating<usize>

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

1.14.0 (const: unstable) · source

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

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

source

impl<'_> Not for &BigInt

type Output = BigInt

source

impl<T, const LANES: usize> Not for Mask<T, LANES> where
T: MaskElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Mask<T, LANES>

source

impl<T: Numeric + PublicInteger + Copy> Not for PublicSeq<T>

type Output = PublicSeq<T>

source

impl<T: Numeric + SecretInteger + Copy> Not for Seq<T>

type Output = Seq<T>

source

impl<const LANES: usize> Not for Simd<i8, LANES> where
i8: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<i8, LANES>

source

impl<const LANES: usize> Not for Simd<i16, LANES> where
i16: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<i16, LANES>

source

impl<const LANES: usize> Not for Simd<i32, LANES> where
i32: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<i32, LANES>

source

impl<const LANES: usize> Not for Simd<i64, LANES> where
i64: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<i64, LANES>

source

impl<const LANES: usize> Not for Simd<isize, LANES> where
isize: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<isize, LANES>

source

impl<const LANES: usize> Not for Simd<u8, LANES> where
u8: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<u8, LANES>

source

impl<const LANES: usize> Not for Simd<u16, LANES> where
u16: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<u16, LANES>

source

impl<const LANES: usize> Not for Simd<u32, LANES> where
u32: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<u32, LANES>

source

impl<const LANES: usize> Not for Simd<u64, LANES> where
u64: SimdElement,
LaneCount<LANES>: SupportedLaneCount,

type Output = Simd<u64, LANES>

source