Enum naga::TypeInner

source ·
pub enum TypeInner {
Show 13 variants Scalar(Scalar), Vector { size: VectorSize, scalar: Scalar, }, Matrix { columns: VectorSize, rows: VectorSize, scalar: Scalar, }, Atomic(Scalar), Pointer { base: Handle<Type>, space: AddressSpace, }, ValuePointer { size: Option<VectorSize>, scalar: Scalar, space: AddressSpace, }, Array { base: Handle<Type>, size: ArraySize, stride: u32, }, Struct { members: Vec<StructMember>, span: u32, }, Image { dim: ImageDimension, arrayed: bool, class: ImageClass, }, Sampler { comparison: bool, }, AccelerationStructure, RayQuery, BindingArray { base: Handle<Type>, size: ArraySize, },
}
Expand description

Enum with additional information, depending on the kind of type.

Variants§

§

Scalar(Scalar)

Number of integral or floating-point kind.

§

Vector

Vector of numbers.

Fields

§scalar: Scalar
§

Matrix

Matrix of numbers.

Fields

§columns: VectorSize
§scalar: Scalar
§

Atomic(Scalar)

Atomic scalar.

§

Pointer

Pointer to another type.

Pointers to scalars and vectors should be treated as equivalent to ValuePointer types. Use the TypeInner::equivalent method to compare types in a way that treats pointers correctly.

§Pointers to non-SIZED types

The base type of a pointer may be a non-SIZED type like a dynamically-sized Array, or a Struct whose last member is a dynamically sized array. Such pointers occur as the types of GlobalVariable or AccessIndex expressions referring to dynamically-sized arrays.

However, among pointers to non-SIZED types, only pointers to Structs are DATA. Pointers to dynamically sized Arrays cannot be passed as arguments, stored in variables, or held in arrays or structures. Their only use is as the types of AccessIndex expressions.

Fields

§base: Handle<Type>
§

ValuePointer

Pointer to a scalar or vector.

A ValuePointer type is equivalent to a Pointer whose base is a Scalar or Vector type. This is for use in TypeResolution::Value variants; see the documentation for TypeResolution for details.

Use the TypeInner::equivalent method to compare types that could be pointers, to ensure that Pointer and ValuePointer types are recognized as equivalent.

Fields

§scalar: Scalar
§

Array

Homogeneous list of elements.

The base type must be a SIZED, DATA type.

§Dynamically sized arrays

An Array is SIZED unless its size is Dynamic. Dynamically-sized arrays may only appear in a few situations:

  • They may appear as the type of a GlobalVariable, or as the last member of a Struct.

  • They may appear as the base type of a Pointer. An AccessIndex expression referring to a struct’s final unsized array member would have such a pointer type. However, such pointer types may only appear as the types of such intermediate expressions. They are not DATA, and cannot be stored in variables, held in arrays or structs, or passed as parameters.

Fields

§base: Handle<Type>
§stride: u32
§

Struct

User-defined structure.

There must always be at least one member.

A Struct type is DATA, and the types of its members must be DATA as well.

Member types must be SIZED, except for the final member of a struct, which may be a dynamically sized Array. The Struct type itself is SIZED when all its members are SIZED.

Fields

§span: u32
§

Image

Possibly multidimensional array of texels.

Fields

§arrayed: bool
§

Sampler

Can be used to sample values from images.

Fields

§comparison: bool
§

AccelerationStructure

Opaque object representing an acceleration structure of geometry.

§

RayQuery

Locally used handle for ray queries.

§

BindingArray

Array of bindings.

A BindingArray represents an array where each element draws its value from a separate bound resource. The array’s element type base may be Image, Sampler, or any type that would be permitted for a global in the Uniform or Storage address spaces. Only global variables may be binding arrays; on the host side, their values are provided by TextureViewArray, SamplerArray, or BufferArray bindings.

Since each element comes from a distinct resource, a binding array of images could have images of varying sizes (but not varying dimensions; they must all have the same Image type). Or, a binding array of buffers could have elements that are dynamically sized arrays, each with a different length.

Binding arrays are in the same address spaces as their underlying type. As such, referring to an array of images produces an Image value directly (as opposed to a pointer). The only operation permitted on BindingArray values is indexing, which works transparently: indexing a binding array of samplers yields a Sampler, indexing a pointer to the binding array of storage buffers produces a pointer to the storage struct.

Unlike textures and samplers, binding arrays are not ARGUMENT, so they cannot be passed as arguments to functions.

Naga’s WGSL front end supports binding arrays with the type syntax binding_array<T, N>.

Fields

§base: Handle<Type>

Implementations§

source§

impl TypeInner

source

pub const fn is_handle(&self) -> bool

Returns true if this is a handle to a type rather than the type directly.

source§

impl TypeInner

source

pub fn to_wgsl(&self, gctx: &GlobalCtx<'_>) -> String

Formats the type as it is written in wgsl.

For example vec3<f32>.

Note: TypeInner::Struct doesn’t include the name of the struct type. Therefore this method will simply return “struct” for them.

source§

impl TypeInner

source

pub fn indexable_length( &self, module: &Module ) -> Result<IndexableLength, IndexableLengthError>

Return the length of a subscriptable type.

The self parameter should be a handle to a vector, matrix, or array type, a pointer to one of those, or a value pointer. Arrays may be fixed-size, dynamically sized, or sized by a specializable constant. This function does not handle struct member references, as with AccessIndex.

The value returned is appropriate for bounds checks on subscripting.

Return an error if self does not describe a subscriptable type at all.

source§

impl TypeInner

source

pub const fn scalar(&self) -> Option<Scalar>

Return the scalar type of self.

If inner is a scalar, vector, or matrix type, return its scalar type. Otherwise, return None.

source

pub fn scalar_kind(&self) -> Option<ScalarKind>

source

pub fn scalar_width(&self) -> Option<u8>

Returns the scalar width in bytes

source

pub const fn pointer_space(&self) -> Option<AddressSpace>

source

pub fn is_atomic_pointer(&self, types: &UniqueArena<Type>) -> bool

source

pub fn size(&self, _gctx: GlobalCtx<'_>) -> u32

Get the size of this type.

source

pub fn canonical_form(&self, types: &UniqueArena<Type>) -> Option<TypeInner>

Return the canonical form of self, or None if it’s already in canonical form.

Certain types have multiple representations in TypeInner. This function converts all forms of equivalent types to a single representative of their class, so that simply applying Eq to the result indicates whether the types are equivalent, as far as Naga IR is concerned.

source

pub fn equivalent(&self, rhs: &TypeInner, types: &UniqueArena<Type>) -> bool

Compare self and rhs as types.

This is mostly the same as <TypeInner as Eq>::eq, but it treats ValuePointer and Pointer types as equivalent.

When you know that one side of the comparison is never a pointer, it’s fine to not bother with canonicalization, and just compare TypeInner values with ==.

source

pub fn is_dynamically_sized(&self, types: &UniqueArena<Type>) -> bool

source

pub fn components(&self) -> Option<u32>

source

pub fn component_type(&self, index: usize) -> Option<TypeResolution>

Trait Implementations§

source§

impl Clone for TypeInner

source§

fn clone(&self) -> TypeInner

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for TypeInner

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Hash for TypeInner

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for TypeInner

source§

fn eq(&self, other: &TypeInner) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Eq for TypeInner

source§

impl StructuralPartialEq for TypeInner

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.