Enum Pattern 

pub enum Pattern {
    Any,
    Symbol(String),
    String(String),
    Integer(i64),
    Bool(bool),
    Nil,
    AnySymbol,
    AnyString,
    AnyInteger,
    OneOf(Vec<String>),
    Struct {
        head: String,
        fields: Vec<(String, Pattern)>,
    },
    ListHead {
        head: String,
        tail: Vec<Pattern>,
    },
}

A declarative match-template over SExpr trees.

Variants

Any

Matches any subtree.

Symbol(String)

Matches the specific symbol.

String(String)

Matches the specific string literal.

Integer(i64)

Matches the specific integer.

Bool(bool)

Matches the specific bool.

Nil

Matches nil.

AnySymbol

Matches any symbol.

AnyString

Matches any string literal.

AnyInteger

Matches any integer.

OneOf(Vec<String>)

Matches any one of the given string literals OR symbols.

Struct

Matches a struct-form (head (:field val) …) where head must equal head and every declared field must match (extra fields on the target are ignored — partial match).

Fields

head: String

fields: Vec<(String, Pattern)>

ListHead

Matches a list-form (head tail0 tail1 …) where head equals the expected head symbol and each tail pattern matches positionally.

Fields

head: String

tail: Vec<Pattern>

Implementations

impl Pattern

pub fn matches(&self, target: &SExpr) -> bool

True iff this pattern matches the target.

Trait Implementations

impl Clone for Pattern

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 Pattern

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

Formats the value using the given formatter.

impl PartialEq for Pattern

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Pattern