Skip to main content

uqa_core/
lib.rs

1//
2// Unified Query Algebra
3//
4// Copyright (c) 2023-2026 Cognica, Inc.
5//
6
7//! Document supports, finite-support relations, posting storage, ranked views,
8//! and shared value types for UQA.
9//!
10//! See `docs/plans/0001-uqa-engine-implementation-plan.md` Section 2.1 for the
11//! algebraic invariants this crate must preserve.
12
13pub mod cancel;
14pub mod doc_set;
15pub mod posting_list;
16pub mod predicate;
17pub mod ranked_view;
18pub mod relation;
19pub mod types;
20
21pub use cancel::{CancellationToken, QueryCancelled, SQLSTATE_QUERY_CANCELED};
22pub use doc_set::DocSet;
23pub use posting_list::{GeneralizedPostingList, PostingList};
24pub use predicate::Predicate;
25pub use ranked_view::RankedView;
26pub use relation::{LogSemiring, Relation, RelationEntry, Semiring};
27pub use types::{
28    jsonb_equality_key, ArrayValue, DecimalValue, DocId, Edge, EdgeId, FieldName,
29    GeneralizedPayload, GeneralizedPostingEntry, IndexStats, PathExpr, PathSegment, Payload,
30    PostingEntry, TemporalValue, Value, Vertex, VertexId,
31};