Module constant_evaluator 

Macros

__with_dollar_sign 🔒

__with_dollar_sign 🔒

__with_dollar_sign 🔒

__with_dollar_sign 🔒

component_wise_concrete_int 🔒

A convenience macro for using the same RHS for each ConcreteInt variant in a call to component_wise_concrete_int.

component_wise_float 🔒

A convenience macro for using the same RHS for each Float variant in a call to component_wise_float.

component_wise_scalar 🔒

A convenience macro for using the same RHS for each Scalar variant in a call to component_wise_scalar.

component_wise_signed 🔒

A convenience macro for using the same RHS for each Signed variant in a call to component_wise_signed.

gen_component_wise_extractor 🔒

match_literal_vector 🔒

A macro for matching on LiteralVector variants.

with_dollar_sign 🔒

A macro that allows dollar signs ($) to be emitted by other macros. Useful for generating macro_rules! items that, in turn, emit their own macro_rules! items.

Structs

ConstantEvaluator

A context for evaluating constant expressions.

ExpressionKindTracker

FunctionLocalData 🔒

Enums

Behavior 🔒

ConcreteInt 🔒

A subset of Literals intended to be used for implementing numeric built-ins.

ConstantEvaluatorError

ExpressionKind

Float 🔒

A subset of Literals intended to be used for implementing numeric built-ins.

GlslRestrictions 🔒

LiteralVector 🔒

Vectors with a concrete element type.

Scalar 🔒

A subset of Literals intended to be used for implementing numeric built-ins.

Signed 🔒

A subset of Literals intended to be used for implementing numeric built-ins.

WgslRestrictions 🔒

Traits

TryFromAbstract 🔒

Trait for conversions of abstract values to concrete types.

Functions

bit_width 🔒

Return a u32 according to the number of bits in T, the w of the extractBits and insertBits specifications.

check_bitfield_range

Reject the offset and count arguments of extractBits and insertBits if they select bits outside an operand width bits wide.

component_wise_concrete_int 🔒

Attempts to evaluate multiple exprs as a combined ConcreteInt to pass to handler. If exprs are vectors of the same length, handler is called for each corresponding component of each vector.

component_wise_float 🔒

Attempts to evaluate multiple exprs as a combined Float to pass to handler. If exprs are vectors of the same length, handler is called for each corresponding component of each vector.

component_wise_scalar 🔒

Attempts to evaluate multiple exprs as a combined Scalar to pass to handler. If exprs are vectors of the same length, handler is called for each corresponding component of each vector.

component_wise_signed 🔒

Attempts to evaluate multiple exprs as a combined Signed to pass to handler. If exprs are vectors of the same length, handler is called for each corresponding component of each vector.

cross_product 🔒

extract_bits 🔒

first_leading_bit 🔒

first_trailing_bit 🔒

float_dot 🔒

The dot product of a and b. Return None if it is not finite.

float_face_forward 🔒

If dot(e2, e3) is negative, e1 returns, otherwise -e1.

float_length 🔒

float_reflect 🔒

The reflection of incident vector e1 off a surface oriented e2, e1 - 2 * dot(e2, e1) * e2.

float_refract 🔒

The refraction of incident vector e1 through a surface with normal e2, for a ratio of indices of refraction e3.

insert_bits 🔒