Trait rust2fun::and_then::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.

Implementations on Foreign Types

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<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, 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, 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: 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>,

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: 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<A, B> AndThen<B> for PhantomData<A>

fn and_then<F>(self, _f: F) -> PhantomData<B>where F: FnMut(A) -> PhantomData<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> AndThen<B> for VecDeque<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>