Struct CodecTypePath 

pub struct CodecTypePath { /* private fields */ }

One type path a rendered expression names.

Bounds

The segments are structurally non-empty: a path naming no segment names nothing, and a rendering that wrote one would emit a bare separator.

Implementations

impl CodecTypePath

pub fn spelled( rooting: PathRooting, segments: Vec<String>, ) -> Result<Self, CodecError>

One type path, rooted as the caller stated and spelled from the segments it named.

Errors

Returns CodecIssue::SegmentNotAnIdentifier where a segment cannot name a rendered item — the root is typed as the rooting, so every segment is an item step, refused outside the alphabet or on the keyword roster — CodecIssue::PathSegmentsAbsent where no segment was supplied, and CodecIssue::PathSegmentsUnbounded where the segments outgrow the declared magnitude. The checks are dependent and in that order, so exactly one cause is true of any refused path.

pub const fn rooting(&self) -> PathRooting

Where this path is rooted.

pub fn segments(&self) -> impl Iterator<Item = &str>

The segments, from the root inward; structurally at least one.

pub fn count(&self) -> usize

How many segments the path carries; structurally at least one.

Trait Implementations

impl Clone for CodecTypePath

fn clone(&self) -> CodecTypePath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CodecTypePath

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

Formats the value using the given formatter.

impl Eq for CodecTypePath

impl Hash for CodecTypePath

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 CodecTypePath

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CodecTypePath