Struct cl_typeck::path::Path

pub struct Path<'p> {
    pub absolute: bool,
    pub parts: &'p [PathPart],
}

Fields

absolute: bool

parts: &'p [PathPart]

Implementations

impl<'p> Path<'p>

pub fn new(path: &'p AstPath) -> Self

pub fn relative(self) -> Self

pub fn pop_front(self) -> Option<Self>

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn front(&self) -> Option<&PathPart>

Trait Implementations

impl AsRef<[PathPart]> for Path<'_>

fn as_ref(&self) -> &[PathPart]

Converts this type into a shared reference of the (usually inferred) input type.

impl<'p> Clone for Path<'p>

fn clone(&self) -> Path<'p>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'p> Debug for Path<'p>

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<'a> EvaluableTypeExpression for Path<'a>

type Out = DefID

The result of type expression evaluation

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

impl<'p> From<&'p Path> for Path<'p>

fn from(value: &'p AstPath) -> Self

Converts to this type from the input type.

impl<'p> PartialEq for Path<'p>

fn eq(&self, other: &Path<'p>) -> bool

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

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

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

impl<'p> Copy for Path<'p>

impl<'p> Eq for Path<'p>

impl<'p> StructuralPartialEq for Path<'p>