openapi-typesafe 0.0.0 → 1.0.0-rc.0

package/dist/application/transform/schema/composition-type.cjs

@@ -0,0 +1,107 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const outputFixes = require('../../../domain/output-fixes.cjs');
+const sharedTypes = require('../shared-types.cjs');
+const typeCombinators = require('../type-combinators.cjs');
+const coreType = require('./core-type.cjs');
+const presenceMembers = require('./presence-members.cjs');
+const unevaluatedProperties = require('./unevaluated-properties.cjs');
+
+function variantTypes(variants, keyword, request) {
+  return variants.map(
+    (variant, index) => request.transformNested(variant, {
+      ...request.location,
+      path: jsonPointer.createRef([request.location.path, keyword, String(index)])
+    })
+  );
+}
+function isRefItem(item) {
+  return "$ref" in item;
+}
+function refItemType(item, required, request) {
+  const type = request.transformNested(item, request.location);
+  const { refs, discriminators, footer } = request.context;
+  const resolved = refs.resolve(item.$ref);
+  const isEligible = resolved && typeof resolved === "object" && "properties" in resolved && !discriminators.isHandled(item.$ref);
+  if (!isEligible) {
+    return type;
+  }
+  const keys = required.filter((key) => Boolean(resolved.properties?.[key]));
+  if (keys.length > 0) {
+    footer.requireWithRequired();
+  }
+  return typeCombinators.withRequiredKeys(type, keys);
+}
+function inlineItemType(item, required, request) {
+  const own = typeof item === "object" && Array.isArray(item.required) ? item.required ?? [] : [];
+  return request.transformNested(
+    { ...item, required: [...required, ...own] },
+    request.location
+  );
+}
+function allOfTypes(items, required, request) {
+  return items.map((item) => {
+    const isRef = isRefItem(item);
+    const type = isRef ? refItemType(item, required, request) : inlineItemType(item, required, request);
+    const discriminator = isRef && request.context.discriminators.objectAt(item.$ref) || item.discriminator;
+    return discriminator?.propertyName ? typeCombinators.omitKeys(type, [discriminator.propertyName]) : type;
+  });
+}
+function oneOfType(previous, variants) {
+  const before = previous === null ? [] : [previous];
+  return variants.every(typeCombinators.isPrimitiveType) ? typeCombinators.unionOf([...before, ...variants]) : typeCombinators.intersectionOf([...before, typeCombinators.unionOf(variants)]);
+}
+function anyOfType(previous, schema, request) {
+  const variants = variantTypes(schema.anyOf ?? [], "anyOf", request);
+  if (variants.length === 0 || previous === null) {
+    return variants.length === 0 ? previous : typeCombinators.unionOf(variants);
+  }
+  if (!request.context.options.fixes.has(outputFixes.OutputFix.ANYOF_PROPERTIES)) {
+    return typeCombinators.unionOf([previous, ...variants]);
+  }
+  return Array.isArray(schema.type) ? previous : typeCombinators.intersectionOf([previous, typeCombinators.unionOf(variants)]);
+}
+function oneOfVariants(schema) {
+  const objectEnum = "type" in schema && schema.type === "object" && schema.enum;
+  return schema.oneOf || objectEnum || [];
+}
+function requiredKeys(schema, presenceKeys) {
+  const own = schema.required ?? [];
+  return presenceKeys.length === 0 ? own : [.../* @__PURE__ */ new Set([...own, ...presenceKeys])];
+}
+function composedType(schema, request) {
+  let type = null;
+  const core = coreType.coreType(schema, request);
+  const { members, required } = presenceMembers.allOfMembers(schema.allOf ?? [], request);
+  const allOf = allOfTypes(members, requiredKeys(schema, required), request);
+  if (core !== null || allOf.length > 0) {
+    const allOfType = allOf.length > 0 ? [typeCombinators.intersectionOf(allOf)] : [];
+    type = typeCombinators.intersectionOf([...core === null ? [] : [core], ...allOfType]);
+  }
+  type = anyOfType(type, schema, request);
+  const oneOf = variantTypes(oneOfVariants(schema), "oneOf", request);
+  return oneOf.length > 0 ? oneOfType(type, oneOf) : type;
+}
+function combinedType(schema, request) {
+  const type = composedType(schema, request);
+  const unevaluated = unevaluatedProperties.unevaluatedPropertiesType(schema, type, request);
+  if (unevaluated === null) {
+    return type;
+  }
+  if (type === null) {
+    return unevaluated;
+  }
+  const parts = type.kind === "intersection" ? type.types : [type];
+  return typeCombinators.intersectionOf([...parts, unevaluated]);
+}
+function compositionType(schema, request) {
+  const { emptyObjectsUnknown } = request.context.options;
+  const empty = "type" in schema ? constructors.irRecord(constructors.irKeyword("string"), emptyObjectsUnknown ? sharedTypes.UNKNOWN_TYPE : constructors.irKeyword("never")) : sharedTypes.UNKNOWN_TYPE;
+  const type = combinedType(schema, request) ?? empty;
+  return type !== sharedTypes.UNKNOWN_TYPE && schema.nullable ? typeCombinators.nullableOf([type]) : type;
+}
+
+exports.compositionType = compositionType;
+//# sourceMappingURL=composition-type.cjs.map

package/dist/application/transform/schema/composition-type.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition-type.cjs","sources":["../../../../src/application/transform/schema/composition-type.ts"],"sourcesContent":["import { irKeyword, irRecord } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport {\n  intersectionOf,\n  isPrimitiveType,\n  nullableOf,\n  omitKeys,\n  unionOf,\n  withRequiredKeys,\n} from \"../type-combinators.js\";\nimport { coreType } from \"./core-type.js\";\nimport { allOfMembers } from \"./presence-members.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\nimport { unevaluatedPropertiesType } from \"./unevaluated-properties.js\";\n\n/** `anyOf` / `oneOf` variants; the position is part of the path so nested names stay unique. */\nfunction variantTypes(\n  variants: readonly Schema[],\n  keyword: \"anyOf\" | \"oneOf\",\n  request: SchemaRequest,\n): IrType[] {\n  return variants.map((variant, index) =>\n    request.transformNested(variant, {\n      ...request.location,\n      path: createRef([request.location.path, keyword, String(index)]),\n    }),\n  );\n}\n\n/**\n * Whether an `allOf` item is a `$ref`. Like the original, this uses `in`, so a boolean item throws\n * a TypeError instead of being accepted.\n */\nfunction isRefItem(item: Schema): item is { readonly $ref: string } {\n  return \"$ref\" in (item as object);\n}\n\n/** A `$ref` item gets the parent's `required` keys that its target defines (`WithRequired`). */\nfunction refItemType(\n  item: { readonly $ref: string },\n  required: readonly string[],\n  request: SchemaRequest,\n): IrType {\n  const type = request.transformNested(item, request.location);\n  const { refs, discriminators, footer } = request.context;\n  const resolved = refs.resolve(item.$ref) as SchemaObject | undefined;\n  const isEligible =\n    resolved &&\n    typeof resolved === \"object\" &&\n    \"properties\" in resolved &&\n    !discriminators.isHandled(item.$ref);\n  if (!isEligible) {\n    return type;\n  }\n  const keys = required.filter((key) => Boolean(resolved.properties?.[key]));\n  if (keys.length > 0) {\n    footer.requireWithRequired();\n  }\n  return withRequiredKeys(type, keys);\n}\n\n/** An inline item merges the parent's `required` keys with its own. */\nfunction inlineItemType(item: Schema, required: readonly string[], request: SchemaRequest): IrType {\n  const own =\n    typeof item === \"object\" && Array.isArray((item as SchemaObject).required)\n      ? ((item as SchemaObject).required ?? [])\n      : [];\n  return request.transformNested(\n    { ...(item as SchemaObject), required: [...required, ...own] },\n    request.location,\n  );\n}\n\n/** `allOf` items; an item with a discriminator omits that property (the parent redefines it). */\nfunction allOfTypes(\n  items: readonly Schema[],\n  required: readonly string[],\n  request: SchemaRequest,\n): IrType[] {\n  return items.map((item) => {\n    const isRef = isRefItem(item);\n    const type = isRef\n      ? refItemType(item, required, request)\n      : inlineItemType(item, required, request);\n    const discriminator =\n      (isRef && request.context.discriminators.objectAt(item.$ref)) ||\n      (item as SchemaObject).discriminator;\n    return discriminator?.propertyName ? omitKeys(type, [discriminator.propertyName]) : type;\n  });\n}\n\nfunction oneOfType(previous: IrType | null, variants: readonly IrType[]): IrType {\n  const before = previous === null ? [] : [previous];\n  // Only `oneOf` may list primitives; then it stays a flat union.\n  return variants.every(isPrimitiveType)\n    ? unionOf([...before, ...variants])\n    : intersectionOf([...before, unionOf(variants)]);\n}\n\n/**\n * `anyOf` is a union: TypeScript unions are not exclusive, which matches anyOf better than oneOf.\n * By default the sibling type is one more member, as in the original. With `anyof-properties` it\n * is intersected with the union, so it applies to every variant (#2380); for a `type` list, each\n * listed type has applied `anyOf` already (`multipleTypes`), so the list is the whole type.\n */\nfunction anyOfType(\n  previous: IrType | null,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): IrType | null {\n  const variants = variantTypes(schema.anyOf ?? [], \"anyOf\", request);\n  if (variants.length === 0 || previous === null) {\n    return variants.length === 0 ? previous : unionOf(variants);\n  }\n  if (!request.context.options.fixes.has(OutputFix.ANYOF_PROPERTIES)) {\n    return unionOf([previous, ...variants]);\n  }\n  return Array.isArray(schema.type) ? previous : intersectionOf([previous, unionOf(variants)]);\n}\n\n/** Object enums are written as `oneOf` over their values. */\nfunction oneOfVariants(schema: SchemaObject): readonly Schema[] {\n  const objectEnum =\n    \"type\" in schema && schema.type === \"object\" && (schema.enum as Schema[] | undefined);\n  return schema.oneOf || objectEnum || [];\n}\n\n/**\n * The parent's `required` keys, plus the keys of left-out `allOf` members (`allof-required`).\n * Without such keys the parent's list stays as it is, duplicates included, as in the original.\n */\nfunction requiredKeys(schema: SchemaObject, presenceKeys: readonly string[]): readonly string[] {\n  const own = schema.required ?? [];\n  return presenceKeys.length === 0 ? own : [...new Set([...own, ...presenceKeys])];\n}\n\nfunction composedType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  let type: IrType | null = null;\n  const core = coreType(schema, request);\n  const { members, required } = allOfMembers(schema.allOf ?? [], request);\n  const allOf = allOfTypes(members, requiredKeys(schema, required), request);\n  if (core !== null || allOf.length > 0) {\n    const allOfType = allOf.length > 0 ? [intersectionOf(allOf)] : [];\n    type = intersectionOf([...(core === null ? [] : [core]), ...allOfType]);\n  }\n  type = anyOfType(type, schema, request);\n  const oneOf = variantTypes(oneOfVariants(schema), \"oneOf\", request);\n  return oneOf.length > 0 ? oneOfType(type, oneOf) : type;\n}\n\n/** The composed type, with the `unevaluatedProperties` index signature when it applies. */\nfunction combinedType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  const type = composedType(schema, request);\n  const unevaluated = unevaluatedPropertiesType(schema, type, request);\n  if (unevaluated === null) {\n    return type;\n  }\n  if (type === null) {\n    return unevaluated;\n  }\n  // One flat intersection, so an `allOf` intersection is not printed in parentheses.\n  const parts = type.kind === \"intersection\" ? type.types : [type];\n  return intersectionOf([...parts, unevaluated]);\n}\n\n/**\n * The schema with composition: core type and `allOf` intersected, then `anyOf` and `oneOf`. Without\n * any of them: `Record<string, never>` (or `unknown` with `--empty-objects-unknown`) when `type` is\n * present, else `unknown`. `nullable: true` adds `null`, except to the shared `unknown`.\n */\nexport function compositionType(schema: SchemaObject, request: SchemaRequest): IrType {\n  const { emptyObjectsUnknown } = request.context.options;\n  const empty =\n    \"type\" in schema\n      ? irRecord(irKeyword(\"string\"), emptyObjectsUnknown ? UNKNOWN_TYPE : irKeyword(\"never\"))\n      : UNKNOWN_TYPE;\n  const type = combinedType(schema, request) ?? empty;\n  return type !== UNKNOWN_TYPE && schema.nullable ? nullableOf([type]) : type;\n}\n"],"names":["createRef","withRequiredKeys","omitKeys","isPrimitiveType","unionOf","intersectionOf","OutputFix","coreType","allOfMembers","unevaluatedPropertiesType","irRecord","irKeyword","UNKNOWN_TYPE","nullableOf"],"mappings":";;;;;;;;;;;AAoBA,SAAS,YAAA,CACP,QAAA,EACA,OAAA,EACA,OAAA,EACU;AACV,EAAA,OAAO,QAAA,CAAS,GAAA;AAAA,IAAI,CAAC,OAAA,EAAS,KAAA,KAC5B,OAAA,CAAQ,gBAAgB,OAAA,EAAS;AAAA,MAC/B,GAAG,OAAA,CAAQ,QAAA;AAAA,MACX,IAAA,EAAMA,qBAAA,CAAU,CAAC,OAAA,CAAQ,QAAA,CAAS,MAAM,OAAA,EAAS,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,KAChE;AAAA,GACH;AACF;AAMA,SAAS,UAAU,IAAA,EAAiD;AAClE,EAAA,OAAO,MAAA,IAAW,IAAA;AACpB;AAGA,SAAS,WAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,OAAA,CAAQ,eAAA,CAAgB,IAAA,EAAM,QAAQ,QAAQ,CAAA;AAC3D,EAAA,MAAM,EAAE,IAAA,EAAM,cAAA,EAAgB,MAAA,KAAW,OAAA,CAAQ,OAAA;AACjD,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA;AACvC,EAAA,MAAM,UAAA,GACJ,QAAA,IACA,OAAO,QAAA,KAAa,QAAA,IACpB,YAAA,IAAgB,QAAA,IAChB,CAAC,cAAA,CAAe,SAAA,CAAU,IAAA,CAAK,IAAI,CAAA;AACrC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,MAAA,CAAO,CAAC,GAAA,KAAQ,QAAQ,QAAA,CAAS,UAAA,GAAa,GAAG,CAAC,CAAC,CAAA;AACzE,EAAA,IAAI,IAAA,CAAK,SAAS,CAAA,EAAG;AACnB,IAAA,MAAA,CAAO,mBAAA,EAAoB;AAAA,EAC7B;AACA,EAAA,OAAOC,gCAAA,CAAiB,MAAM,IAAI,CAAA;AACpC;AAGA,SAAS,cAAA,CAAe,IAAA,EAAc,QAAA,EAA6B,OAAA,EAAgC;AACjG,EAAA,MAAM,GAAA,GACJ,OAAO,IAAA,KAAS,QAAA,IAAY,KAAA,CAAM,OAAA,CAAS,IAAA,CAAsB,QAAQ,CAAA,GACnE,IAAA,CAAsB,QAAA,IAAY,KACpC,EAAC;AACP,EAAA,OAAO,OAAA,CAAQ,eAAA;AAAA,IACb,EAAE,GAAI,IAAA,EAAuB,QAAA,EAAU,CAAC,GAAG,QAAA,EAAU,GAAG,GAAG,CAAA,EAAE;AAAA,IAC7D,OAAA,CAAQ;AAAA,GACV;AACF;AAGA,SAAS,UAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACU;AACV,EAAA,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AACzB,IAAA,MAAM,KAAA,GAAQ,UAAU,IAAI,CAAA;AAC5B,IAAA,MAAM,IAAA,GAAO,KAAA,GACT,WAAA,CAAY,IAAA,EAAM,QAAA,EAAU,OAAO,CAAA,GACnC,cAAA,CAAe,IAAA,EAAM,QAAA,EAAU,OAAO,CAAA;AAC1C,IAAA,MAAM,aAAA,GACH,SAAS,OAAA,CAAQ,OAAA,CAAQ,eAAe,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA,IAC1D,IAAA,CAAsB,aAAA;AACzB,IAAA,OAAO,aAAA,EAAe,eAAeC,wBAAA,CAAS,IAAA,EAAM,CAAC,aAAA,CAAc,YAAY,CAAC,CAAA,GAAI,IAAA;AAAA,EACtF,CAAC,CAAA;AACH;AAEA,SAAS,SAAA,CAAU,UAAyB,QAAA,EAAqC;AAC/E,EAAA,MAAM,SAAS,QAAA,KAAa,IAAA,GAAO,EAAC,GAAI,CAAC,QAAQ,CAAA;AAEjD,EAAA,OAAO,SAAS,KAAA,CAAMC,+BAAe,IACjCC,uBAAA,CAAQ,CAAC,GAAG,MAAA,EAAQ,GAAG,QAAQ,CAAC,CAAA,GAChCC,+BAAe,CAAC,GAAG,QAAQD,uBAAA,CAAQ,QAAQ,CAAC,CAAC,CAAA;AACnD;AAQA,SAAS,SAAA,CACP,QAAA,EACA,MAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,WAAW,YAAA,CAAa,MAAA,CAAO,SAAS,EAAC,EAAG,SAAS,OAAO,CAAA;AAClE,EAAA,IAAI,QAAA,CAAS,MAAA,KAAW,CAAA,IAAK,QAAA,KAAa,IAAA,EAAM;AAC9C,IAAA,OAAO,QAAA,CAAS,MAAA,KAAW,CAAA,GAAI,QAAA,GAAWA,wBAAQ,QAAQ,CAAA;AAAA,EAC5D;AACA,EAAA,IAAI,CAAC,QAAQ,OAAA,CAAQ,OAAA,CAAQ,MAAM,GAAA,CAAIE,qBAAA,CAAU,gBAAgB,CAAA,EAAG;AAClE,IAAA,OAAOF,uBAAA,CAAQ,CAAC,QAAA,EAAU,GAAG,QAAQ,CAAC,CAAA;AAAA,EACxC;AACA,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA,GAAI,QAAA,GAAWC,8BAAA,CAAe,CAAC,QAAA,EAAUD,uBAAA,CAAQ,QAAQ,CAAC,CAAC,CAAA;AAC7F;AAGA,SAAS,cAAc,MAAA,EAAyC;AAC9D,EAAA,MAAM,aACJ,MAAA,IAAU,MAAA,IAAU,MAAA,CAAO,IAAA,KAAS,YAAa,MAAA,CAAO,IAAA;AAC1D,EAAA,OAAO,MAAA,CAAO,KAAA,IAAS,UAAA,IAAc,EAAC;AACxC;AAMA,SAAS,YAAA,CAAa,QAAsB,YAAA,EAAoD;AAC9F,EAAA,MAAM,GAAA,GAAM,MAAA,CAAO,QAAA,IAAY,EAAC;AAChC,EAAA,OAAO,YAAA,CAAa,MAAA,KAAW,CAAA,GAAI,GAAA,GAAM,CAAC,mBAAG,IAAI,GAAA,CAAI,CAAC,GAAG,GAAA,EAAK,GAAG,YAAY,CAAC,CAAC,CAAA;AACjF;AAEA,SAAS,YAAA,CAAa,QAAsB,OAAA,EAAuC;AACjF,EAAA,IAAI,IAAA,GAAsB,IAAA;AAC1B,EAAA,MAAM,IAAA,GAAOG,iBAAA,CAAS,MAAA,EAAQ,OAAO,CAAA;AACrC,EAAA,MAAM,EAAE,SAAS,QAAA,EAAS,GAAIC,6BAAa,MAAA,CAAO,KAAA,IAAS,EAAC,EAAG,OAAO,CAAA;AACtE,EAAA,MAAM,QAAQ,UAAA,CAAW,OAAA,EAAS,aAAa,MAAA,EAAQ,QAAQ,GAAG,OAAO,CAAA;AACzE,EAAA,IAAI,IAAA,KAAS,IAAA,IAAQ,KAAA,CAAM,MAAA,GAAS,CAAA,EAAG;AACrC,IAAA,MAAM,SAAA,GAAY,MAAM,MAAA,GAAS,CAAA,GAAI,CAACH,8BAAA,CAAe,KAAK,CAAC,CAAA,GAAI,EAAC;AAChE,IAAA,IAAA,GAAOA,8BAAA,CAAe,CAAC,GAAI,IAAA,KAAS,IAAA,GAAO,EAAC,GAAI,CAAC,IAAI,CAAA,EAAI,GAAG,SAAS,CAAC,CAAA;AAAA,EACxE;AACA,EAAA,IAAA,GAAO,SAAA,CAAU,IAAA,EAAM,MAAA,EAAQ,OAAO,CAAA;AACtC,EAAA,MAAM,QAAQ,YAAA,CAAa,aAAA,CAAc,MAAM,CAAA,EAAG,SAAS,OAAO,CAAA;AAClE,EAAA,OAAO,MAAM,MAAA,GAAS,CAAA,GAAI,SAAA,CAAU,IAAA,EAAM,KAAK,CAAA,GAAI,IAAA;AACrD;AAGA,SAAS,YAAA,CAAa,QAAsB,OAAA,EAAuC;AACjF,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,MAAA,EAAQ,OAAO,CAAA;AACzC,EAAA,MAAM,WAAA,GAAcI,+CAAA,CAA0B,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAA;AACnE,EAAA,IAAI,gBAAgB,IAAA,EAAM;AACxB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAS,IAAA,EAAM;AACjB,IAAA,OAAO,WAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAQ,IAAA,CAAK,IAAA,KAAS,iBAAiB,IAAA,CAAK,KAAA,GAAQ,CAAC,IAAI,CAAA;AAC/D,EAAA,OAAOJ,8BAAA,CAAe,CAAC,GAAG,KAAA,EAAO,WAAW,CAAC,CAAA;AAC/C;AAOO,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAgC;AACpF,EAAA,MAAM,EAAE,mBAAA,EAAoB,GAAI,OAAA,CAAQ,OAAA,CAAQ,OAAA;AAChD,EAAA,MAAM,KAAA,GACJ,MAAA,IAAU,MAAA,GACNK,qBAAA,CAASC,sBAAA,CAAU,QAAQ,CAAA,EAAG,mBAAA,GAAsBC,wBAAA,GAAeD,sBAAA,CAAU,OAAO,CAAC,CAAA,GACrFC,wBAAA;AACN,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,MAAA,EAAQ,OAAO,CAAA,IAAK,KAAA;AAC9C,EAAA,OAAO,IAAA,KAASA,4BAAgB,MAAA,CAAO,QAAA,GAAWC,2BAAW,CAAC,IAAI,CAAC,CAAA,GAAI,IAAA;AACzE;;"}

package/dist/application/transform/schema/composition-type.mjs

@@ -0,0 +1,105 @@
+import { irRecord, irKeyword } from '../../../domain/ir/constructors.mjs';
+import { createRef } from '../../../domain/openapi/json-pointer.mjs';
+import { OutputFix } from '../../../domain/output-fixes.mjs';
+import { UNKNOWN_TYPE } from '../shared-types.mjs';
+import { nullableOf, intersectionOf, omitKeys, unionOf, isPrimitiveType, withRequiredKeys } from '../type-combinators.mjs';
+import { coreType } from './core-type.mjs';
+import { allOfMembers } from './presence-members.mjs';
+import { unevaluatedPropertiesType } from './unevaluated-properties.mjs';
+
+function variantTypes(variants, keyword, request) {
+  return variants.map(
+    (variant, index) => request.transformNested(variant, {
+      ...request.location,
+      path: createRef([request.location.path, keyword, String(index)])
+    })
+  );
+}
+function isRefItem(item) {
+  return "$ref" in item;
+}
+function refItemType(item, required, request) {
+  const type = request.transformNested(item, request.location);
+  const { refs, discriminators, footer } = request.context;
+  const resolved = refs.resolve(item.$ref);
+  const isEligible = resolved && typeof resolved === "object" && "properties" in resolved && !discriminators.isHandled(item.$ref);
+  if (!isEligible) {
+    return type;
+  }
+  const keys = required.filter((key) => Boolean(resolved.properties?.[key]));
+  if (keys.length > 0) {
+    footer.requireWithRequired();
+  }
+  return withRequiredKeys(type, keys);
+}
+function inlineItemType(item, required, request) {
+  const own = typeof item === "object" && Array.isArray(item.required) ? item.required ?? [] : [];
+  return request.transformNested(
+    { ...item, required: [...required, ...own] },
+    request.location
+  );
+}
+function allOfTypes(items, required, request) {
+  return items.map((item) => {
+    const isRef = isRefItem(item);
+    const type = isRef ? refItemType(item, required, request) : inlineItemType(item, required, request);
+    const discriminator = isRef && request.context.discriminators.objectAt(item.$ref) || item.discriminator;
+    return discriminator?.propertyName ? omitKeys(type, [discriminator.propertyName]) : type;
+  });
+}
+function oneOfType(previous, variants) {
+  const before = previous === null ? [] : [previous];
+  return variants.every(isPrimitiveType) ? unionOf([...before, ...variants]) : intersectionOf([...before, unionOf(variants)]);
+}
+function anyOfType(previous, schema, request) {
+  const variants = variantTypes(schema.anyOf ?? [], "anyOf", request);
+  if (variants.length === 0 || previous === null) {
+    return variants.length === 0 ? previous : unionOf(variants);
+  }
+  if (!request.context.options.fixes.has(OutputFix.ANYOF_PROPERTIES)) {
+    return unionOf([previous, ...variants]);
+  }
+  return Array.isArray(schema.type) ? previous : intersectionOf([previous, unionOf(variants)]);
+}
+function oneOfVariants(schema) {
+  const objectEnum = "type" in schema && schema.type === "object" && schema.enum;
+  return schema.oneOf || objectEnum || [];
+}
+function requiredKeys(schema, presenceKeys) {
+  const own = schema.required ?? [];
+  return presenceKeys.length === 0 ? own : [.../* @__PURE__ */ new Set([...own, ...presenceKeys])];
+}
+function composedType(schema, request) {
+  let type = null;
+  const core = coreType(schema, request);
+  const { members, required } = allOfMembers(schema.allOf ?? [], request);
+  const allOf = allOfTypes(members, requiredKeys(schema, required), request);
+  if (core !== null || allOf.length > 0) {
+    const allOfType = allOf.length > 0 ? [intersectionOf(allOf)] : [];
+    type = intersectionOf([...core === null ? [] : [core], ...allOfType]);
+  }
+  type = anyOfType(type, schema, request);
+  const oneOf = variantTypes(oneOfVariants(schema), "oneOf", request);
+  return oneOf.length > 0 ? oneOfType(type, oneOf) : type;
+}
+function combinedType(schema, request) {
+  const type = composedType(schema, request);
+  const unevaluated = unevaluatedPropertiesType(schema, type, request);
+  if (unevaluated === null) {
+    return type;
+  }
+  if (type === null) {
+    return unevaluated;
+  }
+  const parts = type.kind === "intersection" ? type.types : [type];
+  return intersectionOf([...parts, unevaluated]);
+}
+function compositionType(schema, request) {
+  const { emptyObjectsUnknown } = request.context.options;
+  const empty = "type" in schema ? irRecord(irKeyword("string"), emptyObjectsUnknown ? UNKNOWN_TYPE : irKeyword("never")) : UNKNOWN_TYPE;
+  const type = combinedType(schema, request) ?? empty;
+  return type !== UNKNOWN_TYPE && schema.nullable ? nullableOf([type]) : type;
+}
+
+export { compositionType };
+//# sourceMappingURL=composition-type.mjs.map

package/dist/application/transform/schema/composition-type.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition-type.mjs","sources":["../../../../src/application/transform/schema/composition-type.ts"],"sourcesContent":["import { irKeyword, irRecord } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport {\n  intersectionOf,\n  isPrimitiveType,\n  nullableOf,\n  omitKeys,\n  unionOf,\n  withRequiredKeys,\n} from \"../type-combinators.js\";\nimport { coreType } from \"./core-type.js\";\nimport { allOfMembers } from \"./presence-members.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\nimport { unevaluatedPropertiesType } from \"./unevaluated-properties.js\";\n\n/** `anyOf` / `oneOf` variants; the position is part of the path so nested names stay unique. */\nfunction variantTypes(\n  variants: readonly Schema[],\n  keyword: \"anyOf\" | \"oneOf\",\n  request: SchemaRequest,\n): IrType[] {\n  return variants.map((variant, index) =>\n    request.transformNested(variant, {\n      ...request.location,\n      path: createRef([request.location.path, keyword, String(index)]),\n    }),\n  );\n}\n\n/**\n * Whether an `allOf` item is a `$ref`. Like the original, this uses `in`, so a boolean item throws\n * a TypeError instead of being accepted.\n */\nfunction isRefItem(item: Schema): item is { readonly $ref: string } {\n  return \"$ref\" in (item as object);\n}\n\n/** A `$ref` item gets the parent's `required` keys that its target defines (`WithRequired`). */\nfunction refItemType(\n  item: { readonly $ref: string },\n  required: readonly string[],\n  request: SchemaRequest,\n): IrType {\n  const type = request.transformNested(item, request.location);\n  const { refs, discriminators, footer } = request.context;\n  const resolved = refs.resolve(item.$ref) as SchemaObject | undefined;\n  const isEligible =\n    resolved &&\n    typeof resolved === \"object\" &&\n    \"properties\" in resolved &&\n    !discriminators.isHandled(item.$ref);\n  if (!isEligible) {\n    return type;\n  }\n  const keys = required.filter((key) => Boolean(resolved.properties?.[key]));\n  if (keys.length > 0) {\n    footer.requireWithRequired();\n  }\n  return withRequiredKeys(type, keys);\n}\n\n/** An inline item merges the parent's `required` keys with its own. */\nfunction inlineItemType(item: Schema, required: readonly string[], request: SchemaRequest): IrType {\n  const own =\n    typeof item === \"object\" && Array.isArray((item as SchemaObject).required)\n      ? ((item as SchemaObject).required ?? [])\n      : [];\n  return request.transformNested(\n    { ...(item as SchemaObject), required: [...required, ...own] },\n    request.location,\n  );\n}\n\n/** `allOf` items; an item with a discriminator omits that property (the parent redefines it). */\nfunction allOfTypes(\n  items: readonly Schema[],\n  required: readonly string[],\n  request: SchemaRequest,\n): IrType[] {\n  return items.map((item) => {\n    const isRef = isRefItem(item);\n    const type = isRef\n      ? refItemType(item, required, request)\n      : inlineItemType(item, required, request);\n    const discriminator =\n      (isRef && request.context.discriminators.objectAt(item.$ref)) ||\n      (item as SchemaObject).discriminator;\n    return discriminator?.propertyName ? omitKeys(type, [discriminator.propertyName]) : type;\n  });\n}\n\nfunction oneOfType(previous: IrType | null, variants: readonly IrType[]): IrType {\n  const before = previous === null ? [] : [previous];\n  // Only `oneOf` may list primitives; then it stays a flat union.\n  return variants.every(isPrimitiveType)\n    ? unionOf([...before, ...variants])\n    : intersectionOf([...before, unionOf(variants)]);\n}\n\n/**\n * `anyOf` is a union: TypeScript unions are not exclusive, which matches anyOf better than oneOf.\n * By default the sibling type is one more member, as in the original. With `anyof-properties` it\n * is intersected with the union, so it applies to every variant (#2380); for a `type` list, each\n * listed type has applied `anyOf` already (`multipleTypes`), so the list is the whole type.\n */\nfunction anyOfType(\n  previous: IrType | null,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): IrType | null {\n  const variants = variantTypes(schema.anyOf ?? [], \"anyOf\", request);\n  if (variants.length === 0 || previous === null) {\n    return variants.length === 0 ? previous : unionOf(variants);\n  }\n  if (!request.context.options.fixes.has(OutputFix.ANYOF_PROPERTIES)) {\n    return unionOf([previous, ...variants]);\n  }\n  return Array.isArray(schema.type) ? previous : intersectionOf([previous, unionOf(variants)]);\n}\n\n/** Object enums are written as `oneOf` over their values. */\nfunction oneOfVariants(schema: SchemaObject): readonly Schema[] {\n  const objectEnum =\n    \"type\" in schema && schema.type === \"object\" && (schema.enum as Schema[] | undefined);\n  return schema.oneOf || objectEnum || [];\n}\n\n/**\n * The parent's `required` keys, plus the keys of left-out `allOf` members (`allof-required`).\n * Without such keys the parent's list stays as it is, duplicates included, as in the original.\n */\nfunction requiredKeys(schema: SchemaObject, presenceKeys: readonly string[]): readonly string[] {\n  const own = schema.required ?? [];\n  return presenceKeys.length === 0 ? own : [...new Set([...own, ...presenceKeys])];\n}\n\nfunction composedType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  let type: IrType | null = null;\n  const core = coreType(schema, request);\n  const { members, required } = allOfMembers(schema.allOf ?? [], request);\n  const allOf = allOfTypes(members, requiredKeys(schema, required), request);\n  if (core !== null || allOf.length > 0) {\n    const allOfType = allOf.length > 0 ? [intersectionOf(allOf)] : [];\n    type = intersectionOf([...(core === null ? [] : [core]), ...allOfType]);\n  }\n  type = anyOfType(type, schema, request);\n  const oneOf = variantTypes(oneOfVariants(schema), \"oneOf\", request);\n  return oneOf.length > 0 ? oneOfType(type, oneOf) : type;\n}\n\n/** The composed type, with the `unevaluatedProperties` index signature when it applies. */\nfunction combinedType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  const type = composedType(schema, request);\n  const unevaluated = unevaluatedPropertiesType(schema, type, request);\n  if (unevaluated === null) {\n    return type;\n  }\n  if (type === null) {\n    return unevaluated;\n  }\n  // One flat intersection, so an `allOf` intersection is not printed in parentheses.\n  const parts = type.kind === \"intersection\" ? type.types : [type];\n  return intersectionOf([...parts, unevaluated]);\n}\n\n/**\n * The schema with composition: core type and `allOf` intersected, then `anyOf` and `oneOf`. Without\n * any of them: `Record<string, never>` (or `unknown` with `--empty-objects-unknown`) when `type` is\n * present, else `unknown`. `nullable: true` adds `null`, except to the shared `unknown`.\n */\nexport function compositionType(schema: SchemaObject, request: SchemaRequest): IrType {\n  const { emptyObjectsUnknown } = request.context.options;\n  const empty =\n    \"type\" in schema\n      ? irRecord(irKeyword(\"string\"), emptyObjectsUnknown ? UNKNOWN_TYPE : irKeyword(\"never\"))\n      : UNKNOWN_TYPE;\n  const type = combinedType(schema, request) ?? empty;\n  return type !== UNKNOWN_TYPE && schema.nullable ? nullableOf([type]) : type;\n}\n"],"names":[],"mappings":";;;;;;;;;AAoBA,SAAS,YAAA,CACP,QAAA,EACA,OAAA,EACA,OAAA,EACU;AACV,EAAA,OAAO,QAAA,CAAS,GAAA;AAAA,IAAI,CAAC,OAAA,EAAS,KAAA,KAC5B,OAAA,CAAQ,gBAAgB,OAAA,EAAS;AAAA,MAC/B,GAAG,OAAA,CAAQ,QAAA;AAAA,MACX,IAAA,EAAM,SAAA,CAAU,CAAC,OAAA,CAAQ,QAAA,CAAS,MAAM,OAAA,EAAS,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,KAChE;AAAA,GACH;AACF;AAMA,SAAS,UAAU,IAAA,EAAiD;AAClE,EAAA,OAAO,MAAA,IAAW,IAAA;AACpB;AAGA,SAAS,WAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,OAAA,CAAQ,eAAA,CAAgB,IAAA,EAAM,QAAQ,QAAQ,CAAA;AAC3D,EAAA,MAAM,EAAE,IAAA,EAAM,cAAA,EAAgB,MAAA,KAAW,OAAA,CAAQ,OAAA;AACjD,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA;AACvC,EAAA,MAAM,UAAA,GACJ,QAAA,IACA,OAAO,QAAA,KAAa,QAAA,IACpB,YAAA,IAAgB,QAAA,IAChB,CAAC,cAAA,CAAe,SAAA,CAAU,IAAA,CAAK,IAAI,CAAA;AACrC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,MAAA,CAAO,CAAC,GAAA,KAAQ,QAAQ,QAAA,CAAS,UAAA,GAAa,GAAG,CAAC,CAAC,CAAA;AACzE,EAAA,IAAI,IAAA,CAAK,SAAS,CAAA,EAAG;AACnB,IAAA,MAAA,CAAO,mBAAA,EAAoB;AAAA,EAC7B;AACA,EAAA,OAAO,gBAAA,CAAiB,MAAM,IAAI,CAAA;AACpC;AAGA,SAAS,cAAA,CAAe,IAAA,EAAc,QAAA,EAA6B,OAAA,EAAgC;AACjG,EAAA,MAAM,GAAA,GACJ,OAAO,IAAA,KAAS,QAAA,IAAY,KAAA,CAAM,OAAA,CAAS,IAAA,CAAsB,QAAQ,CAAA,GACnE,IAAA,CAAsB,QAAA,IAAY,KACpC,EAAC;AACP,EAAA,OAAO,OAAA,CAAQ,eAAA;AAAA,IACb,EAAE,GAAI,IAAA,EAAuB,QAAA,EAAU,CAAC,GAAG,QAAA,EAAU,GAAG,GAAG,CAAA,EAAE;AAAA,IAC7D,OAAA,CAAQ;AAAA,GACV;AACF;AAGA,SAAS,UAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACU;AACV,EAAA,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AACzB,IAAA,MAAM,KAAA,GAAQ,UAAU,IAAI,CAAA;AAC5B,IAAA,MAAM,IAAA,GAAO,KAAA,GACT,WAAA,CAAY,IAAA,EAAM,QAAA,EAAU,OAAO,CAAA,GACnC,cAAA,CAAe,IAAA,EAAM,QAAA,EAAU,OAAO,CAAA;AAC1C,IAAA,MAAM,aAAA,GACH,SAAS,OAAA,CAAQ,OAAA,CAAQ,eAAe,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA,IAC1D,IAAA,CAAsB,aAAA;AACzB,IAAA,OAAO,aAAA,EAAe,eAAe,QAAA,CAAS,IAAA,EAAM,CAAC,aAAA,CAAc,YAAY,CAAC,CAAA,GAAI,IAAA;AAAA,EACtF,CAAC,CAAA;AACH;AAEA,SAAS,SAAA,CAAU,UAAyB,QAAA,EAAqC;AAC/E,EAAA,MAAM,SAAS,QAAA,KAAa,IAAA,GAAO,EAAC,GAAI,CAAC,QAAQ,CAAA;AAEjD,EAAA,OAAO,SAAS,KAAA,CAAM,eAAe,IACjC,OAAA,CAAQ,CAAC,GAAG,MAAA,EAAQ,GAAG,QAAQ,CAAC,CAAA,GAChC,eAAe,CAAC,GAAG,QAAQ,OAAA,CAAQ,QAAQ,CAAC,CAAC,CAAA;AACnD;AAQA,SAAS,SAAA,CACP,QAAA,EACA,MAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,WAAW,YAAA,CAAa,MAAA,CAAO,SAAS,EAAC,EAAG,SAAS,OAAO,CAAA;AAClE,EAAA,IAAI,QAAA,CAAS,MAAA,KAAW,CAAA,IAAK,QAAA,KAAa,IAAA,EAAM;AAC9C,IAAA,OAAO,QAAA,CAAS,MAAA,KAAW,CAAA,GAAI,QAAA,GAAW,QAAQ,QAAQ,CAAA;AAAA,EAC5D;AACA,EAAA,IAAI,CAAC,QAAQ,OAAA,CAAQ,OAAA,CAAQ,MAAM,GAAA,CAAI,SAAA,CAAU,gBAAgB,CAAA,EAAG;AAClE,IAAA,OAAO,OAAA,CAAQ,CAAC,QAAA,EAAU,GAAG,QAAQ,CAAC,CAAA;AAAA,EACxC;AACA,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA,GAAI,QAAA,GAAW,cAAA,CAAe,CAAC,QAAA,EAAU,OAAA,CAAQ,QAAQ,CAAC,CAAC,CAAA;AAC7F;AAGA,SAAS,cAAc,MAAA,EAAyC;AAC9D,EAAA,MAAM,aACJ,MAAA,IAAU,MAAA,IAAU,MAAA,CAAO,IAAA,KAAS,YAAa,MAAA,CAAO,IAAA;AAC1D,EAAA,OAAO,MAAA,CAAO,KAAA,IAAS,UAAA,IAAc,EAAC;AACxC;AAMA,SAAS,YAAA,CAAa,QAAsB,YAAA,EAAoD;AAC9F,EAAA,MAAM,GAAA,GAAM,MAAA,CAAO,QAAA,IAAY,EAAC;AAChC,EAAA,OAAO,YAAA,CAAa,MAAA,KAAW,CAAA,GAAI,GAAA,GAAM,CAAC,mBAAG,IAAI,GAAA,CAAI,CAAC,GAAG,GAAA,EAAK,GAAG,YAAY,CAAC,CAAC,CAAA;AACjF;AAEA,SAAS,YAAA,CAAa,QAAsB,OAAA,EAAuC;AACjF,EAAA,IAAI,IAAA,GAAsB,IAAA;AAC1B,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,MAAA,EAAQ,OAAO,CAAA;AACrC,EAAA,MAAM,EAAE,SAAS,QAAA,EAAS,GAAI,aAAa,MAAA,CAAO,KAAA,IAAS,EAAC,EAAG,OAAO,CAAA;AACtE,EAAA,MAAM,QAAQ,UAAA,CAAW,OAAA,EAAS,aAAa,MAAA,EAAQ,QAAQ,GAAG,OAAO,CAAA;AACzE,EAAA,IAAI,IAAA,KAAS,IAAA,IAAQ,KAAA,CAAM,MAAA,GAAS,CAAA,EAAG;AACrC,IAAA,MAAM,SAAA,GAAY,MAAM,MAAA,GAAS,CAAA,GAAI,CAAC,cAAA,CAAe,KAAK,CAAC,CAAA,GAAI,EAAC;AAChE,IAAA,IAAA,GAAO,cAAA,CAAe,CAAC,GAAI,IAAA,KAAS,IAAA,GAAO,EAAC,GAAI,CAAC,IAAI,CAAA,EAAI,GAAG,SAAS,CAAC,CAAA;AAAA,EACxE;AACA,EAAA,IAAA,GAAO,SAAA,CAAU,IAAA,EAAM,MAAA,EAAQ,OAAO,CAAA;AACtC,EAAA,MAAM,QAAQ,YAAA,CAAa,aAAA,CAAc,MAAM,CAAA,EAAG,SAAS,OAAO,CAAA;AAClE,EAAA,OAAO,MAAM,MAAA,GAAS,CAAA,GAAI,SAAA,CAAU,IAAA,EAAM,KAAK,CAAA,GAAI,IAAA;AACrD;AAGA,SAAS,YAAA,CAAa,QAAsB,OAAA,EAAuC;AACjF,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,MAAA,EAAQ,OAAO,CAAA;AACzC,EAAA,MAAM,WAAA,GAAc,yBAAA,CAA0B,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAA;AACnE,EAAA,IAAI,gBAAgB,IAAA,EAAM;AACxB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAS,IAAA,EAAM;AACjB,IAAA,OAAO,WAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAQ,IAAA,CAAK,IAAA,KAAS,iBAAiB,IAAA,CAAK,KAAA,GAAQ,CAAC,IAAI,CAAA;AAC/D,EAAA,OAAO,cAAA,CAAe,CAAC,GAAG,KAAA,EAAO,WAAW,CAAC,CAAA;AAC/C;AAOO,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAgC;AACpF,EAAA,MAAM,EAAE,mBAAA,EAAoB,GAAI,OAAA,CAAQ,OAAA,CAAQ,OAAA;AAChD,EAAA,MAAM,KAAA,GACJ,MAAA,IAAU,MAAA,GACN,QAAA,CAAS,SAAA,CAAU,QAAQ,CAAA,EAAG,mBAAA,GAAsB,YAAA,GAAe,SAAA,CAAU,OAAO,CAAC,CAAA,GACrF,YAAA;AACN,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,MAAA,EAAQ,OAAO,CAAA,IAAK,KAAA;AAC9C,EAAA,OAAO,IAAA,KAAS,gBAAgB,MAAA,CAAO,QAAA,GAAW,WAAW,CAAC,IAAI,CAAC,CAAA,GAAI,IAAA;AACzE;;"}

package/dist/application/transform/schema/core-type.cjs

@@ -0,0 +1,84 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const binaryContent = require('../../../domain/openapi/binary-content.cjs');
+const typeCombinators = require('../type-combinators.cjs');
+const arrayType = require('./array-type.cjs');
+const objectType = require('./object-type.cjs');
+
+const PRIMITIVE_TYPE_NAMES = /* @__PURE__ */ new Set([
+  "boolean",
+  "string",
+  "number",
+  "integer",
+  "null"
+]);
+function multipleTypes(schema, request) {
+  const typeNames = schema.type;
+  const { oneOf } = schema;
+  const members = [];
+  for (const typeName of typeNames) {
+    const isInOneOf = Array.isArray(oneOf) && PRIMITIVE_TYPE_NAMES.has(typeName) && oneOf.some(
+      (variant2) => typeof variant2 === "object" && "type" in variant2 && variant2.type === typeName
+    );
+    if (isInOneOf) {
+      continue;
+    }
+    const variant = Array.isArray(oneOf) ? { ...schema, type: typeName, oneOf: void 0 } : { ...schema, type: typeName };
+    members.push(
+      typeName === "null" || typeName === null ? constructors.irKeyword("null") : request.transformNested(variant, request.location)
+    );
+  }
+  return typeCombinators.unionOf(members);
+}
+function keywordRule(name, typeNames, keyword) {
+  return {
+    name,
+    matches: (schema) => typeNames.includes(schema.type),
+    transform: () => constructors.irKeyword(keyword)
+  };
+}
+const BLOB_TYPE_NAME = "Blob";
+function isBinaryAsBlob(schema, request) {
+  return request.context.options.binaryAsBlob && binaryContent.isRawBinarySchema(schema);
+}
+function stringType(schema, request) {
+  return isBinaryAsBlob(schema, request) ? constructors.irReference(BLOB_TYPE_NAME) : constructors.irKeyword("string");
+}
+const TYPED_RULES = [
+  keywordRule("null", ["null"], "null"),
+  { name: "string", matches: (schema) => schema.type === "string", transform: stringType },
+  keywordRule("number", ["number", "integer"], "number"),
+  keywordRule("boolean", ["boolean"], "boolean"),
+  { name: "array", matches: (schema) => schema.type === "array", transform: arrayType.arrayType },
+  {
+    name: "multiple types",
+    matches: (schema) => Array.isArray(schema.type),
+    transform: multipleTypes
+  }
+];
+function customType(schema, request) {
+  const custom = request.context.callbacks.transform(schema, request.location);
+  if (custom === null) {
+    return null;
+  }
+  return custom.isOptional ? constructors.irUnion([custom.type, constructors.irKeyword("undefined")]) : custom.type;
+}
+function coreType(schema, request) {
+  if ("type" in schema && schema.type) {
+    const custom = customType(schema, request);
+    if (custom !== null) {
+      return custom;
+    }
+    const rule = TYPED_RULES.find((candidate) => candidate.matches(schema));
+    if (rule !== void 0) {
+      return rule.transform(schema, request);
+    }
+  } else if (isBinaryAsBlob(schema, request)) {
+    return constructors.irReference(BLOB_TYPE_NAME);
+  }
+  return objectType.objectType(schema, request);
+}
+
+exports.coreType = coreType;
+//# sourceMappingURL=core-type.cjs.map

package/dist/application/transform/schema/core-type.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-type.cjs","sources":["../../../../src/application/transform/schema/core-type.ts"],"sourcesContent":["import { irKeyword, irReference, irUnion } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { isRawBinarySchema } from \"../../../domain/openapi/binary-content.js\";\nimport type {\n  Schema,\n  SchemaObject,\n  SchemaTypeName,\n} from \"../../../domain/openapi/schema-object.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport { arrayType } from \"./array-type.js\";\nimport { objectType } from \"./object-type.js\";\nimport type { SchemaRequest, SchemaRule } from \"./schema-rule.js\";\n\nconst PRIMITIVE_TYPE_NAMES: ReadonlySet<SchemaTypeName | null> = new Set([\n  \"boolean\",\n  \"string\",\n  \"number\",\n  \"integer\",\n  \"null\",\n]);\n\n/** Each `type` of a list becomes a union member; one already listed in `oneOf` is skipped. */\nfunction multipleTypes(schema: SchemaObject, request: SchemaRequest): IrType {\n  const typeNames = schema.type as readonly (SchemaTypeName | null)[];\n  const { oneOf } = schema;\n  const members: IrType[] = [];\n  for (const typeName of typeNames) {\n    const isInOneOf =\n      Array.isArray(oneOf) &&\n      PRIMITIVE_TYPE_NAMES.has(typeName) &&\n      oneOf.some(\n        (variant) => typeof variant === \"object\" && \"type\" in variant && variant.type === typeName,\n      );\n    if (isInOneOf) {\n      continue;\n    }\n    // With oneOf, the member drops it, so oneOf is not applied once per member.\n    const variant = Array.isArray(oneOf)\n      ? { ...schema, type: typeName, oneOf: undefined }\n      : { ...schema, type: typeName };\n    members.push(\n      typeName === \"null\" || typeName === null\n        ? irKeyword(\"null\")\n        : request.transformNested(variant as Schema, request.location),\n    );\n  }\n  return unionOf(members);\n}\n\nfunction keywordRule(\n  name: string,\n  typeNames: readonly string[],\n  keyword: \"null\" | \"number\" | \"boolean\",\n): SchemaRule {\n  return {\n    name,\n    matches: (schema) => typeNames.includes(schema.type as string),\n    transform: () => irKeyword(keyword),\n  };\n}\n\n/** The global type of raw binary data with `--binary-as-blob` (DOM lib, `@types/node`). */\nconst BLOB_TYPE_NAME = \"Blob\";\n\nfunction isBinaryAsBlob(schema: SchemaObject, request: SchemaRequest): boolean {\n  return request.context.options.binaryAsBlob && isRawBinarySchema(schema);\n}\n\nfunction stringType(schema: SchemaObject, request: SchemaRequest): IrType {\n  return isBinaryAsBlob(schema, request) ? irReference(BLOB_TYPE_NAME) : irKeyword(\"string\");\n}\n\n/** Rules for schemas with a `type`, in the original order. */\nconst TYPED_RULES: readonly SchemaRule[] = [\n  keywordRule(\"null\", [\"null\"], \"null\"),\n  { name: \"string\", matches: (schema) => schema.type === \"string\", transform: stringType },\n  keywordRule(\"number\", [\"number\", \"integer\"], \"number\"),\n  keywordRule(\"boolean\", [\"boolean\"], \"boolean\"),\n  { name: \"array\", matches: (schema) => schema.type === \"array\", transform: arrayType },\n  {\n    name: \"multiple types\",\n    matches: (schema) => Array.isArray(schema.type),\n    transform: multipleTypes,\n  },\n];\n\n/** The `transform` callback's type; a `questionToken` adds `undefined` here. */\nfunction customType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  const custom = request.context.callbacks.transform(schema, request.location);\n  if (custom === null) {\n    return null;\n  }\n  return custom.isOptional ? irUnion([custom.type, irKeyword(\"undefined\")]) : custom.type;\n}\n\n/**\n * The schema without composition keywords: the `transform` callback, then a typed rule, then raw\n * binary without `type` (OpenAPI 3.1 allows leaving it out), then the object keywords. Null means\n * the schema has no type of its own.\n */\nexport function coreType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  if (\"type\" in schema && schema.type) {\n    const custom = customType(schema, request);\n    if (custom !== null) {\n      return custom;\n    }\n    const rule = TYPED_RULES.find((candidate) => candidate.matches(schema));\n    if (rule !== undefined) {\n      return rule.transform(schema, request);\n    }\n  } else if (isBinaryAsBlob(schema, request)) {\n    return irReference(BLOB_TYPE_NAME);\n  }\n  return objectType(schema, request);\n}\n"],"names":["variant","irKeyword","unionOf","isRawBinarySchema","irReference","arrayType","irUnion","objectType"],"mappings":";;;;;;;;AAaA,MAAM,oBAAA,uBAA+D,GAAA,CAAI;AAAA,EACvE,SAAA;AAAA,EACA,QAAA;AAAA,EACA,QAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAC,CAAA;AAGD,SAAS,aAAA,CAAc,QAAsB,OAAA,EAAgC;AAC3E,EAAA,MAAM,YAAY,MAAA,CAAO,IAAA;AACzB,EAAA,MAAM,EAAE,OAAM,GAAI,MAAA;AAClB,EAAA,MAAM,UAAoB,EAAC;AAC3B,EAAA,KAAA,MAAW,YAAY,SAAA,EAAW;AAChC,IAAA,MAAM,SAAA,GACJ,MAAM,OAAA,CAAQ,KAAK,KACnB,oBAAA,CAAqB,GAAA,CAAI,QAAQ,CAAA,IACjC,KAAA,CAAM,IAAA;AAAA,MACJ,CAACA,aAAY,OAAOA,QAAAA,KAAY,YAAY,MAAA,IAAUA,QAAAA,IAAWA,SAAQ,IAAA,KAAS;AAAA,KACpF;AACF,IAAA,IAAI,SAAA,EAAW;AACb,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,UAAU,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC/B,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,QAAA,EAAU,OAAO,MAAA,EAAU,GAC9C,EAAE,GAAG,MAAA,EAAQ,MAAM,QAAA,EAAS;AAChC,IAAA,OAAA,CAAQ,IAAA;AAAA,MACN,QAAA,KAAa,MAAA,IAAU,QAAA,KAAa,IAAA,GAChCC,sBAAA,CAAU,MAAM,CAAA,GAChB,OAAA,CAAQ,eAAA,CAAgB,OAAA,EAAmB,OAAA,CAAQ,QAAQ;AAAA,KACjE;AAAA,EACF;AACA,EAAA,OAAOC,wBAAQ,OAAO,CAAA;AACxB;AAEA,SAAS,WAAA,CACP,IAAA,EACA,SAAA,EACA,OAAA,EACY;AACZ,EAAA,OAAO;AAAA,IACL,IAAA;AAAA,IACA,SAAS,CAAC,MAAA,KAAW,SAAA,CAAU,QAAA,CAAS,OAAO,IAAc,CAAA;AAAA,IAC7D,SAAA,EAAW,MAAMD,sBAAA,CAAU,OAAO;AAAA,GACpC;AACF;AAGA,MAAM,cAAA,GAAiB,MAAA;AAEvB,SAAS,cAAA,CAAe,QAAsB,OAAA,EAAiC;AAC7E,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,YAAA,IAAgBE,gCAAkB,MAAM,CAAA;AACzE;AAEA,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAgC;AACxE,EAAA,OAAO,cAAA,CAAe,QAAQ,OAAO,CAAA,GAAIC,yBAAY,cAAc,CAAA,GAAIH,uBAAU,QAAQ,CAAA;AAC3F;AAGA,MAAM,WAAA,GAAqC;AAAA,EACzC,WAAA,CAAY,MAAA,EAAQ,CAAC,MAAM,GAAG,MAAM,CAAA;AAAA,EACpC,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,QAAA,EAAU,SAAA,EAAW,UAAA,EAAW;AAAA,EACvF,YAAY,QAAA,EAAU,CAAC,QAAA,EAAU,SAAS,GAAG,QAAQ,CAAA;AAAA,EACrD,WAAA,CAAY,SAAA,EAAW,CAAC,SAAS,GAAG,SAAS,CAAA;AAAA,EAC7C,EAAE,IAAA,EAAM,OAAA,EAAS,OAAA,EAAS,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,OAAA,EAAS,SAAA,EAAWI,mBAAA,EAAU;AAAA,EACpF;AAAA,IACE,IAAA,EAAM,gBAAA;AAAA,IACN,SAAS,CAAC,MAAA,KAAW,KAAA,CAAM,OAAA,CAAQ,OAAO,IAAI,CAAA;AAAA,IAC9C,SAAA,EAAW;AAAA;AAEf,CAAA;AAGA,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAuC;AAC/E,EAAA,MAAM,SAAS,OAAA,CAAQ,OAAA,CAAQ,UAAU,SAAA,CAAU,MAAA,EAAQ,QAAQ,QAAQ,CAAA;AAC3E,EAAA,IAAI,WAAW,IAAA,EAAM;AACnB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA,CAAO,UAAA,GAAaC,oBAAA,CAAQ,CAAC,MAAA,CAAO,IAAA,EAAML,sBAAA,CAAU,WAAW,CAAC,CAAC,CAAA,GAAI,MAAA,CAAO,IAAA;AACrF;AAOO,SAAS,QAAA,CAAS,QAAsB,OAAA,EAAuC;AACpF,EAAA,IAAI,MAAA,IAAU,MAAA,IAAU,MAAA,CAAO,IAAA,EAAM;AACnC,IAAA,MAAM,MAAA,GAAS,UAAA,CAAW,MAAA,EAAQ,OAAO,CAAA;AACzC,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAO,MAAA;AAAA,IACT;AACA,IAAA,MAAM,IAAA,GAAO,YAAY,IAAA,CAAK,CAAC,cAAc,SAAA,CAAU,OAAA,CAAQ,MAAM,CAAC,CAAA;AACtE,IAAA,IAAI,SAAS,MAAA,EAAW;AACtB,MAAA,OAAO,IAAA,CAAK,SAAA,CAAU,MAAA,EAAQ,OAAO,CAAA;AAAA,IACvC;AAAA,EACF,CAAA,MAAA,IAAW,cAAA,CAAe,MAAA,EAAQ,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAOG,yBAAY,cAAc,CAAA;AAAA,EACnC;AACA,EAAA,OAAOG,qBAAA,CAAW,QAAQ,OAAO,CAAA;AACnC;;"}

package/dist/application/transform/schema/core-type.mjs

@@ -0,0 +1,82 @@
+import { irReference, irUnion, irKeyword } from '../../../domain/ir/constructors.mjs';
+import { isRawBinarySchema } from '../../../domain/openapi/binary-content.mjs';
+import { unionOf } from '../type-combinators.mjs';
+import { arrayType } from './array-type.mjs';
+import { objectType } from './object-type.mjs';
+
+const PRIMITIVE_TYPE_NAMES = /* @__PURE__ */ new Set([
+  "boolean",
+  "string",
+  "number",
+  "integer",
+  "null"
+]);
+function multipleTypes(schema, request) {
+  const typeNames = schema.type;
+  const { oneOf } = schema;
+  const members = [];
+  for (const typeName of typeNames) {
+    const isInOneOf = Array.isArray(oneOf) && PRIMITIVE_TYPE_NAMES.has(typeName) && oneOf.some(
+      (variant2) => typeof variant2 === "object" && "type" in variant2 && variant2.type === typeName
+    );
+    if (isInOneOf) {
+      continue;
+    }
+    const variant = Array.isArray(oneOf) ? { ...schema, type: typeName, oneOf: void 0 } : { ...schema, type: typeName };
+    members.push(
+      typeName === "null" || typeName === null ? irKeyword("null") : request.transformNested(variant, request.location)
+    );
+  }
+  return unionOf(members);
+}
+function keywordRule(name, typeNames, keyword) {
+  return {
+    name,
+    matches: (schema) => typeNames.includes(schema.type),
+    transform: () => irKeyword(keyword)
+  };
+}
+const BLOB_TYPE_NAME = "Blob";
+function isBinaryAsBlob(schema, request) {
+  return request.context.options.binaryAsBlob && isRawBinarySchema(schema);
+}
+function stringType(schema, request) {
+  return isBinaryAsBlob(schema, request) ? irReference(BLOB_TYPE_NAME) : irKeyword("string");
+}
+const TYPED_RULES = [
+  keywordRule("null", ["null"], "null"),
+  { name: "string", matches: (schema) => schema.type === "string", transform: stringType },
+  keywordRule("number", ["number", "integer"], "number"),
+  keywordRule("boolean", ["boolean"], "boolean"),
+  { name: "array", matches: (schema) => schema.type === "array", transform: arrayType },
+  {
+    name: "multiple types",
+    matches: (schema) => Array.isArray(schema.type),
+    transform: multipleTypes
+  }
+];
+function customType(schema, request) {
+  const custom = request.context.callbacks.transform(schema, request.location);
+  if (custom === null) {
+    return null;
+  }
+  return custom.isOptional ? irUnion([custom.type, irKeyword("undefined")]) : custom.type;
+}
+function coreType(schema, request) {
+  if ("type" in schema && schema.type) {
+    const custom = customType(schema, request);
+    if (custom !== null) {
+      return custom;
+    }
+    const rule = TYPED_RULES.find((candidate) => candidate.matches(schema));
+    if (rule !== void 0) {
+      return rule.transform(schema, request);
+    }
+  } else if (isBinaryAsBlob(schema, request)) {
+    return irReference(BLOB_TYPE_NAME);
+  }
+  return objectType(schema, request);
+}
+
+export { coreType };
+//# sourceMappingURL=core-type.mjs.map

package/dist/application/transform/schema/core-type.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-type.mjs","sources":["../../../../src/application/transform/schema/core-type.ts"],"sourcesContent":["import { irKeyword, irReference, irUnion } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { isRawBinarySchema } from \"../../../domain/openapi/binary-content.js\";\nimport type {\n  Schema,\n  SchemaObject,\n  SchemaTypeName,\n} from \"../../../domain/openapi/schema-object.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport { arrayType } from \"./array-type.js\";\nimport { objectType } from \"./object-type.js\";\nimport type { SchemaRequest, SchemaRule } from \"./schema-rule.js\";\n\nconst PRIMITIVE_TYPE_NAMES: ReadonlySet<SchemaTypeName | null> = new Set([\n  \"boolean\",\n  \"string\",\n  \"number\",\n  \"integer\",\n  \"null\",\n]);\n\n/** Each `type` of a list becomes a union member; one already listed in `oneOf` is skipped. */\nfunction multipleTypes(schema: SchemaObject, request: SchemaRequest): IrType {\n  const typeNames = schema.type as readonly (SchemaTypeName | null)[];\n  const { oneOf } = schema;\n  const members: IrType[] = [];\n  for (const typeName of typeNames) {\n    const isInOneOf =\n      Array.isArray(oneOf) &&\n      PRIMITIVE_TYPE_NAMES.has(typeName) &&\n      oneOf.some(\n        (variant) => typeof variant === \"object\" && \"type\" in variant && variant.type === typeName,\n      );\n    if (isInOneOf) {\n      continue;\n    }\n    // With oneOf, the member drops it, so oneOf is not applied once per member.\n    const variant = Array.isArray(oneOf)\n      ? { ...schema, type: typeName, oneOf: undefined }\n      : { ...schema, type: typeName };\n    members.push(\n      typeName === \"null\" || typeName === null\n        ? irKeyword(\"null\")\n        : request.transformNested(variant as Schema, request.location),\n    );\n  }\n  return unionOf(members);\n}\n\nfunction keywordRule(\n  name: string,\n  typeNames: readonly string[],\n  keyword: \"null\" | \"number\" | \"boolean\",\n): SchemaRule {\n  return {\n    name,\n    matches: (schema) => typeNames.includes(schema.type as string),\n    transform: () => irKeyword(keyword),\n  };\n}\n\n/** The global type of raw binary data with `--binary-as-blob` (DOM lib, `@types/node`). */\nconst BLOB_TYPE_NAME = \"Blob\";\n\nfunction isBinaryAsBlob(schema: SchemaObject, request: SchemaRequest): boolean {\n  return request.context.options.binaryAsBlob && isRawBinarySchema(schema);\n}\n\nfunction stringType(schema: SchemaObject, request: SchemaRequest): IrType {\n  return isBinaryAsBlob(schema, request) ? irReference(BLOB_TYPE_NAME) : irKeyword(\"string\");\n}\n\n/** Rules for schemas with a `type`, in the original order. */\nconst TYPED_RULES: readonly SchemaRule[] = [\n  keywordRule(\"null\", [\"null\"], \"null\"),\n  { name: \"string\", matches: (schema) => schema.type === \"string\", transform: stringType },\n  keywordRule(\"number\", [\"number\", \"integer\"], \"number\"),\n  keywordRule(\"boolean\", [\"boolean\"], \"boolean\"),\n  { name: \"array\", matches: (schema) => schema.type === \"array\", transform: arrayType },\n  {\n    name: \"multiple types\",\n    matches: (schema) => Array.isArray(schema.type),\n    transform: multipleTypes,\n  },\n];\n\n/** The `transform` callback's type; a `questionToken` adds `undefined` here. */\nfunction customType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  const custom = request.context.callbacks.transform(schema, request.location);\n  if (custom === null) {\n    return null;\n  }\n  return custom.isOptional ? irUnion([custom.type, irKeyword(\"undefined\")]) : custom.type;\n}\n\n/**\n * The schema without composition keywords: the `transform` callback, then a typed rule, then raw\n * binary without `type` (OpenAPI 3.1 allows leaving it out), then the object keywords. Null means\n * the schema has no type of its own.\n */\nexport function coreType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  if (\"type\" in schema && schema.type) {\n    const custom = customType(schema, request);\n    if (custom !== null) {\n      return custom;\n    }\n    const rule = TYPED_RULES.find((candidate) => candidate.matches(schema));\n    if (rule !== undefined) {\n      return rule.transform(schema, request);\n    }\n  } else if (isBinaryAsBlob(schema, request)) {\n    return irReference(BLOB_TYPE_NAME);\n  }\n  return objectType(schema, request);\n}\n"],"names":["variant"],"mappings":";;;;;;AAaA,MAAM,oBAAA,uBAA+D,GAAA,CAAI;AAAA,EACvE,SAAA;AAAA,EACA,QAAA;AAAA,EACA,QAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAC,CAAA;AAGD,SAAS,aAAA,CAAc,QAAsB,OAAA,EAAgC;AAC3E,EAAA,MAAM,YAAY,MAAA,CAAO,IAAA;AACzB,EAAA,MAAM,EAAE,OAAM,GAAI,MAAA;AAClB,EAAA,MAAM,UAAoB,EAAC;AAC3B,EAAA,KAAA,MAAW,YAAY,SAAA,EAAW;AAChC,IAAA,MAAM,SAAA,GACJ,MAAM,OAAA,CAAQ,KAAK,KACnB,oBAAA,CAAqB,GAAA,CAAI,QAAQ,CAAA,IACjC,KAAA,CAAM,IAAA;AAAA,MACJ,CAACA,aAAY,OAAOA,QAAAA,KAAY,YAAY,MAAA,IAAUA,QAAAA,IAAWA,SAAQ,IAAA,KAAS;AAAA,KACpF;AACF,IAAA,IAAI,SAAA,EAAW;AACb,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,UAAU,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC/B,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,QAAA,EAAU,OAAO,MAAA,EAAU,GAC9C,EAAE,GAAG,MAAA,EAAQ,MAAM,QAAA,EAAS;AAChC,IAAA,OAAA,CAAQ,IAAA;AAAA,MACN,QAAA,KAAa,MAAA,IAAU,QAAA,KAAa,IAAA,GAChC,SAAA,CAAU,MAAM,CAAA,GAChB,OAAA,CAAQ,eAAA,CAAgB,OAAA,EAAmB,OAAA,CAAQ,QAAQ;AAAA,KACjE;AAAA,EACF;AACA,EAAA,OAAO,QAAQ,OAAO,CAAA;AACxB;AAEA,SAAS,WAAA,CACP,IAAA,EACA,SAAA,EACA,OAAA,EACY;AACZ,EAAA,OAAO;AAAA,IACL,IAAA;AAAA,IACA,SAAS,CAAC,MAAA,KAAW,SAAA,CAAU,QAAA,CAAS,OAAO,IAAc,CAAA;AAAA,IAC7D,SAAA,EAAW,MAAM,SAAA,CAAU,OAAO;AAAA,GACpC;AACF;AAGA,MAAM,cAAA,GAAiB,MAAA;AAEvB,SAAS,cAAA,CAAe,QAAsB,OAAA,EAAiC;AAC7E,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,YAAA,IAAgB,kBAAkB,MAAM,CAAA;AACzE;AAEA,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAgC;AACxE,EAAA,OAAO,cAAA,CAAe,QAAQ,OAAO,CAAA,GAAI,YAAY,cAAc,CAAA,GAAI,UAAU,QAAQ,CAAA;AAC3F;AAGA,MAAM,WAAA,GAAqC;AAAA,EACzC,WAAA,CAAY,MAAA,EAAQ,CAAC,MAAM,GAAG,MAAM,CAAA;AAAA,EACpC,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,QAAA,EAAU,SAAA,EAAW,UAAA,EAAW;AAAA,EACvF,YAAY,QAAA,EAAU,CAAC,QAAA,EAAU,SAAS,GAAG,QAAQ,CAAA;AAAA,EACrD,WAAA,CAAY,SAAA,EAAW,CAAC,SAAS,GAAG,SAAS,CAAA;AAAA,EAC7C,EAAE,IAAA,EAAM,OAAA,EAAS,OAAA,EAAS,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,OAAA,EAAS,SAAA,EAAW,SAAA,EAAU;AAAA,EACpF;AAAA,IACE,IAAA,EAAM,gBAAA;AAAA,IACN,SAAS,CAAC,MAAA,KAAW,KAAA,CAAM,OAAA,CAAQ,OAAO,IAAI,CAAA;AAAA,IAC9C,SAAA,EAAW;AAAA;AAEf,CAAA;AAGA,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAuC;AAC/E,EAAA,MAAM,SAAS,OAAA,CAAQ,OAAA,CAAQ,UAAU,SAAA,CAAU,MAAA,EAAQ,QAAQ,QAAQ,CAAA;AAC3E,EAAA,IAAI,WAAW,IAAA,EAAM;AACnB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA,CAAO,UAAA,GAAa,OAAA,CAAQ,CAAC,MAAA,CAAO,IAAA,EAAM,SAAA,CAAU,WAAW,CAAC,CAAC,CAAA,GAAI,MAAA,CAAO,IAAA;AACrF;AAOO,SAAS,QAAA,CAAS,QAAsB,OAAA,EAAuC;AACpF,EAAA,IAAI,MAAA,IAAU,MAAA,IAAU,MAAA,CAAO,IAAA,EAAM;AACnC,IAAA,MAAM,MAAA,GAAS,UAAA,CAAW,MAAA,EAAQ,OAAO,CAAA;AACzC,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAO,MAAA;AAAA,IACT;AACA,IAAA,MAAM,IAAA,GAAO,YAAY,IAAA,CAAK,CAAC,cAAc,SAAA,CAAU,OAAA,CAAQ,MAAM,CAAC,CAAA;AACtE,IAAA,IAAI,SAAS,MAAA,EAAW;AACtB,MAAA,OAAO,IAAA,CAAK,SAAA,CAAU,MAAA,EAAQ,OAAO,CAAA;AAAA,IACvC;AAAA,EACF,CAAA,MAAA,IAAW,cAAA,CAAe,MAAA,EAAQ,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,YAAY,cAAc,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,UAAA,CAAW,QAAQ,OAAO,CAAA;AACnC;;"}

package/dist/application/transform/schema/discriminator-property.cjs

@@ -0,0 +1,21 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const propertyName = require('../../../domain/ir/property-name.cjs');
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const literalType = require('../literal-type.cjs');
+
+function discriminatorValue(discriminator, path) {
+  const name = jsonPointer.parseRefPointer(path).pop();
+  const match = Object.entries(discriminator.mapping ?? {}).find(
+    ([, target]) => target.startsWith("#") ? jsonPointer.parseRefPointer(target).pop() === name : target === name
+  );
+  return match ? match[0] : name;
+}
+function discriminatorProperty(discriminator, path, isReadonly) {
+  const value = discriminatorValue(discriminator, path);
+  return constructors.irProperty(propertyName.toPropertyName(discriminator.propertyName), literalType.literalType(value), { isReadonly });
+}
+
+exports.discriminatorProperty = discriminatorProperty;
+//# sourceMappingURL=discriminator-property.cjs.map

package/dist/application/transform/schema/discriminator-property.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminator-property.cjs","sources":["../../../../src/application/transform/schema/discriminator-property.ts"],"sourcesContent":["import { irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertySignature } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { parseRefPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport { literalType } from \"../literal-type.js\";\nimport type { Discriminator } from \"./schema-context.js\";\n\n/**\n * The value a schema has for its parent's discriminator: the mapping key whose target is this\n * schema (a full `$ref` or a bare schema name), else the schema's own name (the last segment).\n */\nfunction discriminatorValue(discriminator: Discriminator, path: string): string | undefined {\n  const name = parseRefPointer(path).pop();\n  const match = Object.entries(discriminator.mapping ?? {}).find(([, target]) =>\n    target.startsWith(\"#\") ? parseRefPointer(target).pop() === name : target === name,\n  );\n  return match ? match[0] : name;\n}\n\n/** The discriminator property, typed as its literal value (`createDiscriminatorProperty`). */\nexport function discriminatorProperty(\n  discriminator: Discriminator,\n  path: string,\n  isReadonly: boolean,\n): IrPropertySignature {\n  const value = discriminatorValue(discriminator, path);\n  return irProperty(toPropertyName(discriminator.propertyName), literalType(value), { isReadonly });\n}\n"],"names":["parseRefPointer","irProperty","toPropertyName","literalType"],"mappings":";;;;;;;AAWA,SAAS,kBAAA,CAAmB,eAA8B,IAAA,EAAkC;AAC1F,EAAA,MAAM,IAAA,GAAOA,2BAAA,CAAgB,IAAI,CAAA,CAAE,GAAA,EAAI;AACvC,EAAA,MAAM,QAAQ,MAAA,CAAO,OAAA,CAAQ,cAAc,OAAA,IAAW,EAAE,CAAA,CAAE,IAAA;AAAA,IAAK,CAAC,GAAG,MAAM,MACvE,MAAA,CAAO,UAAA,CAAW,GAAG,CAAA,GAAIA,4BAAgB,MAAM,CAAA,CAAE,GAAA,EAAI,KAAM,OAAO,MAAA,KAAW;AAAA,GAC/E;AACA,EAAA,OAAO,KAAA,GAAQ,KAAA,CAAM,CAAC,CAAA,GAAI,IAAA;AAC5B;AAGO,SAAS,qBAAA,CACd,aAAA,EACA,IAAA,EACA,UAAA,EACqB;AACrB,EAAA,MAAM,KAAA,GAAQ,kBAAA,CAAmB,aAAA,EAAe,IAAI,CAAA;AACpD,EAAA,OAAOC,uBAAA,CAAWC,2BAAA,CAAe,aAAA,CAAc,YAAY,CAAA,EAAGC,wBAAY,KAAK,CAAA,EAAG,EAAE,UAAA,EAAY,CAAA;AAClG;;"}

package/dist/application/transform/schema/discriminator-property.mjs

@@ -0,0 +1,19 @@
+import { irProperty } from '../../../domain/ir/constructors.mjs';
+import { toPropertyName } from '../../../domain/ir/property-name.mjs';
+import { parseRefPointer } from '../../../domain/openapi/json-pointer.mjs';
+import { literalType } from '../literal-type.mjs';
+
+function discriminatorValue(discriminator, path) {
+  const name = parseRefPointer(path).pop();
+  const match = Object.entries(discriminator.mapping ?? {}).find(
+    ([, target]) => target.startsWith("#") ? parseRefPointer(target).pop() === name : target === name
+  );
+  return match ? match[0] : name;
+}
+function discriminatorProperty(discriminator, path, isReadonly) {
+  const value = discriminatorValue(discriminator, path);
+  return irProperty(toPropertyName(discriminator.propertyName), literalType(value), { isReadonly });
+}
+
+export { discriminatorProperty };
+//# sourceMappingURL=discriminator-property.mjs.map

package/dist/application/transform/schema/discriminator-property.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminator-property.mjs","sources":["../../../../src/application/transform/schema/discriminator-property.ts"],"sourcesContent":["import { irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertySignature } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { parseRefPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport { literalType } from \"../literal-type.js\";\nimport type { Discriminator } from \"./schema-context.js\";\n\n/**\n * The value a schema has for its parent's discriminator: the mapping key whose target is this\n * schema (a full `$ref` or a bare schema name), else the schema's own name (the last segment).\n */\nfunction discriminatorValue(discriminator: Discriminator, path: string): string | undefined {\n  const name = parseRefPointer(path).pop();\n  const match = Object.entries(discriminator.mapping ?? {}).find(([, target]) =>\n    target.startsWith(\"#\") ? parseRefPointer(target).pop() === name : target === name,\n  );\n  return match ? match[0] : name;\n}\n\n/** The discriminator property, typed as its literal value (`createDiscriminatorProperty`). */\nexport function discriminatorProperty(\n  discriminator: Discriminator,\n  path: string,\n  isReadonly: boolean,\n): IrPropertySignature {\n  const value = discriminatorValue(discriminator, path);\n  return irProperty(toPropertyName(discriminator.propertyName), literalType(value), { isReadonly });\n}\n"],"names":[],"mappings":";;;;;AAWA,SAAS,kBAAA,CAAmB,eAA8B,IAAA,EAAkC;AAC1F,EAAA,MAAM,IAAA,GAAO,eAAA,CAAgB,IAAI,CAAA,CAAE,GAAA,EAAI;AACvC,EAAA,MAAM,QAAQ,MAAA,CAAO,OAAA,CAAQ,cAAc,OAAA,IAAW,EAAE,CAAA,CAAE,IAAA;AAAA,IAAK,CAAC,GAAG,MAAM,MACvE,MAAA,CAAO,UAAA,CAAW,GAAG,CAAA,GAAI,gBAAgB,MAAM,CAAA,CAAE,GAAA,EAAI,KAAM,OAAO,MAAA,KAAW;AAAA,GAC/E;AACA,EAAA,OAAO,KAAA,GAAQ,KAAA,CAAM,CAAC,CAAA,GAAI,IAAA;AAC5B;AAGO,SAAS,qBAAA,CACd,aAAA,EACA,IAAA,EACA,UAAA,EACqB;AACrB,EAAA,MAAM,KAAA,GAAQ,kBAAA,CAAmB,aAAA,EAAe,IAAI,CAAA;AACpD,EAAA,OAAO,UAAA,CAAW,cAAA,CAAe,aAAA,CAAc,YAAY,CAAA,EAAG,YAAY,KAAK,CAAA,EAAG,EAAE,UAAA,EAAY,CAAA;AAClG;;"}

package/dist/application/transform/schema/enum-rule.cjs

@@ -0,0 +1,107 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const literalType = require('../literal-type.cjs');
+const refType = require('../ref-type.cjs');
+const typeCombinators = require('../type-combinators.cjs');
+
+const COMPONENT_SCHEMAS_PREFIX = "components/schemas";
+const UNION_KEYWORDS = /* @__PURE__ */ new Set(["anyOf", "oneOf"]);
+const INDEX_RE = /^\d+$/;
+function hasAdditionalProperties(schema) {
+  return "additionalProperties" in schema && Boolean(schema.additionalProperties);
+}
+function nameFromPath(path) {
+  return jsonPointer.parseRefPointer(path ?? "").join("/").replace(COMPONENT_SCHEMAS_PREFIX, "");
+}
+function hasEnumMetadata(schema) {
+  return [
+    schema["x-enum-varnames"],
+    schema["x-enumNames"],
+    schema["x-enum-descriptions"],
+    schema["x-enumDescriptions"]
+  ].some(Array.isArray);
+}
+function isTsEnum(schema, options) {
+  if (!options.enum || !schema.enum) {
+    return false;
+  }
+  const isSupported = schema.enum.every((value) => ["string", "number"].includes(typeof value));
+  return isSupported && (!options.conditionalEnums || hasEnumMetadata(schema));
+}
+function enumMetadata(schema) {
+  return (schema.enum ?? []).map((_, index) => ({
+    name: schema["x-enum-varnames"]?.[index] ?? schema["x-enumNames"]?.[index],
+    description: schema["x-enum-descriptions"]?.[index] ?? schema["x-enumDescriptions"]?.[index]
+  }));
+}
+function withOtherStrings(type, schema) {
+  if (!hasAdditionalProperties(schema) || schema.type !== "string") {
+    return type;
+  }
+  return typeCombinators.unionOf([type, typeCombinators.intersectionOf([constructors.irKeyword("string"), constructors.irObject([])])]);
+}
+function tsEnumType(schema, request) {
+  const name = request.context.footer.addEnum({
+    name: nameFromPath(request.location.path),
+    values: schema.enum ?? [],
+    metadata: enumMetadata(schema)
+  });
+  return withOtherStrings(constructors.irReference(name), schema);
+}
+function isUnionPosition(pointer, index) {
+  const next = pointer[index + 1];
+  return UNION_KEYWORDS.has(pointer[index]) && next !== void 0 && INDEX_RE.test(next);
+}
+function enumValuesPointer(path) {
+  const pointer = jsonPointer.parseRefPointer(path ?? "");
+  const kept = [];
+  let firstVariantStart = null;
+  for (let index = 0; index < pointer.length; index++) {
+    if (isUnionPosition(pointer, index)) {
+      firstVariantStart ??= index + 2;
+      index++;
+      continue;
+    }
+    kept.push(pointer[index]);
+  }
+  const extract = firstVariantStart === null ? [] : pointer.slice(firstVariantStart).filter((segment) => !UNION_KEYWORDS.has(segment) && !INDEX_RE.test(segment));
+  return { ref: jsonPointer.createRef(kept), extract };
+}
+function addEnumValues(schema, request) {
+  const { ref, extract } = enumValuesPointer(request.location.path);
+  const valuesType = refType.refType(ref, { isDeep: true, extractProperties: extract });
+  request.context.footer.addEnumValues({
+    name: `${nameFromPath(request.location.path)}Values`,
+    // A record value (`additionalProperties`) is reached by indexing with `string`.
+    type: request.isFromAdditionalProperties ? constructors.irIndexedAccess(valuesType, constructors.irReference("string")) : valuesType,
+    values: schema.enum ?? []
+  });
+}
+function literalEnumType(schema, request) {
+  const values = schema.enum ?? [];
+  const isNullable = Array.isArray(schema.type) && schema.type.includes("null") || Boolean(schema.nullable);
+  const literals = [...values.map(literalType.literalType), ...isNullable ? [constructors.irKeyword("null")] : []];
+  const type = withOtherStrings(typeCombinators.unionOf(literals), schema);
+  const isListable = values.every(
+    (value) => typeof value === "string" || typeof value === "number"
+  );
+  if (request.context.options.enumValues && isListable) {
+    addEnumValues(schema, request);
+  }
+  return type;
+}
+const enumRule = {
+  name: "enum",
+  matches(schema) {
+    const isCandidate = Array.isArray(schema.enum) && schema.type !== "object" && !("properties" in schema);
+    return isCandidate && (!hasAdditionalProperties(schema) || schema.type === "string");
+  },
+  transform(schema, request) {
+    return isTsEnum(schema, request.context.options) ? tsEnumType(schema, request) : literalEnumType(schema, request);
+  }
+};
+
+exports.enumRule = enumRule;
+//# sourceMappingURL=enum-rule.cjs.map