Struct gluon_base::types::AliasRef

pub struct AliasRef<Id, T> {
    pub group: Arc<Vec<AliasData<Id, T>>>,
    /* private fields */
}

Data for a type alias. Probably you want to use Alias instead of this directly as Alias allows for cheap conversion back into a type as well.

Fields

group: Arc<Vec<AliasData<Id, T>>>

The other aliases defined in this group

Implementations

impl<Id, T> AliasRef<Id, T>

pub fn try_get_alias_mut(&mut self) -> Option<&mut AliasData<Id, T>>

impl<Id, T> AliasRef<Id, T>where
    T: From<Type<Id, T>> + Deref<Target = Type<Id, T>> + Clone,
    Id: Clone + PartialEq,

pub fn typ(&self) -> Cow<'_, T>

Methods from Deref<Target = AliasData<Id, T>>

pub fn unresolved_type(&self) -> &T

Returns the type aliased by self with out Type::Ident resolved to their actual Type::Alias representation

pub fn params(&self) -> &[Generic<Id>]

pub fn aliased_type(&self) -> &T

pub fn kind(&self) -> Cow<'_, ArcKind>

Trait Implementations

impl<Id: Clone, T: Clone> Clone for AliasRef<Id, T>

fn clone(&self) -> AliasRef<Id, T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Debug, T: Debug> Debug for AliasRef<Id, T>

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

Formats the value using the given formatter.

impl<Id, T> Deref for AliasRef<Id, T>

type Target = AliasData<Id, T>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<Id: Hash, T: Hash> Hash for AliasRef<Id, T>

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<Id: PartialEq, T: PartialEq> PartialEq<AliasRef<Id, T>> for AliasRef<Id, T>

fn eq(&self, other: &AliasRef<Id, T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<Id: Eq, T: Eq> Eq for AliasRef<Id, T>

impl<Id, T> StructuralEq for AliasRef<Id, T>

impl<Id, T> StructuralPartialEq for AliasRef<Id, T>