openapi-typesafe 0.0.0 → 1.0.0-rc.1

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

@@ -0,0 +1,140 @@
+import { irRecord, irKeyword } from '../../../domain/ir/constructors.mjs';
+import { createRef } from '../../../domain/openapi/json-pointer.mjs';
+import { OutputFix } from '../../../domain/output-fixes.mjs';
+import { requirableRefType } from '../ref-pointer/pointer-type.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 { unionItemOf, unionOwnKeywords } from './discriminated-union.mjs';
+import { allOfMembers } from './presence-members.mjs';
+import { requiredVariantsType } from './required-variants.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 keysToRequire(ref, target, required, request) {
+  const defined = required.filter((key) => Boolean(target.properties?.[key]));
+  if (!request.context.discriminators.isHandled(ref)) {
+    return defined;
+  }
+  if (!request.context.options.fixes.has(OutputFix.DISCRIMINATOR_MEMBER_REQUIRED)) {
+    return [];
+  }
+  return defined.filter((key) => !target.required?.includes(key));
+}
+function refItemType(item, required, request) {
+  const type = request.transformNested(item, request.location);
+  const resolved = request.context.refs.resolve(item.$ref);
+  if (!resolved || typeof resolved !== "object" || !("properties" in resolved)) {
+    return type;
+  }
+  const keys = keysToRequire(item.$ref, resolved, required, request);
+  if (keys.length === 0) {
+    return type;
+  }
+  request.context.footer.requireWithRequired();
+  return withRequiredKeys(requirableRefType(item.$ref, type, request), 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 ownKeywordsType(own, ref, request) {
+  return combinedType(own, { ...request, location: { ...request.location, path: ref } });
+}
+function allOfItemType(item, required, request) {
+  const isRef = isRefItem(item);
+  const discriminator = isRef && request.context.discriminators.objectAt(item.$ref) || item.discriminator;
+  const propertyName = discriminator?.propertyName;
+  const unionItem = isRef && propertyName ? unionItemOf(item.$ref, request) : void 0;
+  if (isRef && propertyName && unionItem?.isMember) {
+    const own = unionOwnKeywords(unionItem.union, propertyName, required);
+    return ownKeywordsType(own, item.$ref, request);
+  }
+  const type = isRef ? refItemType(item, required, request) : inlineItemType(item, required, request);
+  const isUnion = unionItem !== void 0 && !unionItem.isMapped && request.context.options.fixes.has(OutputFix.ALLOF_DISCRIMINATED_UNION);
+  if (!propertyName || isUnion) {
+    return type;
+  }
+  const { path } = request.location;
+  const others = path === void 0 ? [] : request.context.discriminators.otherPropertiesAt(path);
+  return omitKeys(type, [propertyName, ...others]);
+}
+function allOfTypes(items, required, request) {
+  return items.flatMap((item) => allOfItemType(item, required, request) ?? []);
+}
+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]);
+  }
+  return variantsType(type, schema, request);
+}
+function variantsType(previous, schema, request) {
+  const type = requiredVariantsType(previous, schema, schema.anyOf ?? [], request) ?? anyOfType(previous, schema, request);
+  const oneOfRequired = requiredVariantsType(type, schema, schema.oneOf ?? [], request);
+  if (oneOfRequired !== null) {
+    return oneOfRequired;
+  }
+  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 { requirableRefType } from \"../ref-pointer/pointer-type.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 { unionItemOf, unionOwnKeywords } from \"./discriminated-union.js\";\nimport { allOfMembers } from \"./presence-members.js\";\nimport { requiredVariantsType } from \"./required-variants.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/**\n * The parent's `required` keys that the target at `ref` defines. A target that the discriminator\n * scan gave its property got none: the scan made that property required, but the other keys were\n * lost too. With `discriminator-member-required` only keys the target requires already are left\n * out (#2162).\n */\nfunction keysToRequire(\n  ref: string,\n  target: SchemaObject,\n  required: readonly string[],\n  request: SchemaRequest,\n): readonly string[] {\n  const defined = required.filter((key) => Boolean(target.properties?.[key]));\n  if (!request.context.discriminators.isHandled(ref)) {\n    return defined;\n  }\n  if (!request.context.options.fixes.has(OutputFix.DISCRIMINATOR_MEMBER_REQUIRED)) {\n    return [];\n  }\n  return defined.filter((key) => !target.required?.includes(key));\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 resolved = request.context.refs.resolve(item.$ref) as SchemaObject | undefined;\n  if (!resolved || typeof resolved !== \"object\" || !(\"properties\" in resolved)) {\n    return type;\n  }\n  const keys = keysToRequire(item.$ref, resolved, required, request);\n  if (keys.length === 0) {\n    return type;\n  }\n  request.context.footer.requireWithRequired();\n  return withRequiredKeys(requirableRefType(item.$ref, type, request), 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/**\n * The union's own keywords at the union's location, so nested names (enums) stay the union's.\n * Null when the union has none.\n */\nfunction ownKeywordsType(own: SchemaObject, ref: string, request: SchemaRequest): IrType | null {\n  return combinedType(own, { ...request, location: { ...request.location, path: ref } });\n}\n\n/**\n * An `allOf` item; one with a discriminator omits that property (the parent redefines it). A\n * `$ref` to a discriminated union is not such a parent: for a member of the union it is the\n * union's own keywords, since the union contains the member (#1665); with\n * `allof-discriminated-union` it is the union, since `Omit` on a union drops keys (#1464), unless\n * the union's mapping names the schema: then it is a member, as the discriminator scan has it.\n */\nfunction allOfItemType(\n  item: Schema,\n  required: readonly string[],\n  request: SchemaRequest,\n): IrType | null {\n  const isRef = isRefItem(item);\n  const discriminator =\n    (isRef && request.context.discriminators.objectAt(item.$ref)) ||\n    (item as SchemaObject).discriminator;\n  const propertyName = discriminator?.propertyName;\n  const unionItem = isRef && propertyName ? unionItemOf(item.$ref, request) : undefined;\n  if (isRef && propertyName && unionItem?.isMember) {\n    const own = unionOwnKeywords(unionItem.union, propertyName, required);\n    return ownKeywordsType(own, item.$ref, request);\n  }\n  const type = isRef\n    ? refItemType(item, required, request)\n    : inlineItemType(item, required, request);\n  const isUnion =\n    unionItem !== undefined &&\n    !unionItem.isMapped &&\n    request.context.options.fixes.has(OutputFix.ALLOF_DISCRIMINATED_UNION);\n  if (!propertyName || isUnion) {\n    return type;\n  }\n  // With `discriminator-values` the schema also redefines the properties of other owners above\n  // it, so no item may keep a value of its own for them (a parent mapped as `content`).\n  const { path } = request.location;\n  const others = path === undefined ? [] : request.context.discriminators.otherPropertiesAt(path);\n  return omitKeys(type, [propertyName, ...others]);\n}\n\nfunction allOfTypes(\n  items: readonly Schema[],\n  required: readonly string[],\n  request: SchemaRequest,\n): IrType[] {\n  return items.flatMap((item) => allOfItemType(item, required, request) ?? []);\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  return variantsType(type, schema, request);\n}\n\n/** `anyOf`, then `oneOf`, applied to the core and `allOf` type (`anyof-oneof-required` first). */\nfunction variantsType(\n  previous: IrType | null,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): IrType | null {\n  const type =\n    requiredVariantsType(previous, schema, schema.anyOf ?? [], request) ??\n    anyOfType(previous, schema, request);\n  const oneOfRequired = requiredVariantsType(type, schema, schema.oneOf ?? [], request);\n  if (oneOfRequired !== null) {\n    return oneOfRequired;\n  }\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":";;;;;;;;;;;;AAuBA,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;AAQA,SAAS,aAAA,CACP,GAAA,EACA,MAAA,EACA,QAAA,EACA,OAAA,EACmB;AACnB,EAAA,MAAM,OAAA,GAAU,QAAA,CAAS,MAAA,CAAO,CAAC,GAAA,KAAQ,QAAQ,MAAA,CAAO,UAAA,GAAa,GAAG,CAAC,CAAC,CAAA;AAC1E,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,cAAA,CAAe,SAAA,CAAU,GAAG,CAAA,EAAG;AAClD,IAAA,OAAO,OAAA;AAAA,EACT;AACA,EAAA,IAAI,CAAC,QAAQ,OAAA,CAAQ,OAAA,CAAQ,MAAM,GAAA,CAAI,SAAA,CAAU,6BAA6B,CAAA,EAAG;AAC/E,IAAA,OAAO,EAAC;AAAA,EACV;AACA,EAAA,OAAO,OAAA,CAAQ,OAAO,CAAC,GAAA,KAAQ,CAAC,MAAA,CAAO,QAAA,EAAU,QAAA,CAAS,GAAG,CAAC,CAAA;AAChE;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,WAAW,OAAA,CAAQ,OAAA,CAAQ,IAAA,CAAK,OAAA,CAAQ,KAAK,IAAI,CAAA;AACvD,EAAA,IAAI,CAAC,QAAA,IAAY,OAAO,aAAa,QAAA,IAAY,EAAE,gBAAgB,QAAA,CAAA,EAAW;AAC5E,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAO,aAAA,CAAc,IAAA,CAAK,IAAA,EAAM,QAAA,EAAU,UAAU,OAAO,CAAA;AACjE,EAAA,IAAI,IAAA,CAAK,WAAW,CAAA,EAAG;AACrB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAA,CAAQ,OAAA,CAAQ,OAAO,mBAAA,EAAoB;AAC3C,EAAA,OAAO,iBAAiB,iBAAA,CAAkB,IAAA,CAAK,MAAM,IAAA,EAAM,OAAO,GAAG,IAAI,CAAA;AAC3E;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;AAMA,SAAS,eAAA,CAAgB,GAAA,EAAmB,GAAA,EAAa,OAAA,EAAuC;AAC9F,EAAA,OAAO,YAAA,CAAa,GAAA,EAAK,EAAE,GAAG,OAAA,EAAS,QAAA,EAAU,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,IAAA,EAAM,GAAA,IAAO,CAAA;AACvF;AASA,SAAS,aAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,KAAA,GAAQ,UAAU,IAAI,CAAA;AAC5B,EAAA,MAAM,aAAA,GACH,SAAS,OAAA,CAAQ,OAAA,CAAQ,eAAe,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA,IAC1D,IAAA,CAAsB,aAAA;AACzB,EAAA,MAAM,eAAe,aAAA,EAAe,YAAA;AACpC,EAAA,MAAM,YAAY,KAAA,IAAS,YAAA,GAAe,YAAY,IAAA,CAAK,IAAA,EAAM,OAAO,CAAA,GAAI,MAAA;AAC5E,EAAA,IAAI,KAAA,IAAS,YAAA,IAAgB,SAAA,EAAW,QAAA,EAAU;AAChD,IAAA,MAAM,GAAA,GAAM,gBAAA,CAAiB,SAAA,CAAU,KAAA,EAAO,cAAc,QAAQ,CAAA;AACpE,IAAA,OAAO,eAAA,CAAgB,GAAA,EAAK,IAAA,CAAK,IAAA,EAAM,OAAO,CAAA;AAAA,EAChD;AACA,EAAA,MAAM,IAAA,GAAO,KAAA,GACT,WAAA,CAAY,IAAA,EAAM,QAAA,EAAU,OAAO,CAAA,GACnC,cAAA,CAAe,IAAA,EAAM,QAAA,EAAU,OAAO,CAAA;AAC1C,EAAA,MAAM,OAAA,GACJ,SAAA,KAAc,MAAA,IACd,CAAC,SAAA,CAAU,QAAA,IACX,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,SAAA,CAAU,yBAAyB,CAAA;AACvE,EAAA,IAAI,CAAC,gBAAgB,OAAA,EAAS;AAC5B,IAAA,OAAO,IAAA;AAAA,EACT;AAGA,EAAA,MAAM,EAAE,IAAA,EAAK,GAAI,OAAA,CAAQ,QAAA;AACzB,EAAA,MAAM,MAAA,GAAS,SAAS,MAAA,GAAY,KAAK,OAAA,CAAQ,OAAA,CAAQ,cAAA,CAAe,iBAAA,CAAkB,IAAI,CAAA;AAC9F,EAAA,OAAO,SAAS,IAAA,EAAM,CAAC,YAAA,EAAc,GAAG,MAAM,CAAC,CAAA;AACjD;AAEA,SAAS,UAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACU;AACV,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,KAAS,aAAA,CAAc,MAAM,QAAA,EAAU,OAAO,CAAA,IAAK,EAAE,CAAA;AAC7E;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,OAAO,YAAA,CAAa,IAAA,EAAM,MAAA,EAAQ,OAAO,CAAA;AAC3C;AAGA,SAAS,YAAA,CACP,QAAA,EACA,MAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,IAAA,GACJ,oBAAA,CAAqB,QAAA,EAAU,MAAA,EAAQ,MAAA,CAAO,KAAA,IAAS,EAAC,EAAG,OAAO,CAAA,IAClE,SAAA,CAAU,QAAA,EAAU,QAAQ,OAAO,CAAA;AACrC,EAAA,MAAM,aAAA,GAAgB,qBAAqB,IAAA,EAAM,MAAA,EAAQ,OAAO,KAAA,IAAS,IAAI,OAAO,CAAA;AACpF,EAAA,IAAI,kBAAkB,IAAA,EAAM;AAC1B,IAAA,OAAO,aAAA;AAAA,EACT;AACA,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,86 @@
+'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 requiredVariants = require('./required-variants.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 isKept = typeName === "object" && requiredVariants.hasRequiredVariants(schema, oneOf ?? [], request);
+    const variant = Array.isArray(oneOf) && !isKept ? { ...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 { hasRequiredVariants } from \"./required-variants.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. Variants that\n    // only require properties (`anyof-oneof-required`) belong to the object member.\n    const isKept = typeName === \"object\" && hasRequiredVariants(schema, oneOf ?? [], request);\n    const variant =\n      Array.isArray(oneOf) && !isKept\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","hasRequiredVariants","irKeyword","unionOf","isRawBinarySchema","irReference","arrayType","irUnion","objectType"],"mappings":";;;;;;;;;AAcA,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;AAGA,IAAA,MAAM,MAAA,GAAS,aAAa,QAAA,IAAYC,oCAAA,CAAoB,QAAQ,KAAA,IAAS,IAAI,OAAO,CAAA;AACxF,IAAA,MAAM,UACJ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,IAAK,CAAC,SACrB,EAAE,GAAG,QAAQ,IAAA,EAAM,QAAA,EAAU,OAAO,MAAA,EAAU,GAC9C,EAAE,GAAG,MAAA,EAAQ,MAAM,QAAA,EAAS;AAClC,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,84 @@
+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';
+import { hasRequiredVariants } from './required-variants.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 isKept = typeName === "object" && hasRequiredVariants(schema, oneOf ?? [], request);
+    const variant = Array.isArray(oneOf) && !isKept ? { ...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 { hasRequiredVariants } from \"./required-variants.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. Variants that\n    // only require properties (`anyof-oneof-required`) belong to the object member.\n    const isKept = typeName === \"object\" && hasRequiredVariants(schema, oneOf ?? [], request);\n    const variant =\n      Array.isArray(oneOf) && !isKept\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":";;;;;;;AAcA,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;AAGA,IAAA,MAAM,MAAA,GAAS,aAAa,QAAA,IAAY,mBAAA,CAAoB,QAAQ,KAAA,IAAS,IAAI,OAAO,CAAA;AACxF,IAAA,MAAM,UACJ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,IAAK,CAAC,SACrB,EAAE,GAAG,QAAQ,IAAA,EAAM,QAAA,EAAU,OAAO,MAAA,EAAU,GAC9C,EAAE,GAAG,MAAA,EAAQ,MAAM,QAAA,EAAS;AAClC,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/discriminated-union.cjs

@@ -0,0 +1,30 @@
+'use strict';
+
+const discriminatedUnion = require('../../../domain/openapi/discriminated-union.cjs');
+
+function unionItemOf(ref, request) {
+  const path = request.location.path;
+  const resolve = (target) => request.context.refs.resolve(target);
+  const union = discriminatedUnion.unionAt(ref, resolve);
+  if (union === void 0) {
+    return void 0;
+  }
+  const isMember = path !== void 0 && discriminatedUnion.unionReaches(union, path, resolve);
+  return { union, isMember, isMapped: path !== void 0 && discriminatedUnion.unionMaps(union, path) };
+}
+function withoutKey(record, key) {
+  return Object.fromEntries(Object.entries(record).filter(([name]) => name !== key));
+}
+function unionOwnKeywords(union, propertyName, required) {
+  const { oneOf: _oneOf, anyOf: _anyOf, ...own } = union;
+  const ownRequired = (union.required ?? []).filter((key) => key !== propertyName);
+  return {
+    ...own,
+    ...union.properties === void 0 ? {} : { properties: withoutKey(union.properties, propertyName) },
+    required: [...required, ...ownRequired]
+  };
+}
+
+exports.unionItemOf = unionItemOf;
+exports.unionOwnKeywords = unionOwnKeywords;
+//# sourceMappingURL=discriminated-union.cjs.map

package/dist/application/transform/schema/discriminated-union.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-union.cjs","sources":["../../../../src/application/transform/schema/discriminated-union.ts"],"sourcesContent":["import { unionAt, unionMaps, unionReaches } from \"../../../domain/openapi/discriminated-union.js\";\nimport type { SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\n\n/**\n * `allOf` items that are a `$ref` to a discriminated union (`oneOf` / `anyOf` and a\n * discriminator). Such an item cannot be typed as the parent of the inheritance pattern,\n * `Omit<Union, \"kind\">`.\n */\n\n/** The union an `allOf` item refers to, and whether the union's type contains this schema. */\nexport interface UnionItem {\n  readonly union: SchemaObject;\n  /**\n   * The schema is one of the union's members: intersecting the union would make it refer to\n   * itself, which does not compile (TS2502, upstream #1665).\n   */\n  readonly isMember: boolean;\n  /** The union's mapping names the schema, so it is a member even where the type is not. */\n  readonly isMapped: boolean;\n}\n\n/** The union at `ref`, if the schema there is one. */\nexport function unionItemOf(ref: string, request: SchemaRequest): UnionItem | undefined {\n  const path = request.location.path;\n  const resolve = (target: string) => request.context.refs.resolve(target);\n  const union = unionAt(ref, resolve);\n  if (union === undefined) {\n    return undefined;\n  }\n  const isMember = path !== undefined && unionReaches(union, path, resolve);\n  return { union, isMember, isMapped: path !== undefined && unionMaps(union, path) };\n}\n\nfunction withoutKey<T>(record: Readonly<Record<string, T>>, key: string): Record<string, T> {\n  return Object.fromEntries(Object.entries(record).filter(([name]) => name !== key));\n}\n\n/**\n * The keywords of a union that its members inherit: everything but the members and the\n * discriminator property, which each member redefines (as `Omit` does for a parent). The item's\n * `required` keys are added, as for an inline `allOf` item.\n */\nexport function unionOwnKeywords(\n  union: SchemaObject,\n  propertyName: string,\n  required: readonly string[],\n): SchemaObject {\n  const { oneOf: _oneOf, anyOf: _anyOf, ...own } = union;\n  const ownRequired = (union.required ?? []).filter((key) => key !== propertyName);\n  return {\n    ...own,\n    ...(union.properties === undefined\n      ? {}\n      : { properties: withoutKey(union.properties, propertyName) }),\n    required: [...required, ...ownRequired],\n  };\n}\n"],"names":["unionAt","unionReaches","unionMaps"],"mappings":";;;;AAuBO,SAAS,WAAA,CAAY,KAAa,OAAA,EAA+C;AACtF,EAAA,MAAM,IAAA,GAAO,QAAQ,QAAA,CAAS,IAAA;AAC9B,EAAA,MAAM,UAAU,CAAC,MAAA,KAAmB,QAAQ,OAAA,CAAQ,IAAA,CAAK,QAAQ,MAAM,CAAA;AACvE,EAAA,MAAM,KAAA,GAAQA,0BAAA,CAAQ,GAAA,EAAK,OAAO,CAAA;AAClC,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,WAAW,IAAA,KAAS,MAAA,IAAaC,+BAAA,CAAa,KAAA,EAAO,MAAM,OAAO,CAAA;AACxE,EAAA,OAAO,EAAE,OAAO,QAAA,EAAU,QAAA,EAAU,SAAS,MAAA,IAAaC,4BAAA,CAAU,KAAA,EAAO,IAAI,CAAA,EAAE;AACnF;AAEA,SAAS,UAAA,CAAc,QAAqC,GAAA,EAAgC;AAC1F,EAAA,OAAO,MAAA,CAAO,WAAA,CAAY,MAAA,CAAO,OAAA,CAAQ,MAAM,CAAA,CAAE,MAAA,CAAO,CAAC,CAAC,IAAI,CAAA,KAAM,IAAA,KAAS,GAAG,CAAC,CAAA;AACnF;AAOO,SAAS,gBAAA,CACd,KAAA,EACA,YAAA,EACA,QAAA,EACc;AACd,EAAA,MAAM,EAAE,KAAA,EAAO,MAAA,EAAQ,OAAO,MAAA,EAAQ,GAAG,KAAI,GAAI,KAAA;AACjD,EAAA,MAAM,WAAA,GAAA,CAAe,MAAM,QAAA,IAAY,IAAI,MAAA,CAAO,CAAC,GAAA,KAAQ,GAAA,KAAQ,YAAY,CAAA;AAC/E,EAAA,OAAO;AAAA,IACL,GAAG,GAAA;AAAA,IACH,GAAI,KAAA,CAAM,UAAA,KAAe,MAAA,GACrB,EAAC,GACD,EAAE,UAAA,EAAY,UAAA,CAAW,KAAA,CAAM,UAAA,EAAY,YAAY,CAAA,EAAE;AAAA,IAC7D,QAAA,EAAU,CAAC,GAAG,QAAA,EAAU,GAAG,WAAW;AAAA,GACxC;AACF;;;"}

package/dist/application/transform/schema/discriminated-union.mjs

@@ -0,0 +1,27 @@
+import { unionAt, unionReaches, unionMaps } from '../../../domain/openapi/discriminated-union.mjs';
+
+function unionItemOf(ref, request) {
+  const path = request.location.path;
+  const resolve = (target) => request.context.refs.resolve(target);
+  const union = unionAt(ref, resolve);
+  if (union === void 0) {
+    return void 0;
+  }
+  const isMember = path !== void 0 && unionReaches(union, path, resolve);
+  return { union, isMember, isMapped: path !== void 0 && unionMaps(union, path) };
+}
+function withoutKey(record, key) {
+  return Object.fromEntries(Object.entries(record).filter(([name]) => name !== key));
+}
+function unionOwnKeywords(union, propertyName, required) {
+  const { oneOf: _oneOf, anyOf: _anyOf, ...own } = union;
+  const ownRequired = (union.required ?? []).filter((key) => key !== propertyName);
+  return {
+    ...own,
+    ...union.properties === void 0 ? {} : { properties: withoutKey(union.properties, propertyName) },
+    required: [...required, ...ownRequired]
+  };
+}
+
+export { unionItemOf, unionOwnKeywords };
+//# sourceMappingURL=discriminated-union.mjs.map

package/dist/application/transform/schema/discriminated-union.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-union.mjs","sources":["../../../../src/application/transform/schema/discriminated-union.ts"],"sourcesContent":["import { unionAt, unionMaps, unionReaches } from \"../../../domain/openapi/discriminated-union.js\";\nimport type { SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\n\n/**\n * `allOf` items that are a `$ref` to a discriminated union (`oneOf` / `anyOf` and a\n * discriminator). Such an item cannot be typed as the parent of the inheritance pattern,\n * `Omit<Union, \"kind\">`.\n */\n\n/** The union an `allOf` item refers to, and whether the union's type contains this schema. */\nexport interface UnionItem {\n  readonly union: SchemaObject;\n  /**\n   * The schema is one of the union's members: intersecting the union would make it refer to\n   * itself, which does not compile (TS2502, upstream #1665).\n   */\n  readonly isMember: boolean;\n  /** The union's mapping names the schema, so it is a member even where the type is not. */\n  readonly isMapped: boolean;\n}\n\n/** The union at `ref`, if the schema there is one. */\nexport function unionItemOf(ref: string, request: SchemaRequest): UnionItem | undefined {\n  const path = request.location.path;\n  const resolve = (target: string) => request.context.refs.resolve(target);\n  const union = unionAt(ref, resolve);\n  if (union === undefined) {\n    return undefined;\n  }\n  const isMember = path !== undefined && unionReaches(union, path, resolve);\n  return { union, isMember, isMapped: path !== undefined && unionMaps(union, path) };\n}\n\nfunction withoutKey<T>(record: Readonly<Record<string, T>>, key: string): Record<string, T> {\n  return Object.fromEntries(Object.entries(record).filter(([name]) => name !== key));\n}\n\n/**\n * The keywords of a union that its members inherit: everything but the members and the\n * discriminator property, which each member redefines (as `Omit` does for a parent). The item's\n * `required` keys are added, as for an inline `allOf` item.\n */\nexport function unionOwnKeywords(\n  union: SchemaObject,\n  propertyName: string,\n  required: readonly string[],\n): SchemaObject {\n  const { oneOf: _oneOf, anyOf: _anyOf, ...own } = union;\n  const ownRequired = (union.required ?? []).filter((key) => key !== propertyName);\n  return {\n    ...own,\n    ...(union.properties === undefined\n      ? {}\n      : { properties: withoutKey(union.properties, propertyName) }),\n    required: [...required, ...ownRequired],\n  };\n}\n"],"names":[],"mappings":";;AAuBO,SAAS,WAAA,CAAY,KAAa,OAAA,EAA+C;AACtF,EAAA,MAAM,IAAA,GAAO,QAAQ,QAAA,CAAS,IAAA;AAC9B,EAAA,MAAM,UAAU,CAAC,MAAA,KAAmB,QAAQ,OAAA,CAAQ,IAAA,CAAK,QAAQ,MAAM,CAAA;AACvE,EAAA,MAAM,KAAA,GAAQ,OAAA,CAAQ,GAAA,EAAK,OAAO,CAAA;AAClC,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,WAAW,IAAA,KAAS,MAAA,IAAa,YAAA,CAAa,KAAA,EAAO,MAAM,OAAO,CAAA;AACxE,EAAA,OAAO,EAAE,OAAO,QAAA,EAAU,QAAA,EAAU,SAAS,MAAA,IAAa,SAAA,CAAU,KAAA,EAAO,IAAI,CAAA,EAAE;AACnF;AAEA,SAAS,UAAA,CAAc,QAAqC,GAAA,EAAgC;AAC1F,EAAA,OAAO,MAAA,CAAO,WAAA,CAAY,MAAA,CAAO,OAAA,CAAQ,MAAM,CAAA,CAAE,MAAA,CAAO,CAAC,CAAC,IAAI,CAAA,KAAM,IAAA,KAAS,GAAG,CAAC,CAAA;AACnF;AAOO,SAAS,gBAAA,CACd,KAAA,EACA,YAAA,EACA,QAAA,EACc;AACd,EAAA,MAAM,EAAE,KAAA,EAAO,MAAA,EAAQ,OAAO,MAAA,EAAQ,GAAG,KAAI,GAAI,KAAA;AACjD,EAAA,MAAM,WAAA,GAAA,CAAe,MAAM,QAAA,IAAY,IAAI,MAAA,CAAO,CAAC,GAAA,KAAQ,GAAA,KAAQ,YAAY,CAAA;AAC/E,EAAA,OAAO;AAAA,IACL,GAAG,GAAA;AAAA,IACH,GAAI,KAAA,CAAM,UAAA,KAAe,MAAA,GACrB,EAAC,GACD,EAAE,UAAA,EAAY,UAAA,CAAW,KAAA,CAAM,UAAA,EAAY,YAAY,CAAA,EAAE;AAAA,IAC7D,QAAA,EAAU,CAAC,GAAG,QAAA,EAAU,GAAG,WAAW;AAAA,GACxC;AACF;;"}

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

@@ -0,0 +1,22 @@
+'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, valueType = () => null) {
+  const value = discriminatorValue(discriminator, path);
+  const type = valueType(value) ?? literalType.literalType(value);
+  return constructors.irProperty(propertyName.toPropertyName(discriminator.propertyName), type, { 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, IrType } 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/**\n * The discriminator property, typed as its literal value (`createDiscriminatorProperty`), or as\n * `valueType` gives it; `valueType` returns null to keep the literal.\n */\nexport function discriminatorProperty(\n  discriminator: Discriminator,\n  path: string,\n  isReadonly: boolean,\n  valueType: (value: string | undefined) => IrType | null = () => null,\n): IrPropertySignature {\n  const value = discriminatorValue(discriminator, path);\n  const type = valueType(value) ?? literalType(value);\n  return irProperty(toPropertyName(discriminator.propertyName), type, { isReadonly });\n}\n"],"names":["parseRefPointer","literalType","irProperty","toPropertyName"],"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;AAMO,SAAS,sBACd,aAAA,EACA,IAAA,EACA,UAAA,EACA,SAAA,GAA0D,MAAM,IAAA,EAC3C;AACrB,EAAA,MAAM,KAAA,GAAQ,kBAAA,CAAmB,aAAA,EAAe,IAAI,CAAA;AACpD,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,KAAK,CAAA,IAAKC,wBAAY,KAAK,CAAA;AAClD,EAAA,OAAOC,uBAAA,CAAWC,4BAAe,aAAA,CAAc,YAAY,GAAG,IAAA,EAAM,EAAE,YAAY,CAAA;AACpF;;"}

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

@@ -0,0 +1,20 @@
+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, valueType = () => null) {
+  const value = discriminatorValue(discriminator, path);
+  const type = valueType(value) ?? literalType(value);
+  return irProperty(toPropertyName(discriminator.propertyName), type, { 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, IrType } 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/**\n * The discriminator property, typed as its literal value (`createDiscriminatorProperty`), or as\n * `valueType` gives it; `valueType` returns null to keep the literal.\n */\nexport function discriminatorProperty(\n  discriminator: Discriminator,\n  path: string,\n  isReadonly: boolean,\n  valueType: (value: string | undefined) => IrType | null = () => null,\n): IrPropertySignature {\n  const value = discriminatorValue(discriminator, path);\n  const type = valueType(value) ?? literalType(value);\n  return irProperty(toPropertyName(discriminator.propertyName), type, { 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;AAMO,SAAS,sBACd,aAAA,EACA,IAAA,EACA,UAAA,EACA,SAAA,GAA0D,MAAM,IAAA,EAC3C;AACrB,EAAA,MAAM,KAAA,GAAQ,kBAAA,CAAmB,aAAA,EAAe,IAAI,CAAA;AACpD,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,KAAK,CAAA,IAAK,YAAY,KAAK,CAAA;AAClD,EAAA,OAAO,UAAA,CAAW,eAAe,aAAA,CAAc,YAAY,GAAG,IAAA,EAAM,EAAE,YAAY,CAAA;AACpF;;"}