Type Alias PropagatingEffect 

pub type PropagatingEffect<T> = CausalEffectPropagationProcess<T, (), (), CausalityError, EffectLog>;

A stateless causal effect.

PropagatingEffect is a simplified alias for CausalEffectPropagationProcess that has no state (()) and no context (()). It is ideal for pure functional transformations, data validation, or simple causal chains where history and external configuration are not needed.

It uses CausalityError for error handling and EffectLog for audit logging by default.

Aliased Type

pub struct PropagatingEffect<T> {
    pub value: EffectValue<T>,
    pub state: (),
    pub context: Option<()>,
    pub error: Option<CausalityError>,
    pub logs: EffectLog,
}

Fields

value: EffectValue<T>

The current value of the computation.

state: ()

The current state of the process (e.g., accumulated risk, counters).

context: Option<()>

The optional execution context (e.g., global config, reference data).

error: Option<CausalityError>

The current error state. If Some, new bind operations will skip execution.

logs: EffectLog

The audit log containing the history of operations.