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 exact grouping of an n-ary relation.
21pub use crate::core::GroupedRelation;
22/// Deterministic exact n-ary relation with a named schema.
23pub use crate::core::NaryRelation;
24/// Errors returned by n-ary relation validation and schema-aware operations.
25pub use crate::core::NaryRelationError;
26/// Finite unary relation type.
27pub use crate::core::UnaryRelation;
28/// Shared trait for finite relations.
29pub use crate::traits::FiniteRelation;