Expand description
Token-only IKL — the single retrieval language, an s-expression over the postings store.
Ported 1:1 from the TS tokenql.ts evaluator:
<atom> a tag or glob pattern → UNION of matching tokens’ postings, ∩ scope
(and A B …) → ∩ (also the default for a bare list)
(or A B …) → ∪
(not A) → scope − A (closed-world inversion)
(The num typed range predicate is stubbed here — it belongs to the columnar numeric layer,
which is a separate benchmark; set-algebra is what we’re measuring.)
Enums§
- Node
- Query
Error - Why a query could not be evaluated. Separate from “matched nothing”, which is an answer.
Traits§
Functions§
- evaluate
- Evaluate a query, returning empty on refusal. Kept for callers that cannot act on an error.
- parse
- Parse an s-expression. Atoms stay strings;
"quoted atoms"keep spaces. - try_
evaluate - Evaluate a query, surfacing refusals.