Struct Type

pub struct Type {
    pub id: TypeId,
    pub flags: TypeFlags,
    pub kind: Rc<TypeKind>,
}

Fields

id: TypeId

flags: TypeFlags

kind: Rc<TypeKind>

Implementations

impl Type

pub fn compatible_with_storage_and_view( &self, other_view: &Self, type_cache: &mut TypeCache, ) -> bool

pub fn lowest_common_denominator_vec_like_view(&self) -> Option<TypeKind>

pub fn strict_compatible_with_capacity(&self, other: &Self) -> bool

impl Type

pub const fn is_scalar(&self) -> bool

pub const fn can_be_stored_in_field(&self) -> bool

pub const fn can_be_stored_in_transient_field(&self) -> bool

pub const fn can_be_stored_in_variable(&self) -> bool

pub fn is_option(&self) -> bool

pub const fn is_storage(&self) -> bool

pub const fn allowed_as_return_type(&self) -> bool

pub const fn allowed_as_parameter_type(&self) -> bool

pub const fn allowed_for_scoped_borrow(&self) -> bool

pub const fn can_be_materialized(&self) -> bool

pub fn collection_view_that_needs_explicit_storage(&self) -> bool

Check if this type requires explicit collection storage allocation from caller This includes all aggregate types including optionals that need memory allocation and proper setup of the r0 register by the caller

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

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

Formats the value using the given formatter.

impl Display for Type

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

Formats the value using the given formatter.

impl Hash for Type

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

fn eq(&self, other: &Type) -> 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 Eq for Type

impl StructuralPartialEq for Type