Struct gluon_base::ast::TypedIdent

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

Fields

typ: T

name: Id

Methods

impl<Id> TypedIdent<Id>

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

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

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

Trait Implementations

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: 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: 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> AsRef<str> for TypedIdent<Id, T> where
    Id: AsRef<str>, 

fn as_ref(&self) -> &str

Performs the conversion.

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

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

Formats the value using the given formatter.