Struct chalk_ir::TypeFlags [−][src]
Contains flags indicating various properties of a Ty
Implementations
impl TypeFlags
[src]
pub const HAS_TY_INFER: TypeFlags
[src]
Does the type contain an InferenceVar
pub const HAS_RE_INFER: TypeFlags
[src]
Does the type contain a lifetime with an InferenceVar
pub const HAS_CT_INFER: TypeFlags
[src]
Does the type contain a ConstValue with an InferenceVar
pub const HAS_TY_PLACEHOLDER: TypeFlags
[src]
Does the type contain a Placeholder TyKind
pub const HAS_RE_PLACEHOLDER: TypeFlags
[src]
Does the type contain a lifetime with a Placeholder
pub const HAS_CT_PLACEHOLDER: TypeFlags
[src]
Does the type contain a ConstValue Placeholder
pub const HAS_FREE_LOCAL_REGIONS: TypeFlags
[src]
True when the type has free lifetimes related to a local context
pub const HAS_TY_PROJECTION: TypeFlags
[src]
Does the type contain a projection of an associated type
pub const HAS_TY_OPAQUE: TypeFlags
[src]
Does the type contain an opaque type
pub const HAS_CT_PROJECTION: TypeFlags
[src]
Does the type contain an unevaluated const projection
pub const HAS_ERROR: TypeFlags
[src]
Does the type contain an error
pub const HAS_FREE_REGIONS: TypeFlags
[src]
Does the type contain any free lifetimes
pub const HAS_RE_LATE_BOUND: TypeFlags
[src]
True when the type contains lifetimes that will be substituted when function is called
pub const HAS_RE_ERASED: TypeFlags
[src]
True when the type contains an erased lifetime
pub const STILL_FURTHER_SPECIALIZABLE: TypeFlags
[src]
Does the type contain placeholders or inference variables that could be replaced later
pub const HAS_FREE_LOCAL_NAMES: TypeFlags
[src]
True when the type contains free names local to a particular context
pub const HAS_PROJECTION: TypeFlags
[src]
Does the type contain any form of projection
pub const fn empty() -> TypeFlags
[src]
Returns an empty set of flags
pub const fn all() -> TypeFlags
[src]
Returns the set containing all flags.
pub const fn bits(&self) -> u16
[src]
Returns the raw value of the flags currently stored.
pub fn from_bits(bits: u16) -> Option<TypeFlags>
[src]
Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.
pub const fn from_bits_truncate(bits: u16) -> TypeFlags
[src]
Convert from underlying bit representation, dropping any bits that do not correspond to flags.
pub const unsafe fn from_bits_unchecked(bits: u16) -> TypeFlags
[src]
Convert from underlying bit representation, preserving all bits (even those not corresponding to a defined flag).
pub const fn is_empty(&self) -> bool
[src]
Returns true
if no flags are currently stored.
pub const fn is_all(&self) -> bool
[src]
Returns true
if all flags are currently set.
pub const fn intersects(&self, other: TypeFlags) -> bool
[src]
Returns true
if there are flags common to both self
and other
.
pub const fn contains(&self, other: TypeFlags) -> bool
[src]
Returns true
all of the flags in other
are contained within self
.
pub fn insert(&mut self, other: TypeFlags)
[src]
Inserts the specified flags in-place.
pub fn remove(&mut self, other: TypeFlags)
[src]
Removes the specified flags in-place.
pub fn toggle(&mut self, other: TypeFlags)
[src]
Toggles the specified flags in-place.
pub fn set(&mut self, other: TypeFlags, value: bool)
[src]
Inserts or removes the specified flags depending on the passed value.
Trait Implementations
impl Binary for TypeFlags
[src]
impl BitAnd<TypeFlags> for TypeFlags
[src]
type Output = TypeFlags
The resulting type after applying the &
operator.
fn bitand(self, other: TypeFlags) -> TypeFlags
[src]
Returns the intersection between the two sets of flags.
impl BitAndAssign<TypeFlags> for TypeFlags
[src]
fn bitand_assign(&mut self, other: TypeFlags)
[src]
Disables all flags disabled in the set.
impl BitOr<TypeFlags> for TypeFlags
[src]
type Output = TypeFlags
The resulting type after applying the |
operator.
fn bitor(self, other: TypeFlags) -> TypeFlags
[src]
Returns the union of the two sets of flags.
impl BitOrAssign<TypeFlags> for TypeFlags
[src]
fn bitor_assign(&mut self, other: TypeFlags)
[src]
Adds the set of flags.
impl BitXor<TypeFlags> for TypeFlags
[src]
type Output = TypeFlags
The resulting type after applying the ^
operator.
fn bitxor(self, other: TypeFlags) -> TypeFlags
[src]
Returns the left flags, but with all the right flags toggled.
impl BitXorAssign<TypeFlags> for TypeFlags
[src]
fn bitxor_assign(&mut self, other: TypeFlags)
[src]
Toggles the set of flags.
impl Clone for TypeFlags
[src]
impl Copy for TypeFlags
[src]
impl Debug for TypeFlags
[src]
impl Eq for TypeFlags
[src]
impl Extend<TypeFlags> for TypeFlags
[src]
fn extend<T: IntoIterator<Item = TypeFlags>>(&mut self, iterator: T)
[src]
pub fn extend_one(&mut self, item: A)
[src]
pub fn extend_reserve(&mut self, additional: usize)
[src]
impl FromIterator<TypeFlags> for TypeFlags
[src]
fn from_iter<T: IntoIterator<Item = TypeFlags>>(iterator: T) -> TypeFlags
[src]
impl Hash for TypeFlags
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl LowerHex for TypeFlags
[src]
impl Not for TypeFlags
[src]
type Output = TypeFlags
The resulting type after applying the !
operator.
fn not(self) -> TypeFlags
[src]
Returns the complement of this set of flags.
impl Octal for TypeFlags
[src]
impl Ord for TypeFlags
[src]
fn cmp(&self, other: &TypeFlags) -> Ordering
[src]
#[must_use]pub fn max(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn min(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self
1.50.0[src]
impl PartialEq<TypeFlags> for TypeFlags
[src]
impl PartialOrd<TypeFlags> for TypeFlags
[src]
fn partial_cmp(&self, other: &TypeFlags) -> Option<Ordering>
[src]
#[must_use]pub fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn le(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
impl StructuralEq for TypeFlags
[src]
impl StructuralPartialEq for TypeFlags
[src]
impl Sub<TypeFlags> for TypeFlags
[src]
type Output = TypeFlags
The resulting type after applying the -
operator.
fn sub(self, other: TypeFlags) -> TypeFlags
[src]
Returns the set difference of the two sets of flags.
impl SubAssign<TypeFlags> for TypeFlags
[src]
fn sub_assign(&mut self, other: TypeFlags)
[src]
Disables all flags enabled in the set.
impl UpperHex for TypeFlags
[src]
Auto Trait Implementations
impl RefUnwindSafe for TypeFlags
[src]
impl Send for TypeFlags
[src]
impl Sync for TypeFlags
[src]
impl Unpin for TypeFlags
[src]
impl UnwindSafe for TypeFlags
[src]
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Cast for T
[src]
fn cast<U>(self, interner: &U::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
[src]
Self: CastTo<U>,
U: HasInterner,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,