Expand description
The Corium query engine: EDN Datalog, Pull, the entity API, and direct
index access, executing on the peer against immutable corium_db::Db
values (see docs/design/query-engine.md).
Re-exports§
pub use crate::cache::QueryCache;pub use crate::entity::Entity;pub use crate::pull::pull;pub use crate::pull::pull_many;
Modules§
- aggregate
- Aggregate evaluation for
:findspecifications. - ast
- Query AST and parsing from EDN forms (map and vector shapes).
- boundary
- Value conversion between engine values and boundary EDN.
- builtins
- The native predicate/function set for query call clauses.
- cache
- Parsed-query cache keyed by the query’s EDN value, as in Datomic.
- edn
- Minimal EDN reader/printer for the query boundary.
- entity
- The lazy entity API: map-like navigation over EAVT.
- exec
- Frame-based query executor.
- plan
- Clause ordering and index selection.
- pull
- The Pull API: declarative hierarchical selection from an entity.
Structs§
- Exec
Options - Options bounding a query execution.
- Exec
Report - Execution telemetry.
Enums§
- QInput
- One query input, positionally matching the query’s
:inspecification. - Query
Error - Query failure.
Functions§
- q
- Runs a query given as an EDN form.
- q_str
- Runs a query given as EDN text.
- run
- Runs a parsed query with options, returning the result and telemetry.
Type Aliases§
- Extern
Call - Resolution hook for predicate/function clause names outside the native
set: given the name and evaluated arguments, returns
Some(result)when the extern resolves the call,Noneto fall through to the canonical unsupported-name error. This is the seam the sandboxed cljrs host wires into (docs/design/query-engine.md, resolution step 2).