pub struct Transformed<T> {
    pub data: T,
    pub transformed: bool,
    pub tnr: TreeNodeRecursion,
}
Expand description

This struct is used by tree transformation APIs such as

to control the transformation and return the transformed result.

Specifically, API users can provide transformation closures or TreeNodeRewriter implementations to control the transformation by returning:

  • The resulting (possibly transformed) node,
  • A flag indicating whether any change was made to the node, and
  • A flag specifying how to proceed with the recursion.

At the end of the transformation, the return value will contain:

  • The final (possibly transformed) tree,
  • A flag indicating whether any change was made to the tree, and
  • A flag specifying how the recursion ended.

Fields§

§data: T§transformed: bool§tnr: TreeNodeRecursion

Implementations§

source§

impl<T> Transformed<T>

source

pub fn new(data: T, transformed: bool, tnr: TreeNodeRecursion) -> Self

Create a new Transformed object with the given information.

source

pub fn yes(data: T) -> Self

Wrapper for transformed data with TreeNodeRecursion::Continue statement.

source

pub fn no(data: T) -> Self

Wrapper for unchanged data with TreeNodeRecursion::Continue statement.

source

pub fn update_data<U, F: FnOnce(T) -> U>(self, f: F) -> Transformed<U>

Applies the given f to the data of this Transformed object.

source

pub fn map_data<U, F: FnOnce(T) -> Result<U>>( self, f: F ) -> Result<Transformed<U>>

Maps the data of Transformed object to the result of the given f.

source

pub fn try_transform_node<F: FnOnce(T) -> Result<Transformed<T>>>( self, f: F ) -> Result<Transformed<T>>

If TreeNodeRecursion of the node is TreeNodeRecursion::Continue or TreeNodeRecursion::Jump, transformation is applied to the node. Otherwise, it remains as it is.

Trait Implementations§

source§

impl<T: Debug> Debug for Transformed<T>

source§

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

Formats the value using the given formatter. Read more
source§

impl<T: PartialEq> PartialEq for Transformed<T>

source§

fn eq(&self, other: &Transformed<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<T> StructuralPartialEq for Transformed<T>

Auto Trait Implementations§

§

impl<T> Freeze for Transformed<T>
where T: Freeze,

§

impl<T> RefUnwindSafe for Transformed<T>
where T: RefUnwindSafe,

§

impl<T> Send for Transformed<T>
where T: Send,

§

impl<T> Sync for Transformed<T>
where T: Sync,

§

impl<T> Unpin for Transformed<T>
where T: Unpin,

§

impl<T> UnwindSafe for Transformed<T>
where T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,