@fluidframework/tree-agent 2.74.0 → 2.81.0

package/dist/treeAgentTypes.d.ts

@@ -0,0 +1,430 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import type { TreeNodeSchemaClass } from "@fluidframework/tree/alpha";
+import { ObjectNodeSchema } from "@fluidframework/tree/alpha";
+/**
+ * Type kinds for the type factory type system.
+ * @alpha
+ */
+export type TypeFactoryTypeKind = "string" | "number" | "boolean" | "void" | "undefined" | "null" | "unknown" | "date" | "promise" | "array" | "object" | "record" | "map" | "tuple" | "union" | "intersection" | "literal" | "optional" | "readonly" | "function" | "instanceof";
+/**
+ * Base interface for type factory types.
+ * @alpha
+ */
+export interface TypeFactoryType {
+    /**
+     * The kind of type this represents.
+     */
+    readonly _kind: TypeFactoryTypeKind;
+}
+/**
+ * Type guard to check if a value is a type factory type.
+ * @alpha
+ */
+export declare function isTypeFactoryType(value: unknown): value is TypeFactoryType;
+/**
+ * Represents a string type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryString extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "string";
+}
+/**
+ * Represents a number type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryNumber extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "number";
+}
+/**
+ * Represents a boolean type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryBoolean extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "boolean";
+}
+/**
+ * Represents a Date type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryDate extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "date";
+}
+/**
+ * Represents a void type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryVoid extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "void";
+}
+/**
+ * Represents an undefined type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryUndefined extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "undefined";
+}
+/**
+ * Represents a null type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryNull extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "null";
+}
+/**
+ * Represents an unknown type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryUnknown extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "unknown";
+}
+/**
+ * Represents an array type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryArray extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "array";
+    /**
+     * The type of elements in the array.
+     */
+    readonly element: TypeFactoryType;
+}
+/**
+ * Represents a Promise type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryPromise extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "promise";
+    /**
+     * The type that the Promise resolves to.
+     */
+    readonly innerType: TypeFactoryType;
+}
+/**
+ * Represents an object type with a fixed shape in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryObject extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "object";
+    /**
+     * The shape of the object, mapping property names to their types.
+     */
+    readonly shape: Record<string, TypeFactoryType>;
+}
+/**
+ * Represents a record type (index signature) in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryRecord extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "record";
+    /**
+     * The type of the record's keys.
+     */
+    readonly keyType: TypeFactoryType;
+    /**
+     * The type of the record's values.
+     */
+    readonly valueType: TypeFactoryType;
+}
+/**
+ * Represents a Map type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryMap extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "map";
+    /**
+     * The type of the map's keys.
+     */
+    readonly keyType: TypeFactoryType;
+    /**
+     * The type of the map's values.
+     */
+    readonly valueType: TypeFactoryType;
+}
+/**
+ * Represents a tuple type with fixed-length items and optional rest elements in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryTuple extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "tuple";
+    /**
+     * The fixed-length items in the tuple.
+     */
+    readonly items: readonly TypeFactoryType[];
+    /**
+     * Optional rest element type for variable-length tuples.
+     */
+    readonly rest?: TypeFactoryType;
+}
+/**
+ * Represents a union type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryUnion extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "union";
+    /**
+     * The possible types in the union.
+     */
+    readonly options: readonly TypeFactoryType[];
+}
+/**
+ * Represents an intersection type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryIntersection extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "intersection";
+    /**
+     * The types to intersect.
+     */
+    readonly types: readonly TypeFactoryType[];
+}
+/**
+ * Represents a literal type (specific string, number, or boolean value) in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryLiteral extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "literal";
+    /**
+     * The specific literal value.
+     */
+    readonly value: string | number | boolean;
+}
+/**
+ * Represents an optional type modifier in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryOptional extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "optional";
+    /**
+     * The inner type that is optional.
+     */
+    readonly innerType: TypeFactoryType;
+}
+/**
+ * Represents a readonly type modifier in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryReadonly extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "readonly";
+    /**
+     * The inner type that is readonly.
+     */
+    readonly innerType: TypeFactoryType;
+}
+/**
+ * Represents a function parameter as a tuple of [name, type].
+ * @alpha
+ */
+export type TypeFactoryFunctionParameter = readonly [name: string, type: TypeFactoryType];
+/**
+ * Represents a function type in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryFunction extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "function";
+    /**
+     * The function parameters.
+     */
+    readonly parameters: readonly TypeFactoryFunctionParameter[];
+    /**
+     * The function return type.
+     */
+    readonly returnType: TypeFactoryType;
+    /**
+     * Optional rest parameter for variable-length argument lists.
+     */
+    readonly restParameter?: TypeFactoryFunctionParameter;
+}
+/**
+ * Represents an instanceof type that references a SharedTree schema class in the type factory system.
+ * @alpha
+ */
+export interface TypeFactoryInstanceOf extends TypeFactoryType {
+    /**
+     * {@inheritDoc TypeFactoryType._kind}
+     */
+    readonly _kind: "instanceof";
+    /**
+     * The SharedTree schema class to reference.
+     */
+    readonly schema: ObjectNodeSchema;
+}
+/**
+ * Namespace containing type factory functions.
+ * @alpha
+ */
+export declare const typeFactory: {
+    /**
+     * Create a string type.
+     * @alpha
+     */
+    string(): TypeFactoryString;
+    /**
+     * Create a number type.
+     * @alpha
+     */
+    number(): TypeFactoryNumber;
+    /**
+     * Create a boolean type.
+     * @alpha
+     */
+    boolean(): TypeFactoryBoolean;
+    /**
+     * Create a Date type.
+     * @alpha
+     */
+    date(): TypeFactoryDate;
+    /**
+     * Create a void type.
+     * @alpha
+     */
+    void(): TypeFactoryVoid;
+    /**
+     * Create an undefined type.
+     * @alpha
+     */
+    undefined(): TypeFactoryUndefined;
+    /**
+     * Create a null type.
+     * @alpha
+     */
+    null(): TypeFactoryNull;
+    /**
+     * Create an unknown type.
+     * @alpha
+     */
+    unknown(): TypeFactoryUnknown;
+    /**
+     * Create an array type.
+     * @alpha
+     */
+    array(element: TypeFactoryType): TypeFactoryArray;
+    /**
+     * Create a Promise type.
+     * @alpha
+     */
+    promise(innerType: TypeFactoryType): TypeFactoryPromise;
+    /**
+     * Create an object type.
+     * @alpha
+     */
+    object(shape: Record<string, TypeFactoryType>): TypeFactoryObject;
+    /**
+     * Create a record type.
+     * @alpha
+     */
+    record(keyType: TypeFactoryType, valueType: TypeFactoryType): TypeFactoryRecord;
+    /**
+     * Create a map type.
+     * @alpha
+     */
+    map(keyType: TypeFactoryType, valueType: TypeFactoryType): TypeFactoryMap;
+    /**
+     * Create a tuple type.
+     * @alpha
+     */
+    tuple(items: readonly TypeFactoryType[], rest?: TypeFactoryType): TypeFactoryTuple;
+    /**
+     * Create a union type.
+     * @alpha
+     */
+    union(options: readonly TypeFactoryType[]): TypeFactoryUnion;
+    /**
+     * Create an intersection type.
+     * @alpha
+     */
+    intersection(types: readonly TypeFactoryType[]): TypeFactoryIntersection;
+    /**
+     * Create a literal type.
+     * @alpha
+     */
+    literal(value: string | number | boolean): TypeFactoryLiteral;
+    /**
+     * Create an optional type.
+     * @alpha
+     */
+    optional(innerType: TypeFactoryType): TypeFactoryOptional;
+    /**
+     * Create a readonly type.
+     * @alpha
+     */
+    readonly(innerType: TypeFactoryType): TypeFactoryReadonly;
+    /**
+     * Create a function type.
+     * @alpha
+     */
+    function(parameters: readonly TypeFactoryFunctionParameter[], returnType: TypeFactoryType, restParameter?: TypeFactoryFunctionParameter): TypeFactoryFunction;
+    /**
+     * Create an instanceOf type for a SharedTree schema class.
+     * @alpha
+     */
+    instanceOf<T extends TreeNodeSchemaClass>(schema: T): TypeFactoryInstanceOf;
+};
+/**
+ * A lookup from type factory instanceOf types to their corresponding ObjectNodeSchema.
+ * @alpha
+ */
+export declare const instanceOfsTypeFactory: WeakMap<TypeFactoryInstanceOf, ObjectNodeSchema<string, import("@fluidframework/tree/alpha").RestrictiveStringRecord<import("@fluidframework/tree/alpha").ImplicitFieldSchema>, boolean, unknown>>;
+//# sourceMappingURL=treeAgentTypes.d.ts.map

package/dist/treeAgentTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"treeAgentTypes.d.ts","sourceRoot":"","sources":["../src/treeAgentTypes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAC5B,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,MAAM,GACN,WAAW,GACX,MAAM,GACN,SAAS,GACT,MAAM,GACN,SAAS,GACT,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,KAAK,GACL,OAAO,GACP,OAAO,GACP,cAAc,GACd,SAAS,GACT,UAAU,GACV,UAAU,GACV,UAAU,GACV,YAAY,CAAC;AAEhB;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC/B;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACpC;AA8BD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,eAAe,CAM1E;AAID;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACzD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACzD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,eAAe;IAC1D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,eAAe;IACvD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,eAAe;IACvD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAqB,SAAQ,eAAe;IAC5D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,eAAe;IACvD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,eAAe;IAC1D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC1B;AAID;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,eAAe;IACxD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CAClC;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,eAAe;IAC1D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACzD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAChD;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACzD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,cAAe,SAAQ,eAAe;IACtD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,eAAe;IACxD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;IAC3C;;OAEG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,eAAe;IACxD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAwB,SAAQ,eAAe;IAC/D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;CAC3C;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,eAAe;IAC1D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC3D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC3D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,MAAM,4BAA4B,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;AAE1F;;;GAGG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC3D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC7D;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC;;OAEG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,4BAA4B,CAAC;CACtD;AAED;;;GAGG;AACH,MAAM,WAAW,qBAAsB,SAAQ,eAAe;IAC7D;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CAClC;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW;IACvB;;;OAGG;cACO,iBAAiB;IAI3B;;;OAGG;cACO,iBAAiB;IAI3B;;;OAGG;eACQ,kBAAkB;IAI7B;;;OAGG;YACK,eAAe;IAIvB;;;OAGG;YACK,eAAe;IAIvB;;;OAGG;iBACU,oBAAoB;IAIjC;;;OAGG;YACK,eAAe;IAIvB;;;OAGG;eACQ,kBAAkB;IAI7B;;;OAGG;mBACY,eAAe,GAAG,gBAAgB;IAIjD;;;OAGG;uBACgB,eAAe,GAAG,kBAAkB;IAIvD;;;OAGG;kBACW,OAAO,MAAM,EAAE,eAAe,CAAC,GAAG,iBAAiB;IAIjE;;;OAGG;oBACa,eAAe,aAAa,eAAe,GAAG,iBAAiB;IAI/E;;;OAGG;iBACU,eAAe,aAAa,eAAe,GAAG,cAAc;IAIzE;;;OAGG;iBACU,SAAS,eAAe,EAAE,SAAS,eAAe,GAAG,gBAAgB;IASlF;;;OAGG;mBACY,SAAS,eAAe,EAAE,GAAG,gBAAgB;IAS5D;;;OAGG;wBACiB,SAAS,eAAe,EAAE,GAAG,uBAAuB;IASxE;;;OAGG;mBACY,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,kBAAkB;IAI7D;;;OAGG;wBACiB,eAAe,GAAG,mBAAmB;IAIzD;;;OAGG;wBACiB,eAAe,GAAG,mBAAmB;IAIzD;;;OAGG;yBAEU,SAAS,4BAA4B,EAAE,cACvC,eAAe,kBACX,4BAA4B,GAC1C,mBAAmB;IAMtB;;;OAGG;sDAC+C,CAAC,GAAG,qBAAqB;CAc3E,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,oMAAyD,CAAC"}

package/dist/treeAgentTypes.js

@@ -0,0 +1,227 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.instanceOfsTypeFactory = exports.typeFactory = exports.isTypeFactoryType = void 0;
+const internal_1 = require("@fluidframework/telemetry-utils/internal");
+const alpha_1 = require("@fluidframework/tree/alpha");
+/**
+ * Set of valid type factory type kinds for efficient validation.
+ * @internal
+ */
+const validTypeKinds = new Set([
+    "string",
+    "number",
+    "boolean",
+    "void",
+    "undefined",
+    "null",
+    "unknown",
+    "date",
+    "promise",
+    "array",
+    "object",
+    "record",
+    "map",
+    "tuple",
+    "union",
+    "intersection",
+    "literal",
+    "optional",
+    "readonly",
+    "function",
+    "instanceof",
+]);
+/**
+ * Type guard to check if a value is a type factory type.
+ * @alpha
+ */
+function isTypeFactoryType(value) {
+    if (typeof value !== "object" || value === null || !("_kind" in value)) {
+        return false;
+    }
+    const kind = value._kind;
+    return typeof kind === "string" && validTypeKinds.has(kind);
+}
+exports.isTypeFactoryType = isTypeFactoryType;
+/**
+ * Namespace containing type factory functions.
+ * @alpha
+ */
+exports.typeFactory = {
+    /**
+     * Create a string type.
+     * @alpha
+     */
+    string() {
+        return { _kind: "string" };
+    },
+    /**
+     * Create a number type.
+     * @alpha
+     */
+    number() {
+        return { _kind: "number" };
+    },
+    /**
+     * Create a boolean type.
+     * @alpha
+     */
+    boolean() {
+        return { _kind: "boolean" };
+    },
+    /**
+     * Create a Date type.
+     * @alpha
+     */
+    date() {
+        return { _kind: "date" };
+    },
+    /**
+     * Create a void type.
+     * @alpha
+     */
+    void() {
+        return { _kind: "void" };
+    },
+    /**
+     * Create an undefined type.
+     * @alpha
+     */
+    undefined() {
+        return { _kind: "undefined" };
+    },
+    /**
+     * Create a null type.
+     * @alpha
+     */
+    null() {
+        return { _kind: "null" };
+    },
+    /**
+     * Create an unknown type.
+     * @alpha
+     */
+    unknown() {
+        return { _kind: "unknown" };
+    },
+    /**
+     * Create an array type.
+     * @alpha
+     */
+    array(element) {
+        return { _kind: "array", element };
+    },
+    /**
+     * Create a Promise type.
+     * @alpha
+     */
+    promise(innerType) {
+        return { _kind: "promise", innerType };
+    },
+    /**
+     * Create an object type.
+     * @alpha
+     */
+    object(shape) {
+        return { _kind: "object", shape };
+    },
+    /**
+     * Create a record type.
+     * @alpha
+     */
+    record(keyType, valueType) {
+        return { _kind: "record", keyType, valueType };
+    },
+    /**
+     * Create a map type.
+     * @alpha
+     */
+    map(keyType, valueType) {
+        return { _kind: "map", keyType, valueType };
+    },
+    /**
+     * Create a tuple type.
+     * @alpha
+     */
+    tuple(items, rest) {
+        if (items.length === 0 && rest === undefined) {
+            throw new internal_1.UsageError("typeFactory.tuple requires at least one item or a rest type. Empty tuples are not supported.");
+        }
+        return rest === undefined ? { _kind: "tuple", items } : { _kind: "tuple", items, rest };
+    },
+    /**
+     * Create a union type.
+     * @alpha
+     */
+    union(options) {
+        if (options.length === 0) {
+            throw new internal_1.UsageError("typeFactory.union requires at least one option. Empty unions are not valid TypeScript types.");
+        }
+        return { _kind: "union", options };
+    },
+    /**
+     * Create an intersection type.
+     * @alpha
+     */
+    intersection(types) {
+        if (types.length === 0) {
+            throw new internal_1.UsageError("typeFactory.intersection requires at least one type. Empty intersections are not valid TypeScript types.");
+        }
+        return { _kind: "intersection", types };
+    },
+    /**
+     * Create a literal type.
+     * @alpha
+     */
+    literal(value) {
+        return { _kind: "literal", value };
+    },
+    /**
+     * Create an optional type.
+     * @alpha
+     */
+    optional(innerType) {
+        return { _kind: "optional", innerType };
+    },
+    /**
+     * Create a readonly type.
+     * @alpha
+     */
+    readonly(innerType) {
+        return { _kind: "readonly", innerType };
+    },
+    /**
+     * Create a function type.
+     * @alpha
+     */
+    function(parameters, returnType, restParameter) {
+        return restParameter === undefined
+            ? { _kind: "function", parameters, returnType }
+            : { _kind: "function", parameters, returnType, restParameter };
+    },
+    /**
+     * Create an instanceOf type for a SharedTree schema class.
+     * @alpha
+     */
+    instanceOf(schema) {
+        if (!(schema instanceof alpha_1.ObjectNodeSchema)) {
+            throw new internal_1.UsageError(`typeFactory.instanceOf only supports ObjectNodeSchema-based schema classes (created via SchemaFactory.object). ` +
+                `Pass a schema class that extends from an object schema (e.g., sf.object(...)), not primitive, array, or map schemas.`);
+        }
+        const instanceOfType = {
+            _kind: "instanceof",
+            schema,
+        };
+        exports.instanceOfsTypeFactory.set(instanceOfType, schema);
+        return instanceOfType;
+    },
+};
+/**
+ * A lookup from type factory instanceOf types to their corresponding ObjectNodeSchema.
+ * @alpha
+ */
+exports.instanceOfsTypeFactory = new WeakMap();
+//# sourceMappingURL=treeAgentTypes.js.map