Enum Type 

pub enum Type {
    Scalar(ElemType),
    Opaque(OpaqueType),
    Vector(Intern<Type>, VectorSize),
    Semantic(SemanticType),
    Atomic(Intern<Type>),
}

Variants

Scalar(ElemType)

Scalar type containing a single storage element

Opaque(OpaqueType)

Opaque types that can be stored but not interacted with normally. i.e. barrier, arrival tokens and tensor map descriptor.

Vector(Intern<Type>, VectorSize)

Vector wrapping n storage elements

Semantic(SemanticType)

No defined physical representation, purely semantic. i.e. barrier, pipeline

Atomic(Intern<Type>)

Atomically accessed version of Type

Implementations

impl Type

pub fn intern(self) -> Intern<Type>

pub fn new(elem: impl Into<ElemType>) -> Self

Create a new type

pub fn semantic(ty: SemanticType) -> Self

pub fn atomic(ty: impl Into<Type>) -> Self

pub fn with_vector_size(self, vector_size: VectorSize) -> Self

pub fn vector_size(&self) -> VectorSize

pub fn size(&self) -> usize

pub fn elem_type(&self) -> ElemType

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Type

impl Debug for Type

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Type

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Type

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

Formats the value using the given formatter.

impl Eq for Type

impl From<OpaqueType> for Type

fn from(val: OpaqueType) -> Self

Converts to this type from the input type.

impl From<SemanticType> for Type

fn from(val: SemanticType) -> Self

Converts to this type from the input type.

impl<T: Into<ElemType>> From<T> for Type

fn from(val: T) -> Self

Converts to this type from the input type.

impl Hash for Type

Intern hashes the pointer, not the values, leading to unstable hashes across runs. Fix this by manually hashing the value.

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 Ord for Type

fn cmp(&self, other: &Type) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Type

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Type

fn partial_cmp(&self, other: &Type) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for Type

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Type

impl TypeHash for Type

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.