Struct exprz::pattern::BasicShapePattern

pub struct BasicShapePattern<'p, P>(_)
 where
    P: Expression<Atom = BasicShape>;

This is supported on crate feature pattern only.

Pattern over BasicShape Expression.

Trait Implementations

impl<'p, P: Clone> Clone for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>, 

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'p, P: Copy> Copy for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>, 

impl<'p, P: Debug> Debug for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>, 

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

Formats the value using the given formatter.

impl<'p, P: Eq> Eq for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>, 

impl<'p, P: Hash> Hash for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>, 

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, P: PartialEq> PartialEq<BasicShapePattern<'p, P>> for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>, 

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

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

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

This method tests for !=.

impl<'p, P, E> Pattern<E> for BasicShapePattern<'p, P> where
    E: Expression,
    P: Expression<Atom = BasicShape>, 

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, P> StructuralEq for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>, 

impl<'p, P> StructuralPartialEq for BasicShapePattern<'p, P> where
    P: Expression<Atom = BasicShape>,