Struct moniker::Embed

pub struct Embed<T>(pub T);

Embed a term in a pattern

Trait Implementations

impl<T: Debug> Debug for Embed<T>

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

Formats the value using the given formatter.

impl<T: Clone> Clone for Embed<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: PartialEq> PartialEq for Embed<T>

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

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

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

This method tests for !=.

impl<T: Eq> Eq for Embed<T>

impl<N, T> BoundPattern<N> for Embed<T> where     T: BoundTerm<N>,

fn pattern_eq(&self, other: &Embed<T>) -> bool

Alpha equivalence in a pattern context

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

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

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

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

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

Returns the binders in this pattern