Struct naga::valid::TypeFlags

source ·

#[repr(transparent)]
pub struct TypeFlags { /* private fields */ }

Expand description

Flags associated with Types by Validator.

Implementations§

source §

impl TypeFlags

source

pub const DATA: Self = _

Can be used for data variables.

This flag is required on types of local variables, function arguments, array elements, and struct members.

This includes all types except Image, Sampler, and some Pointer types.

source

pub const SIZED: Self = _

The data type has a size known by pipeline creation time.

Unsized types are quite restricted. The only unsized types permitted by Naga, other than the non-DATA types like Image and Sampler, are dynamically-sized [Arrays], and [Structs] whose last members are such arrays. See the documentation for those types for details.

source

pub const COPY: Self = _

The data can be copied around.

source

pub const IO_SHAREABLE: Self = _

Can be be used for user-defined IO between pipeline stages.

This covers anything that can be in [Location] binding: non-bool scalars and vectors, matrices, and structs and arrays containing only interface types.

source

pub const HOST_SHAREABLE: Self = _

Can be used for host-shareable structures.

source

pub const ARGUMENT: Self = _

This type can be passed as a function argument.

source

pub const CONSTRUCTIBLE: Self = _

A WGSL constructible type.

The constructible types are scalars, vectors, matrices, fixed-size arrays of constructible types, and structs whose members are all constructible.

source

pub const fn empty() -> Self

Returns an empty set of flags.

source

pub const fn all() -> Self

Returns the set containing all flags.

source

pub const fn bits(&self) -> u8

Returns the raw value of the flags currently stored.

source

pub const fn from_bits(bits: u8) -> Option<Self>

Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.

source

pub const fn from_bits_truncate(bits: u8) -> Self

Convert from underlying bit representation, dropping any bits that do not correspond to flags.

source

pub const unsafe fn from_bits_unchecked(bits: u8) -> Self

Convert from underlying bit representation, preserving all bits (even those not corresponding to a defined flag).

Safety

The caller of the bitflags! macro can chose to allow or disallow extra bits for their bitflags type.

The caller of from_bits_unchecked() has to ensure that all bits correspond to a defined flag or that extra bits are valid for this bitflags type.

source

pub const fn is_empty(&self) -> bool

Returns true if no flags are currently stored.

source

pub const fn is_all(&self) -> bool

Returns true if all flags are currently set.

source

pub const fn intersects(&self, other: Self) -> bool

Returns true if there are flags common to both self and other.

source

pub const fn contains(&self, other: Self) -> bool

Returns true if all of the flags in other are contained within self.

source

pub fn insert(&mut self, other: Self)

Inserts the specified flags in-place.

source

pub fn remove(&mut self, other: Self)

Removes the specified flags in-place.

source

pub fn toggle(&mut self, other: Self)

Toggles the specified flags in-place.

source

pub fn set(&mut self, other: Self, value: bool)

Inserts or removes the specified flags depending on the passed value.

source

pub const fn intersection(self, other: Self) -> Self

Returns the intersection between the flags in self and other.

Specifically, the returned set contains only the flags which are present in both self and other.

This is equivalent to using the & operator (e.g. ops::BitAnd), as in flags & other.

source

pub const fn union(self, other: Self) -> Self

Returns the union of between the flags in self and other.

Specifically, the returned set contains all flags which are present in either self or other, including any which are present in both (see Self::symmetric_difference if that is undesirable).

This is equivalent to using the | operator (e.g. ops::BitOr), as in flags | other.

source

pub const fn difference(self, other: Self) -> Self

Returns the difference between the flags in self and other.

Specifically, the returned set contains all flags present in self, except for the ones present in other.

It is also conceptually equivalent to the “bit-clear” operation: flags & !other (and this syntax is also supported).

This is equivalent to using the - operator (e.g. ops::Sub), as in flags - other.

source

pub const fn symmetric_difference(self, other: Self) -> Self

Returns the symmetric difference between the flags in self and other.

Specifically, the returned set contains the flags present which are present in self or other, but that are not present in both. Equivalently, it contains the flags present in exactly one of the sets self and other.

This is equivalent to using the ^ operator (e.g. ops::BitXor), as in flags ^ other.

source