Struct MutateCallbacks 

pub struct MutateCallbacks<State, Link, Marker, Policy = DefaultMutContextPolicy> { /* 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, Policy> MutateCallbacks<State, Link, Marker, Policy>

pub fn with_policy<P: MutContextPolicy<State>>( self, policy: P, ) -> MutateCallbacks<State, Link, Marker, P>

Customize default descent while sharing the callback state.

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, Policy> StructuralMutator for MutateCallbacks<State, Link, Marker, Policy>

where Policy: MutContextPolicy<State>, Link: MutateChainLink<State, Marker>,

fn dispatch_mutate( &mut self, value: &StructuralView, 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 maybe_inplace_mutate_with_mode<T>( &mut self, value: T, def_region_kind: DefRegionKind, mode: InplaceMode, ) -> Result<Any>

where T: Into<Any>,

Re-enter for an owned value with an explicit region and in-place permission.

fn default_mutate<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 default_maybe_inplace_mutate_with_mode( &mut self, value: InplaceValue<'_>, def_region_kind: DefRegionKind, mode: InplaceMode, ) -> Result<Any>

Apply default mutation with a capability and an explicit permission.

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<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 default_maybe_inplace_mutate_with_mode_result( &mut self, value: InplaceValue<'_>, kind: DefRegionKind, mode: InplaceMode, ) -> Result<UnchangedOr<Any>>

Default mutation with a capability and permission, preserving unchanged.

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

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

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

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