@tsonic/frontend 0.0.1 → 0.0.2

package/dist/ir/type-converter/patterns.js

@@ -0,0 +1,66 @@
+/**
+ * Binding pattern converter - TypeScript patterns to IR patterns
+ */
+import * as ts from "typescript";
+/**
+ * Convert TypeScript binding name to IR pattern
+ */
+export const convertBindingName = (name) => {
+    if (ts.isIdentifier(name)) {
+        return {
+            kind: "identifierPattern",
+            name: name.text,
+        };
+    }
+    if (ts.isArrayBindingPattern(name)) {
+        return {
+            kind: "arrayPattern",
+            elements: name.elements.map((elem) => {
+                if (ts.isOmittedExpression(elem)) {
+                    return undefined; // Hole in array pattern
+                }
+                if (ts.isBindingElement(elem)) {
+                    return convertBindingName(elem.name);
+                }
+                return undefined;
+            }),
+        };
+    }
+    if (ts.isObjectBindingPattern(name)) {
+        const properties = [];
+        name.elements.forEach((elem) => {
+            if (elem.dotDotDotToken) {
+                // Rest property
+                properties.push({
+                    kind: "rest",
+                    pattern: convertBindingName(elem.name),
+                });
+            }
+            else {
+                const key = elem.propertyName
+                    ? ts.isIdentifier(elem.propertyName)
+                        ? elem.propertyName.text
+                        : elem.propertyName.getText()
+                    : ts.isIdentifier(elem.name)
+                        ? elem.name.text
+                        : "[computed]";
+                properties.push({
+                    kind: "property",
+                    key,
+                    value: convertBindingName(elem.name),
+                    shorthand: !elem.propertyName,
+                });
+            }
+        });
+        return {
+            kind: "objectPattern",
+            properties,
+        };
+    }
+    // Default to identifier pattern (should not reach here normally)
+    return {
+        kind: "identifierPattern",
+        name: "_unknown",
+    };
+};
+//# sourceMappingURL=patterns.js.map

package/dist/ir/type-converter/patterns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../../../src/ir/type-converter/patterns.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAoB,EAAa,EAAE;IACpE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;gBACnC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,OAAO,SAAS,CAAC,CAAC,wBAAwB;gBAC5C,CAAC;gBACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,OAAO,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,UAAU,GAA8B,EAAE,CAAC;QAEjD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,gBAAgB;gBAChB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY;oBAC3B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;wBAClC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI;wBACxB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE;oBAC/B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,YAAY,CAAC;gBAEnB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACpC,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,UAAU;SACX,CAAC;IACJ,CAAC;IAED,iEAAiE;IACjE,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,UAAU;KACjB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/primitives.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Primitive type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript primitive keyword to IR type
+ */
+export declare const convertPrimitiveKeyword: (kind: ts.SyntaxKind) => IrType | null;
+/**
+ * Check if a type name is a primitive type
+ */
+export declare const isPrimitiveTypeName: (typeName: string) => typeName is "string" | "number" | "boolean" | "null" | "undefined";
+/**
+ * Get primitive type IR representation for a type name
+ */
+export declare const getPrimitiveType: (typeName: "string" | "number" | "boolean" | "null" | "undefined") => IrType;
+//# sourceMappingURL=primitives.d.ts.map

package/dist/ir/type-converter/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,MAAM,GAAG,IAuBtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,KACf,QAAQ,IAAI,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAIzD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,KAC/D,MAKF,CAAC"}

package/dist/ir/type-converter/primitives.js

@@ -0,0 +1,47 @@
+/**
+ * Primitive type conversion
+ */
+import * as ts from "typescript";
+/**
+ * Convert TypeScript primitive keyword to IR type
+ */
+export const convertPrimitiveKeyword = (kind) => {
+    switch (kind) {
+        case ts.SyntaxKind.StringKeyword:
+            return { kind: "primitiveType", name: "string" };
+        case ts.SyntaxKind.NumberKeyword:
+            return { kind: "primitiveType", name: "number" };
+        case ts.SyntaxKind.BooleanKeyword:
+            return { kind: "primitiveType", name: "boolean" };
+        case ts.SyntaxKind.NullKeyword:
+            return { kind: "primitiveType", name: "null" };
+        case ts.SyntaxKind.UndefinedKeyword:
+            return { kind: "primitiveType", name: "undefined" };
+        case ts.SyntaxKind.VoidKeyword:
+            return { kind: "voidType" };
+        case ts.SyntaxKind.AnyKeyword:
+            return { kind: "anyType" };
+        case ts.SyntaxKind.UnknownKeyword:
+            return { kind: "unknownType" };
+        case ts.SyntaxKind.NeverKeyword:
+            return { kind: "neverType" };
+        default:
+            return null;
+    }
+};
+/**
+ * Check if a type name is a primitive type
+ */
+export const isPrimitiveTypeName = (typeName) => {
+    return ["string", "number", "boolean", "null", "undefined"].includes(typeName);
+};
+/**
+ * Get primitive type IR representation for a type name
+ */
+export const getPrimitiveType = (typeName) => {
+    return {
+        kind: "primitiveType",
+        name: typeName,
+    };
+};
+//# sourceMappingURL=primitives.js.map

package/dist/ir/type-converter/primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../src/ir/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC5E,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAgB,EACoD,EAAE;IACtE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAClE,QAAQ,CACT,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAAgE,EACxD,EAAE;IACV,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/references.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Reference type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript type reference to IR type
+ * Handles both primitive type names and user-defined types
+ */
+export declare const convertTypeReference: (node: ts.TypeReferenceNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+//# sourceMappingURL=references.d.ts.map

package/dist/ir/type-converter/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAoB,MAAM,aAAa,CAAC;AAIvD;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MA8CF,CAAC"}

package/dist/ir/type-converter/references.js

@@ -0,0 +1,51 @@
+/**
+ * Reference type conversion
+ */
+import * as ts from "typescript";
+import { isPrimitiveTypeName, getPrimitiveType } from "./primitives.js";
+import { getParameterModifierRegistry } from "../../types/parameter-modifiers.js";
+/**
+ * Convert TypeScript type reference to IR type
+ * Handles both primitive type names and user-defined types
+ */
+export const convertTypeReference = (node, checker, convertType) => {
+    const typeName = ts.isIdentifier(node.typeName)
+        ? node.typeName.text
+        : node.typeName.getText();
+    // Check for primitive type names
+    if (isPrimitiveTypeName(typeName)) {
+        return getPrimitiveType(typeName);
+    }
+    // Check for Record<K, V> utility type → convert to IrDictionaryType
+    if (typeName === "Record" && node.typeArguments?.length === 2) {
+        const keyType = convertType(node.typeArguments[0], checker);
+        const valueType = convertType(node.typeArguments[1], checker);
+        return {
+            kind: "dictionaryType",
+            keyType,
+            valueType,
+        };
+    }
+    // Check if this is a parameter modifier type (ref/out/In) from @tsonic/types
+    const registry = getParameterModifierRegistry();
+    const modifierKind = registry.getParameterModifierKind(typeName);
+    if (modifierKind && node.typeArguments && node.typeArguments.length > 0) {
+        // This is ref<T>, out<T>, or In<T> from @tsonic/types
+        // Convert it to a special IR type that preserves the modifier
+        const wrappedType = convertType(node.typeArguments[0], checker);
+        return {
+            kind: "referenceType",
+            name: typeName,
+            typeArguments: [wrappedType],
+            // Add metadata to indicate this is a parameter modifier
+            parameterModifier: modifierKind,
+        };
+    }
+    // Reference type (user-defined or library)
+    return {
+        kind: "referenceType",
+        name: typeName,
+        typeArguments: node.typeArguments?.map((t) => convertType(t, checker)),
+    };
+};
+//# sourceMappingURL=references.js.map

package/dist/ir/type-converter/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,4BAA4B,EAAE,MAAM,oCAAoC,CAAC;AAElF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IAE5B,iCAAiC;IACjC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,oEAAoE;IACpE,IAAI,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QAE/D,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,SAAS;SACU,CAAC;IACxB,CAAC;IAED,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,4BAA4B,EAAE,CAAC;IAChD,MAAM,YAAY,GAAG,QAAQ,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAEjE,IAAI,YAAY,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,sDAAsD;QACtD,8DAA8D;QAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QAEjE,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,wDAAwD;YACxD,iBAAiB,EAAE,YAAY;SACyB,CAAC;IAC7D,CAAC;IAED,2CAA2C;IAC3C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACvE,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/unions-intersections.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Union and intersection type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript union type to IR union type
+ */
+export declare const convertUnionType: (node: ts.UnionTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+/**
+ * Convert TypeScript intersection type to IR intersection type
+ */
+export declare const convertIntersectionType: (node: ts.IntersectionTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+//# sourceMappingURL=unions-intersections.d.ts.map

package/dist/ir/type-converter/unions-intersections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unions-intersections.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/unions-intersections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAKF,CAAC"}

package/dist/ir/type-converter/unions-intersections.js

@@ -0,0 +1,22 @@
+/**
+ * Union and intersection type conversion
+ */
+/**
+ * Convert TypeScript union type to IR union type
+ */
+export const convertUnionType = (node, checker, convertType) => {
+    return {
+        kind: "unionType",
+        types: node.types.map((t) => convertType(t, checker)),
+    };
+};
+/**
+ * Convert TypeScript intersection type to IR intersection type
+ */
+export const convertIntersectionType = (node, checker, convertType) => {
+    return {
+        kind: "intersectionType",
+        types: node.types.map((t) => convertType(t, checker)),
+    };
+};
+//# sourceMappingURL=unions-intersections.js.map

package/dist/ir/type-converter/unions-intersections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unions-intersections.js","sourceRoot":"","sources":["../../../src/ir/type-converter/unions-intersections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAsB,EACtB,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA6B,EAC7B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Type converter - TypeScript types to IR types
+ * Main dispatcher - re-exports from type-converter/ subdirectory
+ */
+export { convertType, convertFunctionType, convertObjectType, convertBindingName, inferType, convertTsTypeToIr, } from "./type-converter/index.js";
+//# sourceMappingURL=type-converter.d.ts.map

package/dist/ir/type-converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-converter.d.ts","sourceRoot":"","sources":["../../src/ir/type-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,iBAAiB,GAClB,MAAM,2BAA2B,CAAC"}

package/dist/ir/type-converter.js

@@ -0,0 +1,6 @@
+/**
+ * Type converter - TypeScript types to IR types
+ * Main dispatcher - re-exports from type-converter/ subdirectory
+ */
+export { convertType, convertFunctionType, convertObjectType, convertBindingName, inferType, convertTsTypeToIr, } from "./type-converter/index.js";
+//# sourceMappingURL=type-converter.js.map

package/dist/ir/type-converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-converter.js","sourceRoot":"","sources":["../../src/ir/type-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,iBAAiB,GAClB,MAAM,2BAA2B,CAAC"}

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, 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,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"}