Enum GuardExpr 

pub enum GuardExpr {
    Predicate(Guard),
    All(Vec<GuardExpr>),
    Or(Vec<GuardExpr>),
    Not(Box<GuardExpr>),
}

Variants

Predicate(Guard)

All(Vec<GuardExpr>)

Or(Vec<GuardExpr>)

Not(Box<GuardExpr>)

Implementations

impl GuardExpr

pub fn all(exprs: Vec<GuardExpr>) -> GuardExpr

pub fn or(exprs: Vec<GuardExpr>) -> GuardExpr

pub fn invert(expr: GuardExpr) -> GuardExpr

impl GuardExpr

pub fn is_disjoint_from(&self, other: &Self) -> bool

Structural disjointness over the full combinator language. Distribution is exact in both directions (Or needs every arm disjoint, All needs one), so this proves rather than assumes; anything without a proof overlaps. Linear, no worlds, no enumeration, no cap.

Trait Implementations

impl Clone for GuardExpr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GuardExpr

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

Formats the value using the given formatter.

impl Display for GuardExpr

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

Formats the value using the given formatter.

impl Eq for GuardExpr

impl From<Guard> for GuardExpr

fn from(guard: Guard) -> Self

Converts to this type from the input type.

impl Not for GuardExpr

type Output = GuardExpr

The resulting type after applying the ! operator.

fn not(self) -> GuardExpr

Performs the unary ! operation.

impl PartialEq for GuardExpr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for GuardExpr