Struct Binder 

pub struct Binder<N>(pub FreeVar<N>);

Tuple Fields

0: FreeVar<N>

Trait Implementations

impl<N> BoundPattern<N> for Binder<N>

where N: Clone + Eq + Hash,

fn pattern_eq(&self, _: &Binder<N>) -> bool

Alpha equivalence for patterns

fn close_pattern(&mut self, _: ScopeState, _: &impl OnFreeFn<N>)

Close the terms in the pattern using the supplied binders

fn open_pattern(&mut self, _: ScopeState, _: &impl OnBoundFn<N>)

Open the terms in the pattern 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 visit_binders(&self, on_binder: &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, on_binder: &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 free_vars(&self) -> HashSet<FreeVar<N>>

where N: Eq + Hash + Clone,

Returns the set of free variables in this term

fn binders(&self) -> Vec<Binder<N>>

where N: Clone,

Returns the binders in this pattern

impl<N: Clone> Clone for Binder<N>

fn clone(&self) -> Binder<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N: Debug> Debug for Binder<N>

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

Formats the value using the given formatter.

impl<N: Display> Display for Binder<N>

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

Formats the value using the given formatter.

impl<N: Hash> Hash for Binder<N>

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<N> PartialEq<Binder<N>> for FreeVar<N>

where N: PartialEq,

fn eq(&self, other: &Binder<N>) -> 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<N> PartialEq<Binder<N>> for Var<N>

where N: PartialEq,

fn eq(&self, other: &Binder<N>) -> 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<N> PartialEq<FreeVar<N>> for Binder<N>

where N: PartialEq,

fn eq(&self, other: &FreeVar<N>) -> 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<N> PartialEq<Var<N>> for Binder<N>

where N: PartialEq,

fn eq(&self, other: &Var<N>) -> 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<N: PartialEq> PartialEq for Binder<N>

fn eq(&self, other: &Binder<N>) -> 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<N: Eq> Eq for Binder<N>

impl<N> StructuralPartialEq for Binder<N>