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/// Traits shared by relation types.
14pub mod traits;
15
16/// Finite binary relation type.
17pub use crate::core::BinaryRelation;
18/// Deterministic exact grouping of an n-ary relation.
19pub use crate::core::GroupedRelation;
20/// Deterministic exact n-ary relation with a named schema.
21pub use crate::core::NaryRelation;
22/// Errors returned by n-ary relation validation and schema-aware operations.
23pub use crate::core::NaryRelationError;
24/// Finite unary relation type.
25pub use crate::core::UnaryRelation;
26/// Shared trait for finite relations.
27pub use crate::traits::FiniteRelation;