Struct QualifiedNameExt 

pub struct QualifiedNameExt {
    pub parts: Vec<String>,
}

A dot-separated qualified name (e.g. Nat.succ).

Fields

parts: Vec<String>

Component parts of the name.

Implementations

impl QualifiedNameExt

pub fn from_dot_str(s: &str) -> Self

Creates a qualified name from a dot-separated string.

pub fn simple(name: impl Into<String>) -> Self

Creates a single-component name.

pub fn unqualified(&self) -> &str

Returns the last component (unqualified name).

pub fn namespace(&self) -> Option<QualifiedNameExt>

Returns the namespace (all but the last component), or None.

pub fn is_sub_of(&self, other: &QualifiedNameExt) -> bool

Returns true if this name is a sub-name of other.

pub fn depth(&self) -> usize

Returns the number of components.

Trait Implementations

impl Display for QualifiedNameExt

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

Formats the value using the given formatter.

impl FromStr for QualifiedNameExt

type Err = Infallible

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.