Struct CausalMonad 

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

CausalMonad is the concrete implementation of the MonadEffect5 trait for the CausalSystem. It provides the fundamental pure and bind operations that enable monadic programming within the DeepCausality framework.

This monad is designed to manage the flow of CausalEffectPropagationProcesss, ensuring that errors are handled gracefully and a comprehensive log of operations is maintained.

Trait Implementations

impl<S, C> Clone for CausalMonad<S, C>

where S: Clone, C: Clone,

fn clone(&self) -> CausalMonad<S, C>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S, C> Debug for CausalMonad<S, C>

where S: Debug, C: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<S, C> Default for CausalMonad<S, C>

where S: Default, C: Default,

fn default() -> CausalMonad<S, C>

Returns the “default value” for a type.

impl<S, C> MonadEffect5<CausalSystem<S, C>> for CausalMonad<S, C>

where S: Clone + Default, C: Clone, <CausalSystem<S, C> as Effect5>::HktWitness: Sized + Functor<<CausalSystem<S, C> as Effect5>::HktWitness>,

fn pure<T>( value: T, ) -> CausalEffectPropagationProcess<T, S, C, CausalityError, EffectLog>

Lifts a pure value into an Effect container (arity 5).

fn bind<T, U, Func>( process: CausalEffectPropagationProcess<T, S, C, CausalityError, EffectLog>, f: Func, ) -> CausalEffectPropagationProcess<U, S, C, CausalityError, EffectLog>

where Func: FnMut(T) -> CausalEffectPropagationProcess<U, S, C, CausalityError, EffectLog>, U: Default,

The core sequencing operation for arity 5 effect systems.