Struct Path

pub struct Path(/* private fields */);

A path is a non empty list of identifiers that forms a namespace + type

Implementations

impl Path

pub fn single(basename: Id, loc: Loc) -> Self

Create a Path with a single entry

pub fn new( basename: Id, namespace: impl IntoIterator<Item = Id>, loc: Loc, ) -> Self

Create Path with a head and an iterator. Most significant name first.

pub fn iter(&self) -> impl Iterator<Item = &Id>

Borrowed iteration of the Path’s elements. Most significant name first

pub fn loc(&self) -> &Loc

Source Loc of this Path

pub fn into_iter(self) -> impl Iterator<Item = Node<Id>>

Consume the Path and get an owned iterator over the elements. Most significant name first

pub fn split_last(self) -> (Vec<Id>, Id)

Get the base type name as well as the (potentially empty) prefix

pub fn is_in_cedar(&self) -> bool

Is this referring to a name in the __cedar namespace (eg: __cedar::Bool)

Trait Implementations

impl Clone for Path

fn clone(&self) -> Path

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Path

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

Formats the value using the given formatter.

impl Display for Path

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

Formats the value using the given formatter.

impl From<Path> for InternalName

fn from(value: Path) -> Self

Converts to this type from the input type.

impl From<Path> for RawName

fn from(p: Path) -> Self

Converts to this type from the input type.

impl Hash for Path

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 Path

fn eq(&self, other: &Path) -> 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 Eq for Path

impl StructuralPartialEq for Path