Enum moniker::FreeVar

pub enum FreeVar<N> {
    User(N),
    Gen(GenId, Option<N>),
}

A free variable

Variants

User(N)

Names originating from user input

Gen(GenId, Option<N>)

A generated id with an optional string that may have come from user input (for debugging purposes)

Methods

impl<N> FreeVar<N>

pub fn user<T: Into<N>>(ident: T) -> FreeVar<N>

Create a name from a human-readable string

pub fn fresh(self) -> FreeVar<N>

pub fn ident(&self) -> Option<&N>

Trait Implementations

impl<N: PartialEq> BoundTerm<N> for FreeVar<N>

fn term_eq(&self, other: &FreeVar<N>) -> bool

Alpha equivalence in a term context

fn close_term(     &mut self,     _: ScopeState,     _: &impl BoundPattern<N> )

fn open_term(     &mut self,     _: ScopeState,     _: &impl BoundPattern<N> )

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

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

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

Returns the set of free variables in this term

impl<N: Debug> Debug for FreeVar<N>

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

Formats the value using the given formatter.

impl<N: Clone> Clone for FreeVar<N>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N> From<GenId> for FreeVar<N>

fn from(src: GenId) -> FreeVar<N>

Performs the conversion.

impl<N> PartialEq for FreeVar<N> where     N: PartialEq,

fn eq(&self, other: &FreeVar<N>) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<N> Eq for FreeVar<N> where     N: Eq,

impl<N> Hash for FreeVar<N> where     N: Hash,

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,

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

impl<N: Display> Display for FreeVar<N>

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

Formats the value using the given formatter.

impl<N> PartialEq<FreeVar<N>> for Var<N> where     N: PartialEq,

fn eq(&self, other: &FreeVar<N>) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<N> PartialEq<FreeVar<N>> for Binder<N> where     N: PartialEq,

fn eq(&self, other: &FreeVar<N>) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.