Struct leo_asg::Identifier

pub struct Identifier {
    pub name: Tendril<UTF8, NonAtomic>,
    pub span: Span,
}

An identifier in the constrained program.

Attention - When adding or removing fields from this struct, please remember to update it’s Serialize and Deserialize implementation to reflect the new struct instantiation.

Fields

name: Tendril<UTF8, NonAtomic>

span: Span

Implementations

impl Identifier

pub fn new(name: Tendril<UTF8, NonAtomic>) -> Identifier

pub fn new_with_span(name: &str, span: Span) -> Identifier

Trait Implementations

impl Clone for Identifier

pub fn clone(&self) -> Identifier

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Identifier

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Identifier

pub fn deserialize<D>(
    deserializer: D
) -> Result<Identifier, <D as Deserializer<'de>>::Error> where
    D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Display for Identifier

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

Formats the value using the given formatter.

impl<'ast> From<Identifier<'ast>> for Identifier

pub fn from(identifier: Identifier<'ast>) -> Identifier

Performs the conversion.

impl Hash for Identifier

pub fn hash<H>(&self, state: &mut H) where
    H: Hasher, 

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<'a> Into<Identifier> for &VariableRef<'a>

fn into(self) -> Identifier

Performs the conversion.

impl Node for Identifier

pub fn span(&self) -> &Span

pub fn set_span(&mut self, span: Span)

impl PartialEq<Identifier> for Identifier

pub fn eq(&self, other: &Identifier) -> bool

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

#[must_use]

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

This method tests for !=.

impl Serialize for Identifier

pub fn serialize<S>(
    &self,
    serializer: S
) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error> where
    S: Serializer, 

Serialize this value into the given Serde serializer.

impl Eq for Identifier