Crate uqa_core 

Document supports, finite-support relations, posting storage, ranked views, and shared value types for UQA.

See docs/plans/0001-uqa-engine-implementation-plan.md Section 2.1 for the algebraic invariants this crate must preserve.

Re-exports

pub use cancel::CancellationToken;

pub use cancel::QueryCancelled;

pub use cancel::SQLSTATE_QUERY_CANCELED;

pub use doc_set::DocSet;

pub use posting_list::GeneralizedPostingList;

pub use posting_list::PostingList;

pub use predicate::Predicate;

pub use ranked_view::RankedView;

pub use relation::LogSemiring;

pub use relation::Relation;

pub use relation::RelationEntry;

pub use relation::Semiring;

pub use types::jsonb_equality_key;

pub use types::ArrayValue;

pub use types::DecimalValue;

pub use types::DocId;

pub use types::Edge;

pub use types::EdgeId;

pub use types::FieldName;

pub use types::GeneralizedPayload;

pub use types::GeneralizedPostingEntry;

pub use types::IndexStats;

pub use types::PathExpr;

pub use types::PathSegment;

pub use types::Payload;

pub use types::PostingEntry;

pub use types::TemporalValue;

pub use types::Value;

pub use types::Vertex;

pub use types::VertexId;

Modules

cancel

Query cancellation support.

doc_set

Document-id support sets.

posting_list

Payload-bearing posting storage and merge operations.

predicate

Filter predicates evaluated against Value field contents.

ranked_view

Score-ordered views over document-id-ordered posting storage.

relation

Finite-support, document-keyed relations.

types

Core value types for UQA: doc ids, payloads, posting entries, and the dynamic Value used inside payload fields.