Struct AndThen 

pub struct AndThen<M, U, F> { /* private fields */ }

The monadic bind for the Composite computation.

Trait Implementations

impl<M: Clone, U: Clone, F: Clone> Clone for AndThen<M, U, F>

fn clone(&self) -> AndThen<M, U, F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<M, U, F> Composite for AndThen<M, U, F>

where M: Composite, U: Composite, F: FnOnce(M::Item) -> U,

type Item = <U as Composite>::Item

The type of the item that is returned in the current modeling time.

fn and_then<U, F>(self, f: F) -> AndThen<Self, U, F>

where Self: Sized, U: Composite, F: FnOnce(Self::Item) -> U,

Bind the current computation with its continuation within the resulting computation.

fn map<B, F>(self, f: F) -> Map<Self, B, F>

where Self: Sized, F: FnOnce(Self::Item) -> B,

Map the current computation using the specified transform.

fn zip<U>(self, other: U) -> Zip<Self, U>

where Self: Sized, U: Composite,

Zip the current computation with another one within the resulting computation.

fn ap<U, B>(self, other: U) -> Ap<Self, U, B>

where Self: Sized, Self::Item: FnOnce(U::Item) -> B, U: Composite,

The function application.

fn into_boxed(self) -> CompositeBox<Self::Item>

where Self: Sized + 'static,

Convert into a boxed value.

fn run<D>(self, disposable: D) -> Run<Self, D>

where Self: Sized, D: Disposable + 'static,

Run the computation by the specified initial Disposable object.

fn run_(self) -> Run_<Self>

where Self: Sized,

Run the computation by ignoring Disposable objects.