Trait ApplicativeSt 

pub trait ApplicativeSt: FunctorSt {
    // Required method
    fn pure_st<A: 'static>(a: A) -> Self::Of<A>;
}

Applicative with 'static bounds on type parameters.

This mirrors karpal_core::Applicative but adds 'static bounds required by types that use Box<dyn Fn> internally (monad transformers, ReaderTF, StateTF, etc.). Clone-requiring cases are handled by standalone helper functions (such as *_t_pure), so pure_st itself only requires A: 'static.

Required Methods

fn pure_st<A: 'static>(a: A) -> Self::Of<A>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl ApplicativeSt for IdentityF

fn pure_st<A: 'static>(a: A) -> A

impl ApplicativeSt for OptionF

fn pure_st<A: 'static>(a: A) -> Option<A>

impl ApplicativeSt for VecF

Available on crate features std or alloc only.

fn pure_st<A: 'static>(a: A) -> Vec<A>

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

fn pure_st<A: 'static>(a: A) -> Result<A, E>

Implementors

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

impl<W: Monoid + 'static, M: ApplicativeSt> ApplicativeSt for WriterTF<W, M>