Trait timely::dataflow::operators::core::enterleave::Leave

pub trait Leave<G: Scope, C: Container> {
    // Required method
    fn leave(&self) -> StreamCore<G, C>;
}

Extension trait to move a Stream to the parent of its current Scope.

Required Methods

fn leave(&self) -> StreamCore<G, C>

Moves a Stream to the parent of its current Scope.

Examples

use timely::dataflow::scopes::Scope;
use timely::dataflow::operators::{Enter, Leave, ToStream};

timely::example(|outer| {
    let stream = (0..9).to_stream(outer);
    let output = outer.region(|inner| {
        stream.enter(inner).leave()
    });
});

Implementors

impl<G: Scope, C: Container + Data, T: Timestamp + Refines<G::Timestamp>> Leave<G, C> for StreamCore<Child<'_, G, T>, C>