Trait AndThen

pub trait AndThen<B>: Higher {
    // Required method
    fn and_then<F>(self, f: F) -> Self::Target<B>
       where F: FnMut(Self::Param) -> Self::Target<B>;
}

Gives access to the and_then method. This trait is needed to implement ApN. The motivation for not using FlatMap is that there are situations where and_then can be implemented but not FlatMap::flat_map, e.g. Validated.

Required Methods

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

Maps a function over a value in the context and flattens the resulting nested context.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<A, B> AndThen<B> for PhantomData<A>

fn and_then<F>(self, _f: F) -> PhantomData<B>

where F: FnMut(A) -> PhantomData<B>,

impl<A, B, K: Hash + Eq> AndThen<B> for HashMap<K, A>

fn and_then<F>(self, f: F) -> HashMap<K, B>

where F: FnMut(A) -> HashMap<K, B>,

impl<B, T> AndThen<B> for Option<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B, T> AndThen<B> for Box<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B, T> AndThen<B> for LinkedList<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B, T> AndThen<B> for VecDeque<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B, T> AndThen<B> for Vec<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B, T, E> AndThen<B> for Result<T, E>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B: Ord, T> AndThen<B> for BinaryHeap<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B: Ord, T> AndThen<B> for BTreeSet<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

impl<B: Hash + Eq, T> AndThen<B> for HashSet<T>

fn and_then<F>(self, f: F) -> Self::Target<B>

where F: FnMut(Self::Param) -> Self::Target<B>,

Implementors

impl<A, B, E> AndThen<B> for Validated<A, E>

impl<B, T> AndThen<B> for NEVec<T>