Expand description
Document-support, payload, scoring, and fusion operators over posting lists.
Operators form a monoid under composition (Theorem 3.2.3, Paper 1):
every concrete operator’s execute returns a PostingList, and
ComposedOperator is associative with the empty operator as
identity.
Re-exports§
pub use aggregation::AggState;pub use aggregation::AggregateOperator;pub use aggregation::AggregationMonoid;pub use aggregation::AvgMonoid;pub use aggregation::AvgState;pub use aggregation::CountMonoid;pub use aggregation::GroupByOperator;pub use aggregation::MaxMonoid;pub use aggregation::MinMonoid;pub use aggregation::QuantileMonoid;pub use aggregation::SumMonoid;pub use base::ComposedOperator;pub use base::Direction as DeepGraphDirection;pub use base::ExecutionContext;pub use base::GraphNeighborLookup;pub use base::Operator;pub use boolean::ComplementOperator;pub use boolean::IntersectOperator;pub use boolean::UnionOperator;pub use fusion_wrappers::calibrate_query_pool_postings;pub use fusion_wrappers::fit_pool_calibration;pub use fusion_wrappers::AttentionFuser;pub use fusion_wrappers::AttentionFusionOperator;pub use fusion_wrappers::CalibratedVectorOperator;Deprecated pub use fusion_wrappers::LearnedFusionOperator;pub use fusion_wrappers::MultiFieldSearchOperator;pub use fusion_wrappers::QueryPoolVectorScoreOperator;pub use fusion_wrappers::RelevantSampleSplit;pub use hierarchical::eval_path;pub use hierarchical::parse_path;pub use hierarchical::project_paths;pub use hierarchical::unnest_array;pub use hierarchical::AggregationKind as PathAggKind;pub use hierarchical::PathAggregateOperator;pub use hierarchical::PathFilterOperator;pub use hierarchical::PathProjectOperator;pub use hierarchical::UnifiedFilterOperator;pub use hybrid::AdaptivePositiveEvidencePoolOperator;pub use hybrid::BayesianEvidenceFusionOperator;pub use hybrid::FacetVectorOperator;pub use hybrid::HybridTextVectorOperator;pub use hybrid::IndexScanOperator;pub use hybrid::ProbBoolFusionOperator;pub use hybrid::ProbBoolMode as HybridProbBoolMode;pub use hybrid::ProbNotOperator;pub use hybrid::RobustPositiveEvidencePoolOperator;pub use hybrid::SemanticFilterOperator;pub use hybrid::VectorExclusionOperator;pub use multi_stage::Cutoff;pub use multi_stage::MultiStageOperator;pub use primitive::FacetOperator;pub use primitive::FilterOperator;pub use primitive::ScoreOperator;pub use primitive::SpatialWithinOperator;pub use primitive::TermOperator;pub use progressive_fusion::ProgressiveFusionOperator;pub use sparse::SparseThresholdOperator;pub use tree::AttentionFuserDyn;pub use tree::AttentionRef;pub use tree::DeepFusionAggregation;pub use tree::DeepFusionLayer;pub use tree::DeepFusionPoolMethod;pub use tree::EdgeConstraint;pub use tree::EdgePatternIR;pub use tree::ExternalPriorMode;pub use tree::GatingSpec;pub use tree::GraphPatternIR;pub use tree::LearnedFuserDyn;pub use tree::LearnedFusionRef;pub use tree::MultiStageCutoff;pub use tree::MultiStageEntry;pub use tree::OperatorTree;pub use tree::PathWeightPredicate;pub use tree::ProbBoolMode;pub use tree::ProgressiveFusionEntry;pub use tree::ScorerRef;pub use tree::TemporalFilterIR;pub use tree::TextScoringMode;pub use tree::TextTopKPlan;pub use tree::TextTopKStrategy;pub use tree::VertexConstraint;pub use tree::VertexPatternIR;pub use tree::VertexPredicate;pub use vector::CosineProbabilityOperator;pub use vector::KNNOperator;pub use vector::VectorSimilarityOperator;
Modules§
- aggregation
- Aggregation monoids and posting-list aggregate operators.
- base
Operatortrait,ExecutionContextholding storage backends, and the monoidalComposedOperator.- boolean
- Boolean operators: union, intersect, complement.
- fusion_
wrappers - Operator-side facades over attention, learned, multi-field, and calibrated
vector fusion in the
uqa_fusionfamily. - hierarchical
- Hierarchical / nested-document operators (Definitions 5.3.1-5.3.5, Paper 1).
- hybrid
- Hybrid text + vector operators, exact evidence fusion, and robust retrieval pooling.
- multi_
stage - Multi-stage retrieval pipeline (Section 9, Paper 4).
- primitive
- Primitive operators:
TermOperator(Definition 3.1.1),FilterOperator(Definition 3.1.4),FacetOperator(Definition 3.1.5),ScoreOperator(Definition 3.1.6). - progressive_
fusion - Progressive multi-signal fusion (Section 7, Paper 4).
- sparse
- Sparse threshold operator (Section 6.5, Paper 4).
- tree
- Operator tree IR for the planner.
- vector
- Vector similarity and KNN operators.
Enums§
- Path
Segment - One string-key or integer-index step in a hierarchical-document path.
Type Aliases§
- Path
Expr - A path expression - a sequence of
PathSegments navigating a hierarchical document.