Struct exprz::pattern::WildCardPattern

pub struct WildCardPattern<'p, W, P>(_, _)
 where
    P: Expression,
    W: FnMut(&P::Atom) -> bool;

This is supported on crate feature pattern only.

Wild Card Pattern

Trait Implementations

impl<'p, W: Clone, P: Clone> Clone for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool, 

fn clone(&self) -> WildCardPattern<'p, W, P>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'p, W: Copy, P: Copy> Copy for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool, 

impl<'p, W: Debug, P: Debug> Debug for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool, 

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

Formats the value using the given formatter.

impl<'p, W: Eq, P: Eq> Eq for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool, 

impl<'p, W: Hash, P: Hash> Hash for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool, 

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl<'p, W: PartialEq, P: PartialEq> PartialEq<WildCardPattern<'p, W, P>> for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool, 

fn eq(&self, other: &WildCardPattern<'p, W, P>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &WildCardPattern<'p, W, P>) -> bool

This method tests for !=.

impl<'p, W, P, E> Pattern<E> for WildCardPattern<'p, W, P> where
    E: Expression,
    W: Fn(&P::Atom) -> bool,
    P: Expression,
    P::Atom: PartialEq<E::Atom>, 

fn matches_atom(&self, atom: &E::Atom) -> bool

Checks if the pattern matches an atom.

fn matches_group(
    &self,
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> bool

Checks if the pattern matches a group.

fn matches(&self, expr: &E) -> bool

Checks if the pattern matches an expression.

impl<'p, W, P, E> PatternMut<E> for WildCardPattern<'p, W, P> where
    E: Expression,
    W: FnMut(&P::Atom) -> bool,
    P: Expression,
    P::Atom: PartialEq<E::Atom>, 

fn matches_atom(&mut self, atom: &E::Atom) -> bool

Checks if the pattern matches an atom.

fn matches_group(
    &mut self,
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> bool

Checks if the pattern matches a group.

fn matches(&mut self, expr: &E) -> bool

Checks if the pattern matches an expression.

impl<'p, W, P> StructuralEq for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool, 

impl<'p, W, P> StructuralPartialEq for WildCardPattern<'p, W, P> where
    P: Expression,
    W: FnMut(&P::Atom) -> bool,