Struct MutateCallbacks 

pub struct MutateCallbacks<State, Link, Marker> { /* private fields */ }

A reusable typed-dispatch or callback mutator with shared user state.

Implementations

impl<State, Link, Marker> MutateCallbacks<State, Link, Marker>

where Link: MutateChainLink<State, Marker>,

pub fn new(state: State, callbacks: Link) -> Self

Construct a stateful callback mutator.

impl<State, Link, Marker> MutateCallbacks<State, Link, Marker>

pub fn state(&self) -> &State

Shared access to the callback state.

pub fn state_mut(&mut self) -> &mut State

Mutable access to callback state outside an active recursive call.

pub fn into_state(self) -> State

Consume the mutator and return its state.

Trait Implementations

impl<State, Link, Marker> StructuralMutator for MutateCallbacks<State, Link, Marker>

where Link: MutateChainLink<State, Marker>, Link::Strategy: MutateCallbackStrategy<State, Link, Marker>,

fn dispatch_mutate( &mut self, value: &MapValue, def_region_kind: DefRegionKind, ) -> Result<Any>

Dispatch one borrowed value without modifying its source storage.

fn dispatch_maybe_inplace_mutate( &mut self, value: InplaceValue<'_>, def_region_kind: DefRegionKind, ) -> Result<Any>

Dispatch one value for which the engine permits an in-place attempt.

fn mutate<T>( &mut self, value: &T, def_region_kind: DefRegionKind, ) -> Result<Any>

where for<'x> AnyView<'x>: From<&'x T>,

Re-enter this mutator for a borrowed value. The value and all of its descendants use the non-in-place path.

fn maybe_inplace_mutate<T>( &mut self, value: T, def_region_kind: DefRegionKind, ) -> Result<Any>

where T: Into<Any>,

Re-enter this mutator for an owned value, permitting reuse only when the converted value remains uniquely owned.

fn default_mutate( &mut self, value: &MapValue, def_region_kind: DefRegionKind, ) -> Result<Any>

Apply default non-in-place mutation to value’s children.

fn default_mutate_value<T>( &mut self, value: &T, def_region_kind: DefRegionKind, ) -> Result<Any>

where for<'x> AnyView<'x>: From<&'x T>,

Apply default non-in-place mutation to a borrowed typed value.

fn default_maybe_inplace_mutate( &mut self, value: InplaceValue<'_>, def_region_kind: DefRegionKind, ) -> Result<Any>

Apply the default mutation under an engine-issued in-place capability.

fn mutate_result<T>( &mut self, value: &T, kind: DefRegionKind, ) -> Result<UnchangedOr<Any>>

where for<'x> AnyView<'x>: From<&'x T>,

Re-enter this mutator for a borrowed value, preserving unchanged.

fn default_mutate_result( &mut self, value: &MapValue, kind: DefRegionKind, ) -> Result<UnchangedOr<Any>>

Default non-in-place mutation with an unchanged-or-replacement result.

fn default_mutate_value_result<T>( &mut self, value: &T, kind: DefRegionKind, ) -> Result<UnchangedOr<Any>>

where for<'x> AnyView<'x>: From<&'x T>,

Default mutation of a borrowed typed value, preserving unchanged.

fn default_maybe_inplace_mutate_result( &mut self, value: InplaceValue<'_>, kind: DefRegionKind, ) -> Result<UnchangedOr<Any>>

Default mutation under an engine-issued capability, preserving unchanged.

fn var_remap_get(&mut self, var: &MapValue) -> Result<Option<Any>>

Look up a FreeVar or DAG-node substitution from the active mutation.

fn var_remap_set(&mut self, var: &MapValue, mutated_value: &Any) -> Result<()>

Store a FreeVar or DAG-node substitution for the active mutation.