Structs§
- Binding
Id - Local identity inside one HIR assembly.
- Binding
Name - Binding
Resolution - Builtin
Id - Call
Resolution - Captured
Binding - Class
Argument Block - Class
Enumeration - Class
Event - ClassId
- Local identity inside one HIR assembly.
- Class
Method - Class
Property - Class
Resolution - DefPath
- Stable qualified semantic identity for a package/module/item path.
- DimSymbol
- Entrypoint
Id - Local identity inside one HIR assembly.
- Entrypoint
Name - Entrypoint
Policy - ExprId
- Local identity inside one HIR assembly.
- Function
Abi - Function
ArgSize Spec - Function
Argument Validation - Function
Id - Local identity inside one HIR assembly.
- Function
Modifiers - Function
Name - Function
Resolution - Future
Fact - HirAssembly
- Canonical semantic HIR product for one compiled source set.
- HirBinding
- Semantic binding identity for a name owned by a module or function.
- HirBlock
- HirCall
- Call expression with a semantic callee reference and source syntax marker.
- HirClass
- Semantic class metadata owned by the assembly.
- HirCommand
Call - HirDiagnostic
- HirDiagnostic
Note - HirDiagnostic
Span - HirDiagnostic
Suggestion - HirEntrypoint
- HirError
- HirExpr
- HirFunction
- Uniform executable representation for MATLAB functions and generated entrypoints.
- HirImport
- HirIndex
- HirModule
- Source unit metadata plus references to module-owned semantic items.
- HirStmt
- Import
Resolution - Indexing
Semantics - Lowering
Context - Lowering
Result - Member
Name - Method
Attributes - Method
Id - Method
Name - Module
Id - Local identity inside one HIR assembly.
- Output
Target List - Package
Name - Place
Mutation - Property
Attributes - Qualified
Name - Reference
Resolution - Source
Id - Local identity inside one HIR assembly.
- StmtId
- Local identity inside one HIR assembly.
- String
Literal - Symbol
Name - Task
Handle Fact - Tensor
Type Fact
Enums§
- Assignment
Creation Policy - Assignment
Shape Policy - Async
Value Fact - Binding
Owner - Binding
Role - Binding
Storage - Call
Kind - Call
Syntax - Callable
Fallback Policy - Callable
Identity - Class
Kind - Command
Argument - DefPath
Segment - DimFact
- Empty
Array Role - Entrypoint
Origin - Environment
Effect - Expansion
Semantics - Function
ArgDefault Value - Function
ArgDim - Function
ArgValidator - Function
Handle Target - Function
Kind - Future
State Fact - HirCallable
Ref - HirDiagnostic
Severity - HirExpr
Kind - HirPlace
- HirStmt
Kind - Index
Component - Index
Kind - Index
Result Context - Member
Access - Numeric
Class - Numeric
Domain - Operator
Kind - Output
Target - Place
Mutation Kind - Reference
Kind - Requested
Output Count - Shape
Fact - Source
Unit Kind - Spawn
Safety Fact - Spawn
Safety Reason - Tensor
Element Domain Fact - Type
- Enhanced type system used throughout RunMat for HIR and builtin functions Designed to mirror Value variants for better type inference and LSP support
- Type
Fact - Value
Flow Fact - Workspace
Effect - Workspace
Export Policy - Workspace
Visibility
Constants§
- ASSIGNIN_
BUILTIN_ NAME - AWAIT_
EXTENSION_ NAME - DISCARD_
OUTPUT_ NAME - EVALIN_
BUILTIN_ NAME - EVAL_
BUILTIN_ NAME - FEVAL_
BUILTIN_ NAME - NARGINCHK_
BUILTIN_ NAME - NARGIN_
BUILTIN_ NAME - NARGOUTCHK_
BUILTIN_ NAME - NARGOUT_
BUILTIN_ NAME - RUN_
BUILTIN_ NAME - SPAWN_
EXTENSION_ NAME - TEST_
CLASS_ REGISTRATION_ BUILTIN_ NAME