@mirascript/typed 0.1.76 → 0.1.79

package/dist/simplifier.js

@@ -1,332 +0,0 @@
-/** Resolves the top types option into an array of top types. */
-function resolveTopTypes(value) {
-    if (value === false || value == null)
-        return [];
-    if (value === true)
-        return ['unknown', 'never', 'any'];
-    return value;
-}
-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,
-};
-/** Fills in default simplification options. */
-function normalizeOptions(options) {
-    return { ...DEFAULT_OPTIONS, ...options };
-}
-/** Checks whether a type is represented by an object node. */
-function isTypeObject(type) {
-    return typeof type === 'object';
-}
-/** Checks whether a record type uses the explicit fields form. */
-function isFieldRecordType(type) {
-    return isTypeObject(type) && type.kind === 'record' && 'fields' in type;
-}
-/** Builds a stable key for type-level deduplication within one simplify call. */
-function getTypeDedupKey(type, symbols) {
-    if (typeof type === 'string')
-        return `string:${type}`;
-    if (typeof type === 'symbol') {
-        const existing = symbols.get(type);
-        if (existing != null)
-            return `symbol:${existing}`;
-        const next = symbols.size + 1;
-        symbols.set(type, next);
-        return `symbol:${next}`;
-    }
-    switch (type.kind) {
-        case 'array':
-            return `array:${getTypeDedupKey(type.element, symbols)}`;
-        case 'union':
-            return `union:[${type.types.map((t) => getTypeDedupKey(t, symbols)).join(',')}]`;
-        case 'intersection':
-            return `intersection:[${type.types.map((t) => getTypeDedupKey(t, symbols)).join(',')}]`;
-        case 'record':
-            if ('fields' in type) {
-                return `recordFields:[${type.fields
-                    .map((f) => `${f.name}:${String(Boolean(f.optional))}:${getTypeDedupKey(f.type, symbols)}`)
-                    .join(',')}]`;
-            }
-            return `recordKV:${type.key == null ? 'none' : getTypeDedupKey(type.key, symbols)}:${getTypeDedupKey(type.value, symbols)}`;
-        case 'literal':
-            return `literal:${typeof type.value}:${String(type.value)}`;
-        case 'template':
-            return `template:[${type.parts.map((p) => getTypeDedupKey(p, symbols)).join(',')}]`;
-        case 'function':
-            return `function:${type.name ?? ''}:<${(type.typeParams ?? []).map((p) => getTypeDedupKey(p, symbols)).join(',')}>(${type.params
-                .map((p) => `${p.name}:${String(Boolean(p.spread))}:${getTypeDedupKey(p.type, symbols)}`)
-                .join(',')})=>${type.returns == null ? 'void' : getTypeDedupKey(type.returns, symbols)}`;
-        case 'tuple':
-            return `tuple:[${type.elements
-                .map((e) => `${String(Boolean(e.spread))}:${getTypeDedupKey(e.type, symbols)}`)
-                .join(',')}]`;
-        case 'reflection':
-            return `reflection:${type.name}`;
-        default:
-            return 'unknown';
-    }
-}
-/** Removes duplicate members from union/intersection type member lists. */
-function deduplicateTypeMembers(types) {
-    if (types.length <= 1)
-        return types;
-    const symbols = new Map();
-    const seen = new Set();
-    const result = [];
-    for (const type of types) {
-        const key = getTypeDedupKey(type, symbols);
-        if (seen.has(key))
-            continue;
-        seen.add(key);
-        result.push(type);
-    }
-    return result;
-}
-/** Flattens nested union nodes when the corresponding option is enabled. */
-function flattenUnionTypes(types, options) {
-    if (!options.flattenUnions)
-        return types;
-    const result = [];
-    for (const type of types) {
-        if (isTypeObject(type) && type.kind === 'union') {
-            result.push(...flattenUnionTypes(type.types, options));
-        }
-        else {
-            result.push(type);
-        }
-    }
-    return result;
-}
-/** Flattens nested intersection nodes when the corresponding option is enabled. */
-function flattenIntersectionTypes(types, options) {
-    if (!options.flattenIntersections)
-        return types;
-    const result = [];
-    for (const type of types) {
-        if (isTypeObject(type) && type.kind === 'intersection') {
-            result.push(...flattenIntersectionTypes(type.types, options));
-        }
-        else {
-            result.push(type);
-        }
-    }
-    return result;
-}
-/** Simplifies a record field recursively. */
-function simplifyRecordField(field, options) {
-    return {
-        ...field,
-        type: simplifyImpl(field.type, options),
-    };
-}
-/** 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,
-        })),
-    };
-}
-/** Distributes intersections over unions using a cartesian product. */
-function distributeIntersectionsOverUnions(types, options) {
-    let combinations = [[]];
-    for (const type of types) {
-        const choices = isTypeObject(type) && type.kind === 'union' ? type.types : [type];
-        const next = [];
-        for (const combo of combinations) {
-            for (const choice of choices) {
-                next.push([...combo, choice]);
-            }
-        }
-        combinations = next;
-    }
-    const branches = combinations.map((combo) => simplifyImpl({ kind: 'intersection', types: combo }, {
-        ...options,
-        distributeIntersectionsOverUnions: false,
-    }));
-    if (branches.length === 1)
-        return branches[0];
-    return { kind: 'union', types: branches };
-}
-/** Simplifies a Type AST in place, optionally disabling individual normalization passes. */
-function simplifyImpl(type, config) {
-    if (typeof type === 'symbol' || typeof type === 'string') {
-        return type;
-    }
-    if (type.kind === 'array') {
-        type.element = simplifyImpl(type.element, config);
-        if (config.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, config);
-        }
-        if (type.returns != null)
-            type.returns = simplifyImpl(type.returns, config);
-        return type;
-    }
-    if (type.kind === 'literal') {
-        return type;
-    }
-    if (type.kind === 'template') {
-        type.parts = type.parts.map((part) => simplifyImpl(part, config));
-        return type;
-    }
-    if (type.kind === 'tuple') {
-        type.elements = type.elements.flatMap((element) => {
-            const simplifiedType = simplifyImpl(element.type, config);
-            if (config.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;
-    }
-    if (type.kind === 'reflection') {
-        return type;
-    }
-    if (type.kind === 'record') {
-        if ('fields' in type) {
-            type.fields = type.fields.map((field) => simplifyRecordField(field, config));
-        }
-        else {
-            if (type.key != null)
-                type.key = simplifyImpl(type.key, config);
-            type.value = simplifyImpl(type.value, config);
-            if (config.normalizeGenericRecord && type.key === 'string') {
-                delete type.key;
-            }
-        }
-        return type;
-    }
-    if (type.kind === 'union') {
-        let simplifiedTypes = flattenUnionTypes(type.types.map((item) => simplifyImpl(item, config)), config);
-        // Top-type elimination: unknown | T → unknown, any | T → any, T | never → T
-        const topTypes = resolveTopTypes(config.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 (config.deduplicateUnions) {
-            simplifiedTypes = deduplicateTypeMembers(simplifiedTypes);
-        }
-        if (config.unwrapSingleUnion) {
-            if (simplifiedTypes.length === 1)
-                return simplifiedTypes[0];
-            if (simplifiedTypes.length === 0)
-                return 'never';
-        }
-        type.types = simplifiedTypes;
-        return type;
-    }
-    if (type.kind === 'intersection') {
-        let simplifiedTypes = flattenIntersectionTypes(type.types.map((item) => simplifyImpl(item, config)), config);
-        // Top-type elimination: never & T → never, T & unknown → T, T & any → T
-        const topTypes = resolveTopTypes(config.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 (config.deduplicateIntersections) {
-            simplifiedTypes = deduplicateTypeMembers(simplifiedTypes);
-        }
-        if (config.distributeIntersectionsOverUnions &&
-            simplifiedTypes.some((item) => isTypeObject(item) && item.kind === 'union')) {
-            return distributeIntersectionsOverUnions(simplifiedTypes, config);
-        }
-        if (config.mergeRecordIntersections) {
-            const recordTypes = simplifiedTypes.filter(isFieldRecordType);
-            if (recordTypes.length >= 2) {
-                const nonRecordTypes = simplifiedTypes.filter((item) => !isFieldRecordType(item));
-                const mergedRecord = simplifyImpl(mergeRecordFieldIntersections(recordTypes), config);
-                let mergedTypes = [mergedRecord, ...nonRecordTypes];
-                if (config.deduplicateIntersections) {
-                    mergedTypes = deduplicateTypeMembers(mergedTypes);
-                }
-                if (config.unwrapSingleIntersection && mergedTypes.length === 1) {
-                    return mergedTypes[0];
-                }
-                type.types = mergedTypes;
-                return type;
-            }
-        }
-        if (config.unwrapSingleIntersection && simplifiedTypes.length === 1) {
-            return simplifiedTypes[0];
-        }
-        type.types = simplifiedTypes;
-        return type;
-    }
-    /* c8 ignore next 3 */
-    (type);
-    return type;
-}
-/** Simplifies a Type AST in place, optionally disabling individual normalization passes. */
-export function simplify(type, options) {
-    const config = normalizeOptions(options);
-    return simplifyImpl(type, config);
-}
-//# sourceMappingURL=simplifier.js.map

package/dist/simplifier.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"simplifier.js","sourceRoot":"","sources":["../src/simplifier.ts"],"names":[],"mappings":"AA+CA,gEAAgE;AAChE,SAAS,eAAe,CAAC,KAAsC;IAC3D,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;AAED,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,+CAA+C;AAC/C,SAAS,gBAAgB,CAAC,OAAyB;IAC/C,OAAO,EAAE,GAAG,eAAe,EAAE,GAAG,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,8DAA8D;AAC9D,SAAS,YAAY,CAAC,IAAU;IAC5B,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC;AACpC,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CAAC,IAAU;IACjC,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,IAAI,IAAI,CAAC;AAC5E,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe,CAAC,IAAU,EAAE,OAA4B;IAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,IAAI,EAAE,CAAC;IACtD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,QAAQ,IAAI,IAAI;YAAE,OAAO,UAAU,QAAQ,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxB,OAAO,UAAU,IAAI,EAAE,CAAC;IAC5B,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,OAAO;YACR,OAAO,SAAS,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7D,KAAK,OAAO;YACR,OAAO,UAAU,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACrF,KAAK,cAAc;YACf,OAAO,iBAAiB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5F,KAAK,QAAQ;YACT,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;gBACnB,OAAO,iBAAiB,IAAI,CAAC,MAAM;qBAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;qBAC1F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YACtB,CAAC;YACD,OAAO,YAAY,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAChI,KAAK,SAAS;YACV,OAAO,WAAW,OAAO,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,KAAK,UAAU;YACX,OAAO,aAAa,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACxF,KAAK,UAAU;YACX,OAAO,YACH,IAAI,CAAC,IAAI,IAAI,EACjB,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM;iBACzF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;iBACxF,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACjG,KAAK,OAAO;YACR,OAAO,UAAU,IAAI,CAAC,QAAQ;iBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;iBAC9E,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACtB,KAAK,YAAY;YACb,OAAO,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC;QACrC;YACI,OAAO,SAAS,CAAC;IACzB,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,SAAS,sBAAsB,CAAC,KAAa;IACzC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,SAAS,iBAAiB,CAAC,KAAa,EAAE,OAAkC;IACxE,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,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3D,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,mFAAmF;AACnF,SAAS,wBAAwB,CAAC,KAAa,EAAE,OAAkC;IAC/E,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,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAClE,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,6CAA6C;AAC7C,SAAS,mBAAmB,CAAC,KAAkB,EAAE,OAAkC;IAC/E,OAAO;QACH,GAAG,KAAK;QACR,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC;KAC1C,CAAC;AACN,CAAC;AAED,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,uEAAuE;AACvE,SAAS,iCAAiC,CAAC,KAAa,EAAE,OAAkC;IACxF,IAAI,YAAY,GAAa,CAAC,EAAE,CAAC,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClF,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,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,YAAY,CACR,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,EACtC;QACI,GAAG,OAAO;QACV,iCAAiC,EAAE,KAAK;KAC3C,CACJ,CACJ,CAAC;IACF,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,4FAA4F;AAC5F,SAAS,YAAY,CAAC,IAAU,EAAE,MAAiC;IAC/D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvD,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,MAAM,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,qBAAqB,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,EAAE,CAAC;YACzF,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,MAAM,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI;YAAE,IAAI,CAAC,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5E,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,MAAM,CAAC,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC9C,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1D,IACI,MAAM,CAAC,kBAAkB;gBACzB,OAAO,CAAC,MAAM;gBACd,OAAO,cAAc,KAAK,QAAQ;gBAClC,cAAc,CAAC,IAAI,KAAK,OAAO,EACjC,CAAC;gBACC,uCAAuC;gBACvC,OAAO,cAAc,CAAC,QAAQ,CAAC;YACnC,CAAC;YACD,OAAO,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IAChB,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,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACnB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACjF,CAAC;aAAM,CAAC;YACJ,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI;gBAAE,IAAI,CAAC,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAChE,IAAI,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9C,IAAI,MAAM,CAAC,sBAAsB,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACzD,OAAO,IAAI,CAAC,GAAG,CAAC;YACpB,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,IAAI,eAAe,GAAG,iBAAiB,CACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EACpD,MAAM,CACT,CAAC;QAEF,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;QAClE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC9E,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC1F,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7B,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC;YACnE,CAAC;QACL,CAAC;QAED,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YAC3B,eAAe,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YAC3B,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,eAAe,CAAC,CAAC,CAAE,CAAC;YAC7D,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;QACrD,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,eAAe,CAAC;QAC7B,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/B,IAAI,eAAe,GAAG,wBAAwB,CAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EACpD,MAAM,CACT,CAAC;QAEF,wEAAwE;QACxE,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,+BAA+B,CAAC,CAAC;QACzE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC;YAC7F,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,OAAO,OAAO,CAAC;YACzE,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3D,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;gBACjE,QAAQ,GAAG,IAAI,CAAC;YACpB,CAAC;YACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnD,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;gBAC7D,QAAQ,GAAG,IAAI,CAAC;YACpB,CAAC;YACD,IAAI,QAAQ,EAAE,CAAC;gBACX,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,eAAe,CAAC,CAAC,CAAE,CAAC;gBAC7D,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,gDAAgD;oBAChD,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;YAClC,eAAe,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC;QAC9D,CAAC;QACD,IACI,MAAM,CAAC,iCAAiC;YACxC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,EAC7E,CAAC;YACC,OAAO,iCAAiC,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;YAC9D,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC1B,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAClF,MAAM,YAAY,GAAG,YAAY,CAAC,6BAA6B,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;gBACtF,IAAI,WAAW,GAAG,CAAC,YAAY,EAAE,GAAG,cAAc,CAAC,CAAC;gBACpD,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;oBAClC,WAAW,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;gBACtD,CAAC;gBACD,IAAI,MAAM,CAAC,wBAAwB,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC9D,OAAO,WAAW,CAAC,CAAC,CAAE,CAAC;gBAC3B,CAAC;gBACD,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC;gBACzB,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,wBAAwB,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,OAAO,eAAe,CAAC,CAAC,CAAE,CAAC;QAC/B,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,eAAe,CAAC;QAC7B,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,sBAAsB;IACtB,CAAC,IAAI,CAAiB,CAAC;IACvB,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,OAAyB;IAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACtC,CAAC"}

package/src/json.ts

@@ -1,323 +0,0 @@
-import { type JSONSchema, $schema } from 'json-schema-typed';
-import { REG_NUMBER } from '@mirascript/constants';
-import { simplify } from './simplifier.js';
-import type { KnownType, LiteralType, NamedType, TemplateType, Type } from './parser.js';
-
-export type { JSONSchema } from 'json-schema-typed';
-
-/** Converts a KnownType or NamedType into JSON Schema */
-function string(type: KnownType | NamedType): JSONSchema {
-    switch (type) {
-        case 'string':
-            return { type: 'string' };
-        case 'number':
-            return { type: 'number' };
-        case 'boolean':
-            return { type: 'boolean' };
-        case 'nil':
-            return { type: 'null' };
-        case 'array':
-            return { type: 'array', items: true };
-        case 'record':
-            return { type: 'object' };
-        case 'extern':
-            return true;
-        case 'any':
-            return true;
-        case 'unknown':
-            return true;
-        case 'never':
-            return false;
-        default:
-            return true;
-    }
-}
-
-/** Escapes a literal string for use in a regular expression */
-function escapeRegex(value: string): string {
-    return value.replaceAll(/[.*+?^${}()|[\]\\]/g, String.raw`\$&`);
-}
-
-const RE_ANY = '.*?';
-const RE_NUMBER = REG_NUMBER.source;
-const RE_BOOLEAN = 'true|false';
-
-/** Converts a template interpolation part into a regex pattern fragment */
-function templatePartPattern(part: Type, grouping: boolean): string {
-    let result: string;
-    if (typeof part === 'symbol') {
-        result = RE_ANY;
-    } else if (typeof part === 'string') {
-        switch (part) {
-            case 'number':
-                result = RE_NUMBER;
-                break;
-            case 'boolean':
-                result = RE_BOOLEAN;
-                break;
-            case 'nil':
-            case 'never':
-                result = '';
-                break;
-            case 'array':
-            case 'record':
-            case 'extern':
-            case 'any':
-            case 'unknown':
-            case 'string':
-            default:
-                result = RE_ANY;
-                break;
-        }
-    } else if (part.kind === 'literal') {
-        if (typeof part.value === 'boolean') {
-            result = String(part.value);
-        } else {
-            result = escapeRegex(part.value);
-        }
-    } else if (part.kind === 'union') {
-        const patterns = new Set(part.types.map((p) => templatePartPattern(p, false)));
-        if (patterns.has(RE_ANY)) {
-            result = RE_ANY;
-        } else {
-            const hasEmpty = patterns.delete('');
-            result = Array.from(patterns).join('|');
-            if (hasEmpty) {
-                result = `(${result})?`;
-            }
-        }
-    } else if (part.kind === 'intersection') {
-        // Regex intersection is not representable in general; keep behavior conservative.
-        result = RE_ANY;
-    } else {
-        result = RE_ANY;
-    }
-    if (!grouping) return result;
-    if (result.startsWith('(')) return result;
-    return `(${result})`;
-}
-
-/** Converts a TemplateType into a JSON Schema pattern */
-function templatePattern(type: TemplateType): string {
-    return `^${type.parts
-        .map((p) => {
-            if (typeof p == 'object' && p.kind === 'literal' && typeof p.value === 'string') {
-                return templatePartPattern(p, false);
-            }
-            return templatePartPattern(p, true);
-        })
-        .join('')}$`;
-}
-
-/** Converts a LiteralType into JSON Schema */
-function literal(type: LiteralType): JSONSchema {
-    return { const: type.value };
-}
-
-/** Converts a union of LiteralTypes into a single JSON Schema enum */
-function literalEnum(types: LiteralType[]): JSONSchema {
-    const schema: JSONSchema = {
-        enum: types.map((t) => t.value),
-    };
-    return schema;
-}
-
-/** Type guard for LiteralType */
-function isLiteralType(type: Type): type is LiteralType {
-    return typeof type == 'object' && type.kind === 'literal';
-}
-
-/** Options for toJSONSchema */
-export interface ToJSONSchemaOptions {
-    /** When true, object schemas allow arbitrary additional properties */
-    loose?: boolean;
-}
-
-/** Converts a Type object into JSON Schema */
-function toJSONSchemaImpl(type: Type, options: Required<ToJSONSchemaOptions>): JSONSchema {
-    const { loose } = options;
-    const simplified = simplify(type);
-    if (typeof simplified == 'symbol') {
-        return {};
-    }
-    if (typeof simplified == 'string') {
-        return string(simplified);
-    }
-    if (simplified.kind === 'array') {
-        return {
-            type: 'array',
-            items: toJSONSchemaImpl(simplified.element, options),
-        };
-    }
-    if (simplified.kind === 'union') {
-        const anyOf: JSONSchema[] = [];
-        const literals: LiteralType[] = [];
-        for (const t of simplified.types) {
-            if (isLiteralType(t)) {
-                literals.push(t);
-                continue;
-            }
-            const child = toJSONSchemaImpl(t, options);
-            if (child === true) {
-                return true;
-            }
-            if (child === false) {
-                continue;
-            }
-            anyOf.push(child);
-        }
-        if (literals.length > 0) {
-            anyOf.push(literalEnum(literals));
-        }
-        if (anyOf.length === 0) {
-            return false;
-        }
-        if (anyOf.length === 1) {
-            return anyOf[0]!;
-        }
-        return { anyOf };
-    }
-    if (simplified.kind === 'intersection') {
-        const allOf = simplified.types.map((t) => toJSONSchemaImpl(t, options));
-        if (allOf.length === 1) {
-            return allOf[0]!;
-        }
-        return { allOf };
-    }
-    if (simplified.kind === 'record') {
-        if ('fields' in simplified) {
-            const properties: Record<string, JSONSchema> = {};
-            const required: string[] = [];
-            for (const field of simplified.fields) {
-                properties[field.name] = toJSONSchemaImpl(field.type, options);
-                if (!field.optional && !loose) {
-                    required.push(field.name);
-                }
-            }
-            const schema: JSONSchema = {
-                type: 'object',
-                properties,
-                additionalProperties: loose,
-            };
-            if (required.length > 0) {
-                schema.required = required;
-            }
-            return schema;
-        }
-
-        const valueSchema = toJSONSchemaImpl(simplified.value, options);
-        if (simplified.key == null) {
-            return {
-                type: 'object',
-                additionalProperties: valueSchema,
-            };
-        }
-        if (typeof simplified.key == 'object') {
-            if (isLiteralType(simplified.key)) {
-                const schema: JSONSchema = {
-                    type: 'object',
-                    properties: { [String(simplified.key.value)]: valueSchema },
-                    additionalProperties: loose,
-                };
-                return schema;
-            } else if (simplified.key.kind === 'union' && simplified.key.types.every(isLiteralType)) {
-                const schema: JSONSchema = {
-                    type: 'object',
-                    properties: Object.fromEntries(simplified.key.types.map((t) => [String(t.value), valueSchema])),
-                    additionalProperties: loose,
-                };
-                return schema;
-            }
-        }
-        const pattern = templatePartPattern(simplified.key, false);
-        if (pattern === RE_ANY) {
-            return {
-                type: 'object',
-                additionalProperties: valueSchema,
-            };
-        }
-        const schema: JSONSchema = {
-            type: 'object',
-            patternProperties: { [`^${pattern}$`]: valueSchema },
-            additionalProperties: loose,
-        };
-        return schema;
-    }
-    if (simplified.kind === 'literal') {
-        return literal(simplified);
-    }
-    if (simplified.kind === 'function') {
-        return false;
-    }
-    if (simplified.kind === 'template') {
-        return { type: 'string', pattern: templatePattern(simplified) };
-    }
-    if (simplified.kind === 'tuple') {
-        // Collect element schemas, unwrapping array from rest elements (..T[] → T).
-        // Non-array rest (e.g. ..string) is treated as any ({}).
-        const elementSchemas = simplified.elements.map((e) => {
-            const t = e.type;
-            if (!e.spread) return toJSONSchemaImpl(t, options);
-            if (typeof t == 'object' && t.kind === 'array') {
-                return toJSONSchemaImpl(t.element, options);
-            }
-            return true;
-        });
-
-        const prefixItems = [];
-        let i = 0;
-        for (; i < elementSchemas.length; i++) {
-            const el = simplified.elements[i]!;
-            if (el.spread) break;
-            prefixItems.push(elementSchemas[i]!);
-        }
-
-        const items = [];
-        let hasAny = false;
-        for (; i < elementSchemas.length; i++) {
-            const schema = elementSchemas[i]!;
-            items.push(schema);
-            if (schema === true) {
-                hasAny = true;
-            }
-        }
-
-        const schema: JSONSchema = { type: 'array' };
-        if (prefixItems.length > 0) {
-            schema.prefixItems = prefixItems;
-        }
-        if (hasAny) {
-            schema.items = true;
-        } else if (items.length > 1) {
-            schema.items = { anyOf: items };
-        } else if (items.length === 1) {
-            schema.items = items[0]!;
-        } else {
-            schema.items = loose;
-        }
-        return schema;
-    }
-    if (simplified.kind === 'reflection') {
-        return true;
-    }
-    /* c8 ignore next 3 */
-    simplified satisfies never;
-    return true;
-}
-
-/** 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,
-    };
-}