Struct chalk_solve::display::InvertedBoundVar
source · pub struct InvertedBoundVar {
inverted_debrujin_idx: i64,
within_idx: usize,
}
Expand description
Like a BoundVar, but with the debrujin index inverted so as to create a canonical name we can use anywhere for each bound variable.
In BoundVar, the innermost bound variables have debrujin index 0
, and
each further out BoundVar has a debrujin index 1
higher.
In InvertedBoundVar, the outermost variables have inverted_debrujin_idx 0
,
and the innermost have their depth, not the other way around.
Fields§
§inverted_debrujin_idx: i64
The inverted debrujin index. Corresponds roughly to an inverted DebrujinIndex::depth
.
within_idx: usize
The index within the debrujin index. Corresponds to BoundVar::index
.
Trait Implementations§
source§impl Clone for InvertedBoundVar
impl Clone for InvertedBoundVar
source§fn clone(&self) -> InvertedBoundVar
fn clone(&self) -> InvertedBoundVar
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for InvertedBoundVar
impl Debug for InvertedBoundVar
source§impl Display for InvertedBoundVar
impl Display for InvertedBoundVar
source§impl Ord for InvertedBoundVar
impl Ord for InvertedBoundVar
source§fn cmp(&self, other: &InvertedBoundVar) -> Ordering
fn cmp(&self, other: &InvertedBoundVar) -> Ordering
1.21.0 · source§fn 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
source§impl PartialEq for InvertedBoundVar
impl PartialEq for InvertedBoundVar
source§fn eq(&self, other: &InvertedBoundVar) -> bool
fn eq(&self, other: &InvertedBoundVar) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd for InvertedBoundVar
impl PartialOrd for InvertedBoundVar
source§fn partial_cmp(&self, other: &InvertedBoundVar) -> Option<Ordering>
fn partial_cmp(&self, other: &InvertedBoundVar) -> Option<Ordering>
1.0.0 · source§fn 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 InvertedBoundVar
impl Eq for InvertedBoundVar
impl StructuralPartialEq for InvertedBoundVar
Auto Trait Implementations§
impl Freeze for InvertedBoundVar
impl RefUnwindSafe for InvertedBoundVar
impl Send for InvertedBoundVar
impl Sync for InvertedBoundVar
impl Unpin for InvertedBoundVar
impl UnwindSafe for InvertedBoundVar
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.source§impl<T> CloneToUninit for Twhere
T: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.