Enum ConsistencyLabel 

pub enum ConsistencyLabel {
    SeqConsistent,
    PerKeySeqConsistent,
    ConvergentMultiset,
    ConvergentSet,
    ConvergentLattice,
    Inconsistent,
    NoGuarantee,
}

Consistency label derived from Hydro’s type system.

These correspond to the labels produced by the external coord-analysis tool.

Variants

SeqConsistent

TotalOrder + ExactlyOnce on a non-keyed stream.

PerKeySeqConsistent

TotalOrder + ExactlyOnce on a KeyedStream (per-key ordering, cross-key interleaving).

ConvergentMultiset

NoOrder + ExactlyOnce (elements converge as a multiset).

ConvergentSet

NoOrder + AtLeastOnce, or TotalOrder + AtLeastOnce (elements converge as a set).

ConvergentLattice

Singleton/KeyedSingleton (lattice convergence).

Inconsistent

Untrusted nondeterminism upstream of a sensitive operator.

NoGuarantee

No consistency guarantee from the type system.

Implementations

impl ConsistencyLabel

pub fn as_str(&self) -> &'static str

The string form matching coord-analysis output.

Trait Implementations

impl Clone for ConsistencyLabel

fn clone(&self) -> ConsistencyLabel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConsistencyLabel

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

Formats the value using the given formatter.

impl Display for ConsistencyLabel

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

Formats the value using the given formatter.

impl Eq for ConsistencyLabel

impl PartialEq for ConsistencyLabel

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ConsistencyLabel