Struct moniker::ScopeOffset
source · pub struct ScopeOffset(pub u32);
Expand description
The Debruijn index of the binder that introduced the variable
For example:
λx.∀y.λz. x z (y z)
λ ∀ λ 2 0 (1 0)
Tuple Fields
0: u32
Implementations
sourceimpl ScopeOffset
impl ScopeOffset
sourcepub fn succ(self) -> ScopeOffset
pub fn succ(self) -> ScopeOffset
Move the current Debruijn index into an inner binder
pub fn pred(self) -> Option<ScopeOffset>
Trait Implementations
sourceimpl Clone for ScopeOffset
impl Clone for ScopeOffset
sourcefn clone(&self) -> ScopeOffset
fn clone(&self) -> ScopeOffset
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for ScopeOffset
impl Debug for ScopeOffset
sourceimpl Display for ScopeOffset
impl Display for ScopeOffset
sourceimpl Hash for ScopeOffset
impl Hash for ScopeOffset
sourceimpl Ord for ScopeOffset
impl Ord for ScopeOffset
sourcefn cmp(&self, other: &ScopeOffset) -> Ordering
fn cmp(&self, other: &ScopeOffset) -> Ordering
1.21.0 · sourcefn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 · sourcefn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the minimum of two values. Read more
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Selfwhere
Self: Sized + PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: Sized + PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl PartialEq<ScopeOffset> for ScopeOffset
impl PartialEq<ScopeOffset> for ScopeOffset
sourcefn eq(&self, other: &ScopeOffset) -> bool
fn eq(&self, other: &ScopeOffset) -> bool
sourceimpl PartialOrd<ScopeOffset> for ScopeOffset
impl PartialOrd<ScopeOffset> for ScopeOffset
sourcefn partial_cmp(&self, other: &ScopeOffset) -> Option<Ordering>
fn partial_cmp(&self, other: &ScopeOffset) -> Option<Ordering>
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for ScopeOffset
impl Eq for ScopeOffset
impl StructuralEq for ScopeOffset
impl StructuralPartialEq for ScopeOffset
Auto Trait Implementations
impl RefUnwindSafe for ScopeOffset
impl Send for ScopeOffset
impl Sync for ScopeOffset
impl Unpin for ScopeOffset
impl UnwindSafe for ScopeOffset
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