deep_causality 0.13.5

Computational causality library. Provides causality graph, collections, context and causal reasoning.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

/*
 * SPDX-License-Identifier: MIT
 * Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
 */
use crate::{
    CausalMonad, CausalityError, CausalityErrorEnum, EffectLog, EffectValue, PropagatingEffect,
};
use deep_causality_haft::{LogAddEntry, MonadEffect5};

// f(U_smoking) -> Smoking
// Input: Nicotine level (f64)
// Output: High Nicotine (bool)
pub fn smoking_logic(
    nicotine_obs: EffectValue<f64>,
    _state: (),
    _ctx: Option<()>,
) -> PropagatingEffect<bool> {
    let mut log = EffectLog::new();
    let nicotine_val = nicotine_obs.into_value().unwrap_or(0.0);
    let threshold = 0.6;
    let high_nicotine = nicotine_val > threshold;
    log.add_entry(&format!(
        "Nicotine level {} is higher than threshold {}: {}",
        nicotine_val, threshold, high_nicotine
    ));

    let mut effect = CausalMonad::pure(high_nicotine);
    effect.logs = log;
    effect
}

// f(Smoking) -> Tar
// Input: Is Smoking (bool)
// Output: Has Tar (bool)
pub fn tar_logic(
    is_smoking: EffectValue<bool>,
    _state: (),
    _ctx: Option<()>,
) -> PropagatingEffect<bool> {
    let mut log = EffectLog::new();
    let smoking = is_smoking.into_value().unwrap_or(false);
    log.add_entry(&format!("Has tar in lung {}", smoking));

    let mut effect = CausalMonad::pure(smoking);
    effect.logs = log;
    effect
}

pub fn error_logic(
    _val: EffectValue<bool>,
    _state: (),
    _ctx: Option<()>,
) -> PropagatingEffect<bool> {
    let mut log = EffectLog::new();
    log.add_entry("Error logic applied");

    let mut effect = PropagatingEffect::from_error(CausalityError::new(
        CausalityErrorEnum::Custom("Simulated error".to_string()),
    ));
    effect.logs = log;
    effect
}