Re-exports§
pub use reactive::*;
Modules§
- default_
module_ type_ provider - Default module type provider, ported from DefaultModuleTypeProvider.ts.
- dominator
- Dominator and post-dominator tree computation.
- environment
- environment_
config - Environment configuration, ported from EnvironmentConfigSchema in Environment.ts.
- globals
- Global type registry and built-in shape definitions, ported from Globals.ts.
- object_
shape - Object shapes and function signatures, ported from ObjectShape.ts.
- Shared formatting utilities for HIR debug printing.
- reactive
- Reactive function types — tree representation of a compiled function.
- type_
config - Type configuration types, ported from TypeSchema.ts.
- visitors
Structs§
- Aliasing
Signature - Aliasing signature for function calls.
Ported from TS
AliasingSignatureinAliasingEffects.ts. - Array
Pattern - Basic
Block - A basic block in the CFG
- BlockId
- Builtin
Tag - Case
- Compiler
Diagnostic - A single compiler diagnostic (new-style)
- Declaration
Id - Dependency
Path Entry - Evaluation
Order - Evaluation order assigned to instructions and terminals during numbering. This was previously called InstructionId in the TypeScript compiler.
- Float
Value - Wrapper around f64 that stores raw bytes for deterministic equality and hashing. This allows use in HashMap keys and ensures NaN == NaN (bitwise comparison).
- Function
Id - HIR
- The HIR control-flow graph
- HirFunction
- A function lowered to HIR form
- Identifier
- Identifier
Id - Instruction
- Instruction
Id - Index into the flat instruction table on HirFunction.
- LValue
- LValue
Pattern - Lowered
Function - Manual
Memo Dependency - Mutable
Range - Mutable
Range Id - Object
Pattern - Object
Property - Phi
- Phi node for SSA
- Place
- Position
- Reactive
Scope - Reactive
Scope Declaration - A declaration produced by a reactive scope.
- Reactive
Scope Dependency - A dependency of a reactive scope.
- Reactive
Scope Early Return - Early return value info for a reactive scope.
- ScopeId
- Source
Location - Source location (matches Babel’s SourceLocation format) This is the HIR source location, separate from AST’s BaseNode location. GeneratedSource is represented as None.
- Spread
Pattern - Template
Quasi - TypeId
Enums§
- Aliasing
Effect - Describes the aliasing/mutation/data-flow effects of an instruction or terminal.
Ported from TS
AliasingEffectinAliasingEffects.ts. - Array
Element - Array
Pattern Element - Binary
Operator - Binding
Kind - Block
Kind - Block kinds
- Effect
- Error
Category - Error categories matching the TS ErrorCategory enum
- Function
Expression Type - Goto
Variant - Hole
- Identifier
Name - Instruction
Kind - Instruction
Value - JsxAttribute
- JsxTag
- Logical
Operator - Manual
Memo Dependency Root - Mutation
Reason - Reason for a mutation, used for generating hints (e.g. rename to “Ref”).
- NonLocal
Binding - Object
Property Key - Object
Property OrSpread - Object
Property Type - Param
Pattern - Pattern
- Place
OrSpread - Place
OrSpread OrHole - Combined Place/Spread/Hole for Apply args.
- Primitive
Value - Property
Literal - Property
Name Kind - React
Function Type - Return
Variant - Terminal
- Type
- Unary
Operator - Update
Operator - Variable
Binding
Constants§
- GENERATED_
SOURCE - Sentinel value for generated/synthetic source locations
Functions§
- format_
js_ number - Format an f64 the way JavaScript’s
Number.prototype.toString()does. - is_
array_ type - Returns true if the type is an array.
- is_
jsx_ type - Returns true if the type is JSX.
- is_
map_ type - Returns true if the type is a Map.
- is_
plain_ object_ type - Returns true if the type is a plain object (BuiltInObject).
- is_
primitive_ type - Returns true if the type (looked up via identifier) is primitive.
- is_
props_ type - Returns true if the type is the props object.
- is_
ref_ or_ ref_ like_ mutable_ type - Returns true if the type is a ref or ref-like mutable type (e.g. Reanimated shared values).
- is_
ref_ or_ ref_ value - Returns true if the type is a ref or ref value.
- is_
ref_ value_ type - Returns true if the identifier type is a ref value.
- is_
set_ state_ type - Returns true if the type is a setState function (BuiltInSetState).
- is_
set_ type - Returns true if the type is a Set.
- is_
start_ transition_ type - Returns true if the type is a startTransition function (BuiltInStartTransition).
- is_
use_ effect_ event_ type - Returns true if the type is a useEffectEvent function.
- is_
use_ effect_ hook_ type - Returns true if the type is a useEffect hook.
- is_
use_ insertion_ effect_ hook_ type - Returns true if the type is a useInsertionEffect hook.
- is_
use_ layout_ effect_ hook_ type - Returns true if the type is a useLayoutEffect hook.
- is_
use_ operator_ type - Returns true if the type is the
use()operator (React.use). - is_
use_ ref_ type - Returns true if the identifier type is useRef.
- is_
use_ state_ type - Returns true if the type is a useState result (BuiltInUseState).