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 json;
18pub mod memory;
19pub mod ordering;
20pub mod posting_list;
21pub mod predicate;
22pub mod ranked_view;
23pub mod relation;
24mod relation_identity;
25pub mod types;
26
27pub use cancel::{CancellationToken, QueryCancelled, SQLSTATE_QUERY_CANCELED};
28pub use doc_set::DocSet;
29pub use float_text::{format_float_pg, format_float_pg_with_control};
30pub use posting_list::{GeneralizedPostingList, PostingList};
31pub use predicate::Predicate;
32pub use ranked_view::RankedView;
33pub use relation::{LogSemiring, Relation, RelationEntry, Semiring};
34pub use relation_identity::RelationIdentity;
35pub use types::{
36    jsonb_equality_key, jsonb_equality_key_with_control, write_jsonb_comparison_key,
37    write_jsonb_equality_key, ArrayAssignmentError, ArrayTraversalError, ArrayValue,
38    BudgetedArrayElements, ControlledArrayElements, DecimalValue, DocId, Edge, EdgeId, FieldName,
39    GeneralizedPayload, GeneralizedPostingEntry, IndexStats, JsonValueDecoder, JsonbKeyError,
40    LegacyVectorKind, LegacyVectorValue, PathExpr, PathSegment, Payload, PostingEntry,
41    TemporalValue, TokenOccurrence, TokenOccurrenceError, TokenOffsets, Value, ValueRetentionError,
42    Vertex, VertexId,
43};
44
45mod scored_entry;
46pub use scored_entry::ScoredEntry;
47
48pub mod catalog_acl;
49pub mod catalog_identity;
50pub mod catalog_index;
51pub mod catalog_role;
52pub mod catalog_schema;
53pub mod catalog_sequence;
54
55pub mod retrieval;
56pub mod rpq;