@typespec/compiler 0.61.0-dev.6 → 0.61.0-dev.8

package/dist/src/experimental/typekit/kits/union.d.ts

@@ -0,0 +1,56 @@
+import type { Type, Union, UnionVariant } from "../../../core/types.js";
+import { DecoratorArgs } from "../utils.js";
+interface UnionDescriptor {
+    /**
+     * The name of the union. If name is provided, it is a union declaration.
+     * Otherwise, it is a union expression.
+     */
+    name?: string;
+    /**
+     * Decorators to apply to the union.
+     */
+    decorators?: DecoratorArgs[];
+    /**
+     * The variants of the union. If a variant is a string, number, or boolean, it
+     * will be converted to a union variant with the same name and type.
+     */
+    variants?: Record<string | symbol, string | number> | UnionVariant[];
+}
+export interface UnionKit {
+    union: {
+        /**
+         * Create a union type.
+         *
+         * @param desc The descriptor of the union.
+         */
+        create(desc: UnionDescriptor): Union;
+        /**
+         * Check if the given `type` is a union.
+         *
+         * @param type The type to check.
+         */
+        is(type: Type): type is Union;
+        /**
+         * Check if the union is a valid enum. Specifically, this checks if the
+         * union has a name (since there are no enum expressions), and whether each
+         * of the variant types is a valid enum member value.
+         *
+         * @param type The union to check.
+         */
+        isValidEnum(type: Union): boolean;
+        /**
+         * Check if a union is extensible. Extensible unions are unions which contain a variant
+         * that is a supertype of all the other types. This means that the subtypes of the common
+         * supertype are known example values, but others may be present.
+         * @param type The union to check.
+         */
+        isExtensible(type: Union): boolean;
+    };
+}
+declare module "../define-kit.js" {
+    interface TypekitPrototype extends UnionKit {
+    }
+}
+export declare const UnionKit: void;
+export {};
+//# sourceMappingURL=union.d.ts.map

package/dist/src/experimental/typekit/kits/union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../../../src/experimental/typekit/kits/union.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGxE,OAAO,EAAwB,aAAa,EAAE,MAAM,aAAa,CAAC;AAElE,UAAU,eAAe;IACvB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd;;OAEG;IACH,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAE7B;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;CACtE;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE;QACL;;;;WAIG;QACH,MAAM,CAAC,IAAI,EAAE,eAAe,GAAG,KAAK,CAAC;QAErC;;;;WAIG;QACH,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,KAAK,CAAC;QAE9B;;;;;;WAMG;QACH,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;QAElC;;;;;WAKG;QACH,YAAY,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;KACpC,CAAC;CACH;AAED,OAAO,QAAQ,kBAAkB,CAAC;IAChC,UAAU,gBAAiB,SAAQ,QAAQ;KAAG;CAC/C;AAED,eAAO,MAAM,QAAQ,MA8EnB,CAAC"}

package/dist/src/experimental/typekit/kits/union.js

@@ -0,0 +1,69 @@
+import { ignoreDiagnostics } from "../../../core/diagnostics.js";
+import { createRekeyableMap } from "../../../utils/misc.js";
+import { defineKit } from "../define-kit.js";
+import { decoratorApplication } from "../utils.js";
+export const UnionKit = defineKit({
+    union: {
+        create(desc) {
+            const union = this.program.checker.createType({
+                kind: "Union",
+                name: desc.name,
+                decorators: decoratorApplication(desc.decorators),
+                variants: createRekeyableMap(),
+                get options() {
+                    return Array.from(this.variants.values()).map((v) => v.type);
+                },
+                expression: desc.name === undefined,
+                node: undefined,
+            });
+            if (Array.isArray(desc.variants)) {
+                for (const variant of desc.variants) {
+                    union.variants.set(variant.name, variant);
+                    variant.union = union;
+                }
+            }
+            else if (desc.variants) {
+                for (const [name, value] of Object.entries(desc.variants)) {
+                    union.variants.set(name, this.unionVariant.create({ name, type: this.literal.create(value) }));
+                }
+            }
+            this.program.checker.finishType(union);
+            return union;
+        },
+        is(type) {
+            return type.kind === "Union";
+        },
+        isValidEnum(type) {
+            for (const variant of type.variants.values()) {
+                if (!this.literal.isString(variant.type) && !this.literal.isNumeric(variant.type)) {
+                    return false;
+                }
+            }
+            return true;
+        },
+        isExtensible(type) {
+            const variants = Array.from(type.variants.values());
+            if (variants.length === 0) {
+                return false;
+            }
+            for (let i = 0; i < variants.length; i++) {
+                let isCommon = true;
+                for (let j = 0; j < variants.length; j++) {
+                    if (i === j) {
+                        continue;
+                    }
+                    const assignable = ignoreDiagnostics(this.program.checker.isTypeAssignableTo(variants[j].type, variants[i].type, type));
+                    if (!assignable) {
+                        isCommon = false;
+                        break;
+                    }
+                }
+                if (isCommon) {
+                    return true;
+                }
+            }
+            return false;
+        },
+    },
+});
+//# sourceMappingURL=union.js.map

package/dist/src/experimental/typekit/kits/union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../../../src/experimental/typekit/kits/union.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAiB,MAAM,aAAa,CAAC;AA4DlE,MAAM,CAAC,MAAM,QAAQ,GAAG,SAAS,CAAW;IAC1C,KAAK,EAAE;QACL,MAAM,CAAC,IAAI;YACT,MAAM,KAAK,GAAU,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC;gBACnD,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACjD,QAAQ,EAAE,kBAAkB,EAAE;gBAC9B,IAAI,OAAO;oBACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC/D,CAAC;gBACD,UAAU,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS;gBACnC,IAAI,EAAE,SAAgB;aACvB,CAAC,CAAC;YAEH,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACpC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC1C,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;gBACxB,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC1D,KAAK,CAAC,QAAQ,CAAC,GAAG,CAChB,IAAI,EACJ,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CACrE,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,EAAE,CAAC,IAAI;YACL,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;QAC/B,CAAC;QAED,WAAW,CAAC,IAAI;YACd,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClF,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAED,YAAY,CAAC,IAAI;YACf,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,QAAQ,GAAG,IAAI,CAAC;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBACZ,SAAS;oBACX,CAAC;oBAED,MAAM,UAAU,GAAG,iBAAiB,CAClC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAClF,CAAC;oBAEF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,QAAQ,GAAG,KAAK,CAAC;wBACjB,MAAM;oBACR,CAAC;gBACH,CAAC;gBAED,IAAI,QAAQ,EAAE,CAAC;oBACb,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;KACF;CACF,CAAC,CAAC"}

package/dist/src/experimental/typekit/utils.d.ts

@@ -0,0 +1,8 @@
+import type { DecoratorApplication, DecoratorFunction, RekeyableMap } from "../../core/types.js";
+/** @experimental */
+export declare function copyMap<T, U>(map: RekeyableMap<T, U>): RekeyableMap<T, U>;
+/** @experimental */
+export type DecoratorArgs = DecoratorFunction | [DecoratorFunction, ...any[]];
+/** @experimental */
+export declare function decoratorApplication(args?: DecoratorArgs[]): DecoratorApplication[];
+//# sourceMappingURL=utils.d.ts.map

package/dist/src/experimental/typekit/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../../src/experimental/typekit/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAIjG,oBAAoB;AACpB,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAEzE;AAED,oBAAoB;AACpB,MAAM,MAAM,aAAa,GAAG,iBAAiB,GAAG,CAAC,iBAAiB,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;AAE9E,oBAAoB;AACpB,wBAAgB,oBAAoB,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,GAAG,oBAAoB,EAAE,CAsBnF"}

package/dist/src/experimental/typekit/utils.js

@@ -0,0 +1,28 @@
+import { createRekeyableMap } from "../../utils/misc.js";
+import { $ } from "./define-kit.js";
+/** @experimental */
+export function copyMap(map) {
+    return createRekeyableMap(Array.from(map.entries()));
+}
+/** @experimental */
+export function decoratorApplication(args) {
+    if (!args) {
+        return [];
+    }
+    const decorators = [];
+    for (const arg of args) {
+        decorators.push({
+            decorator: Array.isArray(arg) ? arg[0] : arg,
+            args: Array.isArray(arg)
+                ? arg.slice(1).map((rawValue) => ({
+                    value: typeof rawValue === "object" && rawValue !== null
+                        ? rawValue
+                        : $.literal.create(rawValue),
+                    jsValue: rawValue,
+                }))
+                : [],
+        });
+    }
+    return decorators;
+}
+//# sourceMappingURL=utils.js.map

package/dist/src/experimental/typekit/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../../src/experimental/typekit/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,CAAC,EAAE,MAAM,iBAAiB,CAAC;AAEpC,oBAAoB;AACpB,MAAM,UAAU,OAAO,CAAO,GAAuB;IACnD,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACvD,CAAC;AAKD,oBAAoB;AACpB,MAAM,UAAU,oBAAoB,CAAC,IAAsB;IACzD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,UAAU,CAAC,IAAI,CAAC;YACd,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;YAC5C,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBACtB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAa,EAAE,EAAE,CAAC,CAAC;oBACnC,KAAK,EACH,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI;wBAC/C,CAAC,CAAC,QAAQ;wBACV,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAChC,OAAO,EAAE,QAAQ;iBAClB,CAAC,CAAC;gBACL,CAAC,CAAC,EAAE;SACP,CAAC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typespec/compiler",
-  "version": "0.61.0-dev.6",
+  "version": "0.61.0-dev.8",
   "description": "TypeSpec Compiler Preview",
   "author": "Microsoft Corporation",
   "license": "MIT",