Struct gluon_base::ast::TypedIdent

pub struct TypedIdent<Id = Symbol, T = ArcType<Id>> {
    pub typ: T,
    pub name: Id,
}

Fields

typ: T

name: Id

Implementations

impl<Id, T> TypedIdent<Id, T> where
    T: Default, 

pub fn new(name: Id) -> TypedIdent<Id, T>

impl<Id, T> TypedIdent<Id, T>

pub fn new2(name: Id, typ: T) -> TypedIdent<Id, T>

Trait Implementations

impl<Id, T> AsRef<str> for TypedIdent<Id, T> where
    Id: AsRef<str>, 

fn as_ref(&self) -> &str

Performs the conversion.

impl<'ast, Id, T> AstClone<'ast, Id> for TypedIdent<Id, T> where
    Id: Clone,
    T: AstClone<'ast, Id>, 

fn ast_clone(&self, arena: ArenaRef<'_, 'ast, Id>) -> Self

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

fn clone(&self) -> TypedIdent<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 TypedIdent<Id, T>

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

Formats the value using the given formatter.

impl<Id: Default, T: Default> Default for TypedIdent<Id, T>

fn default() -> TypedIdent<Id, T>

Returns the "default value" for a type.

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

impl<Id: Hash, T: Hash> Hash for TypedIdent<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, 

Feeds a slice of this type into the given [Hasher].

impl<Id: PartialEq, T: PartialEq> PartialEq<TypedIdent<Id, T>> for TypedIdent<Id, T>

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

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

fn ne(&self, other: &TypedIdent<Id, T>) -> bool

This method tests for !=.

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

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

impl<Id: Clone> Typed for TypedIdent<Id>

type Ident = Id

fn try_type_of(
    &self,
    _: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType<Id>, String>

fn env_type_of(&self, env: &dyn TypeEnv<Type = ArcType>) -> ArcType<Self::Ident>