Struct CausalEffectPropagationProcessWitness 

pub struct CausalEffectPropagationProcessWitness<S, C, E, L>(/* private fields */);

Trait Implementations

impl<S, C, E, L> Applicative<CausalEffectPropagationProcessWitness<S, C, E, L>> for CausalEffectPropagationProcessWitness<S, C, E, L>

where S: Clone + Default, C: Clone, E: Clone, L: LogAppend + Clone + Default,

fn pure<T>(value: T) -> <Self as HKT>::Type<T>

Lifts a pure value into the minimal applicative context F::Type<T>.

fn apply<A, B, Func>( f_ab: <Self as HKT>::Type<Func>, f_a: <Self as HKT>::Type<A>, ) -> <Self as HKT>::Type<B>

where Func: FnMut(A) -> B, A: Clone,

Applies a function wrapped in a context (f_ab) to a value wrapped in a context (f_a).

impl<S, C, E, L> Functor<CausalEffectPropagationProcessWitness<S, C, E, L>> for CausalEffectPropagationProcessWitness<S, C, E, L>

where S: Clone, C: Clone, E: Clone, L: Clone,

fn fmap<A, B, Func>( m_a: <CausalEffectPropagationProcessWitness<S, C, E, L> as HKT>::Type<A>, f: Func, ) -> <CausalEffectPropagationProcessWitness<S, C, E, L> as HKT>::Type<B>

where Func: FnOnce(A) -> B,

Applies a function f to the value inside the container m_a.

impl<S, C, E, L> HKT for CausalEffectPropagationProcessWitness<S, C, E, L>

type Type<Value> = CausalEffectPropagationProcess<Value, S, C, E, L>

The Generic Associated Type (GAT) that represents the type constructor. The <T> is the “hole” in the type constructor (e.g., Option<T>).

impl<S, C, E, L> HKT5<S, C, E, L> for CausalEffectPropagationProcessWitness<S, C, E, L>

type Type<Value> = CausalEffectPropagationProcess<Value, S, C, E, L>

The GAT that represents the remaining type constructor. The resulting kind is * -> * (one hole <T> remaining).

impl<S, C, E, L> Monad<CausalEffectPropagationProcessWitness<S, C, E, L>> for CausalEffectPropagationProcessWitness<S, C, E, L>

where S: Clone + Default, C: Clone, E: Clone, L: LogAppend + Clone + Default,

fn bind<A, B, Func>( m_a: <Self as HKT>::Type<A>, f: Func, ) -> <Self as HKT>::Type<B>

where Func: FnMut(A) -> <Self as HKT>::Type<B>,

Chains a computation from an effectful value, flattening the result. This is the core sequencing operation of a Monad.