@typespec-dev/emitter-typebox 0.2.0 → 0.4.0

package/dist/test/constraints.test.jsx

@@ -0,0 +1,279 @@
+import { describe, it } from 'vitest';
+import { TypeBoxSchema } from '../src/components/TypeBoxSchema.jsx';
+import { createTestRunner, expectRender } from './utils.jsx';
+describe('string constraints', () => {
+    it('applies minLength and maxLength', async () => {
+        const runner = await createTestRunner();
+        const { nameProp } = (await runner.compile(`
+      model Test {
+        @test @minLength(1) @maxLength(100) nameProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={nameProp}/>, 'Type.String({\n  minLength: 1,\n  maxLength: 100\n})');
+    });
+    it('applies pattern', async () => {
+        const runner = await createTestRunner();
+        const { codeProp } = (await runner.compile(`
+      model Test {
+        @test @pattern("^[a-z]+$") codeProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={codeProp}/>, 'Type.String({\n  pattern: "^[a-z]+$"\n})');
+    });
+    it('applies format', async () => {
+        const runner = await createTestRunner();
+        const { emailProp } = (await runner.compile(`
+      model Test {
+        @test @format("email") emailProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={emailProp}/>, 'Type.String({\n  format: "email"\n})');
+    });
+    it('escapes backslashes in pattern', async () => {
+        const runner = await createTestRunner();
+        const { phoneProp } = (await runner.compile(`
+      model Test {
+        @test @pattern("^\\\\d{3}-\\\\d{4}$") phoneProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={phoneProp}/>, 'Type.String({\n  pattern: "^\\\\d{3}-\\\\d{4}$"\n})');
+    });
+    it('applies minLength only', async () => {
+        const runner = await createTestRunner();
+        const { tagProp } = (await runner.compile(`
+      model Test {
+        @test @minLength(1) tagProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={tagProp}/>, 'Type.String({\n  minLength: 1\n})');
+    });
+});
+describe('numeric constraints', () => {
+    it('applies minValue and maxValue', async () => {
+        const runner = await createTestRunner();
+        const { scoreProp } = (await runner.compile(`
+      model Test {
+        @test @minValue(0) @maxValue(100) scoreProp: int32;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={scoreProp}/>, 'Type.Integer({\n  minimum: 0,\n  maximum: 100\n})');
+    });
+    it('applies exclusive bounds', async () => {
+        const runner = await createTestRunner();
+        const { priceProp } = (await runner.compile(`
+      model Test {
+        @test @minValueExclusive(0) priceProp: float64;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={priceProp}/>, 'Type.Number({\n  exclusiveMinimum: 0\n})');
+    });
+    it('applies maxValueExclusive', async () => {
+        const runner = await createTestRunner();
+        const { rateProp } = (await runner.compile(`
+      model Test {
+        @test @maxValueExclusive(1) rateProp: float64;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={rateProp}/>, 'Type.Number({\n  exclusiveMaximum: 1\n})');
+    });
+    it('narrows intrinsic bounds with user constraints', async () => {
+        const runner = await createTestRunner();
+        const { ageProp } = (await runner.compile(`
+      model Test {
+        @test @minValue(0) @maxValue(150) ageProp: int32;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={ageProp}/>, 'Type.Integer({\n  minimum: 0,\n  maximum: 150\n})');
+    });
+});
+describe('intrinsic numeric bounds', () => {
+    it('applies int8 bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: int8;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Integer({\n  minimum: -128,\n  maximum: 127\n})');
+    });
+    it('applies uint8 bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: uint8;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Integer({\n  minimum: 0,\n  maximum: 255\n})');
+    });
+    it('applies int16 bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: int16;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Integer({\n  minimum: -32768,\n  maximum: 32767\n})');
+    });
+    it('applies uint16 bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: uint16;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Integer({\n  minimum: 0,\n  maximum: 65535\n})');
+    });
+    it('applies int32 bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: int32;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Integer({\n  minimum: -2147483648,\n  maximum: 2147483647\n})');
+    });
+    it('applies uint32 bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: uint32;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Integer({\n  minimum: 0,\n  maximum: 4294967295\n})');
+    });
+    it('applies safeint bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: safeint;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Integer({\n  minimum: -9007199254740991,\n  maximum: 9007199254740991\n})');
+    });
+    it('applies float32 bounds', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: float32;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Number({\n  minimum: -3.4028235e+38,\n  maximum: 3.4028235e+38\n})');
+    });
+    it('does not apply bounds to float64', async () => {
+        const runner = await createTestRunner();
+        const { val } = (await runner.compile(`
+      model Test {
+        @test val: float64;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={val.type}/>, 'Type.Number()');
+    });
+});
+describe('array constraints', () => {
+    it('applies minItems and maxItems', async () => {
+        const runner = await createTestRunner();
+        const { itemsProp } = (await runner.compile(`
+      model Test {
+        @test @minItems(1) @maxItems(10) itemsProp: string[];
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={itemsProp}/>, 'Type.Array(\n  Type.String(),\n  {\n    minItems: 1,\n    maxItems: 10\n  }\n)');
+    });
+    it('applies minItems only', async () => {
+        const runner = await createTestRunner();
+        const { tagsProp } = (await runner.compile(`
+      model Test {
+        @test @minItems(1) tagsProp: string[];
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={tagsProp}/>, 'Type.Array(\n  Type.String(),\n  {\n    minItems: 1\n  }\n)');
+    });
+});
+describe('description', () => {
+    it('applies @doc to string property', async () => {
+        const runner = await createTestRunner();
+        const { nameProp } = (await runner.compile(`
+      model Test {
+        @test @doc("A person's name") nameProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={nameProp}/>, 'Type.String({\n  description: "A person\'s name"\n})');
+    });
+    it('escapes double quotes in description', async () => {
+        const runner = await createTestRunner();
+        const { valProp } = (await runner.compile(`
+      model Test {
+        @test @doc("A \\"quoted\\" value") valProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={valProp}/>, 'Type.String({\n  description: "A \\"quoted\\" value"\n})');
+    });
+    it('applies @doc to numeric property', async () => {
+        const runner = await createTestRunner();
+        const { ageProp } = (await runner.compile(`
+      model Test {
+        @test @doc("Age in years") ageProp: float64;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={ageProp}/>, 'Type.Number({\n  description: "Age in years"\n})');
+    });
+});
+describe('defaults', () => {
+    it('applies string default', async () => {
+        const runner = await createTestRunner();
+        const { greetingProp } = (await runner.compile(`
+      model Test {
+        @test greetingProp?: string = "hello";
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={greetingProp}/>, 'Type.String({\n  default: "hello"\n})');
+    });
+    it('applies numeric default', async () => {
+        const runner = await createTestRunner();
+        const { limitProp } = (await runner.compile(`
+      model Test {
+        @test limitProp?: float64 = 10;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={limitProp}/>, 'Type.Number({\n  default: 10\n})');
+    });
+    it('applies boolean default', async () => {
+        const runner = await createTestRunner();
+        const { activeProp } = (await runner.compile(`
+      model Test {
+        @test activeProp?: boolean = true;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={activeProp}/>, 'Type.Boolean({\n  default: true\n})');
+    });
+});
+describe('combined constraints', () => {
+    it('combines string constraints with description', async () => {
+        const runner = await createTestRunner();
+        const { nameProp } = (await runner.compile(`
+      model Test {
+        @test @minLength(1) @maxLength(50) @doc("User name") nameProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={nameProp}/>, 'Type.String({\n  minLength: 1,\n  maxLength: 50,\n  description: "User name"\n})');
+    });
+    it('combines numeric constraints with default', async () => {
+        const runner = await createTestRunner();
+        const { limitProp } = (await runner.compile(`
+      model Test {
+        @test @minValue(1) @maxValue(100) limitProp?: float64 = 10;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={limitProp}/>, 'Type.Number({\n  minimum: 1,\n  maximum: 100,\n  default: 10\n})');
+    });
+    it('combines format with description', async () => {
+        const runner = await createTestRunner();
+        const { emailProp } = (await runner.compile(`
+      model Test {
+        @test @format("email") @doc("Email address") emailProp: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={emailProp}/>, 'Type.String({\n  format: "email",\n  description: "Email address"\n})');
+    });
+});
+//# sourceMappingURL=constraints.test.jsx.map

package/dist/test/constraints.test.jsx.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.test.jsx","sourceRoot":"","sources":["../../test/constraints.test.tsx"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE7D,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAG,EACjC,sDAAsD,CACvD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,KAAK,IAAI,EAAE;QAC/B,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAG,EACjC,0CAA0C,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,KAAK,IAAI,EAAE;QAC9B,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,sCAAsC,CACvC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,qDAAqD,CACtD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIzC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAG,EAChC,mCAAmC,CACpC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,mDAAmD,CACpD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,0CAA0C,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,KAAK,IAAI,EAAE;QACzC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAG,EACjC,0CAA0C,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIzC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAG,EAChC,mDAAmD,CACpD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE;QACnC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,sDAAsD,CACvD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACpC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,mDAAmD,CACpD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACpC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,0DAA0D,CAC3D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;QACrC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,qDAAqD,CACtD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACpC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,oEAAoE,CACrE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;QACrC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,0DAA0D,CAC3D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,gFAAgF,CACjF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EACjC,yEAAyE,CAC1E,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIrC,CAAC,CAAkC,CAAC;QAErC,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,EAAE,eAAe,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,gFAAgF,CACjF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;QACrC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAG,EACjC,6DAA6D,CAC9D,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAG,EACjC,sDAAsD,CACvD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIzC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAG,EAChC,0DAA0D,CAC3D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIzC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAG,EAChC,kDAAkD,CACnD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI9C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,EAAG,EACrC,uCAAuC,CACxC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,kCAAkC,CACnC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI5C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,EAAG,EACnC,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAG,EACjC,kFAAkF,CACnF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,kEAAkE,CACnE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,uEAAuE,CACxE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/dictionaries.test.js

@@ -31,7 +31,21 @@ describe('dictionaries', () => {
       get type() {
         return intDict.type;
       }
-    }), 'Type.Record(Type.String(), Type.Integer())');
+    }), 'Type.Record(\n  Type.String(),\n  Type.Integer({\n    minimum: -2147483648,\n    maximum: 2147483647\n  })\n)');
+  });
+  it('works with model extending Record with additional properties', async () => {
+    const runner = await createTestRunner();
+    const {
+      Config
+    } = await runner.compile(`
+      @test model Config extends Record<string> {
+        apiKey: string;
+        baseUrl: string;
+      }
+    `);
+    expectRender(runner.program, _$createComponent(TypeBoxSchema, {
+      type: Config
+    }), 'Type.Intersect([\n  Type.Object({\n    apiKey: Type.String(),\n    baseUrl: Type.String(),\n  }),\n  Type.Record(Type.String(), Type.String())\n])');
   });
   it('works with record property in model', async () => {
     const runner = await createTestRunner();

package/dist/test/dictionaries.test.js.map

@@ -1 +1 @@
-{"version":3,"names":["describe","it","TypeBoxSchema","createTestRunner","expectRender","runner","dictProp","compile","program","_$createComponent","type","intDict","DictModel"],"sources":["../../test/dictionaries.test.tsx"],"sourcesContent":[null],"mappings":";AACA,SAASA,QAAQ,EAAEC,EAAE,QAAQ,QAAQ;AACrC,SAASC,aAAa;AACtB,SAASC,gBAAgB,EAAEC,YAAY;AAEvCJ,QAAQ,CAAC,cAAc,EAAE,MAAM;EAC7BC,EAAE,CAAC,oCAAoC,EAAE,YAAY;IACnD,MAAMI,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEG;IAAS,CAAC,GAAI,MAAMD,MAAM,CAACE,OAAO,CAAC;AAC/C;AACA;AACA;AACA,KAAK,CAAmC;IAEpCH,YAAY,CACVC,MAAM,CAACG,OAAO,EAAAC,iBAAA,CACbP,aAAa;MAAA,IAACQ,IAAIA,CAAA;QAAA,OAAEJ,QAAQ,CAACI,IAAI;MAAA;IAAA,IAClC,2CACF,CAAC;EACH,CAAC,CAAC;EAEFT,EAAE,CAAC,qCAAqC,EAAE,YAAY;IACpD,MAAMI,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEQ;IAAQ,CAAC,GAAI,MAAMN,MAAM,CAACE,OAAO,CAAC;AAC9C;AACA;AACA;AACA,KAAK,CAAmC;IAEpCH,YAAY,CACVC,MAAM,CAACG,OAAO,EAAAC,iBAAA,CACbP,aAAa;MAAA,IAACQ,IAAIA,CAAA;QAAA,OAAEC,OAAO,CAACD,IAAI;MAAA;IAAA,IACjC,4CACF,CAAC;EACH,CAAC,CAAC;EAEFT,EAAE,CAAC,qCAAqC,EAAE,YAAY;IACpD,MAAMI,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAES;IAAU,CAAC,GAAI,MAAMP,MAAM,CAACE,OAAO,CAAC;AAChD;AACA;AACA;AACA,KAAK,CAA2B;IAE5BH,YAAY,CACVC,MAAM,CAACG,OAAO,EAAAC,iBAAA,CACbP,aAAa;MAACQ,IAAI,EAAEE;IAAS,IAC9B,uEACF,CAAC;EACH,CAAC,CAAC;AACJ,CAAC,CAAC","ignoreList":[]}
+{"version":3,"names":["describe","it","TypeBoxSchema","createTestRunner","expectRender","runner","dictProp","compile","program","_$createComponent","type","intDict","Config","DictModel"],"sources":["../../test/dictionaries.test.tsx"],"sourcesContent":[null],"mappings":";AACA,SAASA,QAAQ,EAAEC,EAAE,QAAQ,QAAQ;AACrC,SAASC,aAAa;AACtB,SAASC,gBAAgB,EAAEC,YAAY;AAEvCJ,QAAQ,CAAC,cAAc,EAAE,MAAM;EAC7BC,EAAE,CAAC,oCAAoC,EAAE,YAAY;IACnD,MAAMI,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEG;IAAS,CAAC,GAAI,MAAMD,MAAM,CAACE,OAAO,CAAC;AAC/C;AACA;AACA;AACA,KAAK,CAAmC;IAEpCH,YAAY,CACVC,MAAM,CAACG,OAAO,EAAAC,iBAAA,CACbP,aAAa;MAAA,IAACQ,IAAIA,CAAA;QAAA,OAAEJ,QAAQ,CAACI,IAAI;MAAA;IAAA,IAClC,2CACF,CAAC;EACH,CAAC,CAAC;EAEFT,EAAE,CAAC,qCAAqC,EAAE,YAAY;IACpD,MAAMI,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEQ;IAAQ,CAAC,GAAI,MAAMN,MAAM,CAACE,OAAO,CAAC;AAC9C;AACA;AACA;AACA,KAAK,CAAmC;IAEpCH,YAAY,CACVC,MAAM,CAACG,OAAO,EAAAC,iBAAA,CACbP,aAAa;MAAA,IAACQ,IAAIA,CAAA;QAAA,OAAEC,OAAO,CAACD,IAAI;MAAA;IAAA,IACjC,+GACF,CAAC;EACH,CAAC,CAAC;EAEFT,EAAE,CAAC,8DAA8D,EAAE,YAAY;IAC7E,MAAMI,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAES;IAAO,CAAC,GAAI,MAAMP,MAAM,CAACE,OAAO,CAAC;AAC7C;AACA;AACA;AACA;AACA,KAAK,CAA2B;IAE5BH,YAAY,CACVC,MAAM,CAACG,OAAO,EAAAC,iBAAA,CACbP,aAAa;MAACQ,IAAI,EAAEE;IAAM,IAC3B,oJACF,CAAC;EACH,CAAC,CAAC;EAEFX,EAAE,CAAC,qCAAqC,EAAE,YAAY;IACpD,MAAMI,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEU;IAAU,CAAC,GAAI,MAAMR,MAAM,CAACE,OAAO,CAAC;AAChD;AACA;AACA;AACA,KAAK,CAA2B;IAE5BH,YAAY,CACVC,MAAM,CAACG,OAAO,EAAAC,iBAAA,CACbP,aAAa;MAACQ,IAAI,EAAEG;IAAS,IAC9B,uEACF,CAAC;EACH,CAAC,CAAC;AACJ,CAAC,CAAC","ignoreList":[]}

package/dist/test/dictionaries.test.jsx

@@ -18,7 +18,17 @@ describe('dictionaries', () => {
         @test intDict: Record<int32>;
       }
     `));
-        expectRender(runner.program, <TypeBoxSchema type={intDict.type}/>, 'Type.Record(Type.String(), Type.Integer())');
+        expectRender(runner.program, <TypeBoxSchema type={intDict.type}/>, 'Type.Record(\n  Type.String(),\n  Type.Integer({\n    minimum: -2147483648,\n    maximum: 2147483647\n  })\n)');
+    });
+    it('works with model extending Record with additional properties', async () => {
+        const runner = await createTestRunner();
+        const { Config } = (await runner.compile(`
+      @test model Config extends Record<string> {
+        apiKey: string;
+        baseUrl: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={Config}/>, 'Type.Intersect([\n  Type.Object({\n    apiKey: Type.String(),\n    baseUrl: Type.String(),\n  }),\n  Type.Record(Type.String(), Type.String())\n])');
     });
     it('works with record property in model', async () => {
         const runner = await createTestRunner();

package/dist/test/dictionaries.test.jsx.map

@@ -1 +1 @@
-{"version":3,"file":"dictionaries.test.jsx","sourceRoot":"","sources":["../../test/dictionaries.test.tsx"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE7D,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAG,EACtC,2CAA2C,CAC5C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIzC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAG,EACrC,4CAA4C,CAC7C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAA0B,CAAC;QAE7B,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,uEAAuE,CACxE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"dictionaries.test.jsx","sourceRoot":"","sources":["../../test/dictionaries.test.tsx"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE7D,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI1C,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAG,EACtC,2CAA2C,CAC5C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAIzC,CAAC,CAAkC,CAAC;QAErC,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAG,EACrC,+GAA+G,CAChH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;;KAKxC,CAAC,CAA0B,CAAC;QAE7B,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EAAG,EAC/B,oJAAoJ,CACrJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;KAI3C,CAAC,CAA0B,CAAC;QAE7B,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAG,EAClC,uEAAuE,CACxE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/discriminated-unions.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=discriminated-unions.test.d.ts.map

package/dist/test/discriminated-unions.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-unions.test.d.ts","sourceRoot":"","sources":["../../test/discriminated-unions.test.tsx"],"names":[],"mappings":""}

package/dist/test/discriminated-unions.test.js

@@ -0,0 +1,156 @@
+import { createComponent as _$createComponent } from "@alloy-js/core/jsx-runtime";
+import { render } from '@alloy-js/core';
+import { createTSNamePolicy, SourceFile } from '@alloy-js/typescript';
+import { Output } from '@typespec/emitter-framework';
+import { describe, expect, it } from 'vitest';
+import { TypeBoxSchema } from "../src/components/TypeBoxSchema.js";
+import { TypeBoxSchemaDeclaration } from "../src/components/TypeBoxSchemaDeclaration.js";
+import { typebox } from '../src/index.js';
+import { createTestRunner, expectRender } from "./utils.js";
+describe('discriminated unions', () => {
+  it('emits base model as Type.Union of derived variants', async () => {
+    const runner = await createTestRunner();
+    const {
+      Shape,
+      Circle,
+      Square
+    } = await runner.compile(`
+      @discriminator("kind")
+      @test model Shape {
+        kind: string;
+      }
+
+      @test model Circle extends Shape {
+        kind: "circle";
+        radius: float64;
+      }
+
+      @test model Square extends Shape {
+        kind: "square";
+        side: float64;
+      }
+    `);
+    const template = _$createComponent(Output, {
+      get program() {
+        return runner.program;
+      },
+      get namePolicy() {
+        return createTSNamePolicy();
+      },
+      externals: [typebox],
+      get children() {
+        return _$createComponent(SourceFile, {
+          path: "test.ts",
+          get children() {
+            return [_$createComponent(TypeBoxSchemaDeclaration, {
+              type: Circle,
+              "export": true
+            }), '\n', _$createComponent(TypeBoxSchemaDeclaration, {
+              type: Square,
+              "export": true
+            }), '\n', _$createComponent(TypeBoxSchemaDeclaration, {
+              type: Shape,
+              "export": true
+            })];
+          }
+        });
+      }
+    });
+    const output = render(template, {
+      insertFinalNewLine: false
+    });
+    const contents = output.contents[0].contents;
+    expect(contents).toContain('Type.Union([circle, square])');
+  });
+  it('flattens derived model properties instead of using Intersect', async () => {
+    const runner = await createTestRunner();
+    const {
+      Circle
+    } = await runner.compile(`
+      @discriminator("kind")
+      model Shape {
+        kind: string;
+      }
+
+      @test model Circle extends Shape {
+        kind: "circle";
+        radius: float64;
+      }
+    `);
+    expectRender(runner.program, _$createComponent(TypeBoxSchema, {
+      type: Circle
+    }), 'Type.Object({\n  kind: Type.Literal("circle"),\n  radius: Type.Number(),\n})');
+  });
+  it('flattens multi-level inheritance for discriminated types', async () => {
+    const runner = await createTestRunner();
+    const {
+      Dog
+    } = await runner.compile(`
+      @discriminator("type")
+      model Animal {
+        type: string;
+        name: string;
+      }
+
+      @test model Dog extends Animal {
+        type: "dog";
+        breed: string;
+      }
+    `);
+    expectRender(runner.program, _$createComponent(TypeBoxSchema, {
+      type: Dog
+    }), 'Type.Object({\n  type: Type.Literal("dog"),\n  breed: Type.String(),\n  name: Type.String(),\n})');
+  });
+  it('handles three discriminated variants', async () => {
+    const runner = await createTestRunner();
+    const {
+      Vehicle
+    } = await runner.compile(`
+      @discriminator("type")
+      @test model Vehicle {
+        type: string;
+      }
+
+      model Car extends Vehicle {
+        type: "car";
+        doors: int32;
+      }
+
+      model Bike extends Vehicle {
+        type: "bike";
+        gears: int32;
+      }
+
+      model Truck extends Vehicle {
+        type: "truck";
+        payload: float64;
+      }
+    `);
+    const template = _$createComponent(Output, {
+      get program() {
+        return runner.program;
+      },
+      get namePolicy() {
+        return createTSNamePolicy();
+      },
+      externals: [typebox],
+      get children() {
+        return _$createComponent(SourceFile, {
+          path: "test.ts",
+          get children() {
+            return _$createComponent(TypeBoxSchemaDeclaration, {
+              type: Vehicle,
+              "export": true
+            });
+          }
+        });
+      }
+    });
+    const output = render(template, {
+      insertFinalNewLine: false
+    });
+    const contents = output.contents[0].contents;
+    expect(contents).toContain('Type.Union([');
+  });
+});
+//# sourceMappingURL=discriminated-unions.test.js.map

package/dist/test/discriminated-unions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["render","createTSNamePolicy","SourceFile","Output","describe","expect","it","TypeBoxSchema","TypeBoxSchemaDeclaration","typebox","createTestRunner","expectRender","runner","Shape","Circle","Square","compile","template","_$createComponent","program","namePolicy","externals","children","path","type","output","insertFinalNewLine","contents","toContain","Dog","Vehicle"],"sources":["../../test/discriminated-unions.test.tsx"],"sourcesContent":[null],"mappings":";AAAA,SAA4BA,MAAM,QAAQ,gBAAgB;AAC1D,SAASC,kBAAkB,EAAEC,UAAU,QAAQ,sBAAsB;AAErE,SAASC,MAAM,QAAQ,6BAA6B;AACpD,SAASC,QAAQ,EAAEC,MAAM,EAAEC,EAAE,QAAQ,QAAQ;AAC7C,SAASC,aAAa;AACtB,SAASC,wBAAwB;AACjC,SAASC,OAAO,QAAQ,iBAAiB;AACzC,SAASC,gBAAgB,EAAEC,YAAY;AAEvCP,QAAQ,CAAC,sBAAsB,EAAE,MAAM;EACrCE,EAAE,CAAC,oDAAoD,EAAE,YAAY;IACnE,MAAMM,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEG,KAAK;MAAEC,MAAM;MAAEC;IAAO,CAAC,GAAI,MAAMH,MAAM,CAACI,OAAO,CAAC;AAC5D;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA,KAAK,CAA2B;IAE5B,MAAMC,QAAQ,GAAAC,iBAAA,CACXf,MAAM;MAAA,IAACgB,OAAOA,CAAA;QAAA,OAAEP,MAAM,CAACO,OAAO;MAAA;MAAA,IAAEC,UAAUA,CAAA;QAAA,OAAEnB,kBAAkB,CAAC,CAAC;MAAA;MAAEoB,SAAS,EAAE,CAACZ,OAAO,CAAC;MAAA,IAAAa,SAAA;QAAA,OAAAJ,iBAAA,CACpFhB,UAAU;UAACqB,IAAI;UAAA,IAAAD,SAAA;YAAA,QAAAJ,iBAAA,CACbV,wBAAwB;cAACgB,IAAI,EAAEV,MAAM;cAAA;YAAA,IACrC,IAAI,EAAAI,iBAAA,CACJV,wBAAwB;cAACgB,IAAI,EAAET,MAAM;cAAA;YAAA,IACrC,IAAI,EAAAG,iBAAA,CACJV,wBAAwB;cAACgB,IAAI,EAAEX,KAAK;cAAA;YAAA;UAAA;QAAA;MAAA;IAAA,EAG1C;IAED,MAAMY,MAAM,GAAGzB,MAAM,CAACiB,QAAQ,EAAE;MAAES,kBAAkB,EAAE;IAAM,CAAC,CAAC;IAC9D,MAAMC,QAAQ,GAAIF,MAAM,CAACE,QAAQ,CAAC,CAAC,CAAC,CAAuBA,QAAQ;IACnEtB,MAAM,CAACsB,QAAQ,CAAC,CAACC,SAAS,CAAC,8BAA8B,CAAC;EAC5D,CAAC,CAAC;EAEFtB,EAAE,CAAC,8DAA8D,EAAE,YAAY;IAC7E,MAAMM,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEI;IAAO,CAAC,GAAI,MAAMF,MAAM,CAACI,OAAO,CAAC;AAC7C;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA,KAAK,CAA2B;IAE5BL,YAAY,CACVC,MAAM,CAACO,OAAO,EAAAD,iBAAA,CACbX,aAAa;MAACiB,IAAI,EAAEV;IAAM,IAC3B,8EACF,CAAC;EACH,CAAC,CAAC;EAEFR,EAAE,CAAC,0DAA0D,EAAE,YAAY;IACzE,MAAMM,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEmB;IAAI,CAAC,GAAI,MAAMjB,MAAM,CAACI,OAAO,CAAC;AAC1C;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA,KAAK,CAA2B;IAE5BL,YAAY,CACVC,MAAM,CAACO,OAAO,EAAAD,iBAAA,CACbX,aAAa;MAACiB,IAAI,EAAEK;IAAG,IACxB,kGACF,CAAC;EACH,CAAC,CAAC;EAEFvB,EAAE,CAAC,sCAAsC,EAAE,YAAY;IACrD,MAAMM,MAAM,GAAG,MAAMF,gBAAgB,CAAC,CAAC;IACvC,MAAM;MAAEoB;IAAQ,CAAC,GAAI,MAAMlB,MAAM,CAACI,OAAO,CAAC;AAC9C;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA,KAAK,CAA2B;IAE5B,MAAMC,QAAQ,GAAAC,iBAAA,CACXf,MAAM;MAAA,IAACgB,OAAOA,CAAA;QAAA,OAAEP,MAAM,CAACO,OAAO;MAAA;MAAA,IAAEC,UAAUA,CAAA;QAAA,OAAEnB,kBAAkB,CAAC,CAAC;MAAA;MAAEoB,SAAS,EAAE,CAACZ,OAAO,CAAC;MAAA,IAAAa,SAAA;QAAA,OAAAJ,iBAAA,CACpFhB,UAAU;UAACqB,IAAI;UAAA,IAAAD,SAAA;YAAA,OAAAJ,iBAAA,CACbV,wBAAwB;cAACgB,IAAI,EAAEM,OAAO;cAAA;YAAA;UAAA;QAAA;MAAA;IAAA,EAG5C;IAED,MAAML,MAAM,GAAGzB,MAAM,CAACiB,QAAQ,EAAE;MAAES,kBAAkB,EAAE;IAAM,CAAC,CAAC;IAC9D,MAAMC,QAAQ,GAAIF,MAAM,CAACE,QAAQ,CAAC,CAAC,CAAC,CAAuBA,QAAQ;IACnEtB,MAAM,CAACsB,QAAQ,CAAC,CAACC,SAAS,CAAC,cAAc,CAAC;EAC5C,CAAC,CAAC;AACJ,CAAC,CAAC","ignoreList":[]}

package/dist/test/discriminated-unions.test.jsx

@@ -0,0 +1,105 @@
+import { render } from '@alloy-js/core';
+import { createTSNamePolicy, SourceFile } from '@alloy-js/typescript';
+import { Output } from '@typespec/emitter-framework';
+import { describe, expect, it } from 'vitest';
+import { TypeBoxSchema } from '../src/components/TypeBoxSchema.jsx';
+import { TypeBoxSchemaDeclaration } from '../src/components/TypeBoxSchemaDeclaration.jsx';
+import { typebox } from '../src/index.js';
+import { createTestRunner, expectRender } from './utils.jsx';
+describe('discriminated unions', () => {
+    it('emits base model as Type.Union of derived variants', async () => {
+        const runner = await createTestRunner();
+        const { Shape, Circle, Square } = (await runner.compile(`
+      @discriminator("kind")
+      @test model Shape {
+        kind: string;
+      }
+
+      @test model Circle extends Shape {
+        kind: "circle";
+        radius: float64;
+      }
+
+      @test model Square extends Shape {
+        kind: "square";
+        side: float64;
+      }
+    `));
+        const template = (<Output program={runner.program} namePolicy={createTSNamePolicy()} externals={[typebox]}>
+        <SourceFile path="test.ts">
+          <TypeBoxSchemaDeclaration type={Circle} export/>
+          {'\n'}
+          <TypeBoxSchemaDeclaration type={Square} export/>
+          {'\n'}
+          <TypeBoxSchemaDeclaration type={Shape} export/>
+        </SourceFile>
+      </Output>);
+        const output = render(template, { insertFinalNewLine: false });
+        const contents = output.contents[0].contents;
+        expect(contents).toContain('Type.Union([circle, square])');
+    });
+    it('flattens derived model properties instead of using Intersect', async () => {
+        const runner = await createTestRunner();
+        const { Circle } = (await runner.compile(`
+      @discriminator("kind")
+      model Shape {
+        kind: string;
+      }
+
+      @test model Circle extends Shape {
+        kind: "circle";
+        radius: float64;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={Circle}/>, 'Type.Object({\n  kind: Type.Literal("circle"),\n  radius: Type.Number(),\n})');
+    });
+    it('flattens multi-level inheritance for discriminated types', async () => {
+        const runner = await createTestRunner();
+        const { Dog } = (await runner.compile(`
+      @discriminator("type")
+      model Animal {
+        type: string;
+        name: string;
+      }
+
+      @test model Dog extends Animal {
+        type: "dog";
+        breed: string;
+      }
+    `));
+        expectRender(runner.program, <TypeBoxSchema type={Dog}/>, 'Type.Object({\n  type: Type.Literal("dog"),\n  breed: Type.String(),\n  name: Type.String(),\n})');
+    });
+    it('handles three discriminated variants', async () => {
+        const runner = await createTestRunner();
+        const { Vehicle } = (await runner.compile(`
+      @discriminator("type")
+      @test model Vehicle {
+        type: string;
+      }
+
+      model Car extends Vehicle {
+        type: "car";
+        doors: int32;
+      }
+
+      model Bike extends Vehicle {
+        type: "bike";
+        gears: int32;
+      }
+
+      model Truck extends Vehicle {
+        type: "truck";
+        payload: float64;
+      }
+    `));
+        const template = (<Output program={runner.program} namePolicy={createTSNamePolicy()} externals={[typebox]}>
+        <SourceFile path="test.ts">
+          <TypeBoxSchemaDeclaration type={Vehicle} export/>
+        </SourceFile>
+      </Output>);
+        const output = render(template, { insertFinalNewLine: false });
+        const contents = output.contents[0].contents;
+        expect(contents).toContain('Type.Union([');
+    });
+});
+//# sourceMappingURL=discriminated-unions.test.jsx.map

package/dist/test/discriminated-unions.test.jsx.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-unions.test.jsx","sourceRoot":"","sources":["../../test/discriminated-unions.test.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAqB,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gDAAgD,CAAC;AAC1F,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE7D,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;;;;;;;;;;;;KAevD,CAAC,CAA0B,CAAC;QAE7B,MAAM,QAAQ,GAAG,CACf,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CACtF;QAAA,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CACxB;UAAA,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAC9C;UAAA,CAAC,IAAI,CACL;UAAA,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAC9C;UAAA,CAAC,IAAI,CACL;UAAA,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,EAC/C;QAAA,EAAE,UAAU,CACd;MAAA,EAAE,MAAM,CAAC,CACV,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAuB,CAAC,QAAQ,CAAC;QACpE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;;;;;;;KAUxC,CAAC,CAA0B,CAAC;QAE7B,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EAAG,EAC/B,8EAA8E,CAC/E,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;;;;;;;;KAWrC,CAAC,CAA0B,CAAC;QAE7B,YAAY,CACV,MAAM,CAAC,OAAO,EACd,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAG,EAC5B,kGAAkG,CACnG,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC;;;;;;;;;;;;;;;;;;;;KAoBzC,CAAC,CAA0B,CAAC;QAE7B,MAAM,QAAQ,GAAG,CACf,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CACtF;QAAA,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CACxB;UAAA,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EACjD;QAAA,EAAE,UAAU,CACd;MAAA,EAAE,MAAM,CAAC,CACV,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAuB,CAAC,QAAQ,CAAC;QACpE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/emitter/custom-scalars.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=custom-scalars.test.d.ts.map

package/dist/test/emitter/custom-scalars.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom-scalars.test.d.ts","sourceRoot":"","sources":["../../../test/emitter/custom-scalars.test.tsx"],"names":[],"mappings":""}