Enum AliasKind 

pub enum AliasKind {
    Link,
    HardLink,
}

The aliases one name can be. On Windows a junction and a symbolic link are both reparse points and file_type().is_symlink() answers true for either, which is why they share a variant: refusing the family is one rule, not one rule per reparse tag. The third member of the family - the hard link - is a regular file whose link count is above one (crates/storage/spec/Alias.lean §8-25, crates/storage/Spec.lean §3).

Variants

Link

A symbolic link or a directory junction: the name leads somewhere else entirely.

HardLink

A file with more than one name: one write lands in every name at once.

Trait Implementations

impl Clone for AliasKind

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 AliasKind

impl Debug for AliasKind

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

Formats the value using the given formatter.

impl Display for AliasKind

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

Formats the value using the given formatter.

impl Eq for AliasKind

impl PartialEq for AliasKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AliasKind