Module reactive 

Reactive function types — tree representation of a compiled function.

ReactiveFunction is derived from the HIR CFG by BuildReactiveFunction. Control flow constructs (if/switch/loops/try) and reactive scopes become nested blocks rather than block references.

Corresponds to the reactive types in HIR.ts.

Structs

PrunedReactiveScopeBlock

ReactiveFunction

Tree representation of a compiled function, converted from the CFG-based HIR. TS: ReactiveFunction in HIR.ts

ReactiveInstruction

TS: ReactiveInstruction

ReactiveLabel

ReactiveScopeBlock

ReactiveSwitchCase

ReactiveTerminalStatement

Enums

ReactiveStatement

TS: ReactiveStatement (discriminated union with ‘kind’ field)

ReactiveTerminal

ReactiveTerminalTargetKind

ReactiveValue

Extends InstructionValue with compound expression types that were separate blocks+terminals in HIR but become nested expressions here. TS: ReactiveValue = InstructionValue | ReactiveLogicalValue | …

Type Aliases

ReactiveBlock

TS: ReactiveBlock = Array