Struct WGSLTypeChecker 

pub struct WGSLTypeChecker;

Lightweight WGSL type checker.

Implementations

impl WGSLTypeChecker

pub fn new() -> Self

Create a new type checker.

pub fn check_binop( &self, _op: &str, lhs: &WGSLType, rhs: &WGSLType, ) -> Result<WGSLType, WGSLTypeError>

Check that two types match for a binary arithmetic operation.

pub fn check_atomic(&self, ty: &WGSLType) -> Result<(), WGSLTypeError>

Check that a type is valid for atomic operations.

pub fn check_host_shareable(&self, ty: &WGSLType) -> Result<(), WGSLTypeError>

Check that a type is host-shareable (can be used in uniform/storage buffers).

pub fn element_type(ty: &WGSLType) -> &WGSLType

Return the component type of a vector, or the type itself if scalar.

pub fn vector_width(ty: &WGSLType) -> u32

Return the number of vector components, or 1 for scalars.

Trait Implementations

impl Debug for WGSLTypeChecker

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

Formats the value using the given formatter.

impl Default for WGSLTypeChecker

fn default() -> WGSLTypeChecker

Returns the “default value” for a type.