Struct moniker::Ignore

pub struct Ignore<T>(pub T);

Data that does not participate in name binding

This can be useful for adding information like source code locations to syntax trees.

Trait Implementations

impl<T: Debug> Debug for Ignore<T>

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

Formats the value using the given formatter.

impl<T: Copy> Copy for Ignore<T>

impl<T: Clone> Clone for Ignore<T>

fn clone(&self) -> Ignore<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: PartialEq> PartialEq for Ignore<T>

fn eq(&self, other: &Ignore<T>) -> bool

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

fn ne(&self, other: &Ignore<T>) -> bool

This method tests for !=.

impl<T: Eq> Eq for Ignore<T>

impl<T: Hash> Hash for Ignore<T>

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].

impl<T: Default> Default for Ignore<T>

fn default() -> Ignore<T>

Returns the "default value" for a type.

impl<N, T> BoundTerm<N> for Ignore<T>

fn term_eq(&self, _: &Ignore<T>) -> bool

Alpha equivalence for terms

fn close_term(&mut self, _: ScopeState, _: &[Binder<N>])

Close the term using the supplied binders

fn open_term(&mut self, _: ScopeState, _: &[Binder<N>])

Open the term using the supplied binders

fn visit_vars(     &self,     _: &mut impl FnMut(&Var<N>) )

Visit each variable in the term, calling the on_var callback on each of them in turn

fn visit_mut_vars(     &mut self,     _: &mut impl FnMut(&mut Var<N>) )

Visit each variable in the term, calling the on_var callback on each of them in turn

fn free_vars(&self) -> HashSet<FreeVar<N>> where     N: Eq + Hash + Clone,

Returns the set of free variables in this term

impl<N, T> BoundPattern<N> for Ignore<T>

fn pattern_eq(&self, _: &Ignore<T>) -> bool

Alpha equivalence for patterns

fn close_pattern(&mut self, _: ScopeState, _: &[Binder<N>])

Close the terms in the pattern using the supplied binders

fn open_pattern(&mut self, _: ScopeState, _: &[Binder<N>])

Open the terms in the pattern using the supplied binders

fn visit_binders(     &self,     _: &mut impl FnMut(&Binder<N>) )

Visit each of the binders in the term, calling the on_binder callback on each of them in turn

fn visit_mut_binders(     &mut self,     _: &mut impl FnMut(&mut Binder<N>) )

Visit each of the binders in the term, calling the on_binder callback on each of them in turn

fn binders(&self) -> Vec<Binder<N>> where     N: Clone,

Returns the binders in this pattern