Enum naga::back::spv::LookupType

enum LookupType {
    Handle(Handle<Type>),
    Local(LocalType),
}

A type encountered during SPIR-V generation.

In the process of writing SPIR-V, we need to synthesize various types for intermediate results and such: pointer types, vector/matrix component types, or even booleans, which usually appear in SPIR-V code even when they’re not used by the module source.

However, we can’t use crate::Type or crate::TypeInner for these, as the type arena may not contain what we need (it only contains types used directly by other parts of the IR), and the IR module is immutable, so we can’t add anything to it.

So for local use in the SPIR-V writer, we use this type, which holds either a handle into the arena, or a LocalType containing something synthesized locally.

This is very similar to the proc::TypeResolution enum, with LocalType playing the role of TypeInner. However, LocalType also has other properties needed for SPIR-V generation; see the description of LocalType for details.

Variants

Handle(Handle<Type>)

Local(LocalType)

Trait Implementations

impl Clone for LookupType

fn clone(&self) -> LookupType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LookupType

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

Formats the value using the given formatter.

impl From<LocalType> for LookupType

fn from(local: LocalType) -> Self

Converts to this type from the input type.

impl Hash for LookupType

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for LookupType

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

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

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.

impl Copy for LookupType

impl Eq for LookupType

impl StructuralPartialEq for LookupType