Struct gluon_base::ast::TypedIdent

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

Fields

typ: ArcType<Id>

name: Id

Methods

impl<Id> TypedIdent<Id>

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

Trait Implementations

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

fn clone(&self) -> TypedIdent<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

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

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

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

This method tests for !=.

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

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

Formats the value using the given formatter.

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

fn as_ref(&self) -> &str

Performs the conversion.

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

type Ident = Id

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

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