pub struct MarkerTraits(/* private fields */);
Expand description
Bitflags for common marker traits that a type may implement
Note: facet is not able to see negative impls, so it might mistakenly think a struct S
is Send
because all its fields are, ignoring that there is an impl !Send for S
.
Similarly, it might think a struct S
is !Send
just because one of the fields is an
UnsafeCell
(which is !Send
), ignoring that there is an unsafe impl Send for S
.
The reason facet’s determination of Send
or !Send
is based on fields is because structs
can be generic, in which case our specialization trick does not work.
Implementations§
Source§impl MarkerTraits
impl MarkerTraits
Sourcepub const SEND: Self
pub const SEND: Self
Indicates that the type implements the Send
marker trait.
Note: this is a best-effort guess, see the documentation about negative impls in MarkerTraits.
Sourcepub const SYNC: Self
pub const SYNC: Self
Indicates that the type implements the Sync
marker trait
Note: this is a best-effort guess, see the documentation about negative impls in MarkerTraits.
Sourcepub const UNWIND_SAFE: Self
pub const UNWIND_SAFE: Self
Indicates that the type implements the UnwindSafe
marker trait
Note: this is a best-effort guess, see the documentation about negative impls in MarkerTraits.
Sourcepub const REF_UNWIND_SAFE: Self
pub const REF_UNWIND_SAFE: Self
Indicates that the type implements the RefUnwindSafe
marker trait
Note: this is a best-effort guess, see the documentation about negative impls in MarkerTraits.
Source§impl MarkerTraits
impl MarkerTraits
Sourcepub const fn bits(&self) -> u8
pub const fn bits(&self) -> u8
Get the underlying bits value.
The returned value is exactly the bits set in this flags value.
Sourcepub const fn from_bits(bits: u8) -> Option<Self>
pub const fn from_bits(bits: u8) -> Option<Self>
Convert from a bits value.
This method will return None
if any unknown bits are set.
Sourcepub const fn from_bits_truncate(bits: u8) -> Self
pub const fn from_bits_truncate(bits: u8) -> Self
Convert from a bits value, unsetting any unknown bits.
Sourcepub const fn from_bits_retain(bits: u8) -> Self
pub const fn from_bits_retain(bits: u8) -> Self
Convert from a bits value exactly.
Sourcepub fn from_name(name: &str) -> Option<Self>
pub fn from_name(name: &str) -> Option<Self>
Get a flags value with the bits of a flag with the given name set.
This method will return None
if name
is empty or doesn’t
correspond to any named flag.
Sourcepub const fn intersects(&self, other: Self) -> bool
pub const fn intersects(&self, other: Self) -> bool
Whether any set bits in a source flags value are also set in a target flags value.
Sourcepub const fn contains(&self, other: Self) -> bool
pub const fn contains(&self, other: Self) -> bool
Whether all set bits in a source flags value are also set in a target flags value.
Sourcepub fn remove(&mut self, other: Self)
pub fn remove(&mut self, other: Self)
The intersection of a source flags value with the complement of a target flags
value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
remove
won’t truncate other
, but the !
operator will.
Sourcepub fn toggle(&mut self, other: Self)
pub fn toggle(&mut self, other: Self)
The bitwise exclusive-or (^
) of the bits in two flags values.
Sourcepub fn set(&mut self, other: Self, value: bool)
pub fn set(&mut self, other: Self, value: bool)
Call insert
when value
is true
or remove
when value
is false
.
Sourcepub const fn intersection(self, other: Self) -> Self
pub const fn intersection(self, other: Self) -> Self
The bitwise and (&
) of the bits in two flags values.
Sourcepub const fn union(self, other: Self) -> Self
pub const fn union(self, other: Self) -> Self
The bitwise or (|
) of the bits in two flags values.
Sourcepub const fn difference(self, other: Self) -> Self
pub const fn difference(self, other: Self) -> Self
The intersection of a source flags value with the complement of a target flags
value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.
Sourcepub const fn symmetric_difference(self, other: Self) -> Self
pub const fn symmetric_difference(self, other: Self) -> Self
The bitwise exclusive-or (^
) of the bits in two flags values.
Sourcepub const fn complement(self) -> Self
pub const fn complement(self) -> Self
The bitwise negation (!
) of the bits in a flags value, truncating the result.
Source§impl MarkerTraits
impl MarkerTraits
Sourcepub const fn iter(&self) -> Iter<MarkerTraits>
pub const fn iter(&self) -> Iter<MarkerTraits>
Yield a set of contained flags values.
Each yielded flags value will correspond to a defined named flag. Any unknown bits will be yielded together as a final flags value.
Sourcepub const fn iter_names(&self) -> IterNames<MarkerTraits>
pub const fn iter_names(&self) -> IterNames<MarkerTraits>
Yield a set of contained named flags values.
This method is like iter
, except only yields bits in contained named flags.
Any unknown bits, or bits not corresponding to a contained flag will not be yielded.
Trait Implementations§
Source§impl Binary for MarkerTraits
impl Binary for MarkerTraits
Source§impl BitAnd for MarkerTraits
impl BitAnd for MarkerTraits
Source§impl BitAndAssign for MarkerTraits
impl BitAndAssign for MarkerTraits
Source§fn bitand_assign(&mut self, other: Self)
fn bitand_assign(&mut self, other: Self)
The bitwise and (&
) of the bits in two flags values.
Source§impl BitOr for MarkerTraits
impl BitOr for MarkerTraits
Source§fn bitor(self, other: MarkerTraits) -> Self
fn bitor(self, other: MarkerTraits) -> Self
The bitwise or (|
) of the bits in two flags values.
Source§type Output = MarkerTraits
type Output = MarkerTraits
|
operator.Source§impl BitOrAssign for MarkerTraits
impl BitOrAssign for MarkerTraits
Source§fn bitor_assign(&mut self, other: Self)
fn bitor_assign(&mut self, other: Self)
The bitwise or (|
) of the bits in two flags values.
Source§impl BitXor for MarkerTraits
impl BitXor for MarkerTraits
Source§impl BitXorAssign for MarkerTraits
impl BitXorAssign for MarkerTraits
Source§fn bitxor_assign(&mut self, other: Self)
fn bitxor_assign(&mut self, other: Self)
The bitwise exclusive-or (^
) of the bits in two flags values.
Source§impl Clone for MarkerTraits
impl Clone for MarkerTraits
Source§fn clone(&self) -> MarkerTraits
fn clone(&self) -> MarkerTraits
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl Debug for MarkerTraits
impl Debug for MarkerTraits
Source§impl Default for MarkerTraits
impl Default for MarkerTraits
Source§fn default() -> MarkerTraits
fn default() -> MarkerTraits
Source§impl Extend<MarkerTraits> for MarkerTraits
impl Extend<MarkerTraits> for MarkerTraits
Source§fn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
fn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
The bitwise or (|
) of the bits in each flags value.
Source§fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
extend_one
)Source§fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
extend_one
)Source§impl Flags for MarkerTraits
impl Flags for MarkerTraits
Source§const FLAGS: &'static [Flag<MarkerTraits>]
const FLAGS: &'static [Flag<MarkerTraits>]
Source§fn from_bits_retain(bits: u8) -> MarkerTraits
fn from_bits_retain(bits: u8) -> MarkerTraits
Source§fn contains_unknown_bits(&self) -> bool
fn contains_unknown_bits(&self) -> bool
true
if any unknown bits are set.Source§fn from_bits_truncate(bits: Self::Bits) -> Self
fn from_bits_truncate(bits: Self::Bits) -> Self
Source§fn from_name(name: &str) -> Option<Self>
fn from_name(name: &str) -> Option<Self>
Source§fn iter_names(&self) -> IterNames<Self>
fn iter_names(&self) -> IterNames<Self>
Source§fn intersects(&self, other: Self) -> boolwhere
Self: Sized,
fn intersects(&self, other: Self) -> boolwhere
Self: Sized,
Source§fn contains(&self, other: Self) -> boolwhere
Self: Sized,
fn contains(&self, other: Self) -> boolwhere
Self: Sized,
Source§fn insert(&mut self, other: Self)where
Self: Sized,
fn insert(&mut self, other: Self)where
Self: Sized,
|
) of the bits in two flags values.Source§fn remove(&mut self, other: Self)where
Self: Sized,
fn remove(&mut self, other: Self)where
Self: Sized,
&!
). Read moreSource§fn toggle(&mut self, other: Self)where
Self: Sized,
fn toggle(&mut self, other: Self)where
Self: Sized,
^
) of the bits in two flags values.Source§fn intersection(self, other: Self) -> Self
fn intersection(self, other: Self) -> Self
&
) of the bits in two flags values.Source§fn difference(self, other: Self) -> Self
fn difference(self, other: Self) -> Self
&!
). Read moreSource§fn symmetric_difference(self, other: Self) -> Self
fn symmetric_difference(self, other: Self) -> Self
^
) of the bits in two flags values.Source§fn complement(self) -> Self
fn complement(self) -> Self
!
) of the bits in a flags value, truncating the result.Source§impl FromIterator<MarkerTraits> for MarkerTraits
impl FromIterator<MarkerTraits> for MarkerTraits
Source§fn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
fn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
The bitwise or (|
) of the bits in each flags value.
Source§impl Hash for MarkerTraits
impl Hash for MarkerTraits
Source§impl IntoIterator for MarkerTraits
impl IntoIterator for MarkerTraits
Source§impl LowerHex for MarkerTraits
impl LowerHex for MarkerTraits
Source§impl Not for MarkerTraits
impl Not for MarkerTraits
Source§impl Octal for MarkerTraits
impl Octal for MarkerTraits
Source§impl Ord for MarkerTraits
impl Ord for MarkerTraits
Source§fn cmp(&self, other: &MarkerTraits) -> Ordering
fn cmp(&self, other: &MarkerTraits) -> Ordering
1.21.0 · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Source§impl PartialEq for MarkerTraits
impl PartialEq for MarkerTraits
Source§impl PartialOrd for MarkerTraits
impl PartialOrd for MarkerTraits
Source§impl PublicFlags for MarkerTraits
impl PublicFlags for MarkerTraits
Source§impl Sub for MarkerTraits
impl Sub for MarkerTraits
Source§fn sub(self, other: Self) -> Self
fn sub(self, other: Self) -> Self
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.
Source§type Output = MarkerTraits
type Output = MarkerTraits
-
operator.Source§impl SubAssign for MarkerTraits
impl SubAssign for MarkerTraits
Source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.