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
Value Domain Summary V0 - Cascade
Context V0 - Cascade
Dimensional Refinement Bridge V0 - M6 #69 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 - 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
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 Projection Entry V0 - Omena
Query Expression Domain Selector Projection V0 - Omena
Query Fragment Bundle V0 - Omena
Resolver Source Resolution Runtime Index V0 - Position
V2 - Provenance
Semiring LawReport V0 - RangeV2
- 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 - String
Type Facts V2 - Style
Analysis Input V2 - Style
Document V2 - Style
Selector V2 - Type
Fact Entry V2
Enums§
- Abstract
Class Value V0 - Abstract
Property Value V0 - Refinement
Property Predicate V0 - Selector
Projection Certainty V0
Constants§
Functions§
- derive_
cascade_ restriction_ maps_ v0 - 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_ provenance_ explanations - summarize_
omena_ query_ expression_ domain_ reduced_ product_ iteration - summarize_
omena_ query_ expression_ domain_ selector_ projection - 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 - verify_
provenance_ semiring_ laws_ on_ fixtures