pub struct TypeFlags(pub(crate) <TypeFlags as PublicFlags>::Internal);
Expand description
Contains flags indicating various properties of a Ty
Tuple Fields§
§0: <TypeFlags as PublicFlags>::Internal
Implementations§
source§impl TypeFlags
impl TypeFlags
sourcepub const HAS_TY_INFER: Self = _
pub const HAS_TY_INFER: Self = _
Does the type contain an InferenceVar
sourcepub const HAS_RE_INFER: Self = _
pub const HAS_RE_INFER: Self = _
Does the type contain a lifetime with an InferenceVar
sourcepub const HAS_CT_INFER: Self = _
pub const HAS_CT_INFER: Self = _
Does the type contain a ConstValue with an InferenceVar
sourcepub const HAS_TY_PLACEHOLDER: Self = _
pub const HAS_TY_PLACEHOLDER: Self = _
Does the type contain a Placeholder TyKind
sourcepub const HAS_RE_PLACEHOLDER: Self = _
pub const HAS_RE_PLACEHOLDER: Self = _
Does the type contain a lifetime with a Placeholder
sourcepub const HAS_CT_PLACEHOLDER: Self = _
pub const HAS_CT_PLACEHOLDER: Self = _
Does the type contain a ConstValue Placeholder
sourcepub const HAS_FREE_LOCAL_REGIONS: Self = _
pub const HAS_FREE_LOCAL_REGIONS: Self = _
True when the type has free lifetimes related to a local context
sourcepub const HAS_TY_PROJECTION: Self = _
pub const HAS_TY_PROJECTION: Self = _
Does the type contain a projection of an associated type
sourcepub const HAS_TY_OPAQUE: Self = _
pub const HAS_TY_OPAQUE: Self = _
Does the type contain an opaque type
sourcepub const HAS_CT_PROJECTION: Self = _
pub const HAS_CT_PROJECTION: Self = _
Does the type contain an unevaluated const projection
sourcepub const HAS_FREE_REGIONS: Self = _
pub const HAS_FREE_REGIONS: Self = _
Does the type contain any free lifetimes
sourcepub const HAS_RE_LATE_BOUND: Self = _
pub const HAS_RE_LATE_BOUND: Self = _
True when the type contains lifetimes that will be substituted when function is called
sourcepub const HAS_RE_ERASED: Self = _
pub const HAS_RE_ERASED: Self = _
True when the type contains an erased lifetime
sourcepub const STILL_FURTHER_SPECIALIZABLE: Self = _
pub const STILL_FURTHER_SPECIALIZABLE: Self = _
Does the type contain placeholders or inference variables that could be replaced later
sourcepub const HAS_FREE_LOCAL_NAMES: Self = _
pub const HAS_FREE_LOCAL_NAMES: Self = _
True when the type contains free names local to a particular context
sourcepub const HAS_PROJECTION: Self = _
pub const HAS_PROJECTION: Self = _
Does the type contain any form of projection
source§impl TypeFlags
impl TypeFlags
sourcepub const fn bits(&self) -> u16
pub const fn bits(&self) -> u16
Get the underlying bits value.
The returned value is exactly the bits set in this flags value.
sourcepub const fn from_bits(bits: u16) -> Option<Self>
pub const fn from_bits(bits: u16) -> 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: u16) -> Self
pub const fn from_bits_truncate(bits: u16) -> Self
Convert from a bits value, unsetting any unknown bits.
sourcepub const fn from_bits_retain(bits: u16) -> Self
pub const fn from_bits_retain(bits: u16) -> 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 TypeFlags
impl TypeFlags
sourcepub const fn iter(&self) -> Iter<TypeFlags>
pub const fn iter(&self) -> Iter<TypeFlags>
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<TypeFlags>
pub const fn iter_names(&self) -> IterNames<TypeFlags>
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 BitAndAssign<TypeFlags> for TypeFlags
impl BitAndAssign<TypeFlags> for TypeFlags
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 BitOrAssign<TypeFlags> for TypeFlags
impl BitOrAssign<TypeFlags> for TypeFlags
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 BitXorAssign<TypeFlags> for TypeFlags
impl BitXorAssign<TypeFlags> for TypeFlags
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 Extend<TypeFlags> for TypeFlags
impl Extend<TypeFlags> for TypeFlags
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 TypeFlags
impl Flags for TypeFlags
source§fn from_bits_retain(bits: u16) -> TypeFlags
fn from_bits_retain(bits: u16) -> TypeFlags
§fn from_bits_truncate(bits: Self::Bits) -> Self
fn from_bits_truncate(bits: Self::Bits) -> Self
§fn from_name(name: &str) -> Option<Self>
fn from_name(name: &str) -> Option<Self>
§fn iter_names(&self) -> IterNames<Self>
fn iter_names(&self) -> IterNames<Self>
§fn intersects(&self, other: Self) -> boolwhere
Self: Sized,
fn intersects(&self, other: Self) -> boolwhere Self: Sized,
§fn contains(&self, other: Self) -> boolwhere
Self: Sized,
fn contains(&self, other: Self) -> boolwhere Self: Sized,
§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.§fn remove(&mut self, other: Self)where
Self: Sized,
fn remove(&mut self, other: Self)where Self: Sized,
&!
). Read more§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.§fn set(&mut self, other: Self, value: bool)where
Self: Sized,
fn set(&mut self, other: Self, value: bool)where Self: Sized,
Flags::insert
] when value
is true
or [Flags::remove
] when value
is false
.§fn intersection(self, other: Self) -> Self
fn intersection(self, other: Self) -> Self
&
) of the bits in two flags values.§fn difference(self, other: Self) -> Self
fn difference(self, other: Self) -> Self
&!
). Read more§fn symmetric_difference(self, other: Self) -> Self
fn symmetric_difference(self, other: Self) -> Self
^
) of the bits in two flags values.§fn complement(self) -> Self
fn complement(self) -> Self
!
) of the bits in a flags value, truncating the result.source§impl FromIterator<TypeFlags> for TypeFlags
impl FromIterator<TypeFlags> for TypeFlags
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 IntoIterator for TypeFlags
impl IntoIterator for TypeFlags
source§impl PartialEq<TypeFlags> for TypeFlags
impl PartialEq<TypeFlags> for TypeFlags
source§impl Sub<TypeFlags> for TypeFlags
impl Sub<TypeFlags> for TypeFlags
source§impl SubAssign<TypeFlags> for TypeFlags
impl SubAssign<TypeFlags> for TypeFlags
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.