Trait std::ops::Not

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

    fn not(self) -> Answer {
        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

#[must_use]

fn not(self) -> Self::Output

Performs the unary ! operation.

Implementors

impl Not for bool

type Output = bool

fn not(self) -> bool

impl Not for i128

type Output = i128

fn not(self) -> i128

impl Not for i16

type Output = i16

fn not(self) -> i16

impl Not for i32

type Output = i32

fn not(self) -> i32

impl Not for i64

type Output = i64

fn not(self) -> i64

impl Not for i8

type Output = i8

fn not(self) -> i8

impl Not for isize

type Output = isize

fn not(self) -> isize

impl Not for u128

type Output = u128

fn not(self) -> u128

impl Not for u16

type Output = u16

fn not(self) -> u16

impl Not for u32

type Output = u32

fn not(self) -> u32

impl Not for u64

type Output = u64

fn not(self) -> u64

impl Not for u8

type Output = u8

fn not(self) -> u8

impl Not for usize

type Output = usize

fn not(self) -> usize

impl Not for Wrapping<i128>

type Output = Wrapping<i128>

fn not(self) -> Wrapping<i128>

impl Not for Wrapping<i16>

type Output = Wrapping<i16>

fn not(self) -> Wrapping<i16>

impl Not for Wrapping<i32>

type Output = Wrapping<i32>

fn not(self) -> Wrapping<i32>

impl Not for Wrapping<i64>

type Output = Wrapping<i64>

fn not(self) -> Wrapping<i64>

impl Not for Wrapping<i8>

type Output = Wrapping<i8>

fn not(self) -> Wrapping<i8>

impl Not for Wrapping<isize>

type Output = Wrapping<isize>

fn not(self) -> Wrapping<isize>

impl Not for Wrapping<u128>

type Output = Wrapping<u128>

fn not(self) -> Wrapping<u128>

impl Not for Wrapping<u16>

type Output = Wrapping<u16>

fn not(self) -> Wrapping<u16>

impl Not for Wrapping<u32>

type Output = Wrapping<u32>

fn not(self) -> Wrapping<u32>

impl Not for Wrapping<u64>

type Output = Wrapping<u64>

fn not(self) -> Wrapping<u64>

impl Not for Wrapping<u8>

type Output = Wrapping<u8>

fn not(self) -> Wrapping<u8>

impl Not for Wrapping<usize>

type Output = Wrapping<usize>

fn not(self) -> Wrapping<usize>

impl<'a> Not for &'a bool

type Output = <bool as Not>::Output

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

impl<'a> Not for &'a i128

type Output = <i128 as Not>::Output

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

impl<'a> Not for &'a i16

type Output = <i16 as Not>::Output

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

impl<'a> Not for &'a i32

type Output = <i32 as Not>::Output

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

impl<'a> Not for &'a i64

type Output = <i64 as Not>::Output

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

impl<'a> Not for &'a i8

type Output = <i8 as Not>::Output

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

impl<'a> Not for &'a isize

type Output = <isize as Not>::Output

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

impl<'a> Not for &'a u128

type Output = <u128 as Not>::Output

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

impl<'a> Not for &'a u16

type Output = <u16 as Not>::Output

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

impl<'a> Not for &'a u32

type Output = <u32 as Not>::Output

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

impl<'a> Not for &'a u64

type Output = <u64 as Not>::Output

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

impl<'a> Not for &'a u8

type Output = <u8 as Not>::Output

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

impl<'a> Not for &'a usize

type Output = <usize as Not>::Output

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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