Struct PropagatingProcessWitness 

pub struct PropagatingProcessWitness<S, C>(/* private fields */);

Trait Implementations

impl<S, C> Applicative<PropagatingProcessWitness<S, C>> for PropagatingProcessWitness<S, C>

where S: Clone + Default, C: Clone,

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 A: Satisfies<<Self as HKT>::Constraint> + Clone, B: Satisfies<<Self as HKT>::Constraint>, Func: Satisfies<<Self as HKT>::Constraint> + FnMut(A) -> B,

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

impl<S, C> Functor<PropagatingProcessWitness<S, C>> for PropagatingProcessWitness<S, C>

where S: Clone, C: Clone,

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

where A: Satisfies<<Self as HKT>::Constraint>, B: Satisfies<<Self as HKT>::Constraint>, Func: FnOnce(A) -> B,

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

impl<S, C> HKT for PropagatingProcessWitness<S, C>

type Constraint = NoConstraint

The constraint on inner types. Use NoConstraint for fully polymorphic.

type Type<T> = CausalEffectPropagationProcess<T, S, C, CausalityError, EffectLog>

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> Monad<PropagatingProcessWitness<S, C>> for PropagatingProcessWitness<S, C>

where S: Clone + Default, C: Clone,

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

where A: Satisfies<<Self as HKT>::Constraint>, B: Satisfies<<Self as HKT>::Constraint>, 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.

fn join<A>(m_m_a: <F as HKT>::Type<<F as HKT>::Type<A>>) -> <F as HKT>::Type<A>

where A: Satisfies<<F as HKT>::Constraint>, <F as HKT>::Type<A>: Satisfies<<F as HKT>::Constraint>,

Flatten a nested structure into a single layer.

impl<S, C> Pure<PropagatingProcessWitness<S, C>> for PropagatingProcessWitness<S, C>

where S: Clone + Default, C: Clone,

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

where T: Satisfies<<Self as HKT>::Constraint>,

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