Trait FunctorSt 

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

Functor with 'static bounds on type parameters.

This mirrors karpal_core::Functor but adds 'static bounds required by types that use Box<dyn Fn> internally (monad transformers, ReaderF, etc.). Base types that implement Functor can typically implement this trivially because their type parameters often already satisfy 'static (e.g., for owned types).

Required Methods

fn fmap_st<A: 'static, B: 'static>( fa: Self::Of<A>, f: impl Fn(A) -> 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 FunctorSt for IdentityF

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

impl FunctorSt for OptionF

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

impl FunctorSt for VecF

Available on crate features std or alloc only.

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

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

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

Implementors

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

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

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

impl<W: 'static, M: FunctorSt> FunctorSt for WriterTF<W, M>