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