Enum Pattern 

pub enum Pattern {
    Var(Option<Name>),
    Chn(Name),
    Ctr(Name, Vec<Pattern>),
    Num(u32),
    Fan(FanKind, Tag, Vec<Pattern>),
    Lst(Vec<Pattern>),
    Str(GlobalString),
}

Variants

Var(Option<Name>)

Chn(Name)

Ctr(Name, Vec<Pattern>)

Num(u32)

Fan(FanKind, Tag, Vec<Pattern>)

Either a tuple or a duplication

Lst(Vec<Pattern>)

Str(GlobalString)

Implementations

impl Pattern

pub fn encode_builtins(&mut self)

impl Pattern

pub fn binds(&self) -> impl DoubleEndedIterator<Item = &Option<Name>> + Clone

pub fn binds_mut( &mut self, ) -> impl DoubleEndedIterator<Item = &mut Option<Name>>

pub fn children(&self) -> impl DoubleEndedIterator<Item = &Pattern> + Clone

Returns an iterator over each immediate child sub-pattern of self. Considers Lists as its own pattern and not a sequence of Cons.

pub fn children_mut(&mut self) -> impl DoubleEndedIterator<Item = &mut Pattern>

pub fn iter(&self) -> impl DoubleEndedIterator<Item = &Pattern> + Clone

Returns an iterator over each subpattern in depth-first, left to right order.

pub fn is_wildcard(&self) -> bool

pub fn to_term(&self) -> Term

pub fn has_unscoped(&self) -> bool

pub fn has_nested(&self) -> bool

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Pattern

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 Display for Pattern

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

Formats the value using the given formatter.

impl Eq for Pattern

impl From<Option<Name>> for Pattern

fn from(value: Option<Name>) -> Self

Converts to this type from the input type.

impl Hash for Pattern

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 Pattern

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Pattern