Struct Preserving 

pub struct Preserving;

Trait Implementations

impl ElementEmission for Preserving

type OutArity<C: Arity> = C

type Step<T> = T

fn map_step<T, U>( step: Self::Step<T>, function: impl Fn(T) -> U, ) -> Self::Step<U>

fn apply<'a, C: Arity, X: 'a, Y: 'a>( container: C::Container<'a, X>, function: impl Fn(X) -> Self::Step<Y> + 'a, ) -> <Self::OutArity<C> as Arity>::Container<'a, Y>

fn default_estimate(input: Estimate) -> Estimate

impl Retention for Preserving

type Then<R: Retention> = R

fn keep<T>(value: T) -> Self::Step<T>

fn absent<T, E>(error: impl FnOnce() -> E) -> Self::Step<Result<T, E>>

fn map_step<T, U>( step: Self::Step<T>, function: impl FnOnce(T) -> U, ) -> Self::Step<U>

fn collapse<T>(step: Self::Step<T>) -> Option<T>

fn and_then<R, T, U, E, F>( step: Self::Step<Result<T, E>>, function: F, ) -> <Self::Then<R> as ElementEmission>::Step<Result<U, E>>

where R: Retention, F: FnOnce(T) -> R::Step<Result<U, E>>,