relmath/prelude.rs
1//! Common imports for relation-first programming.
2
3/// Finite binary relation type.
4pub use crate::core::BinaryRelation;
5/// Deterministic explicit finite carrier distinct from inferred tuple support.
6pub use crate::core::FiniteCarrier;
7/// Deterministic exact grouping of an n-ary relation.
8pub use crate::core::GroupedRelation;
9/// Deterministic exact n-ary relation with a named schema.
10pub use crate::core::NaryRelation;
11/// Finite unary relation type.
12pub use crate::core::UnaryRelation;
13/// Shared exact-support capability for add-on relation surfaces.
14pub use crate::traits::ExactSupport;
15/// Shared trait for finite relations.
16pub use crate::traits::FiniteRelation;
17/// Shared read-only view for deterministic exact relation iteration.
18pub use crate::traits::RelationView;
19/// Shared binary exact-support materialization capability.
20pub use crate::traits::ToExactBinaryRelation;
21/// Shared n-ary exact-support materialization capability.
22pub use crate::traits::ToExactNaryRelation;
23/// Shared unary exact-support materialization capability.
24pub use crate::traits::ToExactUnaryRelation;