Enum IdRef 

pub enum IdRef {
    Local(Id),
    Foreign {
        workspace: String,
        id: Id,
    },
    Malformed,
}

What an id:-scheme target names.

The scheme carries three distinguishable things, and keeping them apart is the whole point: a reference prov can resolve, one it deliberately cannot, and one that is broken. See docs/reference-styles.md.

Variants

Local(Id)

id:<id> — a document in this workspace, resolved through the registry.

Foreign

id:<workspace>/<id> — a document in the workspace named workspace.

prov resolves this only when workspace is the reading workspace’s own workspace_id, in which case it is local and is treated as such. Any other name is somewhere prov cannot see: the library holds no map from a workspace name to a location (that is a fact about a device, not about an archive), so the reference is carried, never rewritten, and never reported broken.

Fields

workspace: String

The workspace qualifier, exactly as written.

id: Id

The id, exactly as written. Not check-verified: the foreign workspace owns its id space and need not be a prov workspace at all (a diaryx ARK blade is a different length and alphabet), so applying prov’s check character here would reject valid references.

Malformed

The id: scheme with a body that is no reference at all — an empty half (id:, id:/x, id:ws/) or more than one separator (id:a/b/c).

Deliberately its own case rather than falling through to a path: the author wrote id:, so silently resolving the text as a filename would turn a typo into a dangling path and hide what actually went wrong.

Trait Implementations

impl Clone for IdRef

fn clone(&self) -> IdRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdRef

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

Formats the value using the given formatter.

impl Eq for IdRef

impl PartialEq for IdRef

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IdRef