@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/ast/ast.js

@@ -0,0 +1,191 @@
+function createEmptySpan() {
+    return {
+        start: { line: 0, col: 0 },
+        end: { line: 0, col: 0 },
+    };
+}
+export const Node = {
+    Module: (name, decls) => ({
+        kind: 'Module',
+        name,
+        decls,
+        span: createEmptySpan(),
+    }),
+    Import: (name, asName) => ({
+        kind: 'Import',
+        name,
+        asName,
+        span: createEmptySpan(),
+    }),
+    Data: (name, fields) => ({
+        kind: 'Data',
+        name,
+        fields,
+        span: createEmptySpan(),
+    }),
+    Enum: (name, variants) => ({
+        kind: 'Enum',
+        name,
+        variants,
+        span: createEmptySpan(),
+    }),
+    Func: (name, typeParams, params, retType, effects, effectCaps, effectCapsExplicit, body, effectParams) => ({
+        kind: 'Func',
+        name,
+        typeParams,
+        params,
+        retType,
+        effects,
+        effectCaps,
+        effectCapsExplicit,
+        body,
+        ...(effectParams && effectParams.length > 0 ? { effectParams } : {}),
+        span: createEmptySpan(),
+    }),
+    Block: (statements) => ({
+        kind: 'Block',
+        statements,
+        span: createEmptySpan(),
+    }),
+    Let: (name, expr) => ({
+        kind: 'Let',
+        name,
+        expr,
+        span: createEmptySpan(),
+    }),
+    Set: (name, expr) => ({
+        kind: 'Set',
+        name,
+        expr,
+        span: createEmptySpan(),
+    }),
+    Return: (expr) => ({
+        kind: 'Return',
+        expr,
+        span: createEmptySpan(),
+    }),
+    If: (cond, thenBlock, elseBlock) => ({
+        kind: 'If',
+        cond,
+        thenBlock,
+        elseBlock,
+        span: createEmptySpan(),
+    }),
+    Match: (expr, cases) => ({
+        kind: 'Match',
+        expr,
+        cases,
+        span: createEmptySpan(),
+    }),
+    Case: (pattern, body) => ({
+        kind: 'Case',
+        pattern,
+        body,
+        span: createEmptySpan(),
+    }),
+    Start: (name, expr) => ({
+        kind: 'Start',
+        name,
+        expr,
+        span: createEmptySpan(),
+    }),
+    Wait: (names) => ({
+        kind: 'Wait',
+        names,
+        span: createEmptySpan(),
+    }),
+    Workflow: (steps, retry, timeout) => ({
+        kind: 'workflow',
+        steps,
+        ...(retry !== undefined ? { retry } : {}),
+        ...(timeout !== undefined ? { timeout } : {}),
+        span: createEmptySpan(),
+    }),
+    Step: (name, body, compensate, dependencies = []) => ({
+        kind: 'step',
+        name,
+        body,
+        dependencies,
+        ...(compensate !== undefined ? { compensate } : {}),
+        span: createEmptySpan(),
+    }),
+    // Expressions
+    Name: (name) => ({ kind: 'Name', name, span: createEmptySpan() }),
+    Bool: (value) => ({ kind: 'Bool', value, span: createEmptySpan() }),
+    Null: () => ({ kind: 'Null', span: createEmptySpan() }),
+    Int: (value) => ({ kind: 'Int', value, span: createEmptySpan() }),
+    Long: (value) => ({ kind: 'Long', value, span: createEmptySpan() }),
+    Double: (value) => ({ kind: 'Double', value, span: createEmptySpan() }),
+    String: (value) => ({ kind: 'String', value, span: createEmptySpan() }),
+    Call: (target, args) => ({
+        kind: 'Call',
+        target,
+        args,
+        span: createEmptySpan(),
+    }),
+    Construct: (typeName, fields) => ({
+        kind: 'Construct',
+        typeName,
+        fields,
+        span: createEmptySpan(),
+    }),
+    Ok: (expr) => ({ kind: 'Ok', expr, span: createEmptySpan() }),
+    Err: (expr) => ({ kind: 'Err', expr, span: createEmptySpan() }),
+    Some: (expr) => ({ kind: 'Some', expr, span: createEmptySpan() }),
+    None: () => ({ kind: 'None', span: createEmptySpan() }),
+    Lambda: (params, retType, body) => ({
+        kind: 'Lambda',
+        params,
+        retType,
+        body,
+        span: createEmptySpan(),
+    }),
+    Await: (expr) => ({ kind: 'Await', expr, span: createEmptySpan() }),
+    // Types
+    TypeName: (name) => ({ kind: 'TypeName', name, annotations: [], span: createEmptySpan() }),
+    Maybe: (type) => ({ kind: 'Maybe', type, span: createEmptySpan() }),
+    Option: (type) => ({ kind: 'Option', type, span: createEmptySpan() }),
+    Result: (ok, err) => ({
+        kind: 'Result',
+        ok,
+        err,
+        span: createEmptySpan(),
+    }),
+    List: (type) => ({ kind: 'List', type, span: createEmptySpan() }),
+    Map: (key, val) => ({
+        kind: 'Map',
+        key,
+        val,
+        span: createEmptySpan(),
+    }),
+    TypeApp: (base, args) => ({
+        kind: 'TypeApp',
+        base,
+        args,
+        span: createEmptySpan(),
+    }),
+    TypeVar: (name) => ({ kind: 'TypeVar', name, span: createEmptySpan() }),
+    EffectVar: (name) => ({ kind: 'EffectVar', name, span: createEmptySpan() }),
+    TypePii: (baseType, sensitivity, category) => ({
+        kind: 'TypePii',
+        baseType,
+        sensitivity,
+        category,
+        span: createEmptySpan(),
+    }),
+    PatternNull: () => ({ kind: 'PatternNull', span: createEmptySpan() }),
+    PatternCtor: (typeName, names, args) => ({
+        kind: 'PatternCtor',
+        typeName,
+        names,
+        span: createEmptySpan(),
+        ...(args && args.length > 0 ? { args } : {}),
+    }),
+    PatternName: (name) => ({ kind: 'PatternName', name, span: createEmptySpan() }),
+    PatternInt: (value) => ({
+        kind: 'PatternInt',
+        value,
+        span: createEmptySpan(),
+    }),
+};
+//# sourceMappingURL=ast.js.map

package/dist/src/ast/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../src/ast/ast.ts"],"names":[],"mappings":"AAGA,SAAS,eAAe;IACtB,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,MAAM,EAAE,CAAC,IAAmB,EAAE,KAAiC,EAAc,EAAE,CAAC,CAAC;QAC/E,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,MAAM,EAAE,CAAC,IAAY,EAAE,MAAqB,EAAc,EAAE,CAAC,CAAC;QAC5D,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,MAA4B,EAAY,EAAE,CAAC,CAAC;QAC/D,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,QAA2B,EAAY,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,QAAQ;QACR,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,UAA6B,EAC7B,MAAgC,EAChC,OAAiB,EACjB,OAA0B,EAC1B,UAAyC,EACzC,kBAA2B,EAC3B,IAAsB,EACtB,YAAgC,EACtB,EAAE,CAAC,CAAC;QACd,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU;QACV,MAAM;QACN,OAAO;QACP,OAAO;QACP,UAAU;QACV,kBAAkB;QAClB,IAAI;QACJ,GAAG,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,UAAoC,EAAa,EAAE,CAAC,CAAC;QAC3D,IAAI,EAAE,OAAO;QACb,UAAU;QACV,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAW,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAW,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,MAAM,EAAE,CAAC,IAAoB,EAAc,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAoB,EAAE,SAAoB,EAAE,SAA2B,EAAU,EAAE,CAAC,CAAC;QACxF,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,SAAS;QACT,SAAS;QACT,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAoB,EAAE,KAA0B,EAAa,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,OAAoB,EAAE,IAA4B,EAAY,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,MAAM;QACZ,OAAO;QACP,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAa,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,KAAwB,EAAY,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,MAAM;QACZ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,QAAQ,EAAE,CACR,KAA8B,EAC9B,KAAuB,EACvB,OAAqB,EACH,EAAE,CAAC,CAAC;QACtB,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,IAAe,EACf,UAAsB,EACtB,eAAkC,EAAE,EACtB,EAAE,CAAC,CAAC;QAClB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI;QACJ,YAAY;QACZ,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IAEF,cAAc;IACd,IAAI,EAAE,CAAC,IAAY,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACnF,IAAI,EAAE,CAAC,KAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACtF,IAAI,EAAE,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACjE,GAAG,EAAE,CAAC,KAAa,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAClF,IAAI,EAAE,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,MAAM,EAAE,CAAC,KAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,MAAM,EAAE,CAAC,KAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,IAAI,EAAE,CAAC,MAAsB,EAAE,IAA+B,EAAY,EAAE,CAAC,CAAC;QAC5E,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,SAAS,EAAE,CAAC,QAAgB,EAAE,MAAqC,EAAiB,EAAE,CAAC,CAAC;QACtF,IAAI,EAAE,WAAW;QACjB,QAAQ;QACR,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAoB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,GAAG,EAAE,CAAC,IAAoB,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxF,IAAI,EAAE,CAAC,IAAoB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,IAAI,EAAE,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACjE,MAAM,EAAE,CAAC,MAAgC,EAAE,OAAiB,EAAE,IAAe,EAAc,EAAE,CAAC,CAAC;QAC7F,IAAI,EAAE,QAAQ;QACd,MAAM;QACN,OAAO;QACP,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAoB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAE9F,QAAQ;IACR,QAAQ,EAAE,CAAC,IAAY,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAChH,KAAK,EAAE,CAAC,IAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxF,MAAM,EAAE,CAAC,IAAc,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,MAAM,EAAE,CAAC,EAAY,EAAE,GAAa,EAAc,EAAE,CAAC,CAAC;QACpD,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,GAAG;QACH,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,GAAG,EAAE,CAAC,GAAa,EAAE,GAAa,EAAW,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,KAAK;QACX,GAAG;QACH,GAAG;QACH,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAE,IAAyB,EAAe,EAAE,CAAC,CAAC;QAClE,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC5F,SAAS,EAAE,CAAC,IAAY,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAClG,OAAO,EAAE,CACP,QAAkB,EAClB,WAAoC,EACpC,QAA6B,EAChB,EAAE,CAAC,CAAC;QACjB,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IAEF,WAAW,EAAE,GAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACtF,WAAW,EAAE,CACX,QAAgB,EAChB,KAAwB,EACxB,IAA6B,EACZ,EAAE,CAAC,CAAC;QACrB,IAAI,EAAE,aAAa;QACnB,QAAQ;QACR,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;QACvB,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,WAAW,EAAE,CAAC,IAAY,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxG,UAAU,EAAE,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,YAAY;QAClB,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;CACH,CAAC"}

package/dist/src/ast/ast_visitor.d.ts

@@ -0,0 +1,66 @@
+import type { Module, Declaration, Block, Statement, Expression, Pattern, Type, Core } from '../types.js';
+/**
+ * 统一的 AST 遍历器接口与默认实现（只读遍历）。
+ *
+ * - 入口：visitModule/visitDeclaration/visitBlock/visitStatement/visitExpression
+ * - 默认实现执行深度优先递归；子类可覆写特定 visit 方法并调用 super 继续遍历
+ */
+export interface AstVisitor<Ctx, R = void> {
+    visitModule(m: Module, ctx: Ctx): R;
+    visitDeclaration(d: Declaration, ctx: Ctx): R;
+    visitBlock(b: Block, ctx: Ctx): R;
+    visitStatement(s: Statement, ctx: Ctx): R;
+    visitExpression(e: Expression, ctx: Ctx): R;
+    visitPattern?(p: Pattern, ctx: Ctx): R;
+    visitType?(t: Type, ctx: Ctx): R;
+}
+/**
+ * 统一的 Core.Type 遍历器接口。
+ *
+ * 用于遍历 Core.Type 树结构，支持自定义访问逻辑。
+ * 子类可覆写特定 visit 方法并通过 visitType 继续遍历。
+ */
+export interface TypeVisitor<Ctx, R = void> {
+    visitType(t: Core.Type, ctx: Ctx): R;
+    visitTypeVar?(v: Core.TypeVar, ctx: Ctx): R;
+    visitEffectVar?(v: Core.EffectVar, ctx: Ctx): R;
+    visitTypeName?(n: Core.TypeName, ctx: Ctx): R;
+    visitMaybe?(m: Core.Maybe, ctx: Ctx): R;
+    visitOption?(o: Core.Option, ctx: Ctx): R;
+    visitResult?(r: Core.Result, ctx: Ctx): R;
+    visitList?(l: Core.List, ctx: Ctx): R;
+    visitMap?(m: Core.Map, ctx: Ctx): R;
+    visitTypeApp?(a: Core.TypeApp, ctx: Ctx): R;
+    visitFuncType?(f: Core.FuncType, ctx: Ctx): R;
+    visitPiiType?(p: Core.PiiType, ctx: Ctx): R;
+}
+/**
+ * TypeVisitor 的默认实现，执行深度优先递归遍历。
+ *
+ * 子类可覆写特定的 visitXxx 方法来定制行为，
+ * 并通过调用 this.visitType() 继续遍历子类型。
+ */
+export declare class DefaultTypeVisitor<Ctx> implements TypeVisitor<Ctx, void> {
+    visitType(t: Core.Type, ctx: Ctx): void;
+    visitTypeVar?(_v: Core.TypeVar, _ctx: Ctx): void;
+    visitEffectVar?(_v: Core.EffectVar, _ctx: Ctx): void;
+    visitTypeName?(_n: Core.TypeName, _ctx: Ctx): void;
+    visitMaybe?(m: Core.Maybe, ctx: Ctx): void;
+    visitOption?(o: Core.Option, ctx: Ctx): void;
+    visitResult?(r: Core.Result, ctx: Ctx): void;
+    visitList?(l: Core.List, ctx: Ctx): void;
+    visitMap?(m: Core.Map, ctx: Ctx): void;
+    visitTypeApp?(a: Core.TypeApp, ctx: Ctx): void;
+    visitFuncType?(f: Core.FuncType, ctx: Ctx): void;
+    visitPiiType?(p: Core.PiiType, ctx: Ctx): void;
+}
+export declare class DefaultAstVisitor<Ctx> implements AstVisitor<Ctx, void> {
+    visitType?(t: Type, ctx: Ctx): void;
+    visitPattern?(p: Pattern, ctx: Ctx): void;
+    visitModule(m: Module, ctx: Ctx): void;
+    visitDeclaration(d: Declaration, ctx: Ctx): void;
+    visitBlock(b: Block, ctx: Ctx): void;
+    visitStatement(s: Statement, ctx: Ctx): void;
+    visitExpression(e: Expression, ctx: Ctx): void;
+}
+//# sourceMappingURL=ast_visitor.d.ts.map

package/dist/src/ast/ast_visitor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast_visitor.d.ts","sourceRoot":"","sources":["../../../src/ast/ast_visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,KAAK,EACL,SAAS,EACT,UAAU,EACV,OAAO,EACP,IAAI,EACJ,IAAI,EACL,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,MAAM,WAAW,UAAU,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI;IACvC,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IACpC,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC9C,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAClC,cAAc,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC1C,eAAe,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC5C,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IACvC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;CAClC;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI;IACxC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IACrC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC5C,cAAc,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAChD,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC9C,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IACxC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC1C,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC1C,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IACtC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IACpC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC5C,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC9C,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;CAC7C;AAED;;;;;GAKG;AACH,qBAAa,kBAAkB,CAAC,GAAG,CAAE,YAAW,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC;IACpE,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IA4BvC,YAAY,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI;IAIhD,cAAc,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI;IAIpD,aAAa,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI;IAIlD,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAI1C,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAI5C,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAK5C,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAIxC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAKtC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAM9C,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAOhD,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;CAG/C;AAED,qBAAa,iBAAiB,CAAC,GAAG,CAAE,YAAW,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC;IAE3D,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IACnC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAChD,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAItC,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAiBhD,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAIpC,cAAc,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAmC5C,eAAe,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;CA+B/C"}

package/dist/src/ast/ast_visitor.js

@@ -0,0 +1,176 @@
+/**
+ * TypeVisitor 的默认实现，执行深度优先递归遍历。
+ *
+ * 子类可覆写特定的 visitXxx 方法来定制行为，
+ * 并通过调用 this.visitType() 继续遍历子类型。
+ */
+export class DefaultTypeVisitor {
+    visitType(t, ctx) {
+        switch (t.kind) {
+            case 'TypeVar':
+                return this.visitTypeVar?.(t, ctx);
+            case 'EffectVar':
+                return this.visitEffectVar?.(t, ctx);
+            case 'TypeName':
+                return this.visitTypeName?.(t, ctx);
+            case 'Maybe':
+                return this.visitMaybe?.(t, ctx);
+            case 'Option':
+                return this.visitOption?.(t, ctx);
+            case 'Result':
+                return this.visitResult?.(t, ctx);
+            case 'List':
+                return this.visitList?.(t, ctx);
+            case 'Map':
+                return this.visitMap?.(t, ctx);
+            case 'TypeApp':
+                return this.visitTypeApp?.(t, ctx);
+            case 'FuncType':
+                return this.visitFuncType?.(t, ctx);
+            case 'PiiType':
+                return this.visitPiiType?.(t, ctx);
+        }
+    }
+    // 默认实现递归遍历子类型
+    visitTypeVar(_v, _ctx) {
+        // TypeVar 是叶节点，无子类型
+    }
+    visitEffectVar(_v, _ctx) {
+        // EffectVar 是叶节点
+    }
+    visitTypeName(_n, _ctx) {
+        // TypeName 是叶节点，无子类型
+    }
+    visitMaybe(m, ctx) {
+        this.visitType(m.type, ctx);
+    }
+    visitOption(o, ctx) {
+        this.visitType(o.type, ctx);
+    }
+    visitResult(r, ctx) {
+        this.visitType(r.ok, ctx);
+        this.visitType(r.err, ctx);
+    }
+    visitList(l, ctx) {
+        this.visitType(l.type, ctx);
+    }
+    visitMap(m, ctx) {
+        this.visitType(m.key, ctx);
+        this.visitType(m.val, ctx);
+    }
+    visitTypeApp(a, ctx) {
+        for (const arg of a.args) {
+            this.visitType(arg, ctx);
+        }
+    }
+    visitFuncType(f, ctx) {
+        for (const param of f.params) {
+            this.visitType(param, ctx);
+        }
+        this.visitType(f.ret, ctx);
+    }
+    visitPiiType(p, ctx) {
+        this.visitType(p.baseType, ctx);
+    }
+}
+export class DefaultAstVisitor {
+    visitModule(m, ctx) {
+        for (const d of m.decls)
+            this.visitDeclaration(d, ctx);
+    }
+    visitDeclaration(d, ctx) {
+        switch (d.kind) {
+            case 'Import':
+                return;
+            case 'Data':
+                for (const f of d.fields ?? [])
+                    this.visitType?.(f.type, ctx);
+                return;
+            case 'Enum':
+                return;
+            case 'Func':
+                for (const p of d.params)
+                    this.visitType?.(p.type, ctx);
+                this.visitType?.(d.retType, ctx);
+                if (d.body)
+                    this.visitBlock(d.body, ctx);
+                return;
+        }
+    }
+    visitBlock(b, ctx) {
+        for (const s of b.statements)
+            this.visitStatement(s, ctx);
+    }
+    visitStatement(s, ctx) {
+        switch (s.kind) {
+            case 'Let':
+            case 'Set':
+            case 'Return':
+                this.visitExpression(s.expr, ctx);
+                return;
+            case 'If':
+                this.visitExpression(s.cond, ctx);
+                this.visitBlock(s.thenBlock, ctx);
+                if (s.elseBlock)
+                    this.visitBlock(s.elseBlock, ctx);
+                return;
+            case 'Match':
+                this.visitExpression(s.expr, ctx);
+                for (const c of s.cases) {
+                    if (c.pattern)
+                        this.visitPattern?.(c.pattern, ctx);
+                    if (c.body.kind === 'Return')
+                        this.visitExpression(c.body.expr, ctx);
+                    else
+                        this.visitBlock(c.body, ctx);
+                }
+                return;
+            case 'Start':
+                this.visitExpression(s.expr, ctx);
+                return;
+            case 'Wait':
+                return;
+            case 'Block':
+                this.visitBlock(s, ctx);
+                return;
+            default:
+                // AST 的 Statement 联合包含 Expression，直接下派
+                this.visitExpression(s, ctx);
+                return;
+        }
+    }
+    visitExpression(e, ctx) {
+        switch (e.kind) {
+            case 'Name':
+            case 'Bool':
+            case 'Int':
+            case 'Long':
+            case 'Double':
+            case 'String':
+            case 'Null':
+            case 'None':
+                return;
+            case 'Call':
+                this.visitExpression(e.target, ctx);
+                for (const a of e.args)
+                    this.visitExpression(a, ctx);
+                return;
+            case 'Construct':
+                for (const f of e.fields)
+                    this.visitExpression(f.expr, ctx);
+                return;
+            case 'Ok':
+            case 'Err':
+            case 'Some':
+                this.visitExpression(e.expr, ctx);
+                return;
+            case 'Lambda':
+                this.visitBlock(e.body, ctx);
+                return;
+            case 'Await':
+                this.visitExpression(e.expr, ctx);
+                return;
+        }
+    }
+}
+//# sourceMappingURL=ast_visitor.js.map

package/dist/src/ast/ast_visitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast_visitor.js","sourceRoot":"","sources":["../../../src/ast/ast_visitor.ts"],"names":[],"mappings":"AAgDA;;;;;GAKG;AACH,MAAM,OAAO,kBAAkB;IAC7B,SAAS,CAAC,CAAY,EAAE,GAAQ;QAC9B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,CAAiB,EAAE,GAAG,CAAC,CAAC;YACrD,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC,CAAmB,EAAE,GAAG,CAAC,CAAC;YACzD,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,CAAkB,EAAE,GAAG,CAAC,CAAC;YACvD,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC,CAAe,EAAE,GAAG,CAAC,CAAC;YACjD,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,CAAgB,EAAE,GAAG,CAAC,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,CAAgB,EAAE,GAAG,CAAC,CAAC;YACnD,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC,CAAc,EAAE,GAAG,CAAC,CAAC;YAC/C,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAa,EAAE,GAAG,CAAC,CAAC;YAC7C,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,CAAiB,EAAE,GAAG,CAAC,CAAC;YACrD,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,CAA6B,EAAE,GAAG,CAAC,CAAC;YAClE,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,CAAiB,EAAE,GAAG,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,cAAc;IACd,YAAY,CAAE,EAAgB,EAAE,IAAS;QACvC,oBAAoB;IACtB,CAAC;IAED,cAAc,CAAE,EAAkB,EAAE,IAAS;QAC3C,iBAAiB;IACnB,CAAC;IAED,aAAa,CAAE,EAAiB,EAAE,IAAS;QACzC,qBAAqB;IACvB,CAAC;IAED,UAAU,CAAE,CAAa,EAAE,GAAQ;QACjC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,WAAW,CAAE,CAAc,EAAE,GAAQ;QACnC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,WAAW,CAAE,CAAc,EAAE,GAAQ;QACnC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,SAAS,CAAE,CAAY,EAAE,GAAQ;QAC/B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,QAAQ,CAAE,CAAW,EAAE,GAAQ;QAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,YAAY,CAAE,CAAe,EAAE,GAAQ;QACrC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,aAAa,CAAE,CAAgB,EAAE,GAAQ;QACvC,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,YAAY,CAAE,CAAe,EAAE,GAAQ;QACrC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;CACF;AAED,MAAM,OAAO,iBAAiB;IAI5B,WAAW,CAAC,CAAS,EAAE,GAAQ;QAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACzD,CAAC;IAED,gBAAgB,CAAC,CAAc,EAAE,GAAQ;QACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO;YACT,KAAK,MAAM;gBACT,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE;oBAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC9D,OAAO;YACT,KAAK,MAAM;gBACT,OAAO;YACT,KAAK,MAAM;gBACT,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACxD,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACjC,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACzC,OAAO;QACX,CAAC;IACH,CAAC;IAED,UAAU,CAAC,CAAQ,EAAE,GAAQ;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;YAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC;IAED,cAAc,CAAC,CAAY,EAAE,GAAQ;QACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,QAAQ;gBACX,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAClC,OAAO;YACT,KAAK,IAAI;gBACP,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAClC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAClC,IAAI,CAAC,CAAC,SAAS;oBAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBACnD,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBACxB,IAAI,CAAC,CAAC,OAAO;wBAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;oBACnD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;;wBAChE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAClC,OAAO;YACT,KAAK,MAAM;gBACT,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACxB,OAAO;YACT;gBACE,uCAAuC;gBACvC,IAAI,CAAC,eAAe,CAAC,CAA0B,EAAE,GAAG,CAAC,CAAC;gBACtD,OAAO;QACX,CAAC;IACH,CAAC;IAED,eAAe,CAAC,CAAa,EAAE,GAAQ;QACrC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM,CAAC;YACZ,KAAK,KAAK,CAAC;YACX,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM;gBACT,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACrD,OAAO;YACT,KAAK,WAAW;gBACd,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC5D,OAAO;YACT,KAAK,IAAI,CAAC;YACV,KAAK,KAAK,CAAC;YACX,KAAK,MAAM;gBACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAClC,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC7B,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAClC,OAAO;QACX,CAAC;IACH,CAAC;CACF"}

package/dist/src/ast/index.d.ts

@@ -0,0 +1,13 @@
+/**
+ * @module ast
+ *
+ * AST（抽象语法树）模块。
+ *
+ * 包含：
+ * - AST 节点构造器 (Node)
+ * - AST 访问者模式 (AstVisitor, DefaultAstVisitor)
+ */
+export { Node } from './ast.js';
+export { DefaultAstVisitor, DefaultTypeVisitor } from './ast_visitor.js';
+export type { AstVisitor, TypeVisitor } from './ast_visitor.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/ast/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ast/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACzE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/ast/index.js

@@ -0,0 +1,12 @@
+/**
+ * @module ast
+ *
+ * AST（抽象语法树）模块。
+ *
+ * 包含：
+ * - AST 节点构造器 (Node)
+ * - AST 访问者模式 (AstVisitor, DefaultAstVisitor)
+ */
+export { Node } from './ast.js';
+export { DefaultAstVisitor, DefaultTypeVisitor } from './ast_visitor.js';
+//# sourceMappingURL=index.js.map

package/dist/src/ast/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ast/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/cli/commands/ai-generate.d.ts

@@ -0,0 +1,39 @@
+/**
+ * AI Generate 命令選項
+ */
+export interface AIGenerateOptions {
+    /**
+     * LLM Provider（openai 或 anthropic）
+     */
+    provider?: 'openai' | 'anthropic';
+    /**
+     * 模型名稱
+     */
+    model?: string;
+    /**
+     * 輸出文件路徑（如果不指定則輸出到控制台）
+     */
+    output?: string;
+    /**
+     * 溫度參數（0.0 - 1.0）
+     */
+    temperature?: number;
+    /**
+     * Few-shot 示例數量
+     */
+    fewShotCount?: number;
+    /**
+     * 是否使用緩存
+     */
+    useCache?: boolean;
+}
+/**
+ * AI Generate 命令實現
+ *
+ * 從英文描述生成 Aster CNL 代碼
+ *
+ * @param description - 英文描述（用戶需求）
+ * @param options - 命令選項
+ */
+export declare function aiGenerateCommand(description: string, options: AIGenerateOptions): Promise<void>;
+//# sourceMappingURL=ai-generate.d.ts.map

package/dist/src/cli/commands/ai-generate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai-generate.d.ts","sourceRoot":"","sources":["../../../../src/cli/commands/ai-generate.ts"],"names":[],"mappings":"AAUA;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC;IAElC;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf;;OAEG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB;;OAEG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAqBD;;;;;;;GAOG;AACH,wBAAsB,iBAAiB,CACrC,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAiHf"}