Skip to main content Crate deep_causality_core Copy item path Source CausalArrowBuilder A fluent builder over the Causal Arrow engine that hides the nested combinator types. CausalEffectPropagationProcess The fundamental unit of causal computation in DeepCausality. CausalEffectPropagationProcessWitness CausalFlow A fluent flow over the causal monad. State and Context default to (), so CausalFlow<T>
is the stateless form (lowering to [PropagatingEffect]); a non-unit State/Context lowers
to PropagatingProcessError and Log are fixed to CausalityErrorEffectLog CausalLift Lifts a stage function A -> CausalFlow<B, S, C> into a reusable causal arrow. CausalityError The standard error type for DeepCausality operations. EffectLog Represents an encapsulated, timestamped log of causal evaluation events. KleisliCompose Kleisli sequential composition of two causal arrows. PropagatingEffectWitness PropagatingProcessWitness CausalityErrorEnum Detailed variants of potential errors in the system. EffectValue Represents the payload of a propagating effect. Either A value of one of two types, Left(L) or Right(R). Alternatable Marker super-trait indicating that a carrier supports alternation on
all three mutable channels: value, context, and state. AlternatableContext Defines the context-channel alternation operation for a monadic effect
system. AlternatableState Defines the state-channel alternation operation for a monadic effect
system. AlternatableValue Defines the value-channel alternation operation for a monadic effect system. CausalArrow A reusable Kleisli arrow A -> CausalFlow<B, S, C>: the engine’s nameable bound. CausalFlowOut Destructures a causal arrow’s output (CausalFlow<Value, State, Context>) into its parts. CausalMonad The state-threading effect monad for the propagating-effect family. Intervenable Causal-inference vocabulary trait for value substitution on a monadic
effect system. causal_arrow Starts a causal-arrow chain by lifting a stage function A -> CausalFlow<B, S, C>. CausaloidId ContextId ContextoidId DescriptionValue A string value that provides a human-readable description of a Cause or Context FloatType A type alias for floating point numbers, used for numerical calculations IdentificationValue The unique identifier for a Cause or Context in the Causality Graph NumberType A type alias for unsigned integers, used for numerical counting and indexing NumericalValue A floating point value that represents a numerical measure PropagatingEffect A stateless causal effect. PropagatingProcess A stateful causal process with context. TeloidID TeloidTag