Trait core::ops::Not

[+] Show declaration

[+] Expand attributes
#[lang = "not"]
pub trait Not {
    type Output;
[+] Expand attributes
#[must_use]
    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 = Answer;

    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);

Associated Types

type Output[−]

The resulting type after applying the ! operator.

Required methods

[+] Expand attributes

#[must_use]

fn not(self) -> Self::Output[−]

Performs the unary ! operation.

Implementors

impl Not for Wrapping<i8>[−]

[+] Show hidden undocumented items

type Output = Wrapping<i8>

fn not(self) -> Wrapping<i8>

impl Not for Wrapping<i16>[−]

[+] Show hidden undocumented items

type Output = Wrapping<i16>

fn not(self) -> Wrapping<i16>

impl Not for Wrapping<i32>[−]

[+] Show hidden undocumented items

type Output = Wrapping<i32>

fn not(self) -> Wrapping<i32>

impl Not for Wrapping<i64>[−]

[+] Show hidden undocumented items

type Output = Wrapping<i64>

fn not(self) -> Wrapping<i64>

impl Not for Wrapping<i128>[−]

[+] Show hidden undocumented items

type Output = Wrapping<i128>

fn not(self) -> Wrapping<i128>

impl Not for Wrapping<isize>[−]

[+] Show hidden undocumented items

type Output = Wrapping<isize>

fn not(self) -> Wrapping<isize>

impl Not for Wrapping<u8>[−]

[+] Show hidden undocumented items

type Output = Wrapping<u8>

fn not(self) -> Wrapping<u8>

impl Not for Wrapping<u16>[−]

[+] Show hidden undocumented items

type Output = Wrapping<u16>

fn not(self) -> Wrapping<u16>

impl Not for Wrapping<u32>[−]

[+] Show hidden undocumented items

type Output = Wrapping<u32>

fn not(self) -> Wrapping<u32>

impl Not for Wrapping<u64>[−]

[+] Show hidden undocumented items

type Output = Wrapping<u64>

fn not(self) -> Wrapping<u64>

impl Not for Wrapping<u128>[−]

[+] Show hidden undocumented items

type Output = Wrapping<u128>

fn not(self) -> Wrapping<u128>

impl Not for Wrapping<usize>[−]

[+] Show hidden undocumented items

type Output = Wrapping<usize>

fn not(self) -> Wrapping<usize>

impl Not for bool[−]

[+] Show hidden undocumented items

type Output = bool

fn not(self) -> bool

impl Not for i8[−]

[+] Show hidden undocumented items

type Output = i8

fn not(self) -> i8

impl Not for i16[−]

[+] Show hidden undocumented items

type Output = i16

fn not(self) -> i16

impl Not for i32[−]

[+] Show hidden undocumented items

type Output = i32

fn not(self) -> i32

impl Not for i64[−]

[+] Show hidden undocumented items

type Output = i64

fn not(self) -> i64

impl Not for i128[−]

[+] Show hidden undocumented items

type Output = i128

fn not(self) -> i128

impl Not for isize[−]

[+] Show hidden undocumented items

type Output = isize

fn not(self) -> isize

impl Not for u8[−]

[+] Show hidden undocumented items

type Output = u8

fn not(self) -> u8

impl Not for u16[−]

[+] Show hidden undocumented items

type Output = u16

fn not(self) -> u16

impl Not for u32[−]

[+] Show hidden undocumented items

type Output = u32

fn not(self) -> u32

impl Not for u64[−]

[+] Show hidden undocumented items

type Output = u64

fn not(self) -> u64

impl Not for u128[−]

[+] Show hidden undocumented items

type Output = u128

fn not(self) -> u128

impl Not for usize[−]

[+] Show hidden undocumented items

type Output = usize

fn not(self) -> usize

impl<'_> Not for &'_ Wrapping<i8>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<i8> as Not>::Output

impl<'_> Not for &'_ Wrapping<i16>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<i16> as Not>::Output

impl<'_> Not for &'_ Wrapping<i32>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<i32> as Not>::Output

impl<'_> Not for &'_ Wrapping<i64>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<i64> as Not>::Output

impl<'_> Not for &'_ Wrapping<i128>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<i128> as Not>::Output

impl<'_> Not for &'_ Wrapping<isize>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<isize> as Not>::Output

impl<'_> Not for &'_ Wrapping<u8>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<u8> as Not>::Output

impl<'_> Not for &'_ Wrapping<u16>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<u16> as Not>::Output

impl<'_> Not for &'_ Wrapping<u32>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<u32> as Not>::Output

impl<'_> Not for &'_ Wrapping<u64>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<u64> as Not>::Output

impl<'_> Not for &'_ Wrapping<u128>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<u128> as Not>::Output

impl<'_> Not for &'_ Wrapping<usize>[−]

[+] Show hidden undocumented items

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

fn not(self) -> <Wrapping<usize> as Not>::Output

impl<'_> Not for &'_ bool[−]

[+] Show hidden undocumented items

type Output = <bool as Not>::Output

fn not(self) -> <bool as Not>::Output

impl<'_> Not for &'_ i8[−]

[+] Show hidden undocumented items

type Output = <i8 as Not>::Output

fn not(self) -> <i8 as Not>::Output

impl<'_> Not for &'_ i16[−]

[+] Show hidden undocumented items

type Output = <i16 as Not>::Output

fn not(self) -> <i16 as Not>::Output

impl<'_> Not for &'_ i32[−]

[+] Show hidden undocumented items

type Output = <i32 as Not>::Output

fn not(self) -> <i32 as Not>::Output

impl<'_> Not for &'_ i64[−]

[+] Show hidden undocumented items

type Output = <i64 as Not>::Output

fn not(self) -> <i64 as Not>::Output

impl<'_> Not for &'_ i128[−]

[+] Show hidden undocumented items

type Output = <i128 as Not>::Output

fn not(self) -> <i128 as Not>::Output

impl<'_> Not for &'_ isize[−]

[+] Show hidden undocumented items

type Output = <isize as Not>::Output

fn not(self) -> <isize as Not>::Output

impl<'_> Not for &'_ u8[−]

[+] Show hidden undocumented items

type Output = <u8 as Not>::Output

fn not(self) -> <u8 as Not>::Output

impl<'_> Not for &'_ u16[−]

[+] Show hidden undocumented items

type Output = <u16 as Not>::Output

fn not(self) -> <u16 as Not>::Output

impl<'_> Not for &'_ u32[−]

[+] Show hidden undocumented items

type Output = <u32 as Not>::Output

fn not(self) -> <u32 as Not>::Output

impl<'_> Not for &'_ u64[−]

[+] Show hidden undocumented items

type Output = <u64 as Not>::Output

fn not(self) -> <u64 as Not>::Output

impl<'_> Not for &'_ u128[−]

[+] Show hidden undocumented items

type Output = <u128 as Not>::Output

fn not(self) -> <u128 as Not>::Output

impl<'_> Not for &'_ usize[−]

[+] Show hidden undocumented items

type Output = <usize as Not>::Output

fn not(self) -> <usize as Not>::Output