deep_causality/
lib.rs

1/*
2 * SPDX-License-Identifier: MIT
3 * Copyright (c) "2025" . The DeepCausality Authors and Contributors. All Rights Reserved.
4 */
5
6//! DeepCausality is a hyper-geometric computational causality library
7//! that enables fast and deterministic context-aware causal reasoning over complex causality models.
8//!
9//! Why DeepCausality?
10//! * DeepCausality is written in Rust with production-grade safety, reliability, and performance in mind.
11//! * DeepCausality provides recursive causal data structures that concisely express arbitrary complex causal structures.
12//! * DeepCausality enables context awareness across data-like, time-like, space-like, spacetime-like entities stored within (multiple) context-hyper-graphs.
13//! * DeepCausality simplifies modeling of complex tempo-spatial patterns.
14//! * DeepCausality comes with Causal State Machine (CSM)
15//!
16pub mod errors;
17pub mod extensions;
18pub(crate) mod macros;
19pub mod traits;
20pub mod types;
21pub mod utils;
22pub mod utils_test;
23
24//
25// Error types
26//
27pub use crate::errors::*;
28//
29// Traits
30//
31// Adjustable Traits
32pub use crate::traits::adjustable::Adjustable;
33// Assumeable Traits
34pub use crate::traits::assumable::Assumable;
35pub use crate::traits::assumable::AssumableReasoning;
36// Causable Traits
37pub use crate::traits::causable::Causable;
38// Causable Collection Traits
39pub use traits::causable_collection::CausableCollection;
40pub use traits::causable_collection::collection_accessor::CausableCollectionAccessor;
41pub use traits::causable_collection::collection_explaining::CausableCollectionExplaining;
42pub use traits::causable_collection::collection_reasoning::CausableCollectionReasoning;
43// Causable Graph Traits
44pub use crate::traits::causable_graph::graph::CausableGraph;
45pub use crate::traits::causable_graph::graph_explaining::CausableGraphExplaining;
46pub use crate::traits::causable_graph::graph_reasoning::CausableGraphReasoning;
47pub use crate::traits::causable_graph::*;
48// contextuable Traits
49pub use crate::traits::contextuable::Contextuable;
50pub use crate::traits::contextuable::coordinate::Coordinate;
51pub use crate::traits::contextuable::datable::Datable;
52pub use crate::traits::contextuable::metric::Metric;
53pub use crate::traits::contextuable::metric_coordinate::MetricCoordinate;
54pub use crate::traits::contextuable::metric_tensor::MetricTensor4D;
55pub use crate::traits::contextuable::space_temporal::SpaceTemporal;
56pub use crate::traits::contextuable::space_temporal::SpaceTemporalInterval;
57pub use crate::traits::contextuable::spatial::Spatial;
58pub use crate::traits::contextuable::symbolic::Symbolic;
59pub use crate::traits::contextuable::temporal::Temporal;
60// Contextuable Graph Traits
61pub use crate::traits::contextuable_graph::ContextuableGraph;
62pub use crate::traits::contextuable_graph::ExtendableContextuableGraph;
63// Generatable traits
64pub use crate::traits::generatable::Generatable;
65pub use crate::traits::generatable::generative_processor::GenerativeProcessor;
66// Identifiable Traits
67pub use crate::traits::identifiable::Identifiable;
68// Indexable Traits
69pub use crate::traits::indexable::data_index_current::CurrentDataIndex;
70pub use crate::traits::indexable::data_index_previous::PreviousDataIndex;
71pub use crate::traits::indexable::data_indexable::DataIndexable;
72pub use crate::traits::indexable::time_index_current::CurrentTimeIndex;
73pub use crate::traits::indexable::time_index_previous::PreviousTimeIndex;
74pub use crate::traits::indexable::time_indexable::TimeIndexable;
75// Inferable Traits
76pub use crate::traits::inferable::Inferable;
77pub use crate::traits::inferable::InferableReasoning;
78// Observable Traits
79pub use crate::traits::observable::Observable;
80pub use crate::traits::observable::ObservableReasoning;
81// Scalar Traits
82pub use crate::traits::scalar::scalar_projector::ScalarProjector;
83pub use crate::traits::scalar::scalar_value::ScalarValue;
84// Teloid Traits
85pub use crate::traits::telos::deontic_explainable::DeonticExplainable;
86pub use crate::traits::telos::deontic_inferable::DeonticInferable;
87pub use crate::traits::telos::teloid_storable::TeloidStorable;
88pub use crate::traits::telos::teloidable::Teloidable;
89// Transferable Trait
90pub use crate::traits::transferable::Transferable;
91//
92// Types
93//
94// Alias types
95pub use crate::types::alias_types::alias_base::*;
96pub use crate::types::alias_types::alias_csm::*;
97pub use crate::types::alias_types::alias_function::*;
98pub use crate::types::alias_types::alias_lock::*;
99pub use crate::types::alias_types::alias_primitives::*;
100pub use crate::types::alias_types::alias_uniform::*;
101// pub use crate::types::alias_types::*;
102// Causal types
103pub use crate::types::causal_types::causal_type::CausaloidType;
104pub use crate::types::causal_types::causaloid::Causaloid;
105pub use crate::types::causal_types::causaloid_graph::CausaloidGraph;
106pub use crate::types::causal_types::*;
107// Context types
108pub use crate::types::context_types::context_graph;
109pub use crate::types::context_types::context_graph::Context;
110pub use crate::types::context_types::contextoid::contextoid_type::*;
111pub use crate::types::context_types::contextoid::*;
112// Default context node types.
113pub use crate::types::context_node_types::data::Data;
114pub use crate::types::context_node_types::root::Root;
115// Space context node types.
116pub use crate::types::context_node_types::space::ecef_space::EcefSpace;
117pub use crate::types::context_node_types::space::euclidean_space::EuclideanSpace;
118pub use crate::types::context_node_types::space::geo_space::GeoSpace;
119pub use crate::types::context_node_types::space::ned_space::NedSpace;
120pub use crate::types::context_node_types::space::quaternion_space::QuaternionSpace;
121pub use crate::types::context_node_types::space::space_kind::SpaceKind;
122// Space time context node types.
123pub use crate::types::context_node_types::space_time::euclidean_spacetime::EuclideanSpacetime;
124pub use crate::types::context_node_types::space_time::lorentzian_spacetime::LorentzianSpacetime;
125pub use crate::types::context_node_types::space_time::minkowski_spacetime::MinkowskiSpacetime;
126pub use crate::types::context_node_types::space_time::space_time_kind::SpaceTimeKind;
127pub use crate::types::context_node_types::space_time::tangent_spacetime::TangentSpacetime;
128// Symbolic context node types.
129pub use crate::types::context_node_types::symbol::base_symbol::BaseSymbol;
130// pub use crate::types::context_types::node_types::symbol::symbol_kind
131// Symbolic spacetime context node types.
132pub use crate::types::context_node_types::symbol_spacetime::causal_set_spacetime::CausalSetSpacetime;
133pub use crate::types::context_node_types::symbol_spacetime::conformal_spacetime::ConformalSpacetime;
134// Time context node types.
135pub use crate::types::context_node_types::time::discrete_time::DiscreteTime;
136pub use crate::types::context_node_types::time::entropic_time::EntropicTime;
137pub use crate::types::context_node_types::time::euclidean_time::EuclideanTime;
138pub use crate::types::context_node_types::time::lorentzian_time::LorentzianTime;
139pub use crate::types::context_node_types::time::symbolic_time::{SymbolicTime, SymbolicTimeUnit};
140pub use crate::types::context_node_types::time::time_kind::TimeKind;
141// Other context types
142pub use crate::types::context_types::relation_kind::*;
143pub use crate::types::context_types::time_scale::TimeScale;
144// CSM types
145pub use crate::types::csm_types::csm::CSM;
146pub use crate::types::csm_types::csm_action::CausalAction;
147pub use crate::types::csm_types::csm_state::CausalState;
148// Generative types
149pub use crate::types::generative_types::generative_output::GenerativeOutput;
150pub use crate::types::generative_types::generative_trigger::GenerativeTrigger;
151// Model types
152pub use crate::types::model_types::assumption::Assumption;
153pub use crate::types::model_types::inference::Inference;
154pub use crate::types::model_types::model::Model;
155pub use crate::types::model_types::observation::Observation;
156// Reasoning types
157pub use crate::types::reasoning_types::aggregate_logic::AggregateLogic;
158pub use crate::types::reasoning_types::propagating_effect::PropagatingEffect;
159//
160//Symbolic types
161pub use crate::types::symbolic_types::symbolic_representation::SymbolicRepresentation;
162pub use crate::types::symbolic_types::symbolic_result::SymbolicResult;
163//
164// Teloid types
165pub use crate::types::telos_types::action_parameter_value::ActionParameterValue;
166pub use crate::types::telos_types::effect_ethos::EffectEthos;
167pub use crate::types::telos_types::proposed_action::ProposedAction;
168pub use crate::types::telos_types::tag_index::TagIndex;
169pub use crate::types::telos_types::teloid::{Teloid, TeloidMetaData};
170pub use crate::types::telos_types::teloid_graph::*;
171pub use crate::types::telos_types::teloid_modal::TeloidModal;
172pub use crate::types::telos_types::teloid_relation::TeloidRelation;
173pub use crate::types::telos_types::teloid_store::TeloidStore;
174pub use crate::types::telos_types::teloid_verdict::Verdict;
175// Utils
176//
177pub use crate::utils::time_utils::*;
deep_causality/lib.rs

deep_causality/
lib.rs
