Enum naga::front::wgsl::lower::Typed

enum Typed<T> {
    Reference(T),
    Plain(T),
}

WGSL type annotations on expressions, types, values, etc.

Naga and WGSL types are very close, but Naga lacks WGSL’s ref types, which we need to know to apply the Load Rule. This enum carries some WGSL or Naga datum along with enough information to determine its corresponding WGSL type.

The T type parameter can be any expression-like thing:

• Typed<Handle<crate::Type>> can represent a full WGSL type. For example, given some Naga Pointer type ptr, a WGSL reference type is a Typed::Reference(ptr) whereas a WGSL pointer type is a Typed::Plain(ptr).

• Typed<crate::Expression> or Typed<Handle<crate::Expression>> can represent references similarly.

Use the map and try_map methods to convert from one expression representation to another.

Variants

Reference(T)

A WGSL reference.

Plain(T)

A WGSL plain type.

Implementations

impl<T> Typed<T>

fn map<U>(self, f: impl FnMut(T) -> U) -> Typed<U>

fn try_map<U, E>(self, f: impl FnMut(T) -> Result<U, E>) -> Result<Typed<U>, E>

Trait Implementations

impl<T: Clone> Clone for Typed<T>

fn clone(&self) -> Typed<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Typed<T>

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

Formats the value using the given formatter.

impl<T: Copy> Copy for Typed<T>