@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/types/base.d.ts

@@ -0,0 +1,423 @@
+/**
+ * @module types/base
+ *
+ * AST 和 Core IR 的共享基础类型定义。
+ *
+ * **设计原则**：
+ * - 使用泛型参数处理 AST 和 Core IR 的类型差异
+ * - 所有共享字段定义在基础接口中
+ * - AST 和 Core 通过继承基础类型并特化泛型参数来实现
+ *
+ * **类型参数约定**：
+ * - `SpanType`: AST 使用 Span（行列位置），Core 使用 Origin（文件+位置）
+ * - `EffectType`: AST 使用 string[]，Core 使用 Effect[]
+ * - `ExprType`: AST 和 Core 的表达式类型不同（Core 无 Await）
+ * - `TypeType`: AST 和 Core 的类型节点不同（Core 有 PiiType）
+ */
+import type { Span, Origin } from '../types.js';
+import type { Effect, CapabilityKind } from '../config/semantic.js';
+/**
+ * 类型帮助器：检查类型 T 是否有 'file' 属性。
+ *
+ * @typeParam T - 要检查的类型
+ * @internal
+ */
+export type HasFileProp<T> = 'file' extends keyof T ? true : false;
+/**
+ * 所有 AST 和 Core IR 节点的根接口。
+ *
+ * @typeParam S - Span 类型（AST: Span, Core: Origin）
+ */
+export interface BaseNode<S = Span | Origin> {
+    readonly kind: string;
+    readonly span?: HasFileProp<S> extends true ? never : Span;
+    readonly origin?: HasFileProp<S> extends true ? Origin : never;
+    readonly file?: string | null;
+}
+/**
+ * Import 声明基础接口。
+ */
+export interface BaseImport<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Import';
+    readonly name: string;
+    readonly asName: string | null;
+}
+/**
+ * Data 类型声明基础接口。
+ */
+export interface BaseData<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'Data';
+    readonly name: string;
+    readonly fields: readonly BaseField<T>[];
+}
+/**
+ * 字段基础接口。
+ *
+ * @typeParam T - 类型节点类型（AST: Type, Core: Core.Type）
+ */
+export interface BaseField<T = unknown> {
+    readonly name: string;
+    readonly type: T;
+}
+/**
+ * Enum 声明基础接口。
+ */
+export interface BaseEnum<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Enum';
+    readonly name: string;
+    readonly variants: readonly string[];
+}
+/**
+ * Module 模块基础接口。
+ */
+export interface BaseModule<S = Span | Origin, D = unknown> extends BaseNode<S> {
+    readonly kind: 'Module';
+    readonly name: string | null;
+    readonly decls: readonly D[];
+}
+/**
+ * 函数声明基础接口。
+ *
+ * @typeParam S - Span 类型
+ * @typeParam E - Effect 类型（AST: string[], Core: Effect[]）
+ * @typeParam T - Type 节点类型
+*/
+export interface BaseFunc<S = Span | Origin, E = string[] | readonly Effect[], T = unknown> extends BaseNode<S> {
+    readonly kind: 'Func';
+    readonly name: string;
+    readonly typeParams: readonly string[];
+    readonly params: readonly BaseParameter<T>[];
+    readonly effects: E;
+    readonly effectCaps: readonly CapabilityKind[];
+    readonly effectCapsExplicit: boolean;
+}
+/**
+ * 参数基础接口。
+ */
+export interface BaseParameter<T = unknown> {
+    readonly name: string;
+    readonly type: T;
+}
+/**
+ * Let 绑定基础接口。
+ */
+export interface BaseLet<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Let';
+    readonly name: string;
+    readonly expr: Expr;
+}
+/**
+ * Set 赋值基础接口。
+ */
+export interface BaseSet<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Set';
+    readonly name: string;
+    readonly expr: Expr;
+}
+/**
+ * Return 语句基础接口。
+ */
+export interface BaseReturn<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Return';
+    readonly expr: Expr;
+}
+/**
+ * Block 基础接口。
+ */
+export interface BaseBlock<S = Span | Origin, Stmt = unknown> extends BaseNode<S> {
+    readonly kind: 'Block';
+    readonly statements: readonly Stmt[];
+}
+/**
+ * Scope 作用域基础接口。
+ */
+export interface BaseScope<S = Span | Origin, Stmt = unknown> extends BaseNode<S> {
+    readonly kind: 'Scope';
+    readonly statements: readonly Stmt[];
+}
+/**
+ * If 语句基础接口。
+ */
+export interface BaseIf<S = Span | Origin, Expr = unknown, Block = unknown> extends BaseNode<S> {
+    readonly kind: 'If';
+    readonly cond: Expr;
+    readonly thenBlock: Block;
+    readonly elseBlock: Block | null;
+}
+/**
+ * Match 语句基础接口。
+ */
+export interface BaseMatch<S = Span | Origin, Expr = unknown, Case = unknown> extends BaseNode<S> {
+    readonly kind: 'Match';
+    readonly expr: Expr;
+    readonly cases: readonly Case[];
+}
+/**
+ * Case 分支基础接口。
+ */
+export interface BaseCase<S = Span | Origin, Pat = unknown, Body = unknown> extends BaseNode<S> {
+    readonly kind: 'Case';
+    readonly pattern: Pat;
+    readonly body: Body;
+}
+/**
+ * Start 异步任务基础接口。
+ */
+export interface BaseStart<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Start';
+    readonly name: string;
+    readonly expr: Expr;
+}
+/**
+ * Wait 等待基础接口。
+ */
+export interface BaseWait<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Wait';
+    readonly names: readonly string[];
+}
+/**
+ * Workflow 语句基础接口。
+ */
+export interface BaseWorkflow<S = Span | Origin, StepStmt = unknown, Retry = unknown, Timeout = unknown> extends BaseNode<S> {
+    readonly kind: 'workflow';
+    readonly steps: readonly StepStmt[];
+    readonly retry?: Retry;
+    readonly timeout?: Timeout;
+}
+/**
+ * Step 语句基础接口。
+ */
+export interface BaseStep<S = Span | Origin, Block = unknown> extends BaseNode<S> {
+    readonly kind: 'step';
+    readonly name: string;
+    readonly body: Block;
+    readonly dependencies: readonly string[];
+    readonly compensate?: Block;
+}
+/**
+ * RetryPolicy 基础接口。
+ */
+export interface BaseRetryPolicy {
+    readonly maxAttempts: number;
+    readonly backoff: 'exponential' | 'linear';
+}
+/**
+ * Timeout 基础接口。
+ */
+export interface BaseTimeout {
+    readonly milliseconds: number;
+}
+/**
+ * Null 模式基础接口。
+ */
+export interface BasePatternNull<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'PatternNull' | 'PatNull';
+}
+/**
+ * 构造器模式基础接口。
+ */
+export interface BasePatternCtor<S = Span | Origin, Pat = unknown> extends BaseNode<S> {
+    readonly kind: 'PatternCtor' | 'PatCtor';
+    readonly typeName: string;
+    readonly names: readonly string[];
+    readonly args?: readonly Pat[];
+}
+/**
+ * 名称模式基础接口。
+ */
+export interface BasePatternName<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'PatternName' | 'PatName';
+    readonly name: string;
+}
+/**
+ * 整数模式基础接口。
+ */
+export interface BasePatternInt<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'PatternInt' | 'PatInt';
+    readonly value: number;
+}
+/**
+ * 名称表达式基础接口。
+ */
+export interface BaseName<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Name';
+    readonly name: string;
+}
+/**
+ * 布尔字面量基础接口。
+ */
+export interface BaseBool<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Bool';
+    readonly value: boolean;
+}
+/**
+ * 整数字面量基础接口。
+ */
+export interface BaseInt<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Int';
+    readonly value: number;
+}
+/**
+ * Long 字面量基础接口。
+ *
+ * **注意**: value 使用 string 类型存储以避免 JavaScript number 的精度损失。
+ * Long 字面量可能超过 Number.MAX_SAFE_INTEGER (2^53-1)，例如 Long.MAX_VALUE (2^63-1)。
+ */
+export interface BaseLong<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Long';
+    readonly value: string;
+}
+/**
+ * 浮点数字面量基础接口。
+ */
+export interface BaseDouble<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Double';
+    readonly value: number;
+}
+/**
+ * 字符串字面量基础接口。
+ */
+export interface BaseString<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'String';
+    readonly value: string;
+}
+/**
+ * Null 字面量基础接口。
+ */
+export interface BaseNull<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'Null';
+}
+/**
+ * 函数调用基础接口。
+ */
+export interface BaseCall<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Call';
+    readonly target: Expr;
+    readonly args: readonly Expr[];
+}
+/**
+ * Lambda 表达式基础接口。
+ */
+export interface BaseLambda<S = Span | Origin, T = unknown, Block = unknown> extends BaseNode<S> {
+    readonly kind: 'Lambda';
+    readonly params: readonly BaseParameter<T>[];
+    readonly retType: T;
+    readonly body: Block;
+}
+/**
+ * 构造器表达式基础接口。
+ */
+export interface BaseConstruct<S = Span | Origin, Field = unknown> extends BaseNode<S> {
+    readonly kind: 'Construct';
+    readonly typeName: string;
+    readonly fields: readonly Field[];
+}
+/**
+ * 构造器字段基础接口。
+ */
+export interface BaseConstructField<Expr = unknown> {
+    readonly name: string;
+    readonly expr: Expr;
+}
+/**
+ * Ok 表达式基础接口。
+ */
+export interface BaseOk<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Ok';
+    readonly expr: Expr;
+}
+/**
+ * Err 表达式基础接口。
+ */
+export interface BaseErr<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Err';
+    readonly expr: Expr;
+}
+/**
+ * Some 表达式基础接口。
+ */
+export interface BaseSome<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Some';
+    readonly expr: Expr;
+}
+/**
+ * None 表达式基础接口。
+ */
+export interface BaseNone<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'None';
+}
+/**
+ * Await 表达式基础接口。
+ */
+export interface BaseAwait<S = Span | Origin, Expr = unknown> extends BaseNode<S> {
+    readonly kind: 'Await';
+    readonly expr: Expr;
+}
+/**
+ * 类型名称基础接口。
+ */
+export interface BaseTypeName<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'TypeName';
+    readonly name: string;
+}
+/**
+ * 类型变量基础接口。
+ */
+export interface BaseTypeVar<S = Span | Origin> extends BaseNode<S> {
+    readonly kind: 'TypeVar';
+    readonly name: string;
+}
+/**
+ * 类型应用基础接口。
+ */
+export interface BaseTypeApp<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'TypeApp';
+    readonly base: string;
+    readonly args: readonly T[];
+}
+/**
+ * Maybe 类型基础接口。
+ */
+export interface BaseMaybe<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'Maybe';
+    readonly type: T;
+}
+/**
+ * Option 类型基础接口。
+ */
+export interface BaseOption<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'Option';
+    readonly type: T;
+}
+/**
+ * Result 类型基础接口。
+ */
+export interface BaseResult<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'Result';
+    readonly ok: T;
+    readonly err: T;
+}
+/**
+ * List 类型基础接口。
+ */
+export interface BaseList<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'List';
+    readonly type: T;
+}
+/**
+ * Map 类型基础接口。
+ */
+export interface BaseMap<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'Map';
+    readonly key: T;
+    readonly val: T;
+}
+/**
+ * 函数类型基础接口。
+ */
+export interface BaseFuncType<S = Span | Origin, T = unknown> extends BaseNode<S> {
+    readonly kind: 'FuncType';
+    readonly params: readonly T[];
+    readonly ret: T;
+}
+//# sourceMappingURL=base.d.ts.map

package/dist/src/types/base.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"base.d.ts","sourceRoot":"","sources":["../../../src/types/base.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAMpE;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,MAAM,SAAS,MAAM,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEnE;;;;GAIG;AAEH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,MAAM,GAAG,KAAK,CAAC;IAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AAMD;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;CAC1C;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,OAAO;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;CAC9B;AAED;;;;;;EAME;AACF,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7G,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,OAAO;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAMD;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAChF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,IAAI,EAAE,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,IAAI,EAAE,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,EAAE,KAAK,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7F,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC/F,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,GAAG,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY,CAC3B,CAAC,GAAG,IAAI,GAAG,MAAM,EACjB,QAAQ,GAAG,OAAO,EAClB,KAAK,GAAG,OAAO,EACf,OAAO,GAAG,OAAO,CACjB,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,KAAK,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,aAAa,GAAG,QAAQ,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAMD;;GAEG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,GAAG,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACpF,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,QAAQ,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAMD;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,KAAK,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9F,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,KAAK,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACpF,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAAC,IAAI,GAAG,OAAO;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAMD;;GAEG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACjE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC9E,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACf,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC1E,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;CACjB"}

package/dist/src/types/base.js

@@ -0,0 +1,18 @@
+/**
+ * @module types/base
+ *
+ * AST 和 Core IR 的共享基础类型定义。
+ *
+ * **设计原则**：
+ * - 使用泛型参数处理 AST 和 Core IR 的类型差异
+ * - 所有共享字段定义在基础接口中
+ * - AST 和 Core 通过继承基础类型并特化泛型参数来实现
+ *
+ * **类型参数约定**：
+ * - `SpanType`: AST 使用 Span（行列位置），Core 使用 Origin（文件+位置）
+ * - `EffectType`: AST 使用 string[]，Core 使用 Effect[]
+ * - `ExprType`: AST 和 Core 的表达式类型不同（Core 无 Await）
+ * - `TypeType`: AST 和 Core 的类型节点不同（Core 有 PiiType）
+ */
+export {};
+//# sourceMappingURL=base.js.map

package/dist/src/types/base.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"base.js","sourceRoot":"","sources":["../../../src/types/base.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG"}