Enum Type 

pub enum Type {
    Scalar(StorageType),
    Opaque(OpaqueType),
    Vector(Intern<Type>, usize),
    Semantic(SemanticType),
    Atomic(Intern<Type>),
    Pointer(Intern<Type>, AddressSpace),
    Array(Intern<Type>, usize),
    DynamicArray(Intern<Type>),
    Matrix(MatrixType),
    Aggregate(AggregateKind),
}

Variants

Scalar(StorageType)

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>, usize)

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

Pointer(Intern<Type>, AddressSpace)

Pointer of Type into a PointerClass

Array(Intern<Type>, usize)

Statically sized array of Types

DynamicArray(Intern<Type>)

Dynamically sized array of Types

Matrix(MatrixType)

Cooperative Matrix

Aggregate(AggregateKind)

Implementations

impl Type

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

pub fn elem_type(&self) -> ElemType

Fetch the elem of the item.

pub fn new(storage: StorageType) -> Type

Create a new item

pub fn scalar(elem: ElemType) -> Type

pub fn semantic(ty: SemanticType) -> Type

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

pub fn with_vector_size(self, vector_size: usize) -> Type

pub fn pointer(ty: impl Into<Type>, class: AddressSpace) -> Type

pub fn array(ty: impl Into<Type>, size: usize) -> Type

pub fn vector_size(&self) -> usize

pub fn array_size(&self) -> usize

pub fn align(&self) -> usize

pub fn size(&self) -> usize

pub fn size_bits(&self) -> usize

pub fn packing_factor(&self) -> usize

pub fn is_atomic(&self) -> bool

pub fn is_ptr(&self) -> bool

pub fn is_int(&self) -> bool

pub fn is_signed_int(&self) -> bool

pub fn is_unsigned_int(&self) -> bool

pub fn is_float(&self) -> bool

pub fn is_bool(&self) -> bool

pub fn storage_type(&self) -> StorageType

pub fn as_scalar(&self) -> Type

pub fn scalar_value_type(&self) -> Type

Utility mainly for use in cubecl-cpu

pub fn is_semantic(&self) -> bool

pub fn constant(&self, value: ConstantValue) -> Value

pub fn unwrap_ptr(&self) -> Type

pub fn address_space(&self) -> Option<AddressSpace>

pub fn value_type(&self) -> Type

pub fn is_array_like(&self) -> bool

pub fn is_destructurable(&self) -> bool

Whether a type is destructurable. This implies that

• it does not have dynamic field offsets (i.e. Array)
• it can exist in registers (i.e. no Barrier or Atomic)

pub fn is_value(&self) -> bool

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<(), Error>

Formats the value using the given formatter.

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

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Type

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

Formats the value using the given formatter.

impl Eq for Type

impl From<OpaqueType> for Type

fn from(val: OpaqueType) -> Type

Converts to this type from the input type.

impl From<SemanticType> for Type

fn from(val: SemanticType) -> Type

Converts to this type from the input type.

impl<T> From<T> for Type

where T: Into<StorageType>,

fn from(val: T) -> Type

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>(&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 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 as Serializer>::Ok, <__S as Serializer>::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.