Enum fj_core::operations::replace::ReplaceOutput

pub enum ReplaceOutput<Original, Updated> {
    Original(Original),
    Updated(Updated),
}

The output of a replace operation

See module documentation for more information.

Variants

Original(Original)

The original object that the replace operation was called on

If this variant is returned, the object to be replaced was not referenced, and no replacement happened.

Updated(Updated)

The updated version of the object that the operation was called on

If this variant is returned, a replacement happened, and this is the new version of the object that reflects that.

This is a bare object, not a Handle, to leave the decision of whether to insert the object to the caller. This might be relevant, if the result of the replacement is an invalid intermediate step in the modeling process. The validation infrastructure currently provides no good ways to deal with invalid intermediate results, even if the end result ends up valid.

Implementations

impl<Original, Updated> ReplaceOutput<Original, Updated>

pub fn was_updated(&self) -> bool

Indicate whether the original object was updated

pub fn map_original<T>( self, f: impl FnOnce(Original) -> T ) -> ReplaceOutput<T, Updated>

Map the Original variant using the provided function

pub fn map_updated<T>( self, f: impl FnOnce(Updated) -> T ) -> ReplaceOutput<Original, T>

Map the Updated variant using the provided function

impl<T> ReplaceOutput<T, T>

pub fn into_inner(self) -> T

Return the wrapped object, whether it’s the original or was updated