Enum LensError 

#[non_exhaustive]
pub enum LensError {
    VertexNotFound(String),
    EdgeNotFound {
        src: String,
        tgt: String,
    },
    FieldNotFound(String),
    NsidNotFound(String),
    ConstraintSortNotFound(String),
    EdgeKindNotFound(String),
    IncompatibleCoercion {
        from: String,
        to: String,
    },
    CompositionMismatch,
    Restrict(RestrictError),
    ComplementMismatch {
        detail: String,
    },
    ProtolensError(String),
    EditApply(EditError),
    ComplementConflict {
        kind: &'static str,
        key: String,
    },
    ComplementFingerprintMismatch {
        left: u64,
        right: u64,
    },
    UnknownEnricher {
        kind: EnrichmentKind,
        enricher: String,
    },
    EnrichmentSynthesisFailed {
        kind: EnrichmentKind,
        enricher: String,
        detail: String,
    },
}

Errors from lens construction, combinator compilation, or lens operations.

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.

VertexNotFound(String)

A schema vertex referenced by a combinator was not found.

EdgeNotFound

An edge referenced by a combinator was not found.

Fields

src: String

Source vertex.

tgt: String

Target vertex.

FieldNotFound(String)

A combinator references an invalid field name.

NsidNotFound(String)

A combinator references an NSID on a vertex that has no NSID.

ConstraintSortNotFound(String)

A combinator references a constraint sort that does not exist.

EdgeKindNotFound(String)

A combinator references an edge kind that does not exist.

IncompatibleCoercion

Type coercion between incompatible kinds.

Fields

from: String

Source kind.

to: String

Target kind.

CompositionMismatch

Lens composition failed because schemas don’t align.

Restrict(RestrictError)

Delegation to the restrict pipeline failed.

ComplementMismatch

A complement was incompatible with the view during put.

Fields

detail: String

Details about the mismatch.

ProtolensError(String)

A protolens operation failed.

EditApply(EditError)

An edit could not be applied during law checking.

ComplementConflict

Partial-monoid Complement::compose rejected an attempted merge because both operands carried distinct entries on the same key. Composition is defined exactly when the two complements agree on every shared key (idempotent merge); disagreement is the boundary of the partial-monoid’s domain of definition.

Fields

kind: &'static str

Which keyed map produced the conflict.

key: String

String representation of the conflicting key.

ComplementFingerprintMismatch

Partial-monoid Complement::compose rejected an attempted merge because the two complements were taken at distinct source schemas (their fingerprints differ).

Fields

left: u64

Left fingerprint.

right: u64

Right fingerprint.

UnknownEnricher

No enrichment synthesis driver is registered for the named (kind, enricher) pair. The driver must be registered via enrichment_registry::register_enricher before a protolens that adds this enrichment can be instantiated.

Fields

kind: EnrichmentKind

The enrichment kind requested.

enricher: String

The enricher name (e.g. a grammar name for Layout).

EnrichmentSynthesisFailed

The registered enrichment synthesis driver rejected its input.

Fields

kind: EnrichmentKind

The enrichment kind.

enricher: String

The enricher name.

detail: String

Human-readable failure.

Trait Implementations

impl Debug for LensError

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

Formats the value using the given formatter.

impl Display for LensError

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

Formats the value using the given formatter.

impl Error for LensError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<EditError> for LensError

fn from(source: EditError) -> Self

Converts to this type from the input type.

impl From<RestrictError> for LensError

fn from(source: RestrictError) -> Self

Converts to this type from the input type.