ApplySecond

fp_library::typeclasses::apply_second

Trait ApplySecond 

Source 
pub trait ApplySecond: Kind1 {
    // Required method
    fn apply_second<'a, A: 'a, B: 'a + Clone>(
        fa: Apply1<Self, A>,
    ) -> ArcFn<'a, Apply1<Self, B>, Apply1<Self, B>>
       where Apply1<Self, A>: Clone;
}
Expand description

A typeclass for types that support combining two contexts, keeping the second value.

ApplySecond provides the ability to sequence two computations but discard the result of the first computation, keeping only the result of the second. This is useful for executing side effects in sequence while preserving the final result.

Required Methods§

Source

fn apply_second<'a, A: 'a, B: 'a + Clone>( fa: Apply1<Self, A>, ) -> ArcFn<'a, Apply1<Self, B>, Apply1<Self, B>>
where Apply1<Self, A>: Clone,

Combines two contexts, keeping the value from the second context.

§Type Signature

forall f a b. ApplySecond f => f a -> f b -> f b

§Parameters
  • fa: The first context containing a value (will be discarded).
  • fb: The second context containing a value.
§Returns

The second context with its value preserved.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§