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", so this trait is not object safe.

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>