Trait creusot_contracts::std::ops::Not
1.0.0 · source · pub trait Not {
type Output;
// Required method
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);