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