Enum TargetKind 

pub enum TargetKind {
    Path,
    Id,
    Foreign {
        workspace: String,
    },
    External,
    SameDocument,
    MalformedId,
}

What shape of thing a link’s target names, by syntax alone.

prov’s own Target is the resolved answer and needs a workspace to produce; this is what can be known from the string, which is what an editor drawing a row has. The two line up variant for variant, so a frontend that starts with this and later gains a workspace does not restate its rendering.

Variants

Path

A path — relative to the document, or workspace-absolute with a leading /. The ordinary case, and the only one resolvable without a registry.

Id

An id:<id> handle into this workspace’s registry.

Foreign

An id:<workspace>/<id> handle into another workspace. prov holds no map from a workspace name to a location, so this names something without locating it.

Fields

workspace: String

The workspace qualifier, as written.

External

A URL or mail address — off-workspace, never resolved and never rewritten by a move.

SameDocument

A target that is only a #locator: a place inside the document the link is written in, naming no other document.

MalformedId

The id: scheme with a body that is no reference at all (id:, id:ws/, id:a/b/c).

Its own case rather than a path, on prov’s grounds: the author wrote id:, so reading the rest as a filename would turn a typo into a dangling path and hide what actually went wrong.

Trait Implementations

impl Clone for TargetKind

fn clone(&self) -> TargetKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TargetKind

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

Formats the value using the given formatter.

impl Eq for TargetKind

impl PartialEq for TargetKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TargetKind