@mirascript/typed 0.1.78 → 0.1.80

package/dist/simplifier/impl.js

@@ -0,0 +1,51 @@
+import { simplifyIntersection } from './intersection.js';
+import { simplifyUnion } from './union.js';
+import { simplifyRecord } from './record.js';
+import { simplifyTuple } from './tuple.js';
+/** Simplifies a Type AST in place, optionally disabling individual normalization passes. */
+export function simplifyImpl(type, options) {
+    if (typeof type == 'symbol' || typeof type == 'string') {
+        return type;
+    }
+    if (type.kind === 'array') {
+        type.element = simplifyImpl(type.element, options);
+        if (options.normalizeGenericArray && (type.element === 'any' || type.element === 'unknown')) {
+            return 'array';
+        }
+        return type;
+    }
+    if (type.kind === 'function') {
+        for (const param of type.params) {
+            param.type = simplifyImpl(param.type, options);
+        }
+        if (type.returns != null)
+            type.returns = simplifyImpl(type.returns, options);
+        return type;
+    }
+    if (type.kind === 'literal') {
+        return type;
+    }
+    if (type.kind === 'template') {
+        type.parts = type.parts.map((part) => simplifyImpl(part, options));
+        return type;
+    }
+    if (type.kind === 'tuple') {
+        return simplifyTuple(type, options);
+    }
+    if (type.kind === 'reflection') {
+        return type;
+    }
+    if (type.kind === 'record') {
+        return simplifyRecord(type, options);
+    }
+    if (type.kind === 'union') {
+        return simplifyUnion(type, options);
+    }
+    if (type.kind === 'intersection') {
+        return simplifyIntersection(type, options);
+    }
+    /* c8 ignore next 3 */
+    (type);
+    return type;
+}
+//# sourceMappingURL=impl.js.map

package/dist/simplifier/impl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impl.js","sourceRoot":"","sources":["../../src/simplifier/impl.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAK3C,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,IAAU,EAAE,OAA4B;IACjE,IAAI,OAAO,IAAI,IAAI,QAAQ,IAAI,OAAO,IAAI,IAAI,QAAQ,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,qBAAqB,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,EAAE,CAAC;YAC1F,OAAO,OAAO,CAAC;QACnB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI;YAAE,IAAI,CAAC,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACnE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/B,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,sBAAsB;IACtB,CAAC,IAAI,CAAiB,CAAC;IACvB,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/{simplifier.d.ts → simplifier/index.d.ts}

@@ -1,6 +1,5 @@
-import type { Type } from './parser.js';
-/** Top types that can be absorbed / eliminated in simplification. */
-type TopType = 'unknown' | 'never' | 'any';
+import type { Type } from '../parser.js';
+import type { TopType } from './top-type.js';
 /** Controls which type simplifications are applied. */
 export interface SimplifyOptions {
     /** Flatten nested union nodes. */
@@ -44,5 +43,4 @@ export interface SimplifyOptions {
 }
 /** Simplifies a Type AST in place, optionally disabling individual normalization passes. */
 export declare function simplify(type: Type, options?: SimplifyOptions): Type;
-export {};
-//# sourceMappingURL=simplifier.d.ts.map
+//# sourceMappingURL=index.d.ts.map

package/dist/simplifier/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/simplifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,uDAAuD;AACvD,MAAM,WAAW,eAAe;IAC5B,kCAAkC;IAClC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,yCAAyC;IACzC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,mDAAmD;IACnD,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,0DAA0D;IAC1D,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,wCAAwC;IACxC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,+CAA+C;IAC/C,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,4CAA4C;IAC5C,iCAAiC,CAAC,EAAE,OAAO,CAAC;IAC5C,qDAAqD;IACrD,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,sDAAsD;IACtD,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;;OAMG;IACH,wBAAwB,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAAC;IAC/C;;;;;;OAMG;IACH,+BAA+B,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAAC;IACtD,qEAAqE;IACrE,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,gEAAgE;IAChE,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACnC;AAkBD,4FAA4F;AAC5F,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,IAAI,CAGpE"}

package/dist/simplifier/index.js

@@ -0,0 +1,22 @@
+import { simplifyImpl } from './impl.js';
+const DEFAULT_OPTIONS = {
+    flattenUnions: true,
+    flattenIntersections: true,
+    deduplicateUnions: true,
+    deduplicateIntersections: true,
+    unwrapSingleUnion: true,
+    unwrapSingleIntersection: true,
+    distributeIntersectionsOverUnions: true,
+    mergeRecordIntersections: true,
+    expandTupleSpreads: true,
+    simplifyTopTypesInUnions: true,
+    simplifyTopTypesInIntersections: true,
+    normalizeGenericRecord: true,
+    normalizeGenericArray: true,
+};
+/** Simplifies a Type AST in place, optionally disabling individual normalization passes. */
+export function simplify(type, options) {
+    const config = { ...DEFAULT_OPTIONS, ...options };
+    return simplifyImpl(type, config);
+}
+//# sourceMappingURL=index.js.map

package/dist/simplifier/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/simplifier/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AA6CzC,MAAM,eAAe,GAA8B;IAC/C,aAAa,EAAE,IAAI;IACnB,oBAAoB,EAAE,IAAI;IAC1B,iBAAiB,EAAE,IAAI;IACvB,wBAAwB,EAAE,IAAI;IAC9B,iBAAiB,EAAE,IAAI;IACvB,wBAAwB,EAAE,IAAI;IAC9B,iCAAiC,EAAE,IAAI;IACvC,wBAAwB,EAAE,IAAI;IAC9B,kBAAkB,EAAE,IAAI;IACxB,wBAAwB,EAAE,IAAI;IAC9B,+BAA+B,EAAE,IAAI;IACrC,sBAAsB,EAAE,IAAI;IAC5B,qBAAqB,EAAE,IAAI;CAC9B,CAAC;AAEF,4FAA4F;AAC5F,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,OAAyB;IAC1D,MAAM,MAAM,GAAG,EAAE,GAAG,eAAe,EAAE,GAAG,OAAO,EAAE,CAAC;IAClD,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACtC,CAAC"}

package/dist/simplifier/intersection.d.ts

@@ -0,0 +1,5 @@
+import type { IntersectionType, Type } from '../parser.js';
+import { type SimplifyImplOptions } from './impl.js';
+/** Simplifies an intersection type */
+export declare function simplifyIntersection(type: IntersectionType, options: SimplifyImplOptions): Type;
+//# sourceMappingURL=intersection.d.ts.map

package/dist/simplifier/intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../src/simplifier/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAA2B,MAAM,cAAc,CAAC;AAEpF,OAAO,EAAE,KAAK,mBAAmB,EAAgB,MAAM,WAAW,CAAC;AAwEnE,sCAAsC;AACtC,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAqD/F"}

package/dist/simplifier/intersection.js

@@ -0,0 +1,126 @@
+import { deduplicateTypeMembers } from './dedup.js';
+import { simplifyImpl } from './impl.js';
+import { resolveTopTypes } from './top-type.js';
+import { isFieldRecordType, isUnionType, isIntersectionType } from './utils.js';
+/** Merges explicit record fields across an intersection. */
+function mergeRecordFieldIntersections(types) {
+    const merged = new Map();
+    for (const record of types) {
+        for (const field of record.fields) {
+            const prev = merged.get(field.name);
+            if (prev == null) {
+                merged.set(field.name, {
+                    optional: field.optional ?? false,
+                    type: field.type,
+                });
+                continue;
+            }
+            merged.set(field.name, {
+                optional: (prev.optional ?? false) && (field.optional ?? false),
+                type: {
+                    kind: 'intersection',
+                    types: [prev.type, field.type],
+                },
+            });
+        }
+    }
+    return {
+        kind: 'record',
+        fields: Array.from(merged.entries()).map(([name, field]) => ({
+            name,
+            optional: field.optional,
+            type: field.type,
+        })),
+    };
+}
+/** Flattens nested intersection nodes when the corresponding option is enabled. */
+function flattenIntersectionTypes(type, options) {
+    const types = type.types.map((item) => simplifyImpl(item, options));
+    if (!options.flattenIntersections)
+        return types;
+    const result = [];
+    for (const type of types) {
+        if (isIntersectionType(type)) {
+            result.push(...flattenIntersectionTypes(type, options));
+        }
+        else {
+            result.push(type);
+        }
+    }
+    return result;
+}
+/** Distributes intersections over unions using a cartesian product. */
+function distributeIntersectionsOverUnions(types, options) {
+    let combinations = [[]];
+    for (const type of types) {
+        const choices = isUnionType(type) ? type.types : [type];
+        const next = [];
+        for (const combo of combinations) {
+            for (const choice of choices) {
+                next.push([...combo, choice]);
+            }
+        }
+        combinations = next;
+    }
+    const opt = { ...options, distributeIntersectionsOverUnions: false };
+    const branches = combinations.map((combination) => simplifyImpl({ kind: 'intersection', types: combination }, opt));
+    if (branches.length === 1)
+        return branches[0];
+    return { kind: 'union', types: branches };
+}
+/** Simplifies an intersection type */
+export function simplifyIntersection(type, options) {
+    let simplifiedTypes = flattenIntersectionTypes(type, options);
+    // Top-type elimination: never & T → never, T & unknown → T, T & any → T
+    const topTypes = resolveTopTypes(options.simplifyTopTypesInIntersections);
+    if (topTypes.length > 0) {
+        const typeNames = new Set(simplifiedTypes.filter((t) => typeof t === 'string'));
+        if (topTypes.includes('never') && typeNames.has('never'))
+            return 'never';
+        let filtered = false;
+        if (topTypes.includes('unknown') && typeNames.has('unknown')) {
+            simplifiedTypes = simplifiedTypes.filter((t) => t !== 'unknown');
+            filtered = true;
+        }
+        if (topTypes.includes('any') && typeNames.has('any')) {
+            simplifiedTypes = simplifiedTypes.filter((t) => t !== 'any');
+            filtered = true;
+        }
+        if (filtered) {
+            if (simplifiedTypes.length === 1)
+                return simplifiedTypes[0];
+            if (simplifiedTypes.length === 0) {
+                // All members were the same eliminated top type
+                return typeNames.has('any') ? 'any' : 'unknown';
+            }
+        }
+    }
+    if (options.deduplicateIntersections) {
+        simplifiedTypes = deduplicateTypeMembers(simplifiedTypes);
+    }
+    if (options.distributeIntersectionsOverUnions && simplifiedTypes.some(isUnionType)) {
+        return distributeIntersectionsOverUnions(simplifiedTypes, options);
+    }
+    if (options.mergeRecordIntersections) {
+        const recordTypes = simplifiedTypes.filter(isFieldRecordType);
+        if (recordTypes.length >= 2) {
+            const nonRecordTypes = simplifiedTypes.filter((item) => !isFieldRecordType(item));
+            const mergedRecord = simplifyImpl(mergeRecordFieldIntersections(recordTypes), options);
+            let mergedTypes = [mergedRecord, ...nonRecordTypes];
+            if (options.deduplicateIntersections) {
+                mergedTypes = deduplicateTypeMembers(mergedTypes);
+            }
+            if (options.unwrapSingleIntersection && mergedTypes.length === 1) {
+                return mergedTypes[0];
+            }
+            type.types = mergedTypes;
+            return type;
+        }
+    }
+    if (options.unwrapSingleIntersection && simplifiedTypes.length === 1) {
+        return simplifiedTypes[0];
+    }
+    type.types = simplifiedTypes;
+    return type;
+}
+//# sourceMappingURL=intersection.js.map

package/dist/simplifier/intersection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../src/simplifier/intersection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAA4B,YAAY,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhF,4DAA4D;AAC5D,SAAS,6BAA6B,CAAC,KAA4D;IAC/F,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6C,CAAC;IACpE,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;oBACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK;oBACjC,IAAI,EAAE,KAAK,CAAC,IAAI;iBACnB,CAAC,CAAC;gBACH,SAAS;YACb,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;gBACnB,QAAQ,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC;gBAC/D,IAAI,EAAE;oBACF,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;iBACjC;aACJ,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO;QACH,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YACzD,IAAI;YACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,IAAI,EAAE,KAAK,CAAC,IAAI;SACnB,CAAC,CAAC;KACN,CAAC;AACN,CAAC;AAED,mFAAmF;AACnF,SAAS,wBAAwB,CAAC,IAAsB,EAAE,OAA4B;IAClF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,oBAAoB;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC5D,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,uEAAuE;AACvE,SAAS,iCAAiC,CAAC,KAAa,EAAE,OAA4B;IAClF,IAAI,YAAY,GAAa,CAAC,EAAE,CAAC,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAClC,CAAC;QACL,CAAC;QACD,YAAY,GAAG,IAAI,CAAC;IACxB,CAAC;IAED,MAAM,GAAG,GAAG,EAAE,GAAG,OAAO,EAAE,iCAAiC,EAAE,KAAK,EAAE,CAAC;IACrE,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IACpH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC/C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC9C,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,oBAAoB,CAAC,IAAsB,EAAE,OAA4B;IACrF,IAAI,eAAe,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE9D,wEAAwE;IACxE,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC;QAC7F,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,OAAO,CAAC;QACzE,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3D,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YACjE,QAAQ,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;YAC7D,QAAQ,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,IAAI,QAAQ,EAAE,CAAC;YACX,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,eAAe,CAAC,CAAC,CAAE,CAAC;YAC7D,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,gDAAgD;gBAChD,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACpD,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,wBAAwB,EAAE,CAAC;QACnC,eAAe,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,OAAO,CAAC,iCAAiC,IAAI,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACjF,OAAO,iCAAiC,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,OAAO,CAAC,wBAAwB,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAC9D,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;YAClF,MAAM,YAAY,GAAG,YAAY,CAAC,6BAA6B,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;YACvF,IAAI,WAAW,GAAG,CAAC,YAAY,EAAE,GAAG,cAAc,CAAC,CAAC;YACpD,IAAI,OAAO,CAAC,wBAAwB,EAAE,CAAC;gBACnC,WAAW,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,OAAO,CAAC,wBAAwB,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/D,OAAO,WAAW,CAAC,CAAC,CAAE,CAAC;YAC3B,CAAC;YACD,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC;YACzB,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,wBAAwB,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,eAAe,CAAC,CAAC,CAAE,CAAC;IAC/B,CAAC;IACD,IAAI,CAAC,KAAK,GAAG,eAAe,CAAC;IAC7B,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/simplifier/record.d.ts

@@ -0,0 +1,5 @@
+import type { RecordType } from '../parser.js';
+import { type SimplifyImplOptions } from './impl.js';
+/** Simplifies a record recursively. */
+export declare function simplifyRecord(record: RecordType, options: SimplifyImplOptions): RecordType;
+//# sourceMappingURL=record.d.ts.map

package/dist/simplifier/record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../src/simplifier/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAe,UAAU,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,KAAK,mBAAmB,EAAgB,MAAM,WAAW,CAAC;AAUnE,uCAAuC;AACvC,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,mBAAmB,GAAG,UAAU,CAW3F"}

package/dist/simplifier/record.js

@@ -0,0 +1,24 @@
+import { simplifyImpl } from './impl.js';
+/** Simplifies a record field recursively. */
+function simplifyRecordField(field, options) {
+    return {
+        ...field,
+        type: simplifyImpl(field.type, options),
+    };
+}
+/** Simplifies a record recursively. */
+export function simplifyRecord(record, options) {
+    if ('fields' in record) {
+        record.fields = record.fields.map((field) => simplifyRecordField(field, options));
+    }
+    else {
+        if (record.key != null)
+            record.key = simplifyImpl(record.key, options);
+        record.value = simplifyImpl(record.value, options);
+        if (options.normalizeGenericRecord && record.key === 'string') {
+            delete record.key;
+        }
+    }
+    return record;
+}
+//# sourceMappingURL=record.js.map

package/dist/simplifier/record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../src/simplifier/record.ts"],"names":[],"mappings":"AACA,OAAO,EAA4B,YAAY,EAAE,MAAM,WAAW,CAAC;AAEnE,6CAA6C;AAC7C,SAAS,mBAAmB,CAAC,KAAkB,EAAE,OAA4B;IACzE,OAAO;QACH,GAAG,KAAK;QACR,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC;KAC1C,CAAC;AACN,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,cAAc,CAAC,MAAkB,EAAE,OAA4B;IAC3E,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;QACrB,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IACtF,CAAC;SAAM,CAAC;QACJ,IAAI,MAAM,CAAC,GAAG,IAAI,IAAI;YAAE,MAAM,CAAC,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACvE,MAAM,CAAC,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,sBAAsB,IAAI,MAAM,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5D,OAAO,MAAM,CAAC,GAAG,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/simplifier/top-type.d.ts

@@ -0,0 +1,5 @@
+/** Top types that can be absorbed / eliminated in simplification. */
+export type TopType = 'unknown' | 'never' | 'any';
+/** Resolves the top types option into an array of top types. */
+export declare function resolveTopTypes(value: boolean | TopType[] | undefined): TopType[];
+//# sourceMappingURL=top-type.d.ts.map

package/dist/simplifier/top-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"top-type.d.ts","sourceRoot":"","sources":["../../src/simplifier/top-type.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,KAAK,CAAC;AAElD,gEAAgE;AAChE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,EAAE,GAAG,SAAS,GAAG,OAAO,EAAE,CAIjF"}

package/dist/simplifier/top-type.js

@@ -0,0 +1,9 @@
+/** Resolves the top types option into an array of top types. */
+export function resolveTopTypes(value) {
+    if (value === false || value == null)
+        return [];
+    if (value === true)
+        return ['unknown', 'never', 'any'];
+    return value;
+}
+//# sourceMappingURL=top-type.js.map

package/dist/simplifier/top-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"top-type.js","sourceRoot":"","sources":["../../src/simplifier/top-type.ts"],"names":[],"mappings":"AAGA,gEAAgE;AAChE,MAAM,UAAU,eAAe,CAAC,KAAsC;IAClE,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAChD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACvD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/simplifier/tuple.d.ts

@@ -0,0 +1,5 @@
+import type { TupleType } from '../parser.js';
+import { type SimplifyImplOptions } from './impl.js';
+/** Simplifies tuple types */
+export declare function simplifyTuple(type: TupleType, options: SimplifyImplOptions): TupleType;
+//# sourceMappingURL=tuple.d.ts.map

package/dist/simplifier/tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../src/simplifier/tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAgB,KAAK,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAEnE,6BAA6B;AAC7B,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,GAAG,SAAS,CAetF"}

package/dist/simplifier/tuple.js

@@ -0,0 +1,17 @@
+import { simplifyImpl } from './impl.js';
+/** Simplifies tuple types */
+export function simplifyTuple(type, options) {
+    type.elements = type.elements.flatMap((element) => {
+        const simplifiedType = simplifyImpl(element.type, options);
+        if (options.expandTupleSpreads &&
+            element.spread &&
+            typeof simplifiedType == 'object' &&
+            simplifiedType.kind === 'tuple') {
+            // Inline tuple spread: ..[A, B] → A, B
+            return simplifiedType.elements;
+        }
+        return [{ ...element, type: simplifiedType }];
+    });
+    return type;
+}
+//# sourceMappingURL=tuple.js.map

package/dist/simplifier/tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../src/simplifier/tuple.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAA4B,MAAM,WAAW,CAAC;AAEnE,6BAA6B;AAC7B,MAAM,UAAU,aAAa,CAAC,IAAe,EAAE,OAA4B;IACvE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9C,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,IACI,OAAO,CAAC,kBAAkB;YAC1B,OAAO,CAAC,MAAM;YACd,OAAO,cAAc,IAAI,QAAQ;YACjC,cAAc,CAAC,IAAI,KAAK,OAAO,EACjC,CAAC;YACC,uCAAuC;YACvC,OAAO,cAAc,CAAC,QAAQ,CAAC;QACnC,CAAC;QACD,OAAO,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/simplifier/union.d.ts

@@ -0,0 +1,5 @@
+import type { Type, UnionType } from '../parser.js';
+import { type SimplifyImplOptions } from './impl.js';
+/** Simplifies a union recursively. */
+export declare function simplifyUnion(type: UnionType, options: SimplifyImplOptions): Type;
+//# sourceMappingURL=union.d.ts.map

package/dist/simplifier/union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../src/simplifier/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEpD,OAAO,EAAgB,KAAK,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAmBnE,sCAAsC;AACtC,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAsBjF"}

package/dist/simplifier/union.js

@@ -0,0 +1,47 @@
+import { deduplicateTypeMembers } from './dedup.js';
+import { simplifyImpl } from './impl.js';
+import { resolveTopTypes } from './top-type.js';
+import { isTypeObject } from './utils.js';
+/** Flattens nested union nodes when the corresponding option is enabled. */
+function flattenUnionTypes(type, options) {
+    const types = type.types.map((item) => simplifyImpl(item, options));
+    if (!options.flattenUnions)
+        return types;
+    const result = [];
+    for (const type of types) {
+        if (isTypeObject(type) && type.kind === 'union') {
+            result.push(...flattenUnionTypes(type, options));
+        }
+        else {
+            result.push(type);
+        }
+    }
+    return result;
+}
+/** Simplifies a union recursively. */
+export function simplifyUnion(type, options) {
+    let simplifiedTypes = flattenUnionTypes(type, options);
+    // Top-type elimination: unknown | T → unknown, any | T → any, T | never → T
+    const topTypes = resolveTopTypes(options.simplifyTopTypesInUnions);
+    if (topTypes.length > 0) {
+        if (topTypes.includes('any') && simplifiedTypes.includes('any'))
+            return 'any';
+        if (topTypes.includes('unknown') && simplifiedTypes.includes('unknown'))
+            return 'unknown';
+        if (topTypes.includes('never')) {
+            simplifiedTypes = simplifiedTypes.filter((t) => t !== 'never');
+        }
+    }
+    if (options.deduplicateUnions) {
+        simplifiedTypes = deduplicateTypeMembers(simplifiedTypes);
+    }
+    if (options.unwrapSingleUnion) {
+        if (simplifiedTypes.length === 1)
+            return simplifiedTypes[0];
+        if (simplifiedTypes.length === 0)
+            return 'never';
+    }
+    type.types = simplifiedTypes;
+    return type;
+}
+//# sourceMappingURL=union.js.map

package/dist/simplifier/union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../src/simplifier/union.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,YAAY,EAA4B,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,4EAA4E;AAC5E,SAAS,iBAAiB,CAAC,IAAe,EAAE,OAA4B;IACpE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACrD,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,aAAa,CAAC,IAAe,EAAE,OAA4B;IACvE,IAAI,eAAe,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEvD,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9E,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1F,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC;QACnE,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC5B,eAAe,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC5B,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,eAAe,CAAC,CAAC,CAAE,CAAC;QAC7D,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;IACrD,CAAC;IACD,IAAI,CAAC,KAAK,GAAG,eAAe,CAAC;IAC7B,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/simplifier/utils.d.ts

@@ -0,0 +1,12 @@
+import type { Type, GenericType, RecordField, RecordType, UnionType, IntersectionType } from '../parser.js';
+/** Checks whether a type is represented by an object node. */
+export declare function isTypeObject(type: Type): type is Exclude<Type, GenericType | string>;
+/** Checks whether a type is union. */
+export declare function isUnionType(type: Type): type is UnionType;
+/** Checks whether a type is intersection. */
+export declare function isIntersectionType(type: Type): type is IntersectionType;
+/** Checks whether a record type uses the explicit fields form. */
+export declare function isFieldRecordType(type: Type): type is Extract<RecordType, {
+    fields: RecordField[];
+}>;
+//# sourceMappingURL=utils.d.ts.map

package/dist/simplifier/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/simplifier/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAE5G,8DAA8D;AAC9D,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAAC,CAEpF;AAED,sCAAsC;AACtC,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,SAAS,CAEzD;AAED,6CAA6C;AAC7C,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,gBAAgB,CAEvE;AAED,kEAAkE;AAClE,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE;IAAE,MAAM,EAAE,WAAW,EAAE,CAAA;CAAE,CAAC,CAEpG"}

package/dist/simplifier/utils.js

@@ -0,0 +1,17 @@
+/** Checks whether a type is represented by an object node. */
+export function isTypeObject(type) {
+    return typeof type === 'object';
+}
+/** Checks whether a type is union. */
+export function isUnionType(type) {
+    return isTypeObject(type) && type.kind === 'union';
+}
+/** Checks whether a type is intersection. */
+export function isIntersectionType(type) {
+    return isTypeObject(type) && type.kind === 'intersection';
+}
+/** Checks whether a record type uses the explicit fields form. */
+export function isFieldRecordType(type) {
+    return isTypeObject(type) && type.kind === 'record' && 'fields' in type;
+}
+//# sourceMappingURL=utils.js.map

package/dist/simplifier/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/simplifier/utils.ts"],"names":[],"mappings":"AAEA,8DAA8D;AAC9D,MAAM,UAAU,YAAY,CAAC,IAAU;IACnC,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC;AACpC,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,WAAW,CAAC,IAAU;IAClC,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;AACvD,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,kBAAkB,CAAC,IAAU;IACzC,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC;AAC9D,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,iBAAiB,CAAC,IAAU;IACxC,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,IAAI,IAAI,CAAC;AAC5E,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mirascript/typed",
-  "version": "0.1.78",
+  "version": "0.1.80",
   "author": "CloudPSS",
   "license": "MIT",
   "description": "Parse MiraScript type definitions and generate TypeScript types / JSON schemas.",
@@ -23,16 +23,16 @@
     "./package.json": "./package.json"
   },
   "devDependencies": {
-    "@types/node": "^26.1.1",
+    "@types/node": "^26.1.2",
     "ava": "^8.0.1",
     "c8": "^12.0.0",
-    "js-yaml": "^5.2.2",
+    "js-yaml": "^5.2.3",
     "peggy": "^5.1.0",
-    "@mirascript/mirascript": "~0.1.78"
+    "@mirascript/mirascript": "~0.1.80"
   },
   "dependencies": {
     "json-schema-typed": "^8.0.2",
-    "@mirascript/constants": "~0.1.78"
+    "@mirascript/constants": "~0.1.80"
   },
   "scripts": {
     "build": "peggy src/type.peggy --multi-output ./dist --dts --format es --source-map && tsc",

package/src/index.ts

@@ -1,4 +1,4 @@
 export * from './parser.js';
-export * from './simplifier.js';
-export * from './json.js';
+export * from './simplifier/index.js';
+export * from './json/index.js';
 export * from './stringify.js';

package/src/json/impl.ts

@@ -0,0 +1,57 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { Type } from '../parser.js';
+import { simplify } from '../simplifier/index.js';
+import type { ToJSONSchemaOptions } from './index.js';
+import { string } from './string.js';
+import { template } from './template.js';
+import { tuple } from './tuple.js';
+import { literal } from './literal.js';
+import { record } from './record.js';
+import { intersection, union } from './union-intersection.js';
+
+/** Options for toJSONSchemaImpl */
+export type ToJSONSchemaOptionsImpl = Required<ToJSONSchemaOptions>;
+
+/** Converts a Type object into JSON Schema */
+export function toJSONSchemaImpl(type: Type, options: ToJSONSchemaOptionsImpl): JSONSchema {
+    const simplified = simplify(type);
+    if (typeof simplified == 'symbol') {
+        return true;
+    }
+    if (typeof simplified == 'string') {
+        return string(simplified);
+    }
+    if (simplified.kind === 'array') {
+        return {
+            type: 'array',
+            items: toJSONSchemaImpl(simplified.element, options),
+        };
+    }
+    if (simplified.kind === 'union') {
+        return union(simplified, options);
+    }
+    if (simplified.kind === 'intersection') {
+        return intersection(simplified, options);
+    }
+    if (simplified.kind === 'record') {
+        return record(simplified, options);
+    }
+    if (simplified.kind === 'literal') {
+        return literal(simplified);
+    }
+    if (simplified.kind === 'function') {
+        return false;
+    }
+    if (simplified.kind === 'template') {
+        return template(simplified);
+    }
+    if (simplified.kind === 'tuple') {
+        return tuple(simplified, options);
+    }
+    if (simplified.kind === 'reflection') {
+        return true;
+    }
+    /* c8 ignore next 3 */
+    simplified satisfies never;
+    return true;
+}

package/src/json/index.ts

@@ -0,0 +1,28 @@
+import { type JSONSchema, $schema } from 'json-schema-typed';
+import type { Type } from '../parser.js';
+import { toJSONSchemaImpl } from './impl.js';
+
+export type { JSONSchema } from 'json-schema-typed';
+
+/** Options for toJSONSchema */
+export interface ToJSONSchemaOptions {
+    /** When true, object schemas allow arbitrary additional properties */
+    loose?: boolean;
+}
+
+/** Converts a Type object into JSON Schema */
+export function toJSONSchema(
+    type: Type,
+    options?: ToJSONSchemaOptions,
+): JSONSchema.Interface & { $schema: typeof $schema } {
+    let schema = toJSONSchemaImpl(type, { loose: options?.loose ?? false });
+    if (schema === true) {
+        schema = {};
+    } else if (schema === false) {
+        schema = { not: true };
+    }
+    return {
+        ...schema,
+        $schema,
+    };
+}

package/src/json/literal.ts

@@ -0,0 +1,20 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { LiteralType, Type } from '../parser.js';
+
+/** Converts a LiteralType into JSON Schema */
+export function literal(type: LiteralType): JSONSchema {
+    return { const: type.value };
+}
+
+/** Converts a union of LiteralTypes into a single JSON Schema enum */
+export function literalEnum(types: LiteralType[]): JSONSchema {
+    const schema: JSONSchema = {
+        enum: types.map((t) => t.value),
+    };
+    return schema;
+}
+
+/** Type guard for LiteralType */
+export function isLiteralType(type: Type): type is LiteralType {
+    return typeof type == 'object' && type.kind === 'literal';
+}