Struct IdentPath 

pub struct IdentPath {
    pub segments: NonEmpty<Ident>,
}

A non-empty dot-separated identifier path in expression position.

Fields

segments: NonEmpty<Ident>

Implementations

impl IdentPath

pub const fn new(segments: NonEmpty<Ident>) -> Self

Construct a path from already-tokenized segments.

pub fn bare(ident: Ident) -> Self

Construct a one-segment path from an identifier.

pub fn segments(&self) -> &[Ident]

Borrow all path segments in source order.

pub fn into_segments(self) -> NonEmpty<Ident>

Consume and return the non-empty segment sequence.

pub fn into_vec(self) -> Vec<Ident>

Consume and return the segment vector.

pub const fn len(&self) -> usize

Number of path segments. Always at least 1.

pub const fn is_empty(&self) -> bool

Returns false; provided for API compatibility with sequence-like code.

pub const fn is_bare(&self) -> bool

Returns whether this is a one-segment identifier path.

pub fn span(&self) -> Span

Returns the source span covering the whole path.

pub fn to_name_path(&self) -> NamePath

The written path with per-segment spans dropped.

Use this for span-independent written identity (semantic metadata keys); keep the IdentPath itself when diagnostics need segment spans.

pub fn leaf(&self) -> &Ident

Returns the leaf segment of the path.

pub fn split_last(&self) -> (&[Ident], &Ident)

Split the path into qualifier segments and the leaf segment.

The qualifier slice is empty for one-segment paths.

pub fn qualifier_segments(&self) -> &[Ident]

Returns the qualifier segments before the leaf. Empty for bare paths.

pub fn qualifier_and_leaf(&self) -> Option<(&[Ident], &Ident)>

Returns qualifier segments and leaf only when this path is qualified.

pub fn as_bare(&self) -> Option<&Ident>

Returns the only segment when this is a bare identifier path.

pub fn as_bare_mut(&mut self) -> Option<&mut Ident>

Mutably returns the only segment when this is a bare identifier path.

pub fn into_bare(self) -> Result<Ident, Self>

Consume this path and return its segment when it is bare.

Returns the original path unchanged when it is qualified.

pub fn into_name_path(self) -> NamePath

Convert this spanned syntax path into a span-less NamePath.

pub fn into_spanned_name_path(self) -> Spanned<NamePath>

Convert this syntax path into a NamePath paired with the path’s full span.

pub fn display_path(&self) -> String

Human-readable path string for diagnostics and formatting boundaries.

Trait Implementations

impl Clone for IdentPath

fn clone(&self) -> IdentPath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdentPath

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

Formats the value using the given formatter.

impl Display for IdentPath

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

Formats the value using the given formatter.

impl Eq for IdentPath

impl FormatEquivalent for IdentPath

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.

impl From<Ident> for IdentPath

fn from(ident: Ident) -> Self

Converts to this type from the input type.

impl Hash for IdentPath

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 PartialEq for IdentPath

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for IdentPath