Structs§
- Causal
Effect Propagation Process - The fundamental unit of causal computation in DeepCausality.
- Causal
Effect Propagation Process Witness - Causal
Effect System CausalEffectSystemis a marker struct that serves as a concrete instance of theEffect3trait from thedeep_causality_haftcrate.- Causal
Monad CausalMonadis the concrete implementation of theMonadEffect5trait for theCausalSystem. It provides the fundamentalpureandbindoperations that enable monadic programming within the DeepCausality framework.- Causality
Error - The standard error type for DeepCausality operations.
- Control
Flow Builder - Effect
Log - Represents an encapsulated, timestamped log of causal evaluation events.
- Executable
Edge - A simple directed edge stored as an adjacency list.
- Executable
Graph - The finalized artifact ready for execution.
- Executable
Node - A generic wrapper for a causal function. It handles the extraction from the Protocol, execution, and re-wrapping.
- Node
Type - A “Ghost Handle” representing a node in the graph.
The
InandOuttypes are phantom; they carry no runtime weight but prevent invalid connections. - Propagating
Effect Witness - Propagating
Process Witness
Enums§
- Causality
Error Enum - Detailed variants of potential errors in the system.
- Effect
Value - Represents the payload of a propagating effect.
- Graph
Error
Traits§
- Control
Flow Protocol - The fundamental contract for data flowing through the system.
- From
Protocol - Trait to unwrap specific types from the Protocol Enum.
- Intervenable
- Defines the
interveneoperation for a monadic effect system. This trait is intended for causal reasoning systems where counterfactuals are modeled by forcing a value at a specific point in a computation chain. - ToProtocol
- Trait to wrap specific types into the Protocol Enum.
Type Aliases§
- Causaloid
Id - Context
Id - Contextoid
Id - Description
Value - A string value that provides a human-readable description of a Cause or Context
- Float
Type - A type alias for floating point numbers, used for numerical calculations
- Identification
Value - The unique identifier for a Cause or Context in the Causality Graph
- Number
Type - A type alias for unsigned integers, used for numerical counting and indexing
- Numerical
Value - A floating point value that represents a numerical measure
- Propagating
Effect - A stateless causal effect.
- Propagating
Process - A stateful causal process with context.
- TeloidID
- Teloid
Tag