@mirascript/typed 0.1.78 → 0.1.79

package/dist/index.d.ts

@@ -1,5 +1,5 @@
 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';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,iBAAiB,CAAC;AAChC,cAAc,gBAAgB,CAAC"}

package/dist/index.js

@@ -1,5 +1,5 @@
 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';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,iBAAiB,CAAC;AAChC,cAAc,gBAAgB,CAAC"}

package/dist/json/impl.d.ts

@@ -0,0 +1,8 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { Type } from '../parser.js';
+import type { ToJSONSchemaOptions } from './index.js';
+/** Options for toJSONSchemaImpl */
+export type ToJSONSchemaOptionsImpl = Required<ToJSONSchemaOptions>;
+/** Converts a Type object into JSON Schema */
+export declare function toJSONSchemaImpl(type: Type, options: ToJSONSchemaOptionsImpl): JSONSchema;
+//# sourceMappingURL=impl.d.ts.map

package/dist/json/impl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impl.d.ts","sourceRoot":"","sources":["../../src/json/impl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAQtD,mCAAmC;AACnC,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC;AAEpE,8CAA8C;AAC9C,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,uBAAuB,GAAG,UAAU,CAyCzF"}

package/dist/json/impl.js

@@ -0,0 +1,51 @@
+import { simplify } from '../simplifier/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';
+/** Converts a Type object into JSON Schema */
+export function toJSONSchemaImpl(type, options) {
+    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;
+    return true;
+}
+//# sourceMappingURL=impl.js.map

package/dist/json/impl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impl.js","sourceRoot":"","sources":["../../src/json/impl.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAElD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAK9D,8CAA8C;AAC9C,MAAM,UAAU,gBAAgB,CAAC,IAAU,EAAE,OAAgC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,UAAU,IAAI,QAAQ,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,UAAU,IAAI,QAAQ,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO;YACH,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,gBAAgB,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC;SACvD,CAAC;IACN,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,QAAQ,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,sBAAsB;IACtB,UAA0B,CAAC;IAC3B,OAAO,IAAI,CAAC;AAChB,CAAC"}

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

@@ -1,5 +1,5 @@
 import { type JSONSchema, $schema } from 'json-schema-typed';
-import type { Type } from './parser.js';
+import type { Type } from '../parser.js';
 export type { JSONSchema } from 'json-schema-typed';
 /** Options for toJSONSchema */
 export interface ToJSONSchemaOptions {
@@ -10,4 +10,4 @@ export interface ToJSONSchemaOptions {
 export declare function toJSONSchema(type: Type, options?: ToJSONSchemaOptions): JSONSchema.Interface & {
     $schema: typeof $schema;
 };
-//# sourceMappingURL=json.d.ts.map
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/json/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAGzC,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,+BAA+B;AAC/B,MAAM,WAAW,mBAAmB;IAChC,sEAAsE;IACtE,KAAK,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,8CAA8C;AAC9C,wBAAgB,YAAY,CACxB,IAAI,EAAE,IAAI,EACV,OAAO,CAAC,EAAE,mBAAmB,GAC9B,UAAU,CAAC,SAAS,GAAG;IAAE,OAAO,EAAE,OAAO,OAAO,CAAA;CAAE,CAWpD"}

package/dist/json/index.js

@@ -0,0 +1,17 @@
+import { $schema } from 'json-schema-typed';
+import { toJSONSchemaImpl } from './impl.js';
+/** Converts a Type object into JSON Schema */
+export function toJSONSchema(type, options) {
+    let schema = toJSONSchemaImpl(type, { loose: options?.loose ?? false });
+    if (schema === true) {
+        schema = {};
+    }
+    else if (schema === false) {
+        schema = { not: true };
+    }
+    return {
+        ...schema,
+        $schema,
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/json/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/json/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAU7C,8CAA8C;AAC9C,MAAM,UAAU,YAAY,CACxB,IAAU,EACV,OAA6B;IAE7B,IAAI,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,KAAK,EAAE,CAAC,CAAC;IACxE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,GAAG,EAAE,CAAC;IAChB,CAAC;SAAM,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QAC1B,MAAM,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,OAAO;QACH,GAAG,MAAM;QACT,OAAO;KACV,CAAC;AACN,CAAC"}

package/dist/json/literal.d.ts

@@ -0,0 +1,9 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { LiteralType, Type } from '../parser.js';
+/** Converts a LiteralType into JSON Schema */
+export declare function literal(type: LiteralType): JSONSchema;
+/** Converts a union of LiteralTypes into a single JSON Schema enum */
+export declare function literalEnum(types: LiteralType[]): JSONSchema;
+/** Type guard for LiteralType */
+export declare function isLiteralType(type: Type): type is LiteralType;
+//# sourceMappingURL=literal.d.ts.map

package/dist/json/literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.d.ts","sourceRoot":"","sources":["../../src/json/literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEtD,8CAA8C;AAC9C,wBAAgB,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,UAAU,CAErD;AAED,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,UAAU,CAK5D;AAED,iCAAiC;AACjC,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,WAAW,CAE7D"}

package/dist/json/literal.js

@@ -0,0 +1,16 @@
+/** Converts a LiteralType into JSON Schema */
+export function literal(type) {
+    return { const: type.value };
+}
+/** Converts a union of LiteralTypes into a single JSON Schema enum */
+export function literalEnum(types) {
+    const schema = {
+        enum: types.map((t) => t.value),
+    };
+    return schema;
+}
+/** Type guard for LiteralType */
+export function isLiteralType(type) {
+    return typeof type == 'object' && type.kind === 'literal';
+}
+//# sourceMappingURL=literal.js.map

package/dist/json/literal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.js","sourceRoot":"","sources":["../../src/json/literal.ts"],"names":[],"mappings":"AAGA,8CAA8C;AAC9C,MAAM,UAAU,OAAO,CAAC,IAAiB;IACrC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;AACjC,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,WAAW,CAAC,KAAoB;IAC5C,MAAM,MAAM,GAAe;QACvB,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;KAClC,CAAC;IACF,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,iCAAiC;AACjC,MAAM,UAAU,aAAa,CAAC,IAAU;IACpC,OAAO,OAAO,IAAI,IAAI,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC9D,CAAC"}

package/dist/json/record.d.ts

@@ -0,0 +1,6 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { RecordType } from '../parser.js';
+import { type ToJSONSchemaOptionsImpl } from './impl.js';
+/** Converts a RecordType into JSON Schema */
+export declare function record(simplified: RecordType, options: ToJSONSchemaOptionsImpl): JSONSchema;
+//# sourceMappingURL=record.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../src/json/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAe,UAAU,EAAQ,MAAM,cAAc,CAAC;AAClE,OAAO,EAAoB,KAAK,uBAAuB,EAAE,MAAM,WAAW,CAAC;AA6D3E,6CAA6C;AAC7C,wBAAgB,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,uBAAuB,GAAG,UAAU,CAK3F"}

package/dist/json/record.js

@@ -0,0 +1,66 @@
+import { toJSONSchemaImpl } from './impl.js';
+import { templatePartPattern, RE_ANY } from './template.js';
+import { isLiteralType } from './literal.js';
+/** Convert fields record into JSON Schema */
+function fieldsRecord(fields, options) {
+    const properties = {};
+    const required = [];
+    for (const field of fields) {
+        properties[field.name] = toJSONSchemaImpl(field.type, options);
+        if (!options.loose && !field.optional) {
+            required.push(field.name);
+        }
+    }
+    const schema = {
+        type: 'object',
+        properties,
+        additionalProperties: options.loose,
+    };
+    if (required.length > 0) {
+        schema.required = required;
+    }
+    return schema;
+}
+/** Convert generic record into JSON Schema */
+function genericRecord(key, value, options) {
+    const valueSchema = toJSONSchemaImpl(value, options);
+    if (typeof key == 'object') {
+        if (isLiteralType(key)) {
+            const schema = {
+                type: 'object',
+                properties: { [String(key.value)]: valueSchema },
+                additionalProperties: options.loose,
+            };
+            return schema;
+        }
+        else if (key.kind === 'union' && key.types.every(isLiteralType)) {
+            const schema = {
+                type: 'object',
+                properties: Object.fromEntries(key.types.map((t) => [String(t.value), valueSchema])),
+                additionalProperties: options.loose,
+            };
+            return schema;
+        }
+    }
+    const pattern = templatePartPattern(key, false);
+    if (pattern === RE_ANY) {
+        return {
+            type: 'object',
+            additionalProperties: valueSchema,
+        };
+    }
+    const schema = {
+        type: 'object',
+        patternProperties: { [`^${pattern}$`]: valueSchema },
+        additionalProperties: options.loose,
+    };
+    return schema;
+}
+/** Converts a RecordType into JSON Schema */
+export function record(simplified, options) {
+    if ('fields' in simplified) {
+        return fieldsRecord(simplified.fields, options);
+    }
+    return genericRecord(simplified.key ?? 'string', simplified.value, options);
+}
+//# sourceMappingURL=record.js.map

package/dist/json/record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../src/json/record.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAgC,MAAM,WAAW,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,6CAA6C;AAC7C,SAAS,YAAY,CAAC,MAA8B,EAAE,OAAgC;IAClF,MAAM,UAAU,GAA+B,EAAE,CAAC;IAClD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAe;QACvB,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,oBAAoB,EAAE,OAAO,CAAC,KAAK;KACtC,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,8CAA8C;AAC9C,SAAS,aAAa,CAAC,GAAS,EAAE,KAAW,EAAE,OAAgC;IAC3E,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAErD,IAAI,OAAO,GAAG,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,MAAM,GAAe;gBACvB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE;gBAChD,oBAAoB,EAAE,OAAO,CAAC,KAAK;aACtC,CAAC;YACF,OAAO,MAAM,CAAC;QAClB,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAChE,MAAM,MAAM,GAAe;gBACvB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;gBACpF,oBAAoB,EAAE,OAAO,CAAC,KAAK;aACtC,CAAC;YACF,OAAO,MAAM,CAAC;QAClB,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACrB,OAAO;YACH,IAAI,EAAE,QAAQ;YACd,oBAAoB,EAAE,WAAW;SACpC,CAAC;IACN,CAAC;IACD,MAAM,MAAM,GAAe;QACvB,IAAI,EAAE,QAAQ;QACd,iBAAiB,EAAE,EAAE,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,WAAW,EAAE;QACpD,oBAAoB,EAAE,OAAO,CAAC,KAAK;KACtC,CAAC;IACF,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,MAAM,CAAC,UAAsB,EAAE,OAAgC;IAC3E,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QACzB,OAAO,YAAY,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,aAAa,CAAC,UAAU,CAAC,GAAG,IAAI,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAChF,CAAC"}

package/dist/json/string.d.ts

@@ -0,0 +1,5 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { KnownType, NamedType } from '../parser.js';
+/** Converts a KnownType or NamedType into JSON Schema */
+export declare function string(type: KnownType | NamedType): JSONSchema;
+//# sourceMappingURL=string.d.ts.map

package/dist/json/string.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../src/json/string.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEzD,yDAAyD;AACzD,wBAAgB,MAAM,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,UAAU,CAyB9D"}

package/dist/json/string.js

@@ -0,0 +1,28 @@
+/** Converts a KnownType or NamedType into JSON Schema */
+export function string(type) {
+    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;
+    }
+}
+//# sourceMappingURL=string.js.map

package/dist/json/string.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../src/json/string.ts"],"names":[],"mappings":"AAGA,yDAAyD;AACzD,MAAM,UAAU,MAAM,CAAC,IAA2B;IAC9C,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,QAAQ;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC9B,KAAK,QAAQ;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC9B,KAAK,SAAS;YACV,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC/B,KAAK,KAAK;YACN,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC5B,KAAK,OAAO;YACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC1C,KAAK,QAAQ;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC9B,KAAK,QAAQ;YACT,OAAO,IAAI,CAAC;QAChB,KAAK,KAAK;YACN,OAAO,IAAI,CAAC;QAChB,KAAK,SAAS;YACV,OAAO,IAAI,CAAC;QAChB,KAAK,OAAO;YACR,OAAO,KAAK,CAAC;QACjB;YACI,OAAO,IAAI,CAAC;IACpB,CAAC;AACL,CAAC"}

package/dist/json/template.d.ts

@@ -0,0 +1,8 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { TemplateType, Type } from '../parser.js';
+export declare const RE_ANY = ".*?";
+/** Converts a template interpolation part into a regex pattern fragment */
+export declare function templatePartPattern(part: Type, grouping: boolean): string;
+/** Converts a TemplateType into a JSON Schema pattern */
+export declare function template(type: TemplateType): JSONSchema;
+//# sourceMappingURL=template.d.ts.map

package/dist/json/template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.d.ts","sourceRoot":"","sources":["../../src/json/template.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAOvD,eAAO,MAAM,MAAM,QAAQ,CAAC;AA0C5B,2EAA2E;AAC3E,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAKzE;AAED,yDAAyD;AACzD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,CAUvD"}

package/dist/json/template.js

@@ -0,0 +1,72 @@
+import { REG_NUMBER } from '@mirascript/constants';
+/** Escapes a literal string for use in a regular expression */
+function escapeRegex(value) {
+    return value.replaceAll(/[.*+?^${}()|[\]\\]/g, String.raw `\$&`);
+}
+export 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 templatePartPatternImpl(part) {
+    if (typeof part == 'symbol') {
+        return RE_ANY;
+    }
+    if (typeof part == 'string') {
+        if (part === 'number')
+            return RE_NUMBER;
+        if (part === 'boolean')
+            return RE_BOOLEAN;
+        if (part === 'nil' || part === 'never')
+            return '';
+        return RE_ANY;
+    }
+    if (part.kind === 'literal') {
+        if (typeof part.value === 'boolean') {
+            return String(part.value);
+        }
+        else {
+            return escapeRegex(part.value);
+        }
+    }
+    if (part.kind === 'union') {
+        const patterns = new Set(part.types.map((p) => templatePartPatternImpl(p)));
+        if (patterns.has(RE_ANY)) {
+            return RE_ANY;
+        }
+        else {
+            const hasEmpty = patterns.delete('');
+            let result = Array.from(patterns).join('|');
+            if (hasEmpty) {
+                result = `(${result})?`;
+            }
+            return result;
+        }
+    }
+    if (part.kind === 'intersection') {
+        // Regex intersection is not representable in general; keep behavior conservative.
+        return RE_ANY;
+    }
+    return RE_ANY;
+}
+/** Converts a template interpolation part into a regex pattern fragment */
+export function templatePartPattern(part, grouping) {
+    const result = templatePartPatternImpl(part);
+    if (!grouping)
+        return result;
+    if (result.startsWith('('))
+        return result;
+    return `(${result})`;
+}
+/** Converts a TemplateType into a JSON Schema pattern */
+export function template(type) {
+    const pattern = `^${type.parts
+        .map((p) => {
+        if (typeof p == 'object' && p.kind === 'literal' && typeof p.value === 'string') {
+            return templatePartPattern(p, false);
+        }
+        return templatePartPattern(p, true);
+    })
+        .join('')}$`;
+    return { type: 'string', pattern };
+}
+//# sourceMappingURL=template.js.map

package/dist/json/template.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.js","sourceRoot":"","sources":["../../src/json/template.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,+DAA+D;AAC/D,SAAS,WAAW,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,GAAG,CAAA,KAAK,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,KAAK,CAAC;AAC5B,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC;AACpC,MAAM,UAAU,GAAG,YAAY,CAAC;AAEhC,2EAA2E;AAC3E,SAAS,uBAAuB,CAAC,IAAU;IACvC,IAAI,OAAO,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,UAAU,CAAC;QAC1C,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACJ,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC;QAClB,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACrC,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5C,IAAI,QAAQ,EAAE,CAAC;gBACX,MAAM,GAAG,IAAI,MAAM,IAAI,CAAC;YAC5B,CAAC;YACD,OAAO,MAAM,CAAC;QAClB,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/B,kFAAkF;QAClF,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,mBAAmB,CAAC,IAAU,EAAE,QAAiB;IAC7D,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC7B,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAC1C,OAAO,IAAI,MAAM,GAAG,CAAC;AACzB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,QAAQ,CAAC,IAAkB;IACvC,MAAM,OAAO,GAAG,IAAI,IAAI,CAAC,KAAK;SACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACP,IAAI,OAAO,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9E,OAAO,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC;SACD,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;IACjB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AACvC,CAAC"}

package/dist/json/tuple.d.ts

@@ -0,0 +1,8 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { TupleType } from '../parser.js';
+import { type ToJSONSchemaOptionsImpl } from './impl.js';
+/**
+ * Converts a TupleType into JSON Schema
+ */
+export declare function tuple(tuple: TupleType, options: ToJSONSchemaOptionsImpl): JSONSchema;
+//# sourceMappingURL=tuple.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../src/json/tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAoB,KAAK,uBAAuB,EAAE,MAAM,WAAW,CAAC;AAE3E;;GAEG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,GAAG,UAAU,CA4CpF"}

package/dist/json/tuple.js

@@ -0,0 +1,52 @@
+import { toJSONSchemaImpl } from './impl.js';
+/**
+ * Converts a TupleType into JSON Schema
+ */
+export function tuple(tuple, options) {
+    // Collect element schemas, unwrapping array from rest elements (..T[] → T).
+    // Non-array rest (e.g. ..string) is treated as any ({}).
+    const elementSchemas = tuple.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 = tuple.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 = { 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 = options.loose;
+    }
+    return schema;
+}
+//# sourceMappingURL=tuple.js.map

package/dist/json/tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../src/json/tuple.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAgC,MAAM,WAAW,CAAC;AAE3E;;GAEG;AACH,MAAM,UAAU,KAAK,CAAC,KAAgB,EAAE,OAAgC;IACpE,4EAA4E;IAC5E,yDAAyD;IACzD,MAAM,cAAc,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,MAAM;YAAE,OAAO,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7C,OAAO,gBAAgB,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,EAAE,CAAC;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,MAAM;YAAE,MAAM;QACrB,WAAW,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,GAAG,IAAI,CAAC;QAClB,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC7C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,GAAG,WAAW,CAAC;IACrC,CAAC;IACD,IAAI,MAAM,EAAE,CAAC;QACT,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;IACxB,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,KAAK,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACpC,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IAC7B,CAAC;SAAM,CAAC;QACJ,MAAM,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IACjC,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/json/union-intersection.d.ts

@@ -0,0 +1,8 @@
+import type { JSONSchema } from 'json-schema-typed';
+import type { IntersectionType, UnionType } from '../parser.js';
+import { type ToJSONSchemaOptionsImpl } from './impl.js';
+/** Converts a union type to JSON representation */
+export declare function union(union: UnionType, options: ToJSONSchemaOptionsImpl): JSONSchema;
+/** Converts an intersection type to JSON representation */
+export declare function intersection(intersection: IntersectionType, options: ToJSONSchemaOptionsImpl): JSONSchema;
+//# sourceMappingURL=union-intersection.d.ts.map

package/dist/json/union-intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-intersection.d.ts","sourceRoot":"","sources":["../../src/json/union-intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAe,SAAS,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,KAAK,uBAAuB,EAAoB,MAAM,WAAW,CAAC;AAG3E,mDAAmD;AACnD,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,GAAG,UAAU,CA2BpF;AAED,2DAA2D;AAC3D,wBAAgB,YAAY,CAAC,YAAY,EAAE,gBAAgB,EAAE,OAAO,EAAE,uBAAuB,GAAG,UAAU,CAMzG"}

package/dist/json/union-intersection.js

@@ -0,0 +1,40 @@
+import { toJSONSchemaImpl } from './impl.js';
+import { isLiteralType, literalEnum } from './literal.js';
+/** Converts a union type to JSON representation */
+export function union(union, options) {
+    const anyOf = [];
+    const literals = [];
+    for (const t of union.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 };
+}
+/** Converts an intersection type to JSON representation */
+export function intersection(intersection, options) {
+    const allOf = intersection.types.map((t) => toJSONSchemaImpl(t, options));
+    if (allOf.length === 1) {
+        return allOf[0];
+    }
+    return { allOf };
+}
+//# sourceMappingURL=union-intersection.js.map

package/dist/json/union-intersection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-intersection.js","sourceRoot":"","sources":["../../src/json/union-intersection.ts"],"names":[],"mappings":"AAEA,OAAO,EAAgC,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE1D,mDAAmD;AACnD,MAAM,UAAU,KAAK,CAAC,KAAgB,EAAE,OAAgC;IACpE,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,SAAS;QACb,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YAClB,SAAS;QACb,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC;AACrB,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,YAAY,CAAC,YAA8B,EAAE,OAAgC;IACzF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC;AACrB,CAAC"}

package/dist/simplifier/dedup.d.ts

@@ -0,0 +1,4 @@
+import type { Type } from '../parser.js';
+/** Removes duplicate members from union/intersection type member lists. */
+export declare function deduplicateTypeMembers(types: Type[]): Type[];
+//# sourceMappingURL=dedup.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dedup.d.ts","sourceRoot":"","sources":["../../src/simplifier/dedup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AA+CzC,2EAA2E;AAC3E,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,CAY5D"}

package/dist/simplifier/dedup.js

@@ -0,0 +1,61 @@
+/** 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. */
+export 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;
+}
+//# sourceMappingURL=dedup.js.map

package/dist/simplifier/dedup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedup.js","sourceRoot":"","sources":["../../src/simplifier/dedup.ts"],"names":[],"mappings":"AAEA,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,MAAM,UAAU,sBAAsB,CAAC,KAAa;IAChD,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"}

package/dist/simplifier/impl.d.ts

@@ -0,0 +1,7 @@
+import type { Type } from '../parser.js';
+import type { SimplifyOptions } from './index.js';
+/** Options for simplifyImpl */
+export type SimplifyImplOptions = Required<SimplifyOptions>;
+/** Simplifies a Type AST in place, optionally disabling individual normalization passes. */
+export declare function simplifyImpl(type: Type, options: SimplifyImplOptions): Type;
+//# sourceMappingURL=impl.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"impl.d.ts","sourceRoot":"","sources":["../../src/simplifier/impl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEzC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAKlD,+BAA+B;AAC/B,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;AAE5D,4FAA4F;AAC5F,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAoD3E"}