relmath/lib.rs
1#![forbid(unsafe_code)]
2#![deny(missing_docs)]
3#![doc = include_str!("../README.md")]
4
5/// Additive annotation domains and deterministic annotated relation support.
6pub mod annotated;
7/// Core unary, binary, and n-ary relation types.
8pub mod core;
9/// Prelude with the most commonly used imports.
10pub mod prelude;
11/// Deterministic provenance support for exact facts.
12pub mod provenance;
13/// Deterministic temporal interval and valid-time foundations.
14pub mod temporal;
15/// Traits shared by relation types.
16pub mod traits;
17
18/// Finite binary relation type.
19pub use crate::core::BinaryRelation;
20/// Deterministic explicit finite carrier distinct from inferred tuple support.
21pub use crate::core::FiniteCarrier;
22/// Deterministic exact grouping of an n-ary relation.
23pub use crate::core::GroupedRelation;
24/// Deterministic exact n-ary relation with a named schema.
25pub use crate::core::NaryRelation;
26/// Errors returned by n-ary relation validation and schema-aware operations.
27pub use crate::core::NaryRelationError;
28/// Finite unary relation type.
29pub use crate::core::UnaryRelation;
30/// Shared exact-support capability for add-on relation surfaces.
31pub use crate::traits::ExactSupport;
32/// Shared trait for finite relations.
33pub use crate::traits::FiniteRelation;
34/// Shared read-only view for deterministic exact relation iteration.
35pub use crate::traits::RelationView;
36/// Shared binary exact-support materialization capability.
37pub use crate::traits::ToExactBinaryRelation;
38/// Shared n-ary exact-support materialization capability.
39pub use crate::traits::ToExactNaryRelation;
40/// Shared unary exact-support materialization capability.
41pub use crate::traits::ToExactUnaryRelation;