pub struct HazKey(/* private fields */);Expand description
Key to identify hazards inside the CDE.
Trait Implementations§
Source§impl HazardFilter for HazKey
Deems hazards induced by itself as irrelevant.
impl HazardFilter for HazKey
Deems hazards induced by itself as irrelevant.
fn is_irrelevant(&self, hk: HazKey) -> bool
Source§impl Key for HazKey
impl Key for HazKey
Source§fn null() -> Self
fn null() -> Self
Creates a new key that is always invalid and distinct from any non-null
key. A null key can only be created through this method (or default
initialization of keys made with
new_key_type!, which calls this
method). Read moreSource§impl Ord for HazKey
impl Ord for HazKey
Source§impl PartialOrd for HazKey
impl PartialOrd for HazKey
impl Copy for HazKey
impl Eq for HazKey
impl StructuralPartialEq for HazKey
Auto Trait Implementations§
impl Freeze for HazKey
impl RefUnwindSafe for HazKey
impl Send for HazKey
impl Sync for HazKey
impl Unpin for HazKey
impl UnwindSafe for HazKey
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more