Struct InContextMut

pub struct InContextMut<'a, D>
where
    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> InContextMut<'_, D>

where D: Contextual,

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

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

pub fn same_context(&self, other: &InContextMut<'_, D>) -> bool

pub fn get_context(&self) -> &Arc<Mutex<Context>>

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: &InContextMut<'a, Polynomial<LinkID>>)

Performs the += operation.

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

where D: Contextual,

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

Formats the value using the given formatter.