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. CausalCommandWitness The HKTCausalCommanddeep_causality_haft::Free. CausalEffect The effect of the effect-propagation process — a value or a command. See the module docs. 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 crate::PropagatingEffectState/Context lowers
to PropagatingProcessError and Log are fixed to CausalityErrorEffectLog CausalLift Lifts a stage function (A, S, Option<C>) -> 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 ReadCsv A deferred action that reads a CSV file into rows of string fields. Performs no IO until run. ReadText A deferred action that reads an entire file to a String. Performs no IO until run. WriteCsv A deferred action that writes a CSV file from pre-rendered fields. Performs no IO until run. WriteText A deferred action that writes contents to a file, creating or truncating it. Performs no IO
until run. The bytes written are exactly contents. CausalCommand The control operation functor f of the adaptive-reasoning free monad. CausalityErrorEnum Detailed variants of potential errors in the system. 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, S, Option<C>) -> 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. causal_arrow Starts a causal-arrow chain by lifting a stage function (A, S, Option<C>) -> CausalFlow<B, S, C>. read_csv Describe reading the CSV file at path into rows of string fields (runs only at the edge). read_text Describe reading the file at path to a String (runs only at the edge). write_csv Describe writing a CSV file at path from a header and pre-rendered rows (runs only at the
edge). Each field is written verbatim; no quoting or escaping is applied. write_text Describe writing contents to the file at path (runs only at the edge). 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