Enum Constraint 

#[non_exhaustive]
pub enum Constraint {
    OneOf(AtLeastTwo<Proposition>),
    AnyOf(AtLeastTwo<Proposition>),
    AtMostOne(AtLeastTwo<Proposition>),
    AllOrNone(AtLeastTwo<Proposition>),
    Requires {
        condition: Proposition,
        consequences: NonEmpty<Proposition>,
    },
    Conflicts {
        condition: Proposition,
        exclusions: NonEmpty<Proposition>,
    },
    Ordered(AtLeastTwo<RuleRef>),
}

A cross-section presence or ordering constraint.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

OneOf(AtLeastTwo<Proposition>)

Exactly one proposition must be satisfied.

AnyOf(AtLeastTwo<Proposition>)

At least one proposition must be satisfied.

AtMostOne(AtLeastTwo<Proposition>)

Zero or one proposition may be satisfied.

AllOrNone(AtLeastTwo<Proposition>)

Either all propositions or none of them must be satisfied.

Requires

If condition is satisfied, every consequence must be satisfied.

Fields

condition: Proposition

Proposition that activates the requirement.

consequences: NonEmpty<Proposition>

Propositions required whenever the condition is satisfied.

Conflicts

If condition is satisfied, every exclusion must be unsatisfied.

Fields

condition: Proposition

Proposition that activates the conflict.

exclusions: NonEmpty<Proposition>

Propositions forbidden whenever the condition is satisfied.

Ordered(AtLeastTwo<RuleRef>)

Every occurrence of each satisfied ref must precede every occurrence of the next satisfied ref (last(A) < first(B)).

Frontmatter propositions are excluded because they have no document position among headers.

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Eq for Constraint

impl PartialEq for Constraint

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Constraint