Enum LiteralInstance 

pub enum LiteralInstance {
    Bool(bool),
    AbstractInt(i64),
    AbstractFloat(f64),
    I32(i32),
    U32(u32),
    F32(f32),
    F16(f16),
    I64(i64),
    U64(u64),
    F64(f64),
}

Instance of a numeric literal type.

Variants

Bool(bool)

AbstractInt(i64)

AbstractFloat(f64)

I32(i32)

U32(u32)

F32(f32)

F16(f16)

I64(i64)

U64(u64)

F64(f64)

Implementations

impl LiteralInstance

pub fn zero_value(ty: &Type) -> Result<Self, Error>

The zero-value constructor.

impl LiteralInstance

pub fn op_not(&self) -> Result<Self, Error>

impl LiteralInstance

pub fn op_neg(&self) -> Result<Self, Error>

pub fn op_or(&self, rhs: &Self) -> Result<Self, Error>

pub fn op_and(&self, rhs: &Self) -> Result<Self, Error>

pub fn op_add(&self, rhs: &Self, stage: ShaderStage) -> Result<Self, Error>

pub fn op_sub(&self, rhs: &Self, stage: ShaderStage) -> Result<Self, Error>

pub fn op_mul(&self, rhs: &Self, stage: ShaderStage) -> Result<Self, Error>

pub fn op_div(&self, rhs: &Self, stage: ShaderStage) -> Result<Self, Error>

pub fn op_rem(&self, rhs: &Self, stage: ShaderStage) -> Result<Self, Error>

pub fn op_add_vec( &self, rhs: &VecInstance, stage: ShaderStage, ) -> Result<VecInstance, Error>

pub fn op_sub_vec( &self, rhs: &VecInstance, stage: ShaderStage, ) -> Result<VecInstance, Error>

pub fn op_mul_vec( &self, rhs: &VecInstance, stage: ShaderStage, ) -> Result<VecInstance, Error>

pub fn op_div_vec( &self, rhs: &VecInstance, stage: ShaderStage, ) -> Result<VecInstance, Error>

pub fn op_rem_vec( &self, rhs: &VecInstance, stage: ShaderStage, ) -> Result<VecInstance, Error>

pub fn op_mul_mat( &self, rhs: &MatInstance, stage: ShaderStage, ) -> Result<MatInstance, Error>

impl LiteralInstance

pub fn op_eq(&self, rhs: &Self) -> Result<bool, Error>

pub fn op_ne(&self, rhs: &Self) -> Result<bool, Error>

pub fn op_lt(&self, rhs: &Self) -> Result<bool, Error>

pub fn op_le(&self, rhs: &Self) -> Result<bool, Error>

pub fn op_gt(&self, rhs: &Self) -> Result<bool, Error>

pub fn op_ge(&self, rhs: &Self) -> Result<bool, Error>

impl LiteralInstance

pub fn op_bitnot(&self) -> Result<Self, Error>

pub fn op_bitor(&self, rhs: &Self) -> Result<Self, Error>

Note: this is both the “bitwise OR” and “logical OR” operator.

pub fn op_bitand(&self, rhs: &Self) -> Result<Self, Error>

Note: this is both the “bitwise AND” and “logical AND” operator.

pub fn op_bitxor(&self, rhs: &Self) -> Result<Self, Error>

pub fn op_shl(&self, rhs: &Self, stage: ShaderStage) -> Result<Self, Error>

pub fn op_shr(&self, rhs: &Self, stage: ShaderStage) -> Result<Self, Error>

impl LiteralInstance

pub fn is_infinite(&self) -> bool

pub fn is_finite(&self) -> bool

impl LiteralInstance

pub fn unwrap_bool(self) -> bool

pub fn unwrap_abstract_int(self) -> i64

pub fn unwrap_abstract_float(self) -> f64

pub fn unwrap_i32(self) -> i32

pub fn unwrap_u32(self) -> u32

pub fn unwrap_f32(self) -> f32

pub fn unwrap_f16(self) -> f16

pub fn unwrap_i64(self) -> i64

pub fn unwrap_u64(self) -> u64

pub fn unwrap_f64(self) -> f64

Trait Implementations

impl Clone for LiteralInstance

fn clone(&self) -> LiteralInstance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Convert for LiteralInstance

fn convert_to(&self, ty: &Type) -> Option<Self>

Convert an instance to another type, if a feasible conversion exists.

fn convert_inner_to(&self, ty: &Type) -> Option<Self>

Convert an instance by changing its inner type to another.

fn concretize(&self) -> Option<Self>

Convert an abstract instance to a concrete type.

impl Copy for LiteralInstance

impl Debug for LiteralInstance

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

Formats the value using the given formatter.

impl Display for LiteralInstance

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

Formats the value using the given formatter.

impl From<LiteralInstance> for Instance

fn from(value: LiteralInstance) -> Self

Converts to this type from the input type.

impl From<bool> for LiteralInstance

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<f16> for LiteralInstance

fn from(value: f16) -> Self

Converts to this type from the input type.

impl From<f32> for LiteralInstance

fn from(value: f32) -> Self

Converts to this type from the input type.

impl From<f64> for LiteralInstance

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i32> for LiteralInstance

fn from(value: i32) -> Self

Converts to this type from the input type.

impl From<i64> for LiteralInstance

fn from(value: i64) -> Self

Converts to this type from the input type.

impl From<u32> for LiteralInstance

fn from(value: u32) -> Self

Converts to this type from the input type.

impl PartialEq for LiteralInstance

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LiteralInstance

impl Ty for LiteralInstance

fn ty(&self) -> Type

get the type of an instance.

fn inner_ty(&self) -> Type

get the inner type of an instance (not recursive).