Enum TermPattern 

pub enum TermPattern {
    Exact(Term),
    Wildcard,
    Variable(String),
    TypeConstraint(TermType),
}

Pattern for matching terms

Variants

Exact(Term)

Exact term match

Wildcard

Wildcard (matches any term)

Variable(String)

Variable (binds to matched term)

TypeConstraint(TermType)

Type constraint (e.g., must be constant)

Trait Implementations

impl Clone for TermPattern

fn clone(&self) -> TermPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermPattern

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TermPattern

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TermPattern

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TermPattern