relmath/lib.rs
1#![forbid(unsafe_code)]
2#![deny(missing_docs)]
3#![doc = include_str!("../README.md")]
4
5/// Core unary, binary, and n-ary relation types.
6pub mod core;
7/// Prelude with the most commonly used imports.
8pub mod prelude;
9/// Deterministic provenance support for exact facts.
10pub mod provenance;
11/// Traits shared by relation types.
12pub mod traits;
13
14/// Finite binary relation type.
15pub use crate::core::BinaryRelation;
16/// Deterministic exact grouping of an n-ary relation.
17pub use crate::core::GroupedRelation;
18/// Deterministic exact n-ary relation with a named schema.
19pub use crate::core::NaryRelation;
20/// Errors returned by n-ary relation validation and schema-aware operations.
21pub use crate::core::NaryRelationError;
22/// Finite unary relation type.
23pub use crate::core::UnaryRelation;
24/// Shared trait for finite relations.
25pub use crate::traits::FiniteRelation;