@mirascript/typed 0.1.63 → 0.1.65

package/dist/simplifier.js

@@ -0,0 +1,274 @@
+const DEFAULT_OPTIONS = {
+    flattenUnions: true,
+    flattenIntersections: true,
+    deduplicateUnions: true,
+    deduplicateIntersections: true,
+    unwrapSingleUnion: true,
+    unwrapSingleIntersection: true,
+    distributeIntersectionsOverUnions: true,
+    mergeRecordIntersections: true,
+    expandTupleSpreads: 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) {
+    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);
+        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);
+        }
+        return type;
+    }
+    if (type.kind === 'union') {
+        let simplifiedTypes = flattenUnionTypes(type.types.map((item) => simplifyImpl(item, config)), config);
+        if (config.deduplicateUnions) {
+            simplifiedTypes = deduplicateTypeMembers(simplifiedTypes);
+        }
+        if (config.unwrapSingleUnion && simplifiedTypes.length === 1) {
+            return simplifiedTypes[0];
+        }
+        type.types = simplifiedTypes;
+        return type;
+    }
+    if (type.kind === 'intersection') {
+        let simplifiedTypes = flattenIntersectionTypes(type.types.map((item) => simplifyImpl(item, config)), config);
+        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

@@ -0,0 +1 @@
+{"version":3,"file":"simplifier.js","sourceRoot":"","sources":["../src/simplifier.ts"],"names":[],"mappings":"AAwBA,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;CAC3B,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,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,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;QAClD,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;QACF,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YAC3B,eAAe,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,MAAM,CAAC,iBAAiB,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3D,OAAO,eAAe,CAAC,CAAC,CAAE,CAAC;QAC/B,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;QACF,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/dist/stringify.d.ts

@@ -0,0 +1,7 @@
+import type { Type } from './parser.js';
+/**
+ * Converts a Type AST back into a MiraScript type string.
+ * The output is guaranteed to be parseable by {@link parse}.
+ */
+export declare function stringify(type: Type): string;
+//# sourceMappingURL=stringify.d.ts.map

package/dist/stringify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringify.d.ts","sourceRoot":"","sources":["../src/stringify.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAuLxC;;;GAGG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAE5C"}

package/dist/stringify.js

@@ -0,0 +1,186 @@
+import { REG_IDENTIFIER_FULL } from '@mirascript/constants';
+/** Precedence levels for parenthesization. */
+const PREC_UNION = 1;
+const PREC_INTERSECTION = 2;
+/** Escape a string literal value for use in double-quoted strings. */
+function escapeString(value) {
+    return value
+        .replaceAll('\\', '\\\\')
+        .replaceAll('"', String.raw `\"`)
+        .replaceAll('\n', String.raw `\n`)
+        .replaceAll('\r', String.raw `\r`)
+        .replaceAll('\t', String.raw `\t`)
+        .replaceAll('$', String.raw `\$`);
+}
+/**
+ * Returns the precedence level of a type node.
+ * Higher number = tighter binding.
+ */
+function getPrecedence(type) {
+    if (typeof type === 'string' || typeof type === 'symbol')
+        return 0;
+    if (type.kind === 'union')
+        return PREC_UNION;
+    if (type.kind === 'intersection')
+        return PREC_INTERSECTION;
+    return 0;
+}
+/**
+ * Stringify a type, adding parentheses if the child's precedence
+ * is lower than the parent's required precedence.
+ */
+function stringifyImpl(type, parentPrecedence) {
+    // ---- primitives ----
+    if (typeof type === 'symbol') {
+        return type.description ?? '';
+    }
+    if (typeof type === 'string') {
+        return type;
+    }
+    // ---- compound types ----
+    let result;
+    switch (type.kind) {
+        case 'literal': {
+            if (typeof type.value === 'boolean') {
+                return String(type.value);
+            }
+            else {
+                return `"${escapeString(type.value)}"`;
+            }
+        }
+        case 'template': {
+            let tpl = '`';
+            for (const part of type.parts) {
+                if (typeof part === 'object' && part.kind === 'literal' && typeof part.value === 'string') {
+                    tpl += part.value.replaceAll('`', '\\`').replaceAll('$', String.raw `\$`);
+                }
+                else {
+                    tpl += `$(${stringifyImpl(part, 0)})`;
+                }
+            }
+            tpl += '`';
+            return tpl;
+        }
+        case 'array': {
+            const inner = stringifyImpl(type.element, 0);
+            // Use postfix notation for simple types, generic for complex
+            if (typeof type.element === 'string' || typeof type.element === 'symbol') {
+                result = `${inner}[]`;
+            }
+            else if (type.element.kind === 'literal' || type.element.kind === 'reflection') {
+                result = `${inner}[]`;
+            }
+            else {
+                return `array<${inner}>`;
+            }
+            break;
+        }
+        case 'union': {
+            const parts = type.types.map((t) => stringifyImpl(t, PREC_UNION));
+            result = parts.join(' | ');
+            if (parentPrecedence > PREC_UNION)
+                return `(${result})`;
+            return result;
+        }
+        case 'intersection': {
+            const parts = type.types.map((t) => stringifyImpl(t, PREC_INTERSECTION));
+            result = parts.join(' & ');
+            if (parentPrecedence > PREC_INTERSECTION)
+                return `(${result})`;
+            return result;
+        }
+        case 'record': {
+            if ('fields' in type) {
+                if (type.fields.length === 0) {
+                    return '()';
+                }
+                // Check if all fields are anonymous (name === positional index)
+                const allAnonymous = type.fields.every((f, i) => f.name === String(i) && !f.optional);
+                if (allAnonymous) {
+                    const types = type.fields.map((f) => stringifyImpl(f.type, 0));
+                    // Single anonymous field needs trailing comma to distinguish from grouping
+                    const trailing = type.fields.length === 1 ? ',' : '';
+                    return `(${types.join(', ')}${trailing})`;
+                }
+                else {
+                    const fields = type.fields.map((f) => {
+                        const name = REG_IDENTIFIER_FULL.test(f.name) ? f.name : `"${escapeString(f.name)}"`;
+                        const colon = f.optional ? '?:' : ':';
+                        const typeStr = stringifyImpl(f.type, 0);
+                        return `${name}${colon} ${typeStr}`;
+                    });
+                    return `(${fields.join(', ')})`;
+                }
+            }
+            // Generic record
+            if (type.key == null) {
+                return `record<${stringifyImpl(type.value, 0)}>`;
+            }
+            else {
+                return `record<${stringifyImpl(type.key, 0)}, ${stringifyImpl(type.value, 0)}>`;
+            }
+        }
+        case 'function': {
+            let fn = 'fn';
+            if (type.name != null)
+                fn += ` ${type.name}`;
+            if (type.typeParams != null && type.typeParams.length > 0) {
+                fn += `<${type.typeParams.map((t) => stringifyImpl(t, 0)).join(', ')}>`;
+            }
+            const params = type.params.map((p) => {
+                const spread = p.spread ? '..' : '';
+                const name = p.name || (p.spread ? '' : '_');
+                const typeStr = p.type === 'any' && !p.spread ? '' : `: ${stringifyImpl(p.type, 0)}`;
+                return `${spread}${name}${typeStr}`;
+            });
+            fn += `(${params.join(', ')})`;
+            if (type.returns != null) {
+                const ret = stringifyImpl(type.returns, 0);
+                const needsParens = typeof type.returns === 'object' &&
+                    (type.returns.kind === 'union' || type.returns.kind === 'intersection');
+                fn += ` -> ${needsParens ? `(${ret})` : ret}`;
+            }
+            result = fn;
+            // Function types need parens inside union / intersection
+            if (parentPrecedence > 0)
+                return `(${result})`;
+            return result;
+        }
+        case 'tuple': {
+            if (type.elements.length === 0) {
+                result = '[]';
+            }
+            else {
+                const elements = type.elements.map((e) => {
+                    const spread = e.spread ? '..' : '';
+                    return `${spread}${stringifyImpl(e.type, 0)}`;
+                });
+                result = `[${elements.join(', ')}]`;
+            }
+            break;
+        }
+        case 'reflection': {
+            result = `type(${type.name})`;
+            break;
+        }
+        /* c8 ignore next 3 */
+        default:
+            (type);
+            return 'unknown';
+    }
+    // Wrap in parens if needed (for non-union/intersection types that
+    // appear inside higher-precedence context, e.g. function in union)
+    const childPrec = getPrecedence(type);
+    if (parentPrecedence > childPrec) {
+        return `(${result})`;
+    }
+    return result;
+}
+/**
+ * Converts a Type AST back into a MiraScript type string.
+ * The output is guaranteed to be parseable by {@link parse}.
+ */
+export function stringify(type) {
+    return stringifyImpl(type, 0);
+}
+//# sourceMappingURL=stringify.js.map

package/dist/stringify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringify.js","sourceRoot":"","sources":["../src/stringify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAG5D,8CAA8C;AAC9C,MAAM,UAAU,GAAG,CAAC,CAAC;AACrB,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,sEAAsE;AACtE,SAAS,YAAY,CAAC,KAAa;IAC/B,OAAO,KAAK;SACP,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC;SACxB,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,IAAI,CAAC;SAC/B,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAA,IAAI,CAAC;SAChC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAA,IAAI,CAAC;SAChC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAA,IAAI,CAAC;SAChC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,IAAI,CAAC,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAU;IAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,iBAAiB,CAAC;IAC3D,OAAO,CAAC,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAU,EAAE,gBAAwB;IACvD,uBAAuB;IACvB,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC;IAClC,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,2BAA2B;IAC3B,IAAI,MAAc,CAAC;IAEnB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS,CAAC,CAAC,CAAC;YACb,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACJ,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAC3C,CAAC;QACL,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,GAAG,GAAG,CAAC;YACd,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACxF,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,IAAI,CAAC,CAAC;gBAC7E,CAAC;qBAAM,CAAC;oBACJ,GAAG,IAAI,KAAK,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC;gBAC1C,CAAC;YACL,CAAC;YACD,GAAG,IAAI,GAAG,CAAC;YACX,OAAO,GAAG,CAAC;QACf,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC7C,6DAA6D;YAC7D,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACvE,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC;YAC1B,CAAC;iBAAM,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC/E,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACJ,OAAO,SAAS,KAAK,GAAG,CAAC;YAC7B,CAAC;YACD,MAAM;QACV,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;YAClE,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,gBAAgB,GAAG,UAAU;gBAAE,OAAO,IAAI,MAAM,GAAG,CAAC;YACxD,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC;YACzE,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,gBAAgB,GAAG,iBAAiB;gBAAE,OAAO,IAAI,MAAM,GAAG,CAAC;YAC/D,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;gBACnB,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,OAAO,IAAI,CAAC;gBAChB,CAAC;gBACD,gEAAgE;gBAChE,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACtF,IAAI,YAAY,EAAE,CAAC;oBACf,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC/D,2EAA2E;oBAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,QAAQ,GAAG,CAAC;gBAC9C,CAAC;qBAAM,CAAC;oBACJ,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;wBACjC,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;wBACrF,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;wBACtC,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;wBACzC,OAAO,GAAG,IAAI,GAAG,KAAK,IAAI,OAAO,EAAE,CAAC;oBACxC,CAAC,CAAC,CAAC;oBACH,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACpC,CAAC;YACL,CAAC;YAED,iBAAiB;YACjB,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;gBACnB,OAAO,UAAU,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC;YACrD,CAAC;iBAAM,CAAC;gBACJ,OAAO,UAAU,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC;YACpF,CAAC;QACL,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,IAAI,EAAE,GAAG,IAAI,CAAC;YACd,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI;gBAAE,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,EAAE,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC5E,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC7C,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBACrF,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,OAAO,EAAE,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,EAAE,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC/B,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC3C,MAAM,WAAW,GACb,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;oBAChC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;gBAC5E,EAAE,IAAI,OAAO,WAAW,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAClD,CAAC;YACD,MAAM,GAAG,EAAE,CAAC;YACZ,yDAAyD;YACzD,IAAI,gBAAgB,GAAG,CAAC;gBAAE,OAAO,IAAI,MAAM,GAAG,CAAC;YAC/C,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,MAAM,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,CAAC;gBACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACrC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpC,OAAO,GAAG,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBAClD,CAAC,CAAC,CAAC;gBACH,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YACxC,CAAC;YACD,MAAM;QACV,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAChB,MAAM,GAAG,QAAQ,IAAI,CAAC,IAAI,GAAG,CAAC;YAC9B,MAAM;QACV,CAAC;QAED,sBAAsB;QACtB;YACI,CAAC,IAAI,CAAiB,CAAC;YACvB,OAAO,SAAS,CAAC;IACzB,CAAC;IAED,kEAAkE;IAClE,mEAAmE;IACnE,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,gBAAgB,GAAG,SAAS,EAAE,CAAC;QAC/B,OAAO,IAAI,MAAM,GAAG,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,IAAU;IAChC,OAAO,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAClC,CAAC"}