pub enum RecursiveAddressError {
Codec(CodecError),
DanglingLocalEdge {
from: String,
to: String,
},
AmbiguousCyclicIdentity {
names: Vec<String>,
},
ConceptNotFound {
name: String,
},
}Expand description
Why a recursive address could not be computed.
Variants§
Codec(CodecError)
The canonical encoding failed.
DanglingLocalEdge
A local edge names a target absent from the archive (referential closure
is violated — the same condition materialize rejects as DanglingEdge).
Fields
AmbiguousCyclicIdentity
Two nodes in one cycle share a LOCAL identity (same definition incl. name) — a genuine automorphism with no canonical order. Fail-closed: a cycle whose members carry no distinguishing label is a modeling error to fix at the source, not an identity to invent (the user’s 2026-06-16 decision).
ConceptNotFound
The concept to extract is not in the archive.
Trait Implementations§
Source§impl Clone for RecursiveAddressError
impl Clone for RecursiveAddressError
Source§fn clone(&self) -> RecursiveAddressError
fn clone(&self) -> RecursiveAddressError
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for RecursiveAddressError
impl Debug for RecursiveAddressError
impl Eq for RecursiveAddressError
Source§impl From<CodecError> for RecursiveAddressError
impl From<CodecError> for RecursiveAddressError
Source§fn from(e: CodecError) -> Self
fn from(e: CodecError) -> Self
Converts to this type from the input type.
Source§impl PartialEq for RecursiveAddressError
impl PartialEq for RecursiveAddressError
Source§fn eq(&self, other: &RecursiveAddressError) -> bool
fn eq(&self, other: &RecursiveAddressError) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for RecursiveAddressError
Auto Trait Implementations§
impl Freeze for RecursiveAddressError
impl RefUnwindSafe for RecursiveAddressError
impl Send for RecursiveAddressError
impl Sync for RecursiveAddressError
impl Unpin for RecursiveAddressError
impl UnsafeUnpin for RecursiveAddressError
impl UnwindSafe for RecursiveAddressError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more