@tsonic/frontend 0.0.1 → 0.0.4

package/dist/ir/types/expressions.d.ts

@@ -0,0 +1,164 @@
+/**
+ * Expression types for IR
+ */
+import { IrType } from "./ir-types.js";
+import { IrParameter, IrPattern, IrBinaryOperator, IrAssignmentOperator } from "./helpers.js";
+import { IrBlockStatement } from "./statements.js";
+export type IrExpression = IrLiteralExpression | IrIdentifierExpression | IrArrayExpression | IrObjectExpression | IrFunctionExpression | IrArrowFunctionExpression | IrMemberExpression | IrCallExpression | IrNewExpression | IrThisExpression | IrUpdateExpression | IrUnaryExpression | IrBinaryExpression | IrLogicalExpression | IrConditionalExpression | IrAssignmentExpression | IrTemplateLiteralExpression | IrSpreadExpression | IrAwaitExpression | IrYieldExpression;
+export type IrLiteralExpression = {
+    readonly kind: "literal";
+    readonly value: string | number | boolean | null | undefined;
+    readonly raw?: string;
+    readonly inferredType?: IrType;
+};
+export type IrIdentifierExpression = {
+    readonly kind: "identifier";
+    readonly name: string;
+    readonly inferredType?: IrType;
+    readonly resolvedClrType?: string;
+    readonly resolvedAssembly?: string;
+    readonly csharpName?: string;
+    readonly importedFrom?: {
+        readonly containerName: string;
+        readonly exportName: string;
+        readonly namespace: string;
+    };
+};
+export type IrArrayExpression = {
+    readonly kind: "array";
+    readonly elements: readonly (IrExpression | IrSpreadExpression | undefined)[];
+    readonly inferredType?: IrType;
+};
+export type IrObjectExpression = {
+    readonly kind: "object";
+    readonly properties: readonly IrObjectProperty[];
+    readonly inferredType?: IrType;
+    /** Contextual type for object literals in typed positions (return, assignment, etc.) */
+    readonly contextualType?: IrType;
+};
+export type IrObjectProperty = {
+    readonly kind: "property";
+    readonly key: string | IrExpression;
+    readonly value: IrExpression;
+    readonly shorthand: boolean;
+} | {
+    readonly kind: "spread";
+    readonly expression: IrExpression;
+};
+export type IrFunctionExpression = {
+    readonly kind: "functionExpression";
+    readonly name?: string;
+    readonly parameters: readonly IrParameter[];
+    readonly returnType?: IrType;
+    readonly body: IrBlockStatement;
+    readonly isAsync: boolean;
+    readonly isGenerator: boolean;
+    readonly inferredType?: IrType;
+};
+export type IrArrowFunctionExpression = {
+    readonly kind: "arrowFunction";
+    readonly parameters: readonly IrParameter[];
+    readonly returnType?: IrType;
+    readonly body: IrBlockStatement | IrExpression;
+    readonly isAsync: boolean;
+    readonly inferredType?: IrType;
+};
+export type IrMemberExpression = {
+    readonly kind: "memberAccess";
+    readonly object: IrExpression;
+    readonly property: IrExpression | string;
+    readonly isComputed: boolean;
+    readonly isOptional: boolean;
+    readonly inferredType?: IrType;
+    readonly memberBinding?: {
+        readonly assembly: string;
+        readonly type: string;
+        readonly member: string;
+    };
+};
+export type IrCallExpression = {
+    readonly kind: "call";
+    readonly callee: IrExpression;
+    readonly arguments: readonly (IrExpression | IrSpreadExpression)[];
+    readonly isOptional: boolean;
+    readonly inferredType?: IrType;
+    readonly typeArguments?: readonly IrType[];
+    readonly requiresSpecialization?: boolean;
+    readonly argumentPassing?: readonly ("value" | "ref" | "out" | "in")[];
+};
+export type IrNewExpression = {
+    readonly kind: "new";
+    readonly callee: IrExpression;
+    readonly arguments: readonly (IrExpression | IrSpreadExpression)[];
+    readonly inferredType?: IrType;
+    readonly typeArguments?: readonly IrType[];
+    readonly requiresSpecialization?: boolean;
+};
+export type IrThisExpression = {
+    readonly kind: "this";
+    readonly inferredType?: IrType;
+};
+export type IrUpdateExpression = {
+    readonly kind: "update";
+    readonly operator: "++" | "--";
+    readonly prefix: boolean;
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrUnaryExpression = {
+    readonly kind: "unary";
+    readonly operator: "+" | "-" | "!" | "~" | "typeof" | "void" | "delete";
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrBinaryExpression = {
+    readonly kind: "binary";
+    readonly operator: IrBinaryOperator;
+    readonly left: IrExpression;
+    readonly right: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrLogicalExpression = {
+    readonly kind: "logical";
+    readonly operator: "&&" | "||" | "??";
+    readonly left: IrExpression;
+    readonly right: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrConditionalExpression = {
+    readonly kind: "conditional";
+    readonly condition: IrExpression;
+    readonly whenTrue: IrExpression;
+    readonly whenFalse: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrAssignmentExpression = {
+    readonly kind: "assignment";
+    readonly operator: IrAssignmentOperator;
+    readonly left: IrExpression | IrPattern;
+    readonly right: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrTemplateLiteralExpression = {
+    readonly kind: "templateLiteral";
+    readonly quasis: readonly string[];
+    readonly expressions: readonly IrExpression[];
+    readonly inferredType?: IrType;
+};
+export type IrSpreadExpression = {
+    readonly kind: "spread";
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrAwaitExpression = {
+    readonly kind: "await";
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+};
+export type IrYieldExpression = {
+    readonly kind: "yield";
+    readonly expression?: IrExpression;
+    readonly delegate: boolean;
+    readonly inferredType?: IrType;
+};
+//# sourceMappingURL=expressions.d.ts.map

package/dist/ir/types/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/ir/types/expressions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,EACL,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,oBAAoB,EACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEnD,MAAM,MAAM,YAAY,GACpB,mBAAmB,GACnB,sBAAsB,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,oBAAoB,GACpB,yBAAyB,GACzB,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,kBAAkB,GAClB,iBAAiB,GACjB,kBAAkB,GAClB,mBAAmB,GACnB,uBAAuB,GACvB,sBAAsB,GACtB,2BAA2B,GAC3B,kBAAkB,GAClB,iBAAiB,GACjB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;IAC7D,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,YAAY,CAAC,EAAE;QACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,YAAY,GAAG,kBAAkB,GAAG,SAAS,CAAC,EAAE,CAAC;IAC9E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,wFAAwF;IACxF,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAA;CAAE,CAAC;AAEnE,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAI/B,QAAQ,CAAC,aAAa,CAAC,EAAE;QACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,YAAY,GAAG,kBAAkB,CAAC,EAAE,CAAC;IACnE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC;CACxE,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,YAAY,GAAG,kBAAkB,CAAC,EAAE,CAAC;IACnE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,CAAC;IACxE,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC"}

package/dist/ir/types/expressions.js

@@ -0,0 +1,5 @@
+/**
+ * Expression types for IR
+ */
+export {};
+//# sourceMappingURL=expressions.js.map

package/dist/ir/types/expressions.js.map

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

package/dist/ir/types/guards.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Type guard helper functions
+ */
+import { IrStatement } from "./statements.js";
+import { IrExpression } from "./expressions.js";
+export declare const isStatement: (node: IrStatement | IrExpression) => node is IrStatement;
+export declare const isExpression: (node: IrStatement | IrExpression) => node is IrExpression;
+//# sourceMappingURL=guards.d.ts.map

package/dist/ir/types/guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../../../src/ir/types/guards.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,eAAO,MAAM,WAAW,GACtB,MAAM,WAAW,GAAG,YAAY,KAC/B,IAAI,IAAI,WAuBV,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,MAAM,WAAW,GAAG,YAAY,KAC/B,IAAI,IAAI,YAEV,CAAC"}

package/dist/ir/types/guards.js

@@ -0,0 +1,31 @@
+/**
+ * Type guard helper functions
+ */
+export const isStatement = (node) => {
+    const statementKinds = [
+        "variableDeclaration",
+        "functionDeclaration",
+        "classDeclaration",
+        "interfaceDeclaration",
+        "enumDeclaration",
+        "typeAliasDeclaration",
+        "expressionStatement",
+        "returnStatement",
+        "ifStatement",
+        "whileStatement",
+        "forStatement",
+        "forOfStatement",
+        "switchStatement",
+        "throwStatement",
+        "tryStatement",
+        "blockStatement",
+        "breakStatement",
+        "continueStatement",
+        "emptyStatement",
+    ];
+    return statementKinds.includes(node.kind);
+};
+export const isExpression = (node) => {
+    return !isStatement(node);
+};
+//# sourceMappingURL=guards.js.map

package/dist/ir/types/guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guards.js","sourceRoot":"","sources":["../../../src/ir/types/guards.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgC,EACX,EAAE;IACvB,MAAM,cAAc,GAAa;QAC/B,qBAAqB;QACrB,qBAAqB;QACrB,kBAAkB;QAClB,sBAAsB;QACtB,iBAAiB;QACjB,sBAAsB;QACtB,qBAAqB;QACrB,iBAAiB;QACjB,aAAa;QACb,gBAAgB;QAChB,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,gBAAgB;QAChB,cAAc;QACd,gBAAgB;QAChB,gBAAgB;QAChB,mBAAmB;QACnB,gBAAgB;KACjB,CAAC;IACF,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAgC,EACV,EAAE;IACxB,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC,CAAC"}

package/dist/ir/types/helpers.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Supporting types (patterns, parameters, operators, accessibility, etc.)
+ */
+import { IrType } from "./ir-types.js";
+import { IrExpression } from "./expressions.js";
+export type IrPattern = IrIdentifierPattern | IrArrayPattern | IrObjectPattern;
+export type IrIdentifierPattern = {
+    readonly kind: "identifierPattern";
+    readonly name: string;
+    readonly type?: IrType;
+};
+export type IrArrayPattern = {
+    readonly kind: "arrayPattern";
+    readonly elements: readonly (IrPattern | undefined)[];
+};
+export type IrObjectPattern = {
+    readonly kind: "objectPattern";
+    readonly properties: readonly IrObjectPatternProperty[];
+};
+export type IrObjectPatternProperty = {
+    readonly kind: "property";
+    readonly key: string;
+    readonly value: IrPattern;
+    readonly shorthand: boolean;
+} | {
+    readonly kind: "rest";
+    readonly pattern: IrPattern;
+};
+export type IrTypeParameter = {
+    readonly kind: "typeParameter";
+    readonly name: string;
+    readonly constraint?: IrType;
+    readonly default?: IrType;
+    readonly variance?: "in" | "out";
+    readonly isStructuralConstraint?: boolean;
+    readonly structuralMembers?: readonly IrInterfaceMember[];
+};
+export type IrParameter = {
+    readonly kind: "parameter";
+    readonly pattern: IrPattern;
+    readonly type?: IrType;
+    readonly initializer?: IrExpression;
+    readonly isOptional: boolean;
+    readonly isRest: boolean;
+    readonly passing: "value" | "ref" | "out" | "in";
+};
+export type IrInterfaceMember = IrPropertySignature | IrMethodSignature;
+export type IrPropertySignature = {
+    readonly kind: "propertySignature";
+    readonly name: string;
+    readonly type: IrType;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+};
+export type IrMethodSignature = {
+    readonly kind: "methodSignature";
+    readonly name: string;
+    readonly typeParameters?: readonly IrTypeParameter[];
+    readonly parameters: readonly IrParameter[];
+    readonly returnType?: IrType;
+};
+export type IrAccessibility = "public" | "private" | "protected";
+export type IrBinaryOperator = "+" | "-" | "*" | "/" | "%" | "**" | "==" | "!=" | "===" | "!==" | "<" | ">" | "<=" | ">=" | "<<" | ">>" | ">>>" | "&" | "|" | "^" | "in" | "instanceof";
+export type IrAssignmentOperator = "=" | "+=" | "-=" | "*=" | "/=" | "%=" | "**=" | "<<=" | ">>=" | ">>>=" | "&=" | "|=" | "^=" | "&&=" | "||=" | "??=";
+//# sourceMappingURL=helpers.d.ts.map

package/dist/ir/types/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../src/ir/types/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAMhD,MAAM,MAAM,SAAS,GAAG,mBAAmB,GAAG,cAAc,GAAG,eAAe,CAAC;AAE/E,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,GAAG,SAAS,CAAC,EAAE,CAAC;CACvD,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACzD,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAC/B;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CAAC;AAM3D,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC;IACjC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC3D,CAAC;AAMF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;CAClD,CAAC;AAMF,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,GAAG,iBAAiB,CAAC;AAExE,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAMF,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC;AAEjE,MAAM,MAAM,gBAAgB,GACxB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,KAAK,GACL,GAAG,GACH,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,GAAG,GACH,GAAG,GACH,GAAG,GACH,IAAI,GACJ,YAAY,CAAC;AAEjB,MAAM,MAAM,oBAAoB,GAC5B,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,GACL,MAAM,GACN,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,CAAC"}

package/dist/ir/types/helpers.js

@@ -0,0 +1,5 @@
+/**
+ * Supporting types (patterns, parameters, operators, accessibility, etc.)
+ */
+export {};
+//# sourceMappingURL=helpers.js.map

package/dist/ir/types/helpers.js.map

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

package/dist/ir/types/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * IR types barrel exports
+ * Intermediate Representation (IR) types for Tsonic compiler
+ */
+export type { IrModule, IrImport, IrImportSpecifier, IrExport, } from "./module.js";
+export type { IrStatement, IrVariableDeclaration, IrVariableDeclarator, IrFunctionDeclaration, IrClassDeclaration, IrClassMember, IrMethodDeclaration, IrPropertyDeclaration, IrConstructorDeclaration, IrInterfaceDeclaration, IrEnumDeclaration, IrEnumMember, IrTypeAliasDeclaration, IrExpressionStatement, IrReturnStatement, IrIfStatement, IrWhileStatement, IrForStatement, IrForOfStatement, IrSwitchStatement, IrSwitchCase, IrThrowStatement, IrTryStatement, IrCatchClause, IrBlockStatement, IrBreakStatement, IrContinueStatement, IrEmptyStatement, } from "./statements.js";
+export type { IrExpression, IrLiteralExpression, IrIdentifierExpression, IrArrayExpression, IrObjectExpression, IrObjectProperty, IrFunctionExpression, IrArrowFunctionExpression, IrMemberExpression, IrCallExpression, IrNewExpression, IrThisExpression, IrUpdateExpression, IrUnaryExpression, IrBinaryExpression, IrLogicalExpression, IrConditionalExpression, IrAssignmentExpression, IrTemplateLiteralExpression, IrSpreadExpression, IrAwaitExpression, IrYieldExpression, } from "./expressions.js";
+export type { IrType, IrPrimitiveType, IrReferenceType, IrTypeParameterType, IrArrayType, IrFunctionType, IrObjectType, IrDictionaryType, IrUnionType, IrIntersectionType, IrLiteralType, IrAnyType, IrUnknownType, IrVoidType, IrNeverType, } from "./ir-types.js";
+export type { IrPattern, IrIdentifierPattern, IrArrayPattern, IrObjectPattern, IrObjectPatternProperty, IrTypeParameter, IrParameter, IrInterfaceMember, IrPropertySignature, IrMethodSignature, IrAccessibility, IrBinaryOperator, IrAssignmentOperator, } from "./helpers.js";
+export { isStatement, isExpression } from "./guards.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/ir/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/types/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,YAAY,EACV,QAAQ,EACR,QAAQ,EACR,iBAAiB,EACjB,QAAQ,GACT,MAAM,aAAa,CAAC;AAGrB,YAAY,EACV,WAAW,EACX,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,EACnB,qBAAqB,EACrB,wBAAwB,EACxB,sBAAsB,EACtB,iBAAiB,EACjB,YAAY,EACZ,sBAAsB,EACtB,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACV,YAAY,EACZ,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,EACpB,yBAAyB,EACzB,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAG1B,YAAY,EACV,MAAM,EACN,eAAe,EACf,eAAe,EACf,mBAAmB,EACnB,WAAW,EACX,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,kBAAkB,EAClB,aAAa,EACb,SAAS,EACT,aAAa,EACb,UAAU,EACV,WAAW,GACZ,MAAM,eAAe,CAAC;AAGvB,YAAY,EACV,SAAS,EACT,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,uBAAuB,EACvB,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/dist/ir/types/index.js

@@ -0,0 +1,7 @@
+/**
+ * IR types barrel exports
+ * Intermediate Representation (IR) types for Tsonic compiler
+ */
+// Type guards
+export { isStatement, isExpression } from "./guards.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/types/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwGH,cAAc;AACd,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/dist/ir/types/ir-types.d.ts

@@ -0,0 +1,79 @@
+/**
+ * Type system types for IR (IrType and its variants)
+ */
+import { IrParameter, IrInterfaceMember } from "./helpers.js";
+export type IrType = IrPrimitiveType | IrReferenceType | IrTypeParameterType | IrArrayType | IrFunctionType | IrObjectType | IrDictionaryType | IrUnionType | IrIntersectionType | IrLiteralType | IrAnyType | IrUnknownType | IrVoidType | IrNeverType;
+export type IrPrimitiveType = {
+    readonly kind: "primitiveType";
+    readonly name: "string" | "number" | "boolean" | "null" | "undefined";
+};
+export type IrReferenceType = {
+    readonly kind: "referenceType";
+    readonly name: string;
+    readonly typeArguments?: readonly IrType[];
+    /** Fully-qualified CLR type for imported types (e.g., "MyApp.models.User") */
+    readonly resolvedClrType?: string;
+};
+/**
+ * Type parameter reference (e.g., T in Container<T>)
+ *
+ * This is distinct from IrReferenceType to enable unambiguous detection
+ * of generic type parameters during emission (for null → default conversion).
+ */
+export type IrTypeParameterType = {
+    readonly kind: "typeParameterType";
+    readonly name: string;
+};
+export type IrArrayType = {
+    readonly kind: "arrayType";
+    readonly elementType: IrType;
+};
+export type IrFunctionType = {
+    readonly kind: "functionType";
+    readonly parameters: readonly IrParameter[];
+    readonly returnType: IrType;
+};
+export type IrObjectType = {
+    readonly kind: "objectType";
+    readonly members: readonly IrInterfaceMember[];
+};
+/**
+ * Dictionary/map type for index signatures and Record<K, V>
+ *
+ * Examples:
+ * - `{ [k: string]: T }` → IrDictionaryType { keyType: string, valueType: T }
+ * - `Record<string, T>` → IrDictionaryType { keyType: string, valueType: T }
+ *
+ * Emits to C# Dictionary<TKey, TValue>.
+ * Access should be via indexer `d["key"]` (dot property access will fail in C#).
+ */
+export type IrDictionaryType = {
+    readonly kind: "dictionaryType";
+    readonly keyType: IrType;
+    readonly valueType: IrType;
+};
+export type IrUnionType = {
+    readonly kind: "unionType";
+    readonly types: readonly IrType[];
+};
+export type IrIntersectionType = {
+    readonly kind: "intersectionType";
+    readonly types: readonly IrType[];
+};
+export type IrLiteralType = {
+    readonly kind: "literalType";
+    readonly value: string | number | boolean;
+};
+export type IrAnyType = {
+    readonly kind: "anyType";
+};
+export type IrUnknownType = {
+    readonly kind: "unknownType";
+};
+export type IrVoidType = {
+    readonly kind: "voidType";
+};
+export type IrNeverType = {
+    readonly kind: "neverType";
+};
+//# sourceMappingURL=ir-types.d.ts.map

package/dist/ir/types/ir-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-types.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,WAAW,GACX,cAAc,GACd,YAAY,GACZ,gBAAgB,GAChB,WAAW,GACX,kBAAkB,GAClB,aAAa,GACb,SAAS,GACT,aAAa,GACb,UAAU,GACV,WAAW,CAAC;AAEhB,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,CAAC;CACvE,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,8EAA8E;IAC9E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B,CAAC"}

package/dist/ir/types/ir-types.js

@@ -0,0 +1,5 @@
+/**
+ * Type system types for IR (IrType and its variants)
+ */
+export {};
+//# sourceMappingURL=ir-types.js.map

package/dist/ir/types/ir-types.js.map

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

package/dist/ir/types/module.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Core IR module types (Module, Import, Export)
+ */
+import { IrStatement } from "./statements.js";
+import { IrExpression } from "./expressions.js";
+export type IrModule = {
+    readonly kind: "module";
+    readonly filePath: string;
+    readonly namespace: string;
+    readonly className: string;
+    readonly isStaticContainer: boolean;
+    readonly imports: readonly IrImport[];
+    readonly body: readonly IrStatement[];
+    readonly exports: readonly IrExport[];
+};
+export type IrImport = {
+    readonly kind: "import";
+    readonly source: string;
+    readonly isLocal: boolean;
+    readonly isClr: boolean;
+    readonly specifiers: readonly IrImportSpecifier[];
+    readonly resolvedNamespace?: string;
+    readonly resolvedClrType?: string;
+    readonly resolvedAssembly?: string;
+    readonly targetContainerName?: string;
+};
+export type IrImportSpecifier = {
+    readonly kind: "default";
+    readonly localName: string;
+} | {
+    readonly kind: "namespace";
+    readonly localName: string;
+} | {
+    readonly kind: "named";
+    readonly name: string;
+    readonly localName: string;
+    /** Whether this import is a type (interface/class) - emitted at namespace level in C# */
+    readonly isType?: boolean;
+};
+export type IrExport = {
+    readonly kind: "named";
+    readonly name: string;
+    readonly localName: string;
+} | {
+    readonly kind: "default";
+    readonly expression: IrExpression;
+} | {
+    readonly kind: "declaration";
+    readonly declaration: IrStatement;
+} | {
+    readonly kind: "reexport";
+    readonly name: string;
+    readonly originalName: string;
+    readonly fromModule: string;
+};
+//# sourceMappingURL=module.d.ts.map

package/dist/ir/types/module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../../../src/ir/types/module.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAEpC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAEnC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC1D;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yFAAyF;IACzF,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEN,MAAM,MAAM,QAAQ,GAChB;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;CAAE,GACnE;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC"}

package/dist/ir/types/module.js

@@ -0,0 +1,5 @@
+/**
+ * Core IR module types (Module, Import, Export)
+ */
+export {};
+//# sourceMappingURL=module.js.map

package/dist/ir/types/module.js.map

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