Expand description
A free variable
Fields
unique_id: UniqueId
A generated id
pretty_name: Option<N>
programmer-provided name for pretty-printing
Implementations
sourceimpl<N> FreeVar<N>
impl<N> FreeVar<N>
sourcepub fn fresh(pretty_name: Option<N>) -> FreeVar<N>
pub fn fresh(pretty_name: Option<N>) -> FreeVar<N>
Create a fresh free variable, with an optional name hint for pretty printing
sourcepub fn fresh_unnamed() -> FreeVar<N>
pub fn fresh_unnamed() -> FreeVar<N>
Create a fresh free variable, with no name hint
sourcepub fn fresh_named(pretty_name: impl Into<N>) -> FreeVar<N>
pub fn fresh_named(pretty_name: impl Into<N>) -> FreeVar<N>
Create a fresh free variable, with a name hint for pretty printing
Trait Implementations
sourceimpl<N: Clone + PartialEq> BoundTerm<N> for FreeVar<N>
impl<N: Clone + PartialEq> BoundTerm<N> for FreeVar<N>
sourcefn close_term(&mut self, _: ScopeState, _: &impl OnFreeFn<N>)
fn close_term(&mut self, _: ScopeState, _: &impl OnFreeFn<N>)
Close the term using the supplied binders
sourcefn open_term(&mut self, _: ScopeState, _: &impl OnBoundFn<N>)
fn open_term(&mut self, _: ScopeState, _: &impl OnBoundFn<N>)
Open the term using the supplied binders
sourcefn visit_vars(&self, _: &mut impl FnMut(&Var<N>))
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 Read moresourcefn visit_mut_vars(&mut self, _: &mut impl FnMut(&mut Var<N>))
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 Read moresourceimpl<N> PartialEq<Binder<N>> for FreeVar<N>where
N: PartialEq,
impl<N> PartialEq<Binder<N>> for FreeVar<N>where
N: PartialEq,
sourceimpl<N> PartialEq<FreeVar<N>> for Binder<N>where
N: PartialEq,
impl<N> PartialEq<FreeVar<N>> for Binder<N>where
N: PartialEq,
sourceimpl<N> PartialEq<FreeVar<N>> for FreeVar<N>where
N: PartialEq,
impl<N> PartialEq<FreeVar<N>> for FreeVar<N>where
N: PartialEq,
sourceimpl<N> PartialEq<FreeVar<N>> for Var<N>where
N: PartialEq,
impl<N> PartialEq<FreeVar<N>> for Var<N>where
N: PartialEq,
sourceimpl<N> PartialEq<Var<N>> for FreeVar<N>where
N: PartialEq,
impl<N> PartialEq<Var<N>> for FreeVar<N>where
N: PartialEq,
impl<N> Eq for FreeVar<N>where
N: Eq,
Auto Trait Implementations
impl<N> RefUnwindSafe for FreeVar<N>where
N: RefUnwindSafe,
impl<N> Send for FreeVar<N>where
N: Send,
impl<N> Sync for FreeVar<N>where
N: Sync,
impl<N> Unpin for FreeVar<N>where
N: Unpin,
impl<N> UnwindSafe for FreeVar<N>where
N: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more