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 agtype;
14pub mod cancel;
15pub mod doc_set;
16mod float_text;
17pub mod memory;
18pub mod ordering;
19pub mod posting_list;
20pub mod predicate;
21pub mod ranked_view;
22pub mod relation;
23mod relation_identity;
24pub mod types;
25
26pub use cancel::{CancellationToken, QueryCancelled, SQLSTATE_QUERY_CANCELED};
27pub use doc_set::DocSet;
28pub use float_text::format_float_pg;
29pub use posting_list::{GeneralizedPostingList, PostingList};
30pub use predicate::Predicate;
31pub use ranked_view::RankedView;
32pub use relation::{LogSemiring, Relation, RelationEntry, Semiring};
33pub use relation_identity::RelationIdentity;
34pub use types::{
35    jsonb_equality_key, ArrayValue, DecimalValue, DocId, Edge, EdgeId, FieldName,
36    GeneralizedPayload, GeneralizedPostingEntry, IndexStats, PathExpr, PathSegment, Payload,
37    PostingEntry, TemporalValue, TokenOccurrence, TokenOccurrenceError, TokenOffsets, Value,
38    Vertex, VertexId,
39};
40
41mod scored_entry;
42pub use scored_entry::ScoredEntry;
43
44pub mod catalog_acl;
45pub mod catalog_index;
46pub mod catalog_schema;
47pub mod catalog_sequence;
48
49pub mod retrieval;
50pub mod rpq;