deep_causality 0.15.0

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

/*
 * SPDX-License-Identifier: MIT
 * Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
 */
pub(crate) mod sealed;
pub mod stateful;

use crate::{Identifiable, PropagatingEffect};

/// The Causable trait defines the core behavior for all causal elements.
///
/// It requires implementing the Identifiable trait.
///
/// **Sealed:** implementable only inside `deep_causality` — the causal form set is closed at the
/// three `CausaloidType` shapes (the crate-private `sealed` module; tracker #11a).
pub trait Causable: Identifiable + sealed::Sealed {
    /// Determines if the causaloid represents a single, indivisible causal unit.
    ///
    /// This method helps distinguish base-case causaloids from composite structures
    /// like collections or graphs.
    ///
    /// # Returns
    ///
    /// `true` if the implementor is a `Singleton` type, `false` otherwise.
    fn is_singleton(&self) -> bool;
}

/// **Sealed:** implementable only inside `deep_causality` (the crate-private `sealed` module;
/// tracker #11a).
pub trait MonadicCausable<I, O>: sealed::Sealed {
    /// The core monadic bind operation.
    /// Takes a monadic context (the incoming effect), applies the embedded causal logic,
    /// and returns the new monadic context (the outgoing effect).
    fn evaluate(&self, incoming_effect: &PropagatingEffect<I>) -> PropagatingEffect<O>;
}