Trait Assemble 

pub trait Assemble<Term> {
    type Out;

    // Required method
    fn assemble(&self, term: Term) -> Self::Out;
}

Assembles recorded parts into the concrete collector stack, given the terminal stage. Takes &self so one set of parts can assemble many identical chains — stage closures must be Clone (plain closures and closures over Clone/Arc state are).

Required Associated Types

type Out

The assembled collector stack.

Required Methods

fn assemble(&self, term: Term) -> Self::Out

Build the stack around term.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<OutF, Prev, G, Term> Assemble<Term> for FlatMapPart<OutF, Prev, G>

where OutF: RecFamily, G: Clone, Prev: Assemble<FlatMap<OutF, G, Term>>,

type Out = <Prev as Assemble<FlatMap<OutF, G, Term>>>::Out

impl<Prev, G, Term> Assemble<Term> for InspectPart<Prev, G>

where G: Clone, Prev: Assemble<Inspect<G, Term>>,

type Out = <Prev as Assemble<Inspect<G, Term>>>::Out

impl<Prev, G, Term> Assemble<Term> for MapPart<Prev, G>

where G: Clone, Prev: Assemble<Map<G, Term>>,

type Out = <Prev as Assemble<Map<G, Term>>>::Out

impl<Prev, G, Term> Assemble<Term> for TryMapPart<Prev, G>

where G: Clone, Prev: Assemble<TryMap<G, Term>>,

type Out = <Prev as Assemble<TryMap<G, Term>>>::Out

impl<Prev, P, Term> Assemble<Term> for FilterPart<Prev, P>

where P: Clone, Prev: Assemble<Filter<P, Term>>,

type Out = <Prev as Assemble<Filter<P, Term>>>::Out

impl<T> Assemble<T> for Root

type Out = T