Structsยง
- BTree
Map ๐ - An ordered map based on a B-Tree.
- Block ๐
- Runtime statement block.
- Builder
EnvCursor ๐ - Frontend
Node ๐Index - Side-table index of frontend nodes discovered in deterministic traversal order.
- Function
Decl ๐ - Runtime function declaration.
- ItemId ๐
- Stable frontend item identifier.
- Meta
Block ๐ - Meta statement block.
- Meta
Expr ๐Semantic Entry - Meta
Function ๐Decl - Meta function declaration.
- Meta
Stmt ๐Semantic Entry - Named
Expr ๐Field - Named field value in a struct literal.
- Program ๐
- Whole parsed frontend program.
Enumsยง
- CallArg ๐
- Function call argument.
- Code
Value ๐ - Expr ๐
- Runtime expression.
- Frontend
Parent ๐ - Parent reference for a frontend node in deterministic traversal order.
- Meta
Eval Error - Meta-evaluation error produced while expanding
metacode. - Meta
Expr ๐ - Meta expression.
- Meta
Match ๐Pattern - Meta match pattern.
- Meta
Stmt ๐ - Meta statement.
- Meta
Value ๐ - Quoted
Code ๐ - Quoted code fragment.
- Stmt ๐
- Runtime statement.
- Template
Meta Binding - Compile-time runtime-template binding supplied during elaboration.
- Type
Expr ๐ - Type syntax shared across frontend stages.
Functionsยง
- build_
meta_ ๐function_ table - expand_
function ๐ - expand_
function_ template_ instance - Expand one instantiated runtime template function using provided meta bindings.
- expand_
function_ ๐with_ env - expand_
program - Expand all runtime-visible meta code in a frontend program.
- expand_
runtime_ ๐block - expected_
builder_ ๐type - first_
semantic_ ๐issue_ for_ runtime_ function - match_
cannot_ ๐succeed - match_
requires_ ๐code_ but_ cannot_ have_ code - meta_
arg_ ๐kind_ matches - meta_
arg_ ๐kind_ name - meta_
eval_ ๐error_ from_ semantic_ issue - meta_
expr_ ๐belongs_ to_ item - meta_
stmt_ ๐belongs_ to_ item - resolved_
name_ ๐kind - should_
defer_ ๐runtime_ meta - staged_
builtin_ ๐arg_ mismatch - template_
binding_ ๐to_ meta_ value
Type Aliasesยง
- Runtime
Scope ๐