relmath/traits/mod.rs
1//! Shared traits for relation types and explicit capability boundaries.
2
3mod exact_support;
4mod finite_relation;
5mod relation_view;
6
7/// Shared exact-support and materialization capability traits for add-on
8/// relation surfaces.
9pub use exact_support::{
10 ExactSupport, ToExactBinaryRelation, ToExactNaryRelation, ToExactUnaryRelation,
11};
12/// Shared trait for finite relations.
13pub use finite_relation::FiniteRelation;
14/// Shared read-only view for deterministic exact relation iteration.
15pub use relation_view::RelationView;