Enum Claim 

pub enum Claim {
    CannotBeEmpty,
    Undecidable,
    Unknown,
}

What the template behind an emitted query claims about its emptiness — the NonEmpty declaration, read back by id.

Variants

CannotBeEmpty

The template asserts the emitted query cannot come back empty (NonEmpty::AnyGraph / NonEmpty::Aggregate / NonEmpty::Witnessed).

Undecidable

The template admits the card cannot decide it (NonEmpty::Undecidable).

Unknown

No template of this revision owns the id — a curated query, or one an older revision wrote. It claims nothing, so nothing is contradicted.

Trait Implementations

impl Clone for Claim

fn clone(&self) -> Claim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Claim

impl Debug for Claim

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

Formats the value using the given formatter.

impl Eq for Claim

impl PartialEq for Claim

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Claim