Expand description
Core query runtime primitives below the public omena-query facade.
This crate owns producer-fragment summaries and expression-domain runtime
state. omena-query re-exports these surfaces, but no longer needs to depend
directly on each lower-level producer crate for this part of the dataflow.
Structs§
- Abstract
Property Value Candidate V0 - Abstract
Property Value Narrowing V0 - Abstract
Value Domain Summary V0 - Cascade
Context V0 - Cascade
Dimensional Refinement Bridge V0 - Bridge between context-indexed property values and refinement facts.
- Cascade
Value Family Member V0 - Class
Expression Input V2 - Class
Value Flow Analysis V0 - Class
Value Flow Incremental Analysis V0 - Engine
Input V2 - Expression
Domain Call Site Flow Analysis V0 - Expression
Domain Control Flow Analysis V0 - Expression
Domain Flow Analysis V0 - Expression
Domain Provenance Explanations V0 - Expression
Domain Reduced Product Iteration V0 - Expression
Semantics Canonical Producer Signal V0 - Expression
Semantics Query Fragments V0 - External
String Type Facts V0 - Incremental
Edit Distance Priority Input V0 - Incremental
Graph Input V0 - Incremental
Invalidation Priority Plan V0 - Incremental
Node Input V0 - Incremental
Revision V0 - Lin01
Provenance Semiring V0 - Linear
Provenance Path V0 - Linear
Provenance V0 - V0 freeze-candidate provenance contract over the existing label vector.
- Natural
Count Provenance Semiring V0 - Omena
Abstract Value Precision Witness V0 - Omena
Incremental Database V0 - Omena
Query Analysis Precision V0 - Omena
Query Analysis Result V0 - Omena
Query Expression Domain Flow Runtime V0 - Omena
Query Expression Domain Incremental Flow Analysis Entry V0 - Omena
Query Expression Domain Incremental Flow Analysis V0 - Omena
Query Expression Domain Selector Precision V0 - Omena
Query Expression Domain Selector Projection Entry V0 - Omena
Query Expression Domain Selector Projection V0 - Omena
Query Fragment Bundle V0 - Omena
Resolver Source Resolution Runtime Index V0 - Omena
Salsa Database V0 - Omena
Workspace Snapshot IdV0 - Polynomial
Provenance Projection V0 - Polynomial
Provenance Term V0 - Polynomial
Provenance V0 - Polynomial
Provenance Variable V0 - Position
V2 - Provenance
Semiring LawReport V0 - RangeV2
- Reduced
Class Value Product Iteration V0 - Reduced
Class Value Product V0 - Selector
Usage Canonical Producer Signal V0 - Selector
Usage Query Fragments V0 - Source
Analysis Input V2 - Source
Document V2 - Source
Resolution Canonical Producer Signal V0 - Source
Resolution Query Fragments V0 - Style
Analysis Input V2 - Style
Document V2 - Style
Selector V2
Enums§
- Abstract
Class Value V0 - Abstract
Property Value V0 - CssValue
Validation Class V0 - Fact
Precision - Omena
Abstract Value Coverage Direction V0 - Omena
Abstract Value Precision Basis V0 - Refinement
Property Predicate V0 - Selector
Projection Certainty V0
Constants§
Functions§
- abstract_
class_ value_ from_ facts - abstract_
class_ value_ kind - canonicalize_
css_ value - derive_
cascade_ restriction_ maps_ v0 - fact_
precision_ from_ analysis_ precision - fact_
precision_ from_ class_ value - fact_
precision_ from_ class_ value_ with_ witness - iterate_
reduced_ class_ value_ product_ constraints - join_
abstract_ class_ values - narrow_
abstract_ property_ value_ for_ cascade_ branch - narrow_
abstract_ property_ value_ for_ pseudo_ state - prefix_
suffix_ class_ value - snapshot_
from_ graph_ input - split_
top_ level_ value_ arguments - split_
top_ level_ whitespace_ value_ components - summarize_
cascade_ dimensional_ refinement_ bridge_ v0 - summarize_
cascade_ value_ family_ v0 - summarize_
omena_ query_ core_ abstract_ value_ domain - summarize_
omena_ query_ expression_ domain_ call_ site_ flow_ analysis - summarize_
omena_ query_ expression_ domain_ control_ flow_ analysis - summarize_
omena_ query_ expression_ domain_ flow_ analysis - summarize_
omena_ query_ expression_ domain_ incremental_ flow_ analysis - summarize_
omena_ query_ expression_ domain_ incremental_ flow_ analysis_ result - summarize_
omena_ query_ expression_ domain_ provenance_ explanations - summarize_
omena_ query_ expression_ domain_ reduced_ product_ iteration - summarize_
omena_ query_ expression_ domain_ selector_ projection - summarize_
omena_ query_ expression_ domain_ selector_ projection_ with_ precision - summarize_
omena_ query_ expression_ semantics_ canonical_ producer_ signal - summarize_
omena_ query_ expression_ semantics_ query_ fragments - summarize_
omena_ query_ fragment_ bundle - summarize_
omena_ query_ selector_ usage_ canonical_ producer_ signal - summarize_
omena_ query_ selector_ usage_ query_ fragments - summarize_
omena_ query_ source_ resolution_ canonical_ producer_ signal - summarize_
omena_ query_ source_ resolution_ query_ fragments - summarize_
omena_ query_ source_ resolution_ runtime - summarize_
polynomial_ provenance_ from_ linear_ v0 - top_
class_ value - validate_
registered_ property_ value_ v0 - verify_
provenance_ semiring_ laws_ on_ fixtures