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

Converts this type into a shared reference of the (usually inferred) input type.

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: 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, Self: Sized,

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: &Rhs) -> bool

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

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>

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

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

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