Struct StructuralMutatorView

pub struct StructuralMutatorView<'a, D> { /* private fields */ }

Recursive mutation and default descent for a dispatcher.

Pass the handler’s self to mutation methods to recurse with the same state. Full mutation re-enters dispatch; default mutation runs Base descent. Both preserve UnchangedOr; resolve it only when an owning value is needed.

Implementations

impl<D> StructuralMutatorView<'_, D>

pub fn def_region_kind(&self) -> DefRegionKind

pub fn with_def_region_kind<R>( &mut self, kind: DefRegionKind, callback: impl FnOnce(&mut StructuralMutatorView<'_, D>) -> R, ) -> R

Run recursive operations under a scoped definition region. An enclosing Pattern wins; the original region is restored on all exits.

pub fn mutate<'input, T>( &mut self, dispatch: &mut D, value: impl Into<MutationView<'input, T>>, ) -> Result<UnchangedOr<Any>>

Re-enter dispatch with the capability’s carried permission.

pub fn default_mutate<'input, T>( &mut self, dispatch: &mut D, value: impl Into<MutationView<'input, T>>, ) -> Result<UnchangedOr<Any>>

Run Base default descent with the capability’s carried permission.

pub fn var_remap_get( &mut self, dispatch: &mut D, var: AnyView<'_>, ) -> Result<Option<Any>>

pub fn var_remap_set( &mut self, dispatch: &mut D, var: AnyView<'_>, value: &Any, ) -> Result<()>