Struct BinderSlice 

#[repr(transparent)]
pub struct BinderSlice<T>([T]);

A borrowed portion of a BindingStack.

Tuple Fields

0: [T]

Implementations

impl<T> BinderSlice<T>

fn from_slice(stack: &[T]) -> &Self

fn from_slice_mut(stack: &mut [T]) -> &mut Self

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn depth(&self) -> DeBruijnId

pub fn as_bound_var<Id>(&self, var: DeBruijnVar<Id>) -> (DeBruijnId, Id)

Map a bound variable to its binding depth. Considers free variables to be bound at the outermost binder, like when --unbind-item-vars is set.

fn real_index(&self, id: DeBruijnId) -> Option<usize>

Helper that computes the real index into the underlying slice.

pub fn get(&self, id: DeBruijnId) -> Option<&T>

pub fn get_var<'a, Id: Idx, Inner>( &'a self, var: DeBruijnVar<Id>, ) -> Option<&'a Inner::Output>

where T: Borrow<Inner>, Inner: HasIdxVecOf<Id> + 'a,

pub fn get_mut(&mut self, id: DeBruijnId) -> Option<&mut T>

pub fn iter(&self) -> impl DoubleEndedIterator<Item = &T> + ExactSizeIterator

Iterate over the binding levels, from the innermost (0) out.

pub fn iter_mut( &mut self, ) -> impl DoubleEndedIterator<Item = &mut T> + ExactSizeIterator

Iterate mutably over the binding levels, from the innermost (0) out.

pub fn indices( &self, ) -> impl DoubleEndedIterator<Item = DeBruijnId> + ExactSizeIterator + use<T>

Iterate over the binding levels, from the innermost (0) out.

pub fn iter_enumerated( &self, ) -> impl DoubleEndedIterator<Item = (DeBruijnId, &T)> + ExactSizeIterator

Iterate over the binding levels, from the innermost (0) out.

pub fn iter_mut_enumerated( &mut self, ) -> impl DoubleEndedIterator<Item = (DeBruijnId, &mut T)> + ExactSizeIterator

Iterate over the binding levels, from the innermost (0) out.

pub fn map_ref<'a, U>(&'a self, f: impl FnMut(&'a T) -> U) -> BindingStack<U>

pub fn place_at_outermost<U>(&mut self, val: &U) -> (U, &mut T)

where U: TyVisitable + Clone,

Find the outermost binder where the given U can be moved to.

pub fn innermost(&self) -> &T

pub fn innermost_mut(&mut self) -> &mut T

pub fn outermost(&self) -> &T

pub fn outermost_mut(&mut self) -> &mut T

Trait Implementations

impl<T> Index<DeBruijnId> for BinderSlice<T>

type Output = T

The returned type after indexing.

fn index(&self, id: DeBruijnId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<T> Index<RangeFrom<DeBruijnId>> for BinderSlice<T>

self[depth..] represents the binding stack seen from depth.

type Output = BinderSlice<T>

The returned type after indexing.

fn index(&self, range: RangeFrom<DeBruijnId>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<T> IndexMut<DeBruijnId> for BinderSlice<T>

fn index_mut(&mut self, id: DeBruijnId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<T> IndexMut<RangeFrom<DeBruijnId>> for BinderSlice<T>

fn index_mut(&mut self, range: RangeFrom<DeBruijnId>) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.