icydb-core 0.98.1

IcyDB — A schema-first typed query engine and persistence runtime for Internet Computer canisters
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

//! Module: access
//! Responsibility: access-path contracts, canonicalization, validation, and lowering.
//! Does not own: predicate semantics or index storage internals.
//! Boundary: query planning produces access plans; executor consumes lowered forms.

pub(crate) mod canonical;
pub(in crate::db) mod capabilities;
pub(in crate::db) mod dispatch;
pub(in crate::db) mod execution_contract;
pub(crate) mod lowering;
pub(crate) mod path;
pub(crate) mod plan;
#[cfg(test)]
mod tests;
pub(crate) mod validate;

use crate::value::Value;
pub(crate) use canonical::normalize_access_plan_value;
pub(in crate::db) use capabilities::single_path_capabilities;
pub(in crate::db) use dispatch::{
    AccessPathDispatch, AccessPathKind, AccessPlanDispatch, dispatch_access_plan,
};
pub(in crate::db) use dispatch::{ExecutableAccessPathDispatch, dispatch_executable_access_path};
pub(in crate::db) use execution_contract::{
    AccessPathExecutionKind, AccessRouteClass, AccessStrategy, ExecutableAccessNode,
    ExecutableAccessPath, ExecutableAccessPlan, ExecutionBounds, ExecutionDistinctMode,
    ExecutionOrdering, ExecutionPathPayload,
};
pub(in crate::db) use lowering::{
    LoweredIndexPrefixSpec, LoweredIndexRangeSpec, LoweredKey, lower_index_prefix_specs,
    lower_index_range_specs,
};
pub(crate) use path::{AccessPath, IndexRangePathRef, SemanticIndexRangeSpec};
pub(crate) use plan::{
    AccessPlan, PushdownApplicability, PushdownSurfaceEligibility,
    SecondaryOrderPushdownEligibility, SecondaryOrderPushdownRejection,
};
pub(crate) use validate::{AccessPlanError, validate_access_structure_model};

///
/// AccessKey
///
/// Model-level key literal carried by canonical access plans.
/// Executor runtime boundaries may consume this alias mechanically without
/// taking semantic ownership of the underlying planner value representation.
///

pub(in crate::db) type AccessKey = Value;