Struct MutableRefList 

pub struct MutableRefList<'i, T> {
    element: &'i mut T,
    parent: Option<Ancestor<'i, T>>,
}

Fields

element: &'i mut T

parent: Option<Ancestor<'i, T>>

Implementations

impl MutableRefList<'_, Solutions>

fn get_solvable<'s>(&'s self, name: &Id) -> Option<&'s Solvable>

fn set_solution(&mut self, name: Id, solution: Term)

fn set_type(&mut self, name: Id, tp: Term)

pub fn subst(&self, term: Term) -> Term

impl<'i, T> MutableRefList<'i, T>

pub const fn new(inner: &'i mut T) -> Self

pub const fn new_with_parent(inner: &'i mut T, ancestor: &'i Self) -> Self

pub const fn depth(&self) -> usize

pub fn find<'s, R>(&'s self, f: impl FnMut(&'s T) -> Option<R>) -> Option<R>

pub fn split_def<R>( &mut self, f: impl FnOnce(MutableRefList<'_, T>) -> R, then: impl FnOnce(&mut Self, &mut R, T), ) -> R

where T: Default,

pub fn split_merge<R>( &mut self, f: impl FnOnce(MutableRefList<'_, T>) -> Option<R>, ) -> Option<R>

where T: Default + Merge,

pub fn split<R>( &mut self, new: T, f: impl FnOnce(MutableRefList<'_, T>) -> R, then: impl FnOnce(&mut Self, &mut R, T), ) -> R

pub fn iter(&'i self) -> impl Iterator<Item = &'i T>

Trait Implementations

impl<'i, T: Debug> Debug for MutableRefList<'i, T>

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

Formats the value using the given formatter.

impl<T> Deref for MutableRefList<'_, T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T> DerefMut for MutableRefList<'_, T>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'i, T> IntoIterator for &'i MutableRefList<'i, T>

type IntoIter = RefListIter<'i, T>

Which kind of iterator are we turning this into?

type Item = &'i T

The type of the elements being iterated over.

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.