@typespec/compiler 0.63.0-dev.6 → 0.63.0-dev.7

package/dist/src/experimental/realm.d.ts

@@ -1,5 +1,14 @@
 import { Program } from "../core/program.js";
 import { Type } from "../core/types.js";
+import { Typekit } from "./typekit/index.js";
+/**
+ * A Realm's view of a Program's state map for a given state key.
+ *
+ * For all operations, if a type was created within the realm, the realm's own state map is used. Otherwise, the owning'
+ * Program's state map is used.
+ *
+ * @experimental
+ */
 declare class StateMapRealmView<V> implements Map<Type, V> {
     #private;
     constructor(realm: Realm, realmState: Map<Type, V>, parentState: Map<Type, V>);
@@ -15,20 +24,78 @@ declare class StateMapRealmView<V> implements Map<Type, V> {
     keys(): IterableIterator<Type>;
     [Symbol.iterator](): IterableIterator<[Type, V]>;
     [Symbol.toStringTag]: string;
-    dispatch(keyType: Type): Map<Type, V>;
 }
-/** @experimental */
+/**
+ * A Realm is an alternate view of a Program where types can be cloned, deleted, and modified without affecting the
+ * original types in the Program.
+ *
+ * The realm stores the types that exist within the realm, views of state maps that only apply within the realm,
+ * and a view of types that have been removed from the realm's view.
+ *
+ * @experimental
+ */
 export declare class Realm {
     #private;
     key: symbol;
+    /**
+     * Create a new realm in the given program.
+     *
+     * @param program - The program to create the realm in.
+     * @param description - A short description of the realm's purpose.
+     */
     constructor(program: Program, description: string);
+    /**
+     * The typekit instance bound to this realm.
+     *
+     * If the realm does not already have a typekit associated with it, one will be created and bound to this realm.
+     */
+    get typekit(): Typekit;
+    /**
+     * The program that this realm is associated with.
+     */
+    get program(): Program;
+    /**
+     * Gets a state map for the given state key symbol.
+     *
+     * This state map is a view of the program's state map for the given state key, with modifications made to the realm's
+     * own state.
+     *
+     * @param stateKey - The symbol to use as the state key.
+     * @returns The realm's state map for the given state key.
+     */
     stateMap(stateKey: symbol): StateMapRealmView<any>;
+    /**
+     * Clones a type and adds it to the realm. This operation will use the realm's typekit to clone the type.
+     *
+     * @param type - The type to clone.
+     * @returns A clone of the input type that exists within this realm.
+     */
     clone<T extends Type>(type: T): T;
+    /**
+     * Removes a type from this realm. This operation will not affect the type in the program, only this realm's view
+     * of the type.
+     *
+     * @param type - The TypeSpec type to remove from this realm.
+     */
     remove(type: Type): void;
+    /**
+     * Determines whether or not this realm contains a given type.
+     *
+     * @param type - The type to check.
+     * @returns true if the type was created within this realm or added to this realm, false otherwise.
+     */
     hasType(type: Type): boolean;
+    /**
+     * Adds a type to this realm. Once a type is added to the realm, the realm considers it part of itself.
+     *
+     * A type can be present in multiple realms, but `Realm.realmForType` will only return the last realm that the type
+     * was added to.
+     *
+     * @param type - The type to add to this realm.
+     */
     addType(type: Type): void;
     static realmForKey(key: symbol, parentRealm?: Realm): Realm | undefined;
-    static realmForType: Map<Type, Realm>;
+    static realmForType: WeakMap<Type, Realm>;
 }
 export {};
 //# sourceMappingURL=realm.d.ts.map

package/dist/src/experimental/realm.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"realm.d.ts","sourceRoot":"","sources":["../../../src/experimental/realm.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGxC,cAAM,iBAAiB,CAAC,CAAC,CAAE,YAAW,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;;gBAK7B,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAMpF,GAAG,CAAC,CAAC,EAAE,IAAI;IAIX,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG;IAKnB,GAAG,CAAC,CAAC,EAAE,IAAI;IAIX,MAAM,CAAC,CAAC,EAAE,IAAI;IAId,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,OAAO,CAAC,EAAE,GAAG;IAQ3E,IAAI,IAAI,WAGP;IAED,KAAK;IAIJ,OAAO,IAAI,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAYtC,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC;IAQ7B,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC;IAQ/B,CAAC,MAAM,CAAC,QAAQ,CAAC;IAIjB,CAAC,MAAM,CAAC,WAAW,CAAC,SAAc;IAElC,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;CAOtC;AAED,oBAAoB;AACpB,qBAAa,KAAK;;IAiBT,GAAG,EAAG,MAAM,CAAC;gBAER,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;IAMjD,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAWzB,KAAK,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC;IASjC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIxB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;IAI5B,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAczB,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,KAAK;IAInD,MAAM,CAAC,YAAY,mBAA0B;CAC9C"}
+{"version":3,"file":"realm.d.ts","sourceRoot":"","sources":["../../../src/experimental/realm.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAiB,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAE5D;;;;;;;GAOG;AACH,cAAM,iBAAiB,CAAC,CAAC,CAAE,YAAW,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;;gBAK7B,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAMpF,GAAG,CAAC,CAAC,EAAE,IAAI;IAIX,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG;IAKnB,GAAG,CAAC,CAAC,EAAE,IAAI;IAIX,MAAM,CAAC,CAAC,EAAE,IAAI;IAId,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,OAAO,CAAC,EAAE,GAAG;IAQ3E,IAAI,IAAI,WAEP;IAED,KAAK;IAIJ,OAAO,IAAI,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAYtC,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC;IAQ7B,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC;IAQ/B,CAAC,MAAM,CAAC,QAAQ,CAAC;IAIjB,CAAC,MAAM,CAAC,WAAW,CAAC,SAAc;CASnC;AAED;;;;;;;;GAQG;AACH,qBAAa,KAAK;;IAeT,GAAG,EAAG,MAAM,CAAC;IAEpB;;;;;OAKG;gBACS,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;IASjD;;;;OAIG;IACH,IAAI,OAAO,IAAI,OAAO,CAErB;IAED;;OAEG;IACH,IAAI,OAAO,IAAI,OAAO,CAErB;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAWzB;;;;;OAKG;IACH,KAAK,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC;IASjC;;;;;OAKG;IACH,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIxB;;;;;OAKG;IACH,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;IAI5B;;;;;;;OAOG;IACH,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAczB,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,KAAK;IAInD,MAAM,CAAC,YAAY,uBAA8B;CAClD"}

package/dist/src/experimental/realm.js

@@ -1,6 +1,14 @@
 var _a;
 import { compilerAssert } from "../core/diagnostics.js";
-import { $ } from "./typekit/define-kit.js";
+import { createTypekit } from "./typekit/index.js";
+/**
+ * A Realm's view of a Program's state map for a given state key.
+ *
+ * For all operations, if a type was created within the realm, the realm's own state map is used. Otherwise, the owning'
+ * Program's state map is used.
+ *
+ * @experimental
+ */
 class StateMapRealmView {
     #realm;
     #parentState;
@@ -11,17 +19,17 @@ class StateMapRealmView {
         this.#realmState = realmState;
     }
     has(t) {
-        return this.dispatch(t).has(t) ?? false;
+        return this.#select(t).has(t) ?? false;
     }
     set(t, v) {
-        this.dispatch(t).set(t, v);
+        this.#select(t).set(t, v);
         return this;
     }
     get(t) {
-        return this.dispatch(t).get(t);
+        return this.#select(t).get(t);
     }
     delete(t) {
-        return this.dispatch(t).delete(t);
+        return this.#select(t).delete(t);
     }
     forEach(cb, thisArg) {
         for (const item of this.entries()) {
@@ -30,8 +38,7 @@ class StateMapRealmView {
         return this;
     }
     get size() {
-        // extremely non-optimal, maybe worth not offering it?
-        return [...this.entries()].length;
+        return this.#realmState.size + this.#parentState.size;
     }
     clear() {
         this.#realmState.clear();
@@ -61,17 +68,24 @@ class StateMapRealmView {
         return this.entries();
     }
     [Symbol.toStringTag] = "StateMap";
-    dispatch(keyType) {
+    #select(keyType) {
         if (this.#realm.hasType(keyType)) {
             return this.#realmState;
         }
         return this.#parentState;
     }
 }
-/** @experimental */
+/**
+ * A Realm is an alternate view of a Program where types can be cloned, deleted, and modified without affecting the
+ * original types in the Program.
+ *
+ * The realm stores the types that exist within the realm, views of state maps that only apply within the realm,
+ * and a view of types that have been removed from the realm's view.
+ *
+ * @experimental
+ */
 export class Realm {
     #program;
-    // Type registry
     /**
      * Stores all types owned by this realm.
      */
@@ -80,14 +94,44 @@ export class Realm {
      * Stores types that are deleted in this realm. When a realm is active and doing a traversal, you will
      * not find this type in e.g. collections. Deleted types are mapped to `null` if you ask for it.
      */
-    #deletedTypes = new Set();
+    #deletedTypes = new WeakSet();
     #stateMaps = new Map();
     key;
+    /**
+     * Create a new realm in the given program.
+     *
+     * @param program - The program to create the realm in.
+     * @param description - A short description of the realm's purpose.
+     */
     constructor(program, description) {
         this.key = Symbol(description);
         this.#program = program;
         _a.#knownRealms.set(this.key, this);
     }
+    #_typekit;
+    /**
+     * The typekit instance bound to this realm.
+     *
+     * If the realm does not already have a typekit associated with it, one will be created and bound to this realm.
+     */
+    get typekit() {
+        return (this.#_typekit ??= createTypekit(this));
+    }
+    /**
+     * The program that this realm is associated with.
+     */
+    get program() {
+        return this.#program;
+    }
+    /**
+     * Gets a state map for the given state key symbol.
+     *
+     * This state map is a view of the program's state map for the given state key, with modifications made to the realm's
+     * own state.
+     *
+     * @param stateKey - The symbol to use as the state key.
+     * @returns The realm's state map for the given state key.
+     */
     stateMap(stateKey) {
         let m = this.#stateMaps.get(stateKey);
         if (!m) {
@@ -96,24 +140,50 @@ export class Realm {
         }
         return new StateMapRealmView(this, m, this.#program.stateMap(stateKey));
     }
+    /**
+     * Clones a type and adds it to the realm. This operation will use the realm's typekit to clone the type.
+     *
+     * @param type - The type to clone.
+     * @returns A clone of the input type that exists within this realm.
+     */
     clone(type) {
         compilerAssert(type, "Undefined type passed to clone");
         const clone = this.#cloneIntoRealm(type);
-        $.type.finishType(clone);
+        this.typekit.type.finishType(clone);
         return clone;
     }
+    /**
+     * Removes a type from this realm. This operation will not affect the type in the program, only this realm's view
+     * of the type.
+     *
+     * @param type - The TypeSpec type to remove from this realm.
+     */
     remove(type) {
         this.#deletedTypes.add(type);
     }
+    /**
+     * Determines whether or not this realm contains a given type.
+     *
+     * @param type - The type to check.
+     * @returns true if the type was created within this realm or added to this realm, false otherwise.
+     */
     hasType(type) {
         return this.#types.has(type);
     }
+    /**
+     * Adds a type to this realm. Once a type is added to the realm, the realm considers it part of itself.
+     *
+     * A type can be present in multiple realms, but `Realm.realmForType` will only return the last realm that the type
+     * was added to.
+     *
+     * @param type - The type to add to this realm.
+     */
     addType(type) {
         this.#types.add(type);
         _a.realmForType.set(type, this);
     }
     #cloneIntoRealm(type) {
-        const clone = $.type.clone(type);
+        const clone = this.typekit.type.clone(type);
         this.#types.add(clone);
         _a.realmForType.set(clone, this);
         return clone;
@@ -122,7 +192,7 @@ export class Realm {
     static realmForKey(key, parentRealm) {
         return this.#knownRealms.get(key);
     }
-    static realmForType = new Map();
+    static realmForType = new WeakMap();
 }
 _a = Realm;
 //# sourceMappingURL=realm.js.map

package/dist/src/experimental/realm.js.map

@@ -1 +1 @@
-{"version":3,"file":"realm.js","sourceRoot":"","sources":["../../../src/experimental/realm.ts"],"names":[],"mappings":";AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAGxD,OAAO,EAAE,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAE5C,MAAM,iBAAiB;IACrB,MAAM,CAAQ;IACd,YAAY,CAAe;IAC3B,WAAW,CAAe;IAE1B,YAAmB,KAAY,EAAE,UAAwB,EAAE,WAAyB;QAClF,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC;QAChC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;IAChC,CAAC;IAED,GAAG,CAAC,CAAO;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;IAC1C,CAAC;IAED,GAAG,CAAC,CAAO,EAAE,CAAM;QACjB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,CAAO;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,CAAC,CAAO;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,CAAC,EAAoD,EAAE,OAAa;QACzE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAClC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI;QACN,sDAAsD;QACtD,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;IACpC,CAAC;IAED,KAAK;QACH,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED,CAAC,OAAO;QACN,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,IAAI,CAAC;QACb,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC;QACb,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,CAAC,MAAM;QACL,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,CAAC,IAAI;QACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;IACxB,CAAC;IAED,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,UAAU,CAAC;IAElC,QAAQ,CAAC,OAAa;QACpB,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC,WAAW,CAAC;QAC1B,CAAC;QAED,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;CACF;AAED,oBAAoB;AACpB,MAAM,OAAO,KAAK;IAChB,QAAQ,CAAW;IAEnB,gBAAgB;IAEhB;;OAEG;IACH,MAAM,GAAG,IAAI,GAAG,EAAQ,CAAC;IAEzB;;;OAGG;IACH,aAAa,GAAG,IAAI,GAAG,EAAQ,CAAC;IAEhC,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IACxC,GAAG,CAAU;IAEpB,YAAY,OAAgB,EAAE,WAAmB;QAC/C,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC/B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,EAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,QAAQ,CAAC,QAAgB;QACvB,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,OAAO,IAAI,iBAAiB,CAAM,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED,KAAK,CAAiB,IAAO;QAC3B,cAAc,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QAEvD,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAEzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,IAAU;QACf,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,CAAC,IAAU;QAChB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,CAAC,IAAU;QAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,EAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,eAAe,CAAiB,IAAO;QACrC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,EAAK,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,YAAY,GAAG,IAAI,GAAG,EAAiB,CAAC;IAE/C,MAAM,CAAC,WAAW,CAAC,GAAW,EAAE,WAAmB;QACjD,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,CAAC,YAAY,GAAG,IAAI,GAAG,EAAe,CAAC"}
+{"version":3,"file":"realm.js","sourceRoot":"","sources":["../../../src/experimental/realm.ts"],"names":[],"mappings":";AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAGxD,OAAO,EAAE,aAAa,EAAW,MAAM,oBAAoB,CAAC;AAE5D;;;;;;;GAOG;AACH,MAAM,iBAAiB;IACrB,MAAM,CAAQ;IACd,YAAY,CAAe;IAC3B,WAAW,CAAe;IAE1B,YAAmB,KAAY,EAAE,UAAwB,EAAE,WAAyB;QAClF,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC;QAChC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;IAChC,CAAC;IAED,GAAG,CAAC,CAAO;QACT,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;IACzC,CAAC;IAED,GAAG,CAAC,CAAO,EAAE,CAAM;QACjB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,CAAO;QACT,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,CAAO;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,CAAC,EAAoD,EAAE,OAAa;QACzE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAClC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;IACxD,CAAC;IAED,KAAK;QACH,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED,CAAC,OAAO;QACN,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,IAAI,CAAC;QACb,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC;QACb,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,CAAC,MAAM;QACL,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,CAAC,IAAI;QACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;IACxB,CAAC;IAED,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,UAAU,CAAC;IAElC,OAAO,CAAC,OAAa;QACnB,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC,WAAW,CAAC;QAC1B,CAAC;QAED,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,KAAK;IAChB,QAAQ,CAAU;IAElB;;OAEG;IACH,MAAM,GAAG,IAAI,GAAG,EAAQ,CAAC;IAEzB;;;OAGG;IACH,aAAa,GAAG,IAAI,OAAO,EAAQ,CAAC;IAEpC,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IACxC,GAAG,CAAU;IAEpB;;;;;OAKG;IACH,YAAY,OAAgB,EAAE,WAAmB;QAC/C,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC/B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QAExB,EAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,SAAS,CAAsB;IAE/B;;;;OAIG;IACH,IAAI,OAAO;QACT,OAAO,CAAC,IAAI,CAAC,SAAS,KAAK,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAgB;QACvB,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,OAAO,IAAI,iBAAiB,CAAM,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAiB,IAAO;QAC3B,cAAc,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QAEvD,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAEpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,IAAU;QACf,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,IAAU;QAChB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;;OAOG;IACH,OAAO,CAAC,IAAU;QAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,EAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,eAAe,CAAiB,IAAO;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,EAAK,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,YAAY,GAAG,IAAI,GAAG,EAAiB,CAAC;IAE/C,MAAM,CAAC,WAAW,CAAC,GAAW,EAAE,WAAmB;QACjD,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,CAAC,YAAY,GAAG,IAAI,OAAO,EAAe,CAAC"}

package/dist/src/experimental/typekit/define-kit.d.ts

@@ -1,17 +1,13 @@
 import { type Program } from "../../core/program.js";
-/** @experimental */
-export declare function setCurrentProgram(program: Program): void;
-/** @experimental */
-export interface TypekitPrototype {
-    program: Program;
-}
-/** @experimental */
-export declare const TypekitPrototype: Record<string, unknown>;
-/** @experimental */
-export declare function createTypekit(): TypekitPrototype;
-/** @experimental */
-export interface TypekitContext {
-    program: Program;
+import { Realm } from "../realm.js";
+/**
+ * A Typekit is a collection of utility functions and namespaces that allow you to work with TypeSpec types.
+ *
+ * @experimental
+ */
+export interface Typekit {
+    readonly program: Program;
+    readonly realm: Realm;
 }
 /**
  * contextual typing to type guards is annoying (often have to restate the signature),
@@ -21,8 +17,12 @@ export interface TypekitContext {
 export type StripGuards<T> = {
     [K in keyof T]: T[K] extends (...args: infer P) => infer R ? (...args: P) => R : StripGuards<T[K]>;
 };
-/** @experimental */
-export declare function defineKit<T extends Record<string, any>>(source: StripGuards<T> & ThisType<TypekitPrototype>): void;
-/** @experimental */
-export declare const $: TypekitPrototype;
+/**
+ * Defines an extension to the Typekit interface.
+ *
+ * All Typekit instances will inherit the functionality defined by calls to this function.
+ *
+ * @experimental
+ */
+export declare function defineKit<T extends Record<string, any>>(source: StripGuards<T> & ThisType<Typekit>): void;
 //# sourceMappingURL=define-kit.d.ts.map

package/dist/src/experimental/typekit/define-kit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"define-kit.d.ts","sourceRoot":"","sources":["../../../../src/experimental/typekit/define-kit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAIrD,oBAAoB;AACpB,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAExD;AAED,oBAAoB;AACpB,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,oBAAoB;AACpB,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,CAAC;AAE5D,oBAAoB;AACpB,wBAAgB,aAAa,IAAI,gBAAgB,CAkChD;AAED,oBAAoB;AACpB,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;KAC1B,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC,GACtD,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,GACjB,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtB,CAAC;AAEF,oBAAoB;AACpB,wBAAgB,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACrD,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,GAClD,IAAI,CAIN;AAED,oBAAoB;AACpB,eAAO,MAAM,CAAC,EAAE,gBAAkC,CAAC"}
+{"version":3,"file":"define-kit.d.ts","sourceRoot":"","sources":["../../../../src/experimental/typekit/define-kit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;;;GAIG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAYD;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;KAC1B,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC,GACtD,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,GACjB,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtB,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACrD,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,GACzC,IAAI,CAIN"}

package/dist/src/experimental/typekit/define-kit.js

@@ -1,45 +1,22 @@
-const CURRENT_PROGRAM = Symbol.for("TypeSpec.currentProgram");
-/** @experimental */
-export function setCurrentProgram(program) {
-    globalThis[CURRENT_PROGRAM] = program;
-}
-/** @experimental */
+/**
+ * The prototype object for Typekit instances.
+ *
+ * @see {@link defineKit}
+ *
+ * @experimental
+ * @internal
+ */
 export const TypekitPrototype = {};
-/** @experimental */
-export function createTypekit() {
-    const tk = Object.create(TypekitPrototype);
-    Object.defineProperty(tk, "program", {
-        get() {
-            return globalThis[CURRENT_PROGRAM];
-        },
-    });
-    const handler = {
-        get(target, prop, receiver) {
-            const value = Reflect.get(target, prop, receiver);
-            if (prop === "program") {
-                // don't wrap program (probably need to ensure this isn't a nested program somewhere)
-                return value;
-            }
-            if (typeof value === "function") {
-                return function (...args) {
-                    return value.apply(proxy, args);
-                };
-            }
-            if (typeof value === "object" && value !== null) {
-                return new Proxy(value, handler);
-            }
-            return value;
-        },
-    };
-    const proxy = new Proxy(tk, handler);
-    return proxy;
-}
-/** @experimental */
+/**
+ * Defines an extension to the Typekit interface.
+ *
+ * All Typekit instances will inherit the functionality defined by calls to this function.
+ *
+ * @experimental
+ */
 export function defineKit(source) {
     for (const [name, fnOrNs] of Object.entries(source)) {
         TypekitPrototype[name] = fnOrNs;
     }
 }
-/** @experimental */
-export const $ = createTypekit();
 //# sourceMappingURL=define-kit.js.map

package/dist/src/experimental/typekit/define-kit.js.map

@@ -1 +1 @@
-{"version":3,"file":"define-kit.js","sourceRoot":"","sources":["../../../../src/experimental/typekit/define-kit.ts"],"names":[],"mappings":"AAEA,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;AAE9D,oBAAoB;AACpB,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAC/C,UAAkB,CAAC,eAAe,CAAC,GAAG,OAAO,CAAC;AACjD,CAAC;AAOD,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAA4B,EAAE,CAAC;AAE5D,oBAAoB;AACpB,MAAM,UAAU,aAAa;IAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IAE3C,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE;QACnC,GAAG;YACD,OAAQ,UAAkB,CAAC,eAAe,CAAC,CAAC;QAC9C,CAAC;KACF,CAAC,CAAC;IAEH,MAAM,OAAO,GAAmC;QAC9C,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ;YACxB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;YAElD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,qFAAqF;gBACrF,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;gBAChC,OAAO,UAAqB,GAAG,IAAW;oBACxC,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAClC,CAAC,CAAC;YACJ,CAAC;YAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAChD,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC;AACf,CAAC;AAkBD,oBAAoB;AACpB,MAAM,UAAU,SAAS,CACvB,MAAmD;IAEnD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,gBAAgB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;IAClC,CAAC;AACH,CAAC;AAED,oBAAoB;AACpB,MAAM,CAAC,MAAM,CAAC,GAAqB,aAAa,EAAE,CAAC"}
+{"version":3,"file":"define-kit.js","sourceRoot":"","sources":["../../../../src/experimental/typekit/define-kit.ts"],"names":[],"mappings":"AAaA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA4B,EAAE,CAAC;AAa5D;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,MAA0C;IAE1C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,gBAAgB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;IAClC,CAAC;AACH,CAAC"}

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

@@ -1,3 +1,82 @@
+import { Program } from "../../core/index.js";
+import { Realm } from "../realm.js";
+import { Typekit } from "./define-kit.js";
 export * from "./define-kit.js";
 export * from "./kits/index.js";
+/**
+ * Create a new Typekit that operates in the given realm.
+ *
+ * Ordinarily, you should use the default typekit `$` to manipulate types in the current program, or call `$` with a
+ * Realm or Program as the first argument if you want to work in a specific realm or in the default typekit realm of
+ * a specific program.
+ *
+ * @param realm - The realm to create the typekit in.
+ *
+ * @experimental
+ */
+export declare function createTypekit(realm: Realm): Typekit;
+/** @experimental */
+interface DefaultTypekit extends Typekit {
+    /**
+     * Create or get the default typekit for the given Realm.
+     *
+     * @see {@link Realm}
+     *
+     * @param realm - The realm to get the typekit for.
+     * @returns The default typekit for the realm.
+     */
+    (realm: Realm): Typekit;
+    /**
+     * Create or get the default typekit for the given Program.
+     *
+     * If a default typekit realm for the given program does not exist, one will be created.
+     *
+     * @param program - The program to get the typekit for.
+     * @returns The default typekit for the program.
+     */
+    (program: Program): Typekit;
+}
+/**
+ * Typekit - Utilities for working with TypeSpec types.
+ *
+ * The default typekit `$` can be used to manipulate types in the current program.
+ *
+ * Each typekit is associated with a Realm in which it operates. The default typekit
+ * will use the default typekit realm for the current program.
+ *
+ * Alternatively, to work in a specific realm, you can get the typekit associated
+ * with that realm by calling `$` with the realm as an argument, or by calling
+ * `$` with a program as an argument (in this case, it will use that program's
+ * default typekit realm or create one if it does not already exist).
+ *
+ * @example
+ * ```ts
+ * import { $ } from "@typespec/compiler/experimental";
+ *
+ * const clone = $.type.clone(inputType);
+ * ```
+ *
+ * @example
+ * ```ts
+ * import { $, Realm } from "@typespec/compiler/experimental";
+ *
+ * const realm = new Realm(program, "my custom realm");
+ *
+ * const clone = $(realm).type.clone(inputType);
+ * ```
+ *
+ * @example
+ * ```ts
+ * import { $ } from "@typespec/compiler/experimental";
+ *
+ * const projectedProgram = projectProgram(program, ...);
+ *
+ * const clone = $(projectedProgram).type.clone(inputType);
+ * ```
+ *
+ * @see {@link Realm}
+ *
+ * @experimental
+ */
+export declare const $: DefaultTypekit;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/experimental/typekit/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/experimental/typekit/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,OAAO,EAAoB,MAAM,iBAAiB,CAAC;AAE5D,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAEhC;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAgCnD;AA6BD,oBAAoB;AACpB,UAAU,cAAe,SAAQ,OAAO;IACtC;;;;;;;OAOG;IACH,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;IAExB;;;;;;;OAOG;IACH,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC;CAC7B;AAoBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,eAAO,MAAM,CAAC,EAAE,cAsBe,CAAC"}

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

@@ -1,3 +1,130 @@
+import { compilerAssert } from "../../core/index.js";
+import { Realm } from "../realm.js";
+import { TypekitPrototype } from "./define-kit.js";
 export * from "./define-kit.js";
 export * from "./kits/index.js";
+/**
+ * Create a new Typekit that operates in the given realm.
+ *
+ * Ordinarily, you should use the default typekit `$` to manipulate types in the current program, or call `$` with a
+ * Realm or Program as the first argument if you want to work in a specific realm or in the default typekit realm of
+ * a specific program.
+ *
+ * @param realm - The realm to create the typekit in.
+ *
+ * @experimental
+ */
+export function createTypekit(realm) {
+    const tk = Object.create(TypekitPrototype);
+    const handler = {
+        get(target, prop, receiver) {
+            if (prop === "program") {
+                // don't wrap program (probably need to ensure this isn't a nested program somewhere)
+                return realm.program;
+            }
+            if (prop === "realm") {
+                return realm;
+            }
+            const value = Reflect.get(target, prop, receiver);
+            if (typeof value === "function") {
+                return function (...args) {
+                    return value.apply(proxy, args);
+                };
+            }
+            if (typeof value === "object" && value !== null) {
+                return new Proxy(value, handler);
+            }
+            return value;
+        },
+    };
+    const proxy = new Proxy(tk, handler);
+    return proxy;
+}
+// #region Default Typekit
+const CURRENT_PROGRAM = Symbol.for("TypeSpec.Typekit.CURRENT_PROGRAM");
+const DEFAULT_REALM = Symbol.for("TypeSpec.Typekit.DEFAULT_TYPEKIT_REALM");
+function getCurrentProgram() {
+    return globalThis[CURRENT_PROGRAM];
+}
+/**
+ * Sets a given program as the current program for Typekit operations.
+ *
+ * This is necessary to enable use of the default Typekit `$` and should be
+ * called whenever the compiler is working with a specific program
+ *
+ * @param program - The program to set as the current program.
+ *
+ * @internal
+ */
+export function setCurrentProgram(program) {
+    globalThis[CURRENT_PROGRAM] = program;
+}
+function _$(arg) {
+    let realm;
+    if (Object.hasOwn(arg, "projectRoot")) {
+        // arg is a Program
+        realm = arg[DEFAULT_REALM] ??= new Realm(arg, "default typekit realm");
+    }
+    else {
+        // arg is a Realm
+        realm = arg;
+    }
+    return realm.typekit;
+}
+/**
+ * Typekit - Utilities for working with TypeSpec types.
+ *
+ * The default typekit `$` can be used to manipulate types in the current program.
+ *
+ * Each typekit is associated with a Realm in which it operates. The default typekit
+ * will use the default typekit realm for the current program.
+ *
+ * Alternatively, to work in a specific realm, you can get the typekit associated
+ * with that realm by calling `$` with the realm as an argument, or by calling
+ * `$` with a program as an argument (in this case, it will use that program's
+ * default typekit realm or create one if it does not already exist).
+ *
+ * @example
+ * ```ts
+ * import { $ } from "@typespec/compiler/experimental";
+ *
+ * const clone = $.type.clone(inputType);
+ * ```
+ *
+ * @example
+ * ```ts
+ * import { $, Realm } from "@typespec/compiler/experimental";
+ *
+ * const realm = new Realm(program, "my custom realm");
+ *
+ * const clone = $(realm).type.clone(inputType);
+ * ```
+ *
+ * @example
+ * ```ts
+ * import { $ } from "@typespec/compiler/experimental";
+ *
+ * const projectedProgram = projectProgram(program, ...);
+ *
+ * const clone = $(projectedProgram).type.clone(inputType);
+ * ```
+ *
+ * @see {@link Realm}
+ *
+ * @experimental
+ */
+export const $ = new Proxy(_$, {
+    get(_target, prop, _receiver) {
+        const currentProgram = getCurrentProgram();
+        compilerAssert(currentProgram !== undefined, "Default typekits may not be used until a program is set in the compiler.");
+        if (prop === "program")
+            return currentProgram;
+        const realm = (currentProgram[DEFAULT_REALM] ??= new Realm(currentProgram, "default typekit realm"));
+        if (prop === "realm")
+            return realm;
+        const tk = _$(realm);
+        return Reflect.get(tk, prop, tk);
+    },
+});
+// #endregion
 //# sourceMappingURL=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/experimental/typekit/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/experimental/typekit/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAW,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAW,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAE5D,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAEhC;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IAE3C,MAAM,OAAO,GAA0B;QACrC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ;YACxB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,qFAAqF;gBACrF,OAAO,KAAK,CAAC,OAAO,CAAC;YACvB,CAAC;YAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;YAElD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;gBAChC,OAAO,UAAqB,GAAG,IAAW;oBACxC,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAClC,CAAC,CAAC;YACJ,CAAC;YAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAChD,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0BAA0B;AAE1B,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;AACvE,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;AAE3E,SAAS,iBAAiB;IACxB,OAAQ,UAAkB,CAAC,eAAe,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAC/C,UAAkB,CAAC,eAAe,CAAC,GAAG,OAAO,CAAC;AACjD,CAAC;AA+BD,SAAS,EAAE,CAAC,GAAoB;IAC9B,IAAI,KAAY,CAAC;IACjB,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,CAAC;QACtC,mBAAmB;QACnB,KAAK,GAAI,GAAyB,CAAC,aAAa,CAAC,KAAK,IAAI,KAAK,CAC7D,GAAc,EACd,uBAAuB,CACxB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,iBAAiB;QACjB,KAAK,GAAG,GAAY,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC,OAAO,CAAC;AACvB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,MAAM,CAAC,MAAM,CAAC,GAAmB,IAAI,KAAK,CAAC,EAAE,EAAE;IAC7C,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS;QAC1B,MAAM,cAAc,GAAG,iBAAiB,EAAE,CAAC;QAE3C,cAAc,CACZ,cAAc,KAAK,SAAS,EAC5B,0EAA0E,CAC3E,CAAC;QAEF,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,cAAc,CAAC;QAE9C,MAAM,KAAK,GAAG,CAAE,cAAoC,CAAC,aAAa,CAAC,KAAK,IAAI,KAAK,CAC/E,cAAc,EACd,uBAAuB,CACxB,CAAC,CAAC;QAEH,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QAEnC,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAErB,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC;CACF,CAA8B,CAAC;AAEhC,aAAa"}

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

@@ -1,7 +1,6 @@
 export * from "./literal.js";
 export * from "./model-property.js";
 export * from "./model.js";
-export * from "./realm.js";
 export * from "./scalar.js";
 export * from "./type.js";
 export * from "./union-variant.js";