Enum ListOp 

pub enum ListOp {
    Exclusive,
    Forbids,
    OneOf,
    AtLeast,
}

List constraint operators (body of a list-style AXIOM).

These are surface sugar; the compiler desugars each to Impossible clauses (see elenchus-compiler). The meanings below are what the author asserts.

Variants

Exclusive

EXCLUSIVE — at most one of the listed atoms may be TRUE (mutual exclusion). For n > 2 this is pairwise, not “not all at once”.

Forbids

FORBIDS — at most one may be TRUE; a synonym of ListOp::Exclusive (same pairwise expansion), kept as a separate word for readability.

OneOf

ONEOF — exactly one is TRUE: at-most-one (pairwise) plus at-least-one.

AtLeast

ATLEAST — at least one of the listed atoms is TRUE.

Trait Implementations

impl Clone for ListOp

fn clone(&self) -> ListOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ListOp

impl Debug for ListOp

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

Formats the value using the given formatter.

impl Eq for ListOp

impl PartialEq for ListOp

fn eq(&self, other: &ListOp) -> 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 ListOp