Struct Variable 

pub struct Variable {
    pub kind: VariableKind,
    pub ty: Type,
}

Fields

kind: VariableKind

ty: Type

Implementations

impl Variable

pub fn new(kind: VariableKind, item: Type) -> Variable

pub fn builtin(builtin: Builtin, ty: StorageType) -> Variable

pub fn constant(value: ConstantValue, ty: impl Into<Type>) -> Variable

pub fn elem_type(&self) -> ElemType

pub fn storage_type(&self) -> StorageType

impl Variable

pub fn is_immutable(&self) -> bool

Whether a variable is always immutable. Used for optimizations to determine whether it’s safe to inline/merge

pub fn is_array(&self) -> bool

Is this an array type that yields items when indexed, or a scalar/vector that yields elems/slices when indexed?

pub fn is_memory(&self) -> bool

Is this an array type that is contained in concrete memory, or a local array/scalar/vector?

pub fn has_length(&self) -> bool

pub fn has_buffer_length(&self) -> bool

pub fn is_constant(&self, value: i64) -> bool

Determines if the value is a constant with the specified value (converted if necessary)

pub fn is_true(&self) -> bool

Determines if the value is a boolean constant with the true value

pub fn is_false(&self) -> bool

Determines if the value is a boolean constant with the false value

impl Variable

pub fn line_size(&self) -> usize

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

pub fn as_const(&self) -> Option<ConstantValue>

Trait Implementations

impl Clone for Variable

fn clone(&self) -> Variable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Variable

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Variable

fn deserialize<__D>( __deserializer: __D, ) -> Result<Variable, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Variable

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

Formats the value using the given formatter.

impl From<&Variable> for Variable

fn from(value: &Variable) -> Variable

Converts to this type from the input type.

impl<const POS: u8> From<ElemExpand<POS>> for Variable

fn from(val: ElemExpand<POS>) -> Variable

Converts to this type from the input type.

impl From<ExpandElement> for Variable

fn from(value: ExpandElement) -> Variable

Converts to this type from the input type.

impl<T> From<ExpandElementTyped<T>> for Variable

where T: CubeType,

fn from(value: ExpandElementTyped<T>) -> Variable

Converts to this type from the input type.

impl<const POS: u8> From<IntExpand<POS>> for Variable

fn from(val: IntExpand<POS>) -> Variable

Converts to this type from the input type.

impl From<bf16> for Variable

fn from(value: bf16) -> Variable

Converts to this type from the input type.

impl From<bool> for Variable

fn from(value: bool) -> Variable

Converts to this type from the input type.

impl From<e2m1> for Variable

fn from(value: e2m1) -> Variable

Converts to this type from the input type.

impl From<e2m1x2> for Variable

fn from(_value: e2m1x2) -> Variable

Converts to this type from the input type.

impl From<e2m3> for Variable

fn from(_value: e2m3) -> Variable

Converts to this type from the input type.

impl From<e3m2> for Variable

fn from(_value: e3m2) -> Variable

Converts to this type from the input type.

impl From<e4m3> for Variable

fn from(value: e4m3) -> Variable

Converts to this type from the input type.

impl From<e5m2> for Variable

fn from(value: e5m2) -> Variable

Converts to this type from the input type.

impl From<f16> for Variable

fn from(value: f16) -> Variable

Converts to this type from the input type.

impl From<f32> for Variable

fn from(value: f32) -> Variable

Converts to this type from the input type.

impl From<f64> for Variable

fn from(value: f64) -> Variable

Converts to this type from the input type.

impl From<flex32> for Variable

fn from(value: flex32) -> Variable

Converts to this type from the input type.

impl From<i16> for Variable

fn from(value: i16) -> Variable

Converts to this type from the input type.

impl From<i32> for Variable

fn from(value: i32) -> Variable

Converts to this type from the input type.

impl From<i64> for Variable

fn from(value: i64) -> Variable

Converts to this type from the input type.

impl From<i8> for Variable

fn from(value: i8) -> Variable

Converts to this type from the input type.

impl From<isize> for Variable

fn from(value: isize) -> Variable

Converts to this type from the input type.

impl From<tf32> for Variable

fn from(value: tf32) -> Variable

Converts to this type from the input type.

impl From<u16> for Variable

fn from(value: u16) -> Variable

Converts to this type from the input type.

impl From<u32> for Variable

fn from(value: u32) -> Variable

Converts to this type from the input type.

impl From<u64> for Variable

fn from(value: u64) -> Variable

Converts to this type from the input type.

impl From<u8> for Variable

fn from(value: u8) -> Variable

Converts to this type from the input type.

impl From<ue8m0> for Variable

fn from(value: ue8m0) -> Variable

Converts to this type from the input type.

impl From<usize> for Variable

fn from(value: usize) -> Variable

Converts to this type from the input type.

impl FromArgList for Variable

fn from_arg_list(args: &mut VecDeque<Variable>) -> Variable

Creates this type from a list of variables. This works like a parse stream, where consumed variables are popped from the front.

fn as_arg_list(&self) -> impl IntoIterator<Item = Variable>

Turns this type into a list of Variables.

impl Hash for Variable

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

where __H: Hasher,

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 OperationArgs for Variable

fn from_args(args: &[Variable]) -> Option<Variable>

Construct this type from a list of arguments. If not all arguments are Variable, returns None

fn as_args(&self) -> Option<Vec<Variable>>

Turns this type into a flat list of arguments. If not all arguments are Variable, returns None

impl PartialEq for Variable

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Variable

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypeHash for Variable

fn write_hash(hasher: &mut impl Hasher)

Write the structure of the type to the hasher

fn type_hash() -> u64

Generate a stable hash of the type structure.

impl Copy for Variable

impl Eq for Variable

impl StructuralPartialEq for Variable