Trait ChainSt 

pub trait ChainSt: FunctorSt {
    // Required method
    fn chain_st<A: 'static, B: 'static>(
        fa: Self::Of<A>,
        f: impl Fn(A) -> Self::Of<B> + 'static,
    ) -> Self::Of<B>;
}

Chain (monadic bind) with 'static bounds on type parameters.

Required Methods

fn chain_st<A: 'static, B: 'static>( fa: Self::Of<A>, f: impl Fn(A) -> Self::Of<B> + 'static, ) -> Self::Of<B>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl ChainSt for IdentityF

fn chain_st<A: 'static, B: 'static>(fa: A, f: impl Fn(A) -> B + 'static) -> B

impl ChainSt for OptionF

fn chain_st<A: 'static, B: 'static>( fa: Option<A>, f: impl Fn(A) -> Option<B> + 'static, ) -> Option<B>

impl ChainSt for VecF

Available on crate features std or alloc only.

fn chain_st<A: 'static, B: 'static>( fa: Vec<A>, f: impl Fn(A) -> Vec<B> + 'static, ) -> Vec<B>

impl<E: 'static> ChainSt for ResultF<E>

fn chain_st<A: 'static, B: 'static>( fa: Result<A, E>, f: impl Fn(A) -> Result<B, E> + 'static, ) -> Result<B, E>

Implementors

impl<E: 'static, M: ChainSt + ApplicativeSt> ChainSt for ExceptTF<E, M>

impl<E: Clone + 'static, M: ChainSt + 'static> ChainSt for ReaderTF<E, M>

impl<S: Clone + 'static, M: ChainSt + 'static> ChainSt for StateTF<S, M>

impl<W: Semigroup + Clone + 'static, M: ChainSt + FunctorSt> ChainSt for WriterTF<W, M>