Struct InContextMut

pub struct InContextMut<'a, D: Contextual> { /* private fields */ }

A short-term binding of Context and any mutable object of a type that implements the Contextual trait.

The purpose of this type is to allow a transparent read access to shared data, like names etc. To prevent coarse-grained locking, Context is internally represented by a ContextHandle; however, Context can’t be modified through InContextMut.

Implementations

impl<D: Contextual> InContextMut<'_, D>

pub fn using_context<T, F>(&mut self, f: F) -> T

where F: FnOnce(&mut D, &Context) -> T,

pub fn same_context(&self, other: &Self) -> bool

pub fn get_context(&self) -> &ContextHandle

pub fn get_thing(&self) -> &D

pub fn get_thing_mut(&mut self) -> &mut D

Trait Implementations

impl<'a> AddAssign<&InContextMut<'a, Polynomial<LinkID>>> for InContextMut<'a, Polynomial<LinkID>>

fn add_assign(&mut self, other: &Self)

Performs the += operation.

impl<'a, D: Contextual> Display for InContextMut<'a, D>

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

Formats the value using the given formatter.