Struct Pattern 

pub struct Pattern<F, X> { /* private fields */ }

Implementations

impl<F, X> Pattern<F, X>

pub fn kind(&self) -> &PatternKind<F, X>

pub fn into_kind(self) -> PatternKind<F, X>

pub fn cons(f: F, subs: Vec<Self>) -> Self

where F: Clone, X: Clone,

pub fn from_slice(f: F, subs: &[Self]) -> Self

where F: Clone, X: Clone,

pub fn var(x: X) -> Self

pub fn symbol(&self) -> Option<&F>

pub fn sub_patterns(&self) -> Option<&Vec<Self>>

pub fn get(&self, i: usize) -> Option<&Self>

pub fn as_cons(&self) -> Option<(&F, &Vec<Self>)>

pub fn as_term(&self) -> Option<Term<F>>

where F: Clone,

pub fn variables(&self) -> UniqueVariables<'_, X>

where X: PartialEq,

pub fn map_variables<Y, M>(&self, g: &M) -> Pattern<F, Y>

where M: Fn(&X) -> Pattern<F, Y>, F: Clone,

pub fn try_map_variables<Y, M>(&self, g: &M) -> Option<Pattern<F, Y>>

where M: Fn(&X) -> Option<Pattern<F, Y>>, F: Clone,

pub fn renaming<Z, W, Y: AsRef<W>>( &self, other: &Pattern<F, Y>, renaming: &mut HashMap<Z, W>, ) -> bool

where X: AsRef<Z> + PartialOrd<Y>, Z: Hash + Eq + Clone, W: Eq + Clone, F: PartialEq,

Find a renaming from X -> Y so that both patterns are equals.

impl<F: Clone, X: Index> Pattern<F, X>

pub fn reindex(&self) -> Pattern<F, X>

Trait Implementations

impl<F: Clone, X: Clone> Clone for Pattern<F, X>

fn clone(&self) -> Pattern<F, X>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, X: Debug> Debug for Pattern<F, X>

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

Formats the value using the given formatter.

impl<F: Display, X: Display> Display for Pattern<F, X>

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

Formats the value using the given formatter.

impl<F, X> From<PatternKind<F, X>> for Pattern<F, X>

fn from(kind: PatternKind<F, X>) -> Pattern<F, X>

Converts to this type from the input type.

impl<F, X> From<X> for Pattern<F, X>

fn from(x: X) -> Self

Converts to this type from the input type.

impl<F: Hash, X: Hash> Hash for Pattern<F, X>

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<F: PartialEq, X: PartialEq> PartialEq for Pattern<F, X>

fn eq(&self, other: &Pattern<F, X>) -> 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<F, X> PatternLike<F, X> for Pattern<F, X>

fn kind(&self) -> PatternLikeKind<'_, F, X, Self>

impl<F: PartialEq + Eq, X: PartialEq + Eq> Eq for Pattern<F, X>