Trait Fold 

pub trait Fold<P, F: Set, K: Kind>: Sized {
    type Output;

    // Required methods
    fn open<S: Slot<P>>(self, slot: S, body: K::Open<F>) -> Self::Output;
    fn finished<S: Slot<P>>(self, slot: S, body: K::Finished<F>) -> Self::Output;
}

Terminal consumer for a route family proven to have one execution kind.

Required Associated Types

type Output

Required Methods

fn open<S: Slot<P>>(self, slot: S, body: K::Open<F>) -> Self::Output

fn finished<S: Slot<P>>(self, slot: S, body: K::Finished<F>) -> Self::Output

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors