Enum RestrictError 

#[non_exhaustive]
pub enum RestrictError {
    NoEdgeFound {
        src: String,
        tgt: String,
    },
    AmbiguousEdge {
        src: String,
        tgt: String,
        count: usize,
    },
    RootPruned,
    FanReconstructionFailed {
        hyper_edge_id: String,
        detail: String,
    },
    ProductSizeExceeded {
        vertex: String,
        actual: usize,
        limit: usize,
    },
    MultiElementFiber {
        vertex: String,
        count: usize,
    },
    UnmappedAnchor {
        anchor: Name,
        node_id: u32,
    },
    AttributeCollision {
        vertex: String,
        column: String,
    },
    NonInjectiveVertexMap {
        target: Name,
        sources: Vec<Name>,
    },
    FieldTransformFailed {
        key: String,
        source: ExprError,
    },
}

Errors from the restrict operation.

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.

NoEdgeFound

No edge found between two vertices after ancestor contraction.

Fields

src: String

Source vertex anchor.

tgt: String

Target vertex anchor.

AmbiguousEdge

Multiple edges found without a resolver entry.

Fields

src: String

Source vertex anchor.

tgt: String

Target vertex anchor.

count: usize

Number of candidate edges.

RootPruned

The root was pruned during restriction.

FanReconstructionFailed

Fan reconstruction failed.

Fields

hyper_edge_id: String

The hyper-edge ID.

detail: String

Details about the failure.

ProductSizeExceeded

Cartesian product exceeded the configured size limit.

Fields

vertex: String

The target vertex whose fiber product is too large.

actual: usize

The actual product size.

limit: usize

The configured limit.

MultiElementFiber

Multi-element fiber encountered where only single-element fibers are supported (e.g., W-type right Kan extension).

Fields

vertex: String

The target vertex with multiple preimages.

count: usize

Number of source vertices in the fiber.

UnmappedAnchor

A source node’s anchor is neither remapped by vertex_remap nor present in surviving_verts, so a total operation (left Kan extension Sigma_F, right Kan extension Pi_F) has no target vertex to map it to. These operations never drop data silently; they report the unmapped anchor instead.

Fields

anchor: Name

The anchor that has no image in the target schema.

node_id: u32

The offending source node ID.

AttributeCollision

Two source vertices in a right Kan extension (Pi_F) fiber contribute the same column with conflicting values, so the product-row attribute merge would have to silently overwrite one. The merge rejects instead.

Fields

vertex: String

The target vertex whose fiber product collides.

column: String

The colliding column name.

NonInjectiveVertexMap

A vertex map sends two or more distinct source vertices to a single target vertex. The W-type right Kan extension (wtype_pi) is only defined here for vertex-injective migrations, since a non-injective map would require constructing a product of subtrees.

Fields

target: Name

The target vertex receiving multiple source vertices.

sources: Vec<Name>

The source vertices in the fiber (sorted for determinism).

FieldTransformFailed

A field transform’s expression failed to evaluate.

The transform is reported rather than skipped. A user-authored apply_expr or compute_field whose expression does not evaluate is a defect in the lens, and leaving the field untouched makes it indistinguishable from a transform that ran and changed nothing.

Fields

key: String

The field the transform targets: the edited key for ApplyExpr, the target key for ComputeField, or a <case branch N> marker for a Case predicate, which has no single field of its own.

source: ExprError

The underlying evaluation failure.

Trait Implementations

impl Debug for RestrictError

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

Formats the value using the given formatter.

impl Display for RestrictError

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

Formats the value using the given formatter.

impl Error for RestrictError

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<RestrictError> for AdjunctionError

fn from(source: RestrictError) -> Self

Converts to this type from the input type.