Enum PatternStructure 

pub enum PatternStructure {
    Atom(String),
    App {
        func: String,
        args: Vec<PatternStructure>,
    },
    Binary {
        op: String,
        left: Box<PatternStructure>,
        right: Box<PatternStructure>,
    },
    Quantified {
        quantifier: String,
        var: String,
        body: Box<PatternStructure>,
    },
}

The structure of a pattern (simplified representation).

Variants

Atom(String)

Atomic pattern (variable or constant)

App

Application of a function/predicate

Fields

func: String

Function name

args: Vec<PatternStructure>

Arguments

Binary

Binary operation pattern

Fields

op: String

Operator

left: Box<PatternStructure>

Left operand

right: Box<PatternStructure>

Right operand

Quantified

Quantified pattern

Fields

quantifier: String

Quantifier (forall, exists)

var: String

Bound variable

body: Box<PatternStructure>

Body

Trait Implementations

impl Clone for PatternStructure

fn clone(&self) -> PatternStructure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PatternStructure

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

Formats the value using the given formatter.

impl Display for PatternStructure

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

Formats the value using the given formatter.

impl Hash for PatternStructure

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PatternStructure

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

impl StructuralPartialEq for PatternStructure