Enum PathError 

#[non_exhaustive]
pub enum PathError {
    DisjointPaths,
    Transition(TransitionError),
    Unify(UnifyError),
    UnboundVariable,
    VariableOverflow,
}

Why two partial paths do not form one walk.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

DisjointPaths

The second path does not start where the first one ends.

Transition(TransitionError)

The node where the paths meet does not match the stacks around it.

Unify(UnifyError)

The stack one path leaves does not match the stack the other needs.

UnboundVariable

The stack left ends in a variable the stack needed lacks.

VariableOverflow

Renaming the variables apart ran past the last variable number.

Trait Implementations

impl Clone for PathError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PathError

impl Debug for PathError

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

Formats the value using the given formatter.

impl Eq for PathError

impl From<TransitionError> for PathError

fn from(error: TransitionError) -> Self

Converts to this type from the input type.

impl From<UnifyError> for PathError

fn from(error: UnifyError) -> Self

Converts to this type from the input type.

impl PartialEq for PathError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PathError