Structs§
- Action
Batch - Action
Batch Effect Trigger - Action
Effect Execution Plan - The compiler-owned effect schedule for one completed action batch.
- Effect
- A first-class compiler semantic entity for one
@effect()method. - Effect
Body - An ordered, compiler-owned effect body.
- Effect
Computed Prerequisite Batch - One filtered reference to an existing E9 computed-update batch.
- Effect
Execution Batch - One scheduler-produced terminal batch of effects.
- Effect
Execution Plan - Immutable F9 scheduling product derived from F7, F8, and E9 products.
- Effect
Reactive Analysis - Transitive reactive topology for one valid terminal effect.
- Effect
Semantic Violation - One compiler-owned effect semantic violation with canonical provenance.
- Effect
Statement - One compiler-owned statement belonging to an effect body.
- Effect
Trigger Plan - Initial
Effect Execution Plan - The initial effect schedule, explicitly separated from rendering.
- Unplanned
Effect - An F8-eligible effect whose required computed values cannot be executed.
Enums§
- Effect
Execution Policy - Compiler-owned execution contract for an effect.
- Effect
Render Boundary - The compiler-owned boundary separating initial rendering from effects.
- Effect
Semantic Violation Kind - Unsupported behavior that makes an effect ineligible for later lowering.
- Effect
Statement Kind - Effect
Validation - Compiler classification of an effect’s language-semantic validity.
- Unplanned
Effect Reason - The reason an otherwise eligible effect has no execution batch.
Functions§
- analyze_
effect_ reactivity - Projects existing reactive transitive analysis into effect-keyed records.
- collect_
effects - Collect canonical effect entities in stable semantic-ID order.
- derive_
effect_ trigger_ plan - Panics
- lower_
effect_ bodies - Lower all authored effect bodies to ordered statement records.
- plan_
effect_ execution - Derive minimal, dependency-complete computed prerequisites and terminal effect batches from existing F7, F8, and E9 compiler products.
- validate_
effects - Classifies effect legality from F4 statement facts without adding diagnostics.