1.0.0[−][src]Trait af_lib::prelude::Not

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

Associated Types

`type Output`[src]

The resulting type after applying the ! operator.

Loading content...

Required methods

`#[must_use]pub fn not(self) -> Self::Output`[src]

Performs the unary ! operation.

Examples

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

Loading content...

Implementations on Foreign Types

`impl Not for Wrapping<u32>`[src]

`type Output = Wrapping<u32>`

`pub fn not(self) -> Wrapping<u32>`[src]

`impl Not for i8`[src]

`type Output = i8`

`pub fn not(self) -> i8`[src]

`impl Not for u8`[src]

`type Output = u8`

`pub fn not(self) -> u8`[src]

`impl<'_> Not for &'_ isize`[src]

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

`pub fn not(self) -> <isize as Not>::Output`[src]

`impl<'_> Not for &'_ i64`[src]

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

`pub fn not(self) -> <i64 as Not>::Output`[src]

`impl<'_> Not for &'_ u128`[src]

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

`pub fn not(self) -> <u128 as Not>::Output`[src]

`impl Not for Wrapping<i64>`[src]

`type Output = Wrapping<i64>`

`pub fn not(self) -> Wrapping<i64>`[src]

`impl Not for Wrapping<u8>`[src]

`type Output = Wrapping<u8>`

`pub fn not(self) -> Wrapping<u8>`[src]

`impl Not for Wrapping<u128>`[src]

`type Output = Wrapping<u128>`

`pub fn not(self) -> Wrapping<u128>`[src]

`impl Not for Wrapping<i128>`[src]

`type Output = Wrapping<i128>`

`pub fn not(self) -> Wrapping<i128>`[src]

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

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

`pub fn not(self) -> <Wrapping<i8> as Not>::Output`[src]

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

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

`pub fn not(self) -> <Wrapping<u16> as Not>::Output`[src]

`impl Not for bool`[src]

`type Output = bool`

`pub fn not(self) -> bool`[src]

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

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

`pub fn not(self) -> <Wrapping<i32> as Not>::Output`[src]

`impl<'_> Not for &'_ bool`[src]

`type Output = <bool as Not>::Output`

`pub fn not(self) -> <bool as Not>::Output`[src]

`impl Not for i16`[src]

`type Output = i16`

`pub fn not(self) -> i16`[src]

`impl Not for Wrapping<usize>`[src]

`type Output = Wrapping<usize>`

`pub fn not(self) -> Wrapping<usize>`[src]

`impl Not for Wrapping<i16>`[src]

`type Output = Wrapping<i16>`

`pub fn not(self) -> Wrapping<i16>`[src]

`impl Not for u16`[src]

`type Output = u16`

`pub fn not(self) -> u16`[src]

`impl Not for i128`[src]

`type Output = i128`

`pub fn not(self) -> i128`[src]

`impl Not for i64`[src]

`type Output = i64`

`pub fn not(self) -> i64`[src]

`impl<'_> Not for &'_ u32`[src]

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

`pub fn not(self) -> <u32 as Not>::Output`[src]

`impl Not for u32`[src]

`type Output = u32`

`pub fn not(self) -> u32`[src]

`impl Not for usize`[src]

`type Output = usize`

`pub fn not(self) -> usize`[src]

`impl Not for Wrapping<i8>`[src]

`type Output = Wrapping<i8>`

`pub fn not(self) -> Wrapping<i8>`[src]

`impl Not for Wrapping<isize>`[src]

`type Output = Wrapping<isize>`

`pub fn not(self) -> Wrapping<isize>`[src]

`impl<'_> Not for &'_ usize`[src]

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

`pub fn not(self) -> <usize as Not>::Output`[src]

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

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

`pub fn not(self) -> <Wrapping<u128> as Not>::Output`[src]

`impl<'_> Not for &'_ i128`[src]

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

`pub fn not(self) -> <i128 as Not>::Output`[src]

`impl<'_> Not for &'_ u8`[src]

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

`pub fn not(self) -> <u8 as Not>::Output`[src]

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

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

`pub fn not(self) -> <Wrapping<i128> as Not>::Output`[src]

`impl<'_> Not for &'_ u64`[src]

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

`pub fn not(self) -> <u64 as Not>::Output`[src]

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

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

`pub fn not(self) -> <Wrapping<usize> as Not>::Output`[src]

`impl Not for u64`[src]

`type Output = u64`

`pub fn not(self) -> u64`[src]

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

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

`pub fn not(self) -> <Wrapping<u64> as Not>::Output`[src]

`impl Not for Wrapping<u16>`[src]

`type Output = Wrapping<u16>`

`pub fn not(self) -> Wrapping<u16>`[src]

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

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

`pub fn not(self) -> <Wrapping<isize> as Not>::Output`[src]

`impl Not for isize`[src]

`type Output = isize`

`pub fn not(self) -> isize`[src]

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

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

`pub fn not(self) -> <Wrapping<i64> as Not>::Output`[src]

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

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

`pub fn not(self) -> <Wrapping<i16> as Not>::Output`[src]

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

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

`pub fn not(self) -> <Wrapping<u32> as Not>::Output`[src]

`impl Not for Wrapping<i32>`[src]

`type Output = Wrapping<i32>`

`pub fn not(self) -> Wrapping<i32>`[src]

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

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

`pub fn not(self) -> <Wrapping<u8> as Not>::Output`[src]

`impl<'_> Not for &'_ u16`[src]

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

`pub fn not(self) -> <u16 as Not>::Output`[src]

`impl<'_> Not for &'_ i8`[src]

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

`pub fn not(self) -> <i8 as Not>::Output`[src]

`impl Not for i32`[src]

`type Output = i32`

`pub fn not(self) -> i32`[src]

`impl<'_> Not for &'_ i16`[src]

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

`pub fn not(self) -> <i16 as Not>::Output`[src]

`impl Not for Wrapping<u64>`[src]

`type Output = Wrapping<u64>`

`pub fn not(self) -> Wrapping<u64>`[src]

`impl<'_> Not for &'_ i32`[src]

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

`pub fn not(self) -> <i32 as Not>::Output`[src]

`impl Not for u128`[src]

`type Output = u128`

`pub fn not(self) -> u128`[src]

`impl<'a> Not for &'a BigInt`[src]

`type Output = BigInt`

`pub fn not(self) -> BigInt`[src]

`impl Not for BigInt`[src]

`type Output = BigInt`

`pub fn not(self) -> BigInt`[src]

`impl Not for B1`

Not of 1 (!1 = 0)

`type Output = B0`

`pub fn not(self) -> <B1 as Not>::Output`

`impl Not for B0`

Not of 0 (!0 = 1)

`type Output = B1`

`pub fn not(self) -> <B0 as Not>::Output`

`impl Not for Choice`[src]

`type Output = Choice`

`pub fn not(self) -> Choice`[src]

`impl<Size> Not for Bitmap<Size> where Size: Bits,`

`type Output = Bitmap<Size>`