Enum DataflowError 

pub enum DataflowError<N, E, L> {
    UnknownSeed(N),
    ContinuationMismatch {
        changed: ContinuationFingerprint,
        expected: ValueFingerprint,
        actual: ValueFingerprint,
    },
    BudgetExceeded {
        kind: BudgetKind,
        limit: usize,
        attempted: usize,
        node: Option<N>,
        edge: Option<E>,
        location: L,
        target_location: Option<L>,
    },
    NodeFailure {
        failure: DataflowFailure,
        node: N,
        location: L,
    },
    EdgeFailure {
        failure: DataflowFailure,
        edge: E,
        location: L,
        target_location: L,
    },
}

A located fixpoint refusal.

Variants

UnknownSeed(N)

A seed names no node in the immutable graph.

ContinuationMismatch

A continuation was presented to inputs other than the ones it captured.

Fields

changed: ContinuationFingerprint

Fingerprint category that changed.

expected: ValueFingerprint

Fingerprint captured by the continuation.

actual: ValueFingerprint

Fingerprint supplied while resuming.

BudgetExceeded

A declared budget was exhausted at a node or edge.

Fields

kind: BudgetKind

Exhausted core budget class.

limit: usize

Configured limit.

attempted: usize

Units that the rejected operation would consume.

node: Option<N>

Node active at the refusal, when applicable.

edge: Option<E>

Edge active at the refusal, when applicable.

location: L

Source/artifact location of node, or the edge predecessor.

target_location: Option<L>

Edge successor location, when the refusal occurred on an edge.

NodeFailure

An admitted transfer violated its contract at a precise node.

Fields

failure: DataflowFailure

Failed operation.

node: N

Stable node identity.

location: L

Consumer-neutral node location.

EdgeFailure

A lattice join violated its contract while propagating a precise edge.

Fields

failure: DataflowFailure

Failed operation.

edge: E

Stable edge identity.

location: L

Edge predecessor location in propagation order.

target_location: L

Edge successor location in propagation order.

Trait Implementations

impl<N: Clone, E: Clone, L: Clone> Clone for DataflowError<N, E, L>

fn clone(&self) -> DataflowError<N, E, L>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N: Debug, E: Debug, L: Debug> Debug for DataflowError<N, E, L>

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

Formats the value using the given formatter.

impl<N: Eq, E: Eq, L: Eq> Eq for DataflowError<N, E, L>

impl<N: PartialEq, E: PartialEq, L: PartialEq> PartialEq for DataflowError<N, E, L>

fn eq(&self, other: &DataflowError<N, E, L>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<N: PartialEq, E: PartialEq, L: PartialEq> StructuralPartialEq for DataflowError<N, E, L>