Enum DataflowFailure 

pub enum DataflowFailure {
    Transfer,
    Join,
}

The operation whose contract failed while solving a graph.

Variants

Transfer

A transfer retracted facts from its input.

Join

A join was not an upper bound of both operands.

Trait Implementations

impl Clone for DataflowFailure

fn clone(&self) -> DataflowFailure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DataflowFailure

impl Debug for DataflowFailure

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

Formats the value using the given formatter.

impl Eq for DataflowFailure

impl PartialEq for DataflowFailure

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DataflowFailure