Expand description
Zero-erasure typed constraint infrastructure.
This module provides a fully typed constraint evaluation system where all closures are stored as concrete generic types - no Arc, no dyn, fully monomorphized.
§Key Benefits
- No hot-path erasure: Filters and weights are generic type params
- Inline evaluation: No boxing or downcasting per predicate call
- Monomorphized pipelines: Each constraint is fully specialized
Re-exports§
pub use balance::BalanceConstraint;pub use complemented::ComplementedGroupConstraint;pub use cross_bi_incremental::IncrementalCrossBiConstraint;pub use flattened_bi::FlattenedBiConstraint;pub use grouped::GroupedUniConstraint;pub use if_exists::ExistenceMode;pub use if_exists::IfExistsUniConstraint;pub use incremental::IncrementalUniConstraint;pub use nary_incremental::IncrementalBiConstraint;pub use nary_incremental::IncrementalPentaConstraint;pub use nary_incremental::IncrementalQuadConstraint;pub use nary_incremental::IncrementalTriConstraint;
Modules§
- balance
- Zero-erasure balance constraint for load distribution scoring.
- complemented
- Zero-erasure complemented group constraint.
- cross_
bi_ incremental - Incremental cross-bi-constraint for cross-entity join evaluation.
- flattened_
bi - O(1) flattened bi-constraint for cross-entity joins.
- grouped
- Zero-erasure grouped constraint for group-by operations.
- if_
exists - Zero-erasure if_exists/if_not_exists uni-constraint.
- incremental
- Zero-erasure incremental uni-constraint.
- macros
- Macros for reducing boilerplate in N-ary constraint implementations.
- nary_
incremental - Macro-generated N-ary incremental constraints for self-join evaluation.
- shared
- Shared utilities for typed constraints.