@dxos/echo 0.8.4-main.a4bbb77 → 0.8.4-main.ae835ea

package/dist/types/src/internal/ref/ref.d.ts

@@ -0,0 +1,206 @@
+import * as Schema from 'effect/Schema';
+import * as SchemaAST from 'effect/SchemaAST';
+import { type EncodedReference } from '@dxos/echo-protocol';
+import { DXN, ObjectId } from '@dxos/keys';
+import { type JsonSchemaType } from '../json-schema';
+import type { BaseObject, WithId } from '../types';
+/**
+ * The `$id` and `$ref` fields for an ECHO reference schema.
+ */
+export declare const JSON_SCHEMA_ECHO_REF_ID = "/schemas/echo/ref";
+export declare const getSchemaReference: (property: JsonSchemaType) => {
+    typename: string;
+} | undefined;
+export declare const createSchemaReference: (typename: string) => JsonSchemaType;
+/**
+ * Runtime type-info for a reference extracted from effect AST.
+ */
+export type RefereneAST = {
+    /**
+     * Typename of linked schema.
+     */
+    typename: string;
+    /**
+     * Version of linked schema.
+     */
+    version: string;
+};
+export declare const getReferenceAst: (ast: SchemaAST.AST) => RefereneAST | undefined;
+export declare const RefTypeId: unique symbol;
+/**
+ * Reference Schema.
+ */
+export interface Ref$<T extends WithId> extends Schema.SchemaClass<Ref<T>, EncodedReference> {
+}
+export interface RefFn {
+    <S extends Schema.Schema.Any>(schema: S): Ref$<Schema.Schema.Type<S>>;
+    /**
+     * @returns True if the object is a reference.
+     */
+    isRef: (obj: any) => obj is Ref<any>;
+    /**
+     * @returns True if the reference points to the given object id.
+     */
+    hasObjectId: (id: ObjectId) => (ref: Ref<any>) => boolean;
+    /**
+     * @returns True if the schema is a reference schema.
+     */
+    isRefSchema: (schema: Schema.Schema<any, any>) => schema is Ref$<any>;
+    /**
+     * @returns True if the schema AST is a reference schema.
+     */
+    isRefSchemaAST: (ast: SchemaAST.AST) => boolean;
+    /**
+     * Constructs a reference that points to the given object.
+     */
+    make: <T extends WithId>(object: T) => Ref<T>;
+    /**
+     * Constructs a reference that points to the object specified by the provided DXN.
+     */
+    fromDXN: (dxn: DXN) => Ref<any>;
+}
+/**
+ * Schema builder for references.
+ */
+export declare const Ref: RefFn;
+/**
+ * Represents materialized reference to a target.
+ * This is the data type for the fields marked as ref.
+ */
+export interface Ref<T> {
+    /**
+     * Target object DXN.
+     */
+    get dxn(): DXN;
+    /**
+     * @returns The reference target.
+     * May return `undefined` if the object is not loaded in the working set.
+     * Accessing this property, even if it returns `undefined` will trigger the object to be loaded to the working set.
+     *
+     * @reactive Supports signal subscriptions.
+     */
+    get target(): T | undefined;
+    /**
+     * @returns Promise that will resolves with the target object.
+     * Will load the object from disk if it is not present in the working set.
+     * @throws If the object is not available locally.
+     */
+    load(): Promise<T>;
+    /**
+     * @returns Promise that will resolves with the target object or undefined if the object is not loaded locally.
+     */
+    tryLoad(): Promise<T | undefined>;
+    /**
+     * Do not inline the target object in the reference.
+     * Makes .target unavailable unless the reference is connected to a database context.
+     *
+     * When serialized with toJSON, the difference is between:
+     * `{ "/": "dxn:..." }`
+     * and
+     * `{ "/": "dxn:...", "target": { ... } }`
+     *
+     * Clones the reference object.
+     */
+    noInline(): Ref<T>;
+    /**
+     * Serializes the reference to a JSON object.
+     * The serialization format is compatible with the IPLD-style encoded references.
+     * When a reference has a saved target (i.e. the target or object holding the reference is not in the database),
+     * the target is included in the serialized object.
+     *
+     * Examples:
+     * `{ "/": "dxn:..." }`
+     * `{ "/": "dxn:...", "target": { ... } }`
+     */
+    encode(): EncodedReference;
+    [RefTypeId]: {
+        _T: T;
+    };
+}
+export declare namespace Ref {
+    /**
+     * Target of the reference.
+     */
+    type Target<R> = R extends Ref<infer U> ? U : never;
+}
+/**
+ * `reference` field on the schema object.
+ */
+export type JsonSchemaReferenceInfo = {
+    schema: {
+        $ref: string;
+    };
+    schemaVersion?: string;
+};
+export interface RefResolver {
+    /**
+     * Resolve ref synchronously from the objects in the working set.
+     *
+     * @param dxn
+     * @param load If true the resolver should attempt to load the object from disk.
+     * @param onLoad Callback to call when the object is loaded.
+     */
+    resolveSync(dxn: DXN, load: boolean, onLoad?: () => void): BaseObject | undefined;
+    /**
+     * Resolver ref asynchronously.
+     */
+    resolve(dxn: DXN): Promise<BaseObject | undefined>;
+    resolveSchema(dxn: DXN): Promise<Schema.Schema.AnyNoContext | undefined>;
+}
+export declare class RefImpl<T> implements Ref<T> {
+    #private;
+    constructor(dxn: DXN, target?: T);
+    /**
+     * @inheritdoc
+     */
+    get dxn(): DXN;
+    /**
+     * @inheritdoc
+     */
+    get target(): T | undefined;
+    /**
+     * @inheritdoc
+     */
+    load(): Promise<T>;
+    /**
+     * @inheritdoc
+     */
+    tryLoad(): Promise<T | undefined>;
+    /**
+     * Do not inline the target object in the reference.
+     * Makes .target unavailable unless the reference is connected to a database context.
+     * Clones the reference object.
+     */
+    noInline(): RefImpl<T>;
+    encode(): EncodedReference;
+    /**
+     * Serializes the reference to a JSON object.
+     * The serialization format is compatible with the IPLD-style encoded references.
+     * When a reference has a saved target (i.e. the target or object holding the reference is not in the database),
+     * the target is included in the serialized object.
+     */
+    toJSON(): EncodedReference;
+    toString(): string;
+    [RefTypeId]: {
+        _T: any;
+    };
+}
+/**
+ * Internal API for setting the reference resolver.
+ */
+export declare const setRefResolver: (ref: Ref<any>, resolver: RefResolver) => void;
+/**
+ * Internal API for getting the saved target on a reference.
+ */
+export declare const getRefSavedTarget: (ref: Ref<any>) => BaseObject | undefined;
+export declare const refFromEncodedReference: (encodedReference: EncodedReference, resolver?: RefResolver) => Ref<any>;
+export declare class StaticRefResolver implements RefResolver {
+    objects: Map<string, BaseObject>;
+    schemas: Map<DXN.String, Schema.Schema.AnyNoContext>;
+    addObject(obj: BaseObject): this;
+    addSchema(schema: Schema.Schema.AnyNoContext): this;
+    resolveSync(dxn: DXN, _load: boolean, _onLoad?: () => void): BaseObject | undefined;
+    resolve(dxn: DXN): Promise<BaseObject | undefined>;
+    resolveSchema(dxn: DXN): Promise<Schema.Schema.AnyNoContext | undefined>;
+}
+//# sourceMappingURL=ref.d.ts.map

package/dist/types/src/internal/ref/ref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../../../../src/internal/ref/ref.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,KAAK,gBAAgB,EAAa,MAAM,qBAAqB,CAAC;AAGvE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAEnD;;GAEG;AACH,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAG3D,eAAO,MAAM,kBAAkB,GAAI,UAAU,cAAc,KAAG;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,SAKpF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAAI,UAAU,MAAM,KAAG,cASxD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB;;OAEG;IACH,QAAQ,EAAE,MAAM,CAAC;IAEjB;;OAEG;IACH,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,eAAe,GAAI,KAAK,SAAS,CAAC,GAAG,KAAG,WAAW,GAAG,SAQlE,CAAC;AAEF,eAAO,MAAM,SAAS,EAAE,OAAO,MAA0C,CAAC;AAE1E;;GAEG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,SAAS,MAAM,CAAE,SAAQ,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC;CAAG;AAG/F,MAAM,WAAW,KAAK;IACpB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtE;;OAEG;IACH,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAErC;;OAEG;IACH,WAAW,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC;IAE1D;;OAEG;IACH,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;IAEtE;;OAEG;IACH,cAAc,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,KAAK,OAAO,CAAC;IAEhD;;OAEG;IAEH,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAE9C;;OAEG;IACH,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;CACjC;AACD;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE,KAcjB,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,GAAG,CAAC,CAAC;IACpB;;OAEG;IACH,IAAI,GAAG,IAAI,GAAG,CAAC;IAEf;;;;;;OAMG;IACH,IAAI,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC;IAE5B;;;;OAIG;IACH,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;IAEnB;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IAElC;;;;;;;;;;OAUG;IACH,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IAEnB;;;;;;;;;OASG;IACH,MAAM,IAAI,gBAAgB,CAAC;IAE3B,CAAC,SAAS,CAAC,EAAE;QACX,EAAE,EAAE,CAAC,CAAC;KACP,CAAC;CACH;AAED,MAAM,CAAC,OAAO,WAAW,GAAG,CAAC;IAC3B;;OAEG;IACH,KAAY,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;CAC5D;AAiCD;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AA2EF,MAAM,WAAW,WAAW;IAC1B;;;;;;OAMG;IACH,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,IAAI,GAAG,UAAU,GAAG,SAAS,CAAC;IAElF;;OAEG;IACH,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;IAGnD,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS,CAAC,CAAC;CAC1E;AAED,qBAAa,OAAO,CAAC,CAAC,CAAE,YAAW,GAAG,CAAC,CAAC,CAAC;;gBAkB3B,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;IAKhC;;OAEG;IACH,IAAI,GAAG,IAAI,GAAG,CAEb;IAED;;OAEG;IACH,IAAI,MAAM,IAAI,CAAC,GAAG,SAAS,CAQ1B;IAED;;OAEG;IACG,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC;IAYxB;;OAEG;IACG,OAAO,IAAI,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;IAKvC;;;;OAIG;IACH,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC;IAMtB,MAAM,IAAI,gBAAgB;IAO1B;;;;;OAKG;IACH,MAAM,IAAI,gBAAgB;IAI1B,QAAQ,IAAI,MAAM;IAQlB,CAAC,SAAS,CAAC;;MAAe;CAkB3B;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,UAAU,WAAW,SAGlE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,GAAG,CAAC,GAAG,CAAC,KAAG,UAAU,GAAG,SAG9D,CAAC;AAOF,eAAO,MAAM,uBAAuB,GAAI,kBAAkB,gBAAgB,EAAE,WAAW,WAAW,KAAG,GAAG,CAAC,GAAG,CAU3G,CAAC;AAEF,qBAAa,iBAAkB,YAAW,WAAW;IAC5C,OAAO,0BAAmC;IAC1C,OAAO,8CAAqD;IAEnE,SAAS,CAAC,GAAG,EAAE,UAAU,GAAG,IAAI;IAKhC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,IAAI;IAOnD,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,IAAI,GAAG,UAAU,GAAG,SAAS;IAS7E,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;IASlD,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS,CAAC;CAG/E"}

package/dist/types/src/internal/ref/ref.test.d.ts

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

package/dist/types/src/internal/ref/ref.test.d.ts.map

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

package/dist/types/src/internal/schema/echo-schema.d.ts

@@ -0,0 +1,168 @@
+import * as Schema from 'effect/Schema';
+import * as SchemaAST from 'effect/SchemaAST';
+import { type ObjectId } from '@dxos/keys';
+import { type SchemaMeta, SchemaMetaSymbol } from '../ast';
+import { type JsonSchemaType } from '../json-schema';
+import { type TypedObject, type TypedObjectPrototype } from '../object';
+import { StoredSchema } from './stored-schema';
+/**
+ * Base schema type.
+ */
+export interface BaseSchema<A = any, I = any> extends TypedObject<A, I> {
+    get readonly(): boolean;
+    get mutable(): EchoSchema<A, I>;
+    get snapshot(): Schema.Schema<A, I>;
+    get jsonSchema(): JsonSchemaType;
+}
+/**
+ * Immutable schema type.
+ * @deprecated Use `Schema.Schema.AnyNoContext` instead.
+ */
+export declare class ImmutableSchema<A = any, I = any> implements BaseSchema<A, I> {
+    private readonly _schema;
+    private readonly _objectAnnotation;
+    constructor(_schema: Schema.Schema<A, I>);
+    get [Schema.TypeId](): {
+        _A: (_: any) => any;
+        _I: (_: any) => any;
+        _R: (_: never) => never;
+    };
+    get Type(): A;
+    get Encoded(): I;
+    get Context(): never;
+    get ast(): SchemaAST.AST;
+    get annotations(): (annotations: Schema.Annotations.GenericSchema<A>) => Schema.Schema<A, I, never>;
+    get pipe(): {
+        <A_1>(this: A_1): A_1;
+        <A_1, B = never>(this: A_1, ab: (_: A_1) => B): B;
+        <A_1, B = never, C = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C): C;
+        <A_1, B = never, C = never, D = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D): D;
+        <A_1, B = never, C = never, D = never, E = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E): E;
+        <A_1, B = never, C = never, D = never, E = never, F = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F): F;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G): G;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H): H;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1): I_1;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J): J;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K): K;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L): L;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M): M;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N): N;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O): O;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never, P = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P): P;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never, P = never, Q = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P, pq: (_: P) => Q): Q;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never, P = never, Q = never, R = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P, pq: (_: P) => Q, qr: (_: Q) => R): R;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never, P = never, Q = never, R = never, S = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P, pq: (_: P) => Q, qr: (_: Q) => R, rs: (_: R) => S): S;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never, P = never, Q = never, R = never, S = never, T = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P, pq: (_: P) => Q, qr: (_: Q) => R, rs: (_: R) => S, st: (_: S) => T): T;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never, P = never, Q = never, R = never, S = never, T = never, U = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P, pq: (_: P) => Q, qr: (_: Q) => R, rs: (_: R) => S, st: (_: S) => T, tu: (_: T) => U): U;
+        <A_1, B = never, C = never, D = never, E = never, F = never, G = never, H = never, I_1 = never, J = never, K = never, L = never, M = never, N = never, O = never, P = never, Q = never, R = never, S = never, T = never, U = never>(this: A_1, ab: (_: A_1) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I_1, ij: (_: I_1) => J, jk: (_: J) => K, kl: (_: K) => L, lm: (_: L) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P, pq: (_: P) => Q, qr: (_: Q) => R, rs: (_: R) => S, st: (_: S) => T, tu: (_: T) => U): U;
+    };
+    get typename(): string;
+    get version(): string;
+    get readonly(): boolean;
+    get snapshot(): Schema.Schema.AnyNoContext;
+    get jsonSchema(): JsonSchemaType;
+    get mutable(): EchoSchema;
+}
+export declare const isMutable: (schema: Schema.Schema.AnyNoContext) => schema is EchoSchema;
+declare const EchoSchema_base: TypedObjectPrototype<any, any>;
+/**
+ * Represents a schema that is stored in the ECHO database.
+ * Schema can me mutable or readonly (specified by the {@link EchoSchema.readonly} field).
+ *
+ * Schema that can be modified at runtime via the API.
+ * Is an instance of effect-schema (`Schema.Schema.AnyNoContext`) so it can be used in the same way as a regular schema.
+ * IMPORTANT: The schema AST will change reactively when the schema is updated, including synced updates from remote peers.
+ *
+ * The class constructor is a schema instance itself, and can be used in the echo object definitions:
+ *
+ * @example
+ * ```ts
+ * export class TableType extends Schema.Struct({...}).pipe(Type.Obj({ typename: 'example.org/type/Table', version: '0.1.0' })){
+ *   title: Schema.String,
+ *   schema: Schema.optional(ref(EchoSchema)),
+ *   props: Schema.mutable(S.Array(TablePropSchema)),
+ * }) {}
+ * ```
+ *
+ * The ECHO API will translate any references to StoredSchema objects to be resolved as EchoSchema objects.
+ */
+export declare class EchoSchema<A = any, I = any> extends EchoSchema_base implements BaseSchema<A, I> {
+    private readonly _storedSchema;
+    private _schema;
+    private _isDirty;
+    constructor(_storedSchema: StoredSchema);
+    get [Schema.TypeId](): {
+        _A: (_: any) => any;
+        _I: (_: any) => any;
+        _R: (_: never) => never;
+    };
+    get Type(): A;
+    get Encoded(): I;
+    get Context(): never;
+    get ast(): SchemaAST.AST;
+    get annotations(): (annotations: Schema.Annotations.GenericSchema<any>) => Schema.Schema<any, any, never>;
+    get pipe(): Schema.Schema.AnyNoContext['pipe'];
+    get typename(): string;
+    get version(): string;
+    get readonly(): boolean;
+    /**
+     * Returns an immutable schema snapshot of the current state of the schema.
+     */
+    get snapshot(): Schema.Schema.AnyNoContext;
+    /**
+     * @reactive
+     */
+    get jsonSchema(): JsonSchemaType;
+    /**
+     * Returns a mutable schema.
+     */
+    get mutable(): EchoSchema;
+    /**
+     * Id of the ECHO object containing the schema.
+     */
+    get id(): ObjectId;
+    /**
+     * Short name of the schema.
+     */
+    get name(): string | undefined;
+    get [SchemaMetaSymbol](): SchemaMeta;
+    /**
+     * Reference to the underlying stored schema object.
+     */
+    get storedSchema(): StoredSchema;
+    getProperties(): SchemaAST.PropertySignature[];
+    /**
+     * @throws Error if the schema is readonly.
+     */
+    updateTypename(typename: string): void;
+    /**
+     * @throws Error if the schema is readonly.
+     */
+    addFields(fields: Schema.Struct.Fields): void;
+    /**
+     * @throws Error if the schema is readonly.
+     */
+    updateFields(fields: Schema.Struct.Fields): void;
+    /**
+     * @throws Error if the schema is readonly.
+     */
+    updateFieldPropertyName({ before, after }: {
+        before: PropertyKey;
+        after: PropertyKey;
+    }): void;
+    /**
+     * @throws Error if the schema is readonly.
+     */
+    removeFields(fieldNames: string[]): void;
+    /**
+     * Called by EchoSchemaRegistry on update.
+     */
+    _invalidate(): void;
+    /**
+     * Rebuilds this schema if it is dirty.
+     */
+    _rebuild(): void;
+    private _getSchema;
+}
+export {};
+//# sourceMappingURL=echo-schema.d.ts.map

package/dist/types/src/internal/schema/echo-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"echo-schema.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/echo-schema.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,KAAK,UAAU,EAAE,gBAAgB,EAA0C,MAAM,QAAQ,CAAC;AAEnG,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAUxE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C;;GAEG;AAEH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,CAAE,SAAQ,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,IAAI,QAAQ,IAAI,OAAO,CAAC;IAExB,IAAI,OAAO,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,UAAU,IAAI,cAAc,CAAC;CAClC;AAED;;;GAGG;AAEH,qBAAa,eAAe,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,CAAE,YAAW,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IAE5D,OAAO,CAAC,QAAQ,CAAC,OAAO;IADpC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAiB;gBACtB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IASzD,IAAW,CAAC,MAAM,CAAC,MAAM,CAAC;gBAsGlB,GAAG;gBACH,GAAG;gBACH,KAAK;MAtGZ;IAED,IAAW,IAAI,MAEd;IAED,IAAW,OAAO,MAEjB;IAED,IAAW,OAAO,UAEjB;IAED,IAAW,GAAG,IAAI,SAAS,CAAC,GAAG,CAE9B;IAED,IAAW,WAAW,qFAErB;IAED,IAAW,IAAI;;;;;;;;;;;;;;;;;;;;;;;MAEd;IAMD,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED,IAAI,OAAO,IAAI,MAAM,CAEpB;IAMD,IAAI,QAAQ,IAAI,OAAO,CAEtB;IAED,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAEzC;IAGD,IAAI,UAAU,IAAI,cAAc,CAE/B;IAED,IAAI,OAAO,IAAI,UAAU,CAExB;CACF;AAoCD,eAAO,MAAM,SAAS,GAAI,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,KAAG,MAAM,IAAI,UAExE,CAAC;;AASF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,UAAU,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,CAAE,SAAQ,eAAwB,YAAW,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IAIvF,OAAO,CAAC,QAAQ,CAAC,aAAa;IAH1C,OAAO,CAAC,OAAO,CAAyC;IACxD,OAAO,CAAC,QAAQ,CAAQ;gBAEK,aAAa,EAAE,YAAY;IAQxD,IAAW,CAAC,MAAM,CAAC,MAAM,CAAC;gBAtClB,GAAG;gBACH,GAAG;gBACH,KAAK;MAsCZ;IAED,IAAW,IAAI,IACgB,CAAC,CAC/B;IAED,IAAW,OAAO,IACa,CAAC,CAC/B;IAED,IAAW,OAAO,UAGjB;IAED,IAAW,GAAG,kBAGb;IAED,IAAW,WAAW,2FAGrB;IAED,IAAW,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAGpD;IAMD,IAAW,QAAQ,IAAI,MAAM,CAE5B;IAED,IAAW,OAAO,IAAI,MAAM,CAE3B;IAED,IAAW,QAAQ,IAAI,OAAO,CAE7B;IAED;;OAEG;IACH,IAAW,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAEhD;IAED;;OAEG;IACH,IAAW,UAAU,IAAI,cAAc,CAEtC;IAED;;OAEG;IACH,IAAW,OAAO,IAAI,UAAU,CAG/B;IAMD;;OAEG;IACH,IAAW,EAAE,IAAI,QAAQ,CAExB;IAED;;OAEG;IACH,IAAW,IAAI,IAAI,MAAM,GAAG,SAAS,CAEpC;IAED,IAAW,CAAC,gBAAgB,CAAC,IAAI,UAAU,CAE1C;IAED;;OAEG;IACH,IAAW,YAAY,IAAI,YAAY,CAEtC;IAEM,aAAa,IAAI,SAAS,CAAC,iBAAiB,EAAE;IAYrD;;OAEG;IACI,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAM7C;;OAEG;IACI,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI;IAKpD;;OAEG;IACI,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI;IAKvD;;OAEG;IACI,uBAAuB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE;QAAE,MAAM,EAAE,WAAW,CAAC;QAAC,KAAK,EAAE,WAAW,CAAA;KAAE,GAAG,IAAI;IAKpG;;OAEG;IACI,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,IAAI;IAS/C;;OAEG;IACH,WAAW,IAAI,IAAI;IAInB;;OAEG;IACH,QAAQ,IAAI,IAAI;IAOhB,OAAO,CAAC,UAAU;CAInB"}

package/dist/types/src/internal/schema/index.d.ts

@@ -0,0 +1,7 @@
+export * from './echo-schema';
+export * from './snapshot';
+export * from './stored-schema';
+export * from './runtime-schema-registry';
+export * from './manipulation';
+export * from './echo-schema';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/internal/schema/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/index.ts"],"names":[],"mappings":"AAIA,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC"}

package/dist/types/src/internal/schema/manipulation.d.ts

@@ -0,0 +1,10 @@
+import * as Schema from 'effect/Schema';
+export declare const addFieldsToSchema: (schema: Schema.Schema.AnyNoContext, fields: Schema.Struct.Fields) => Schema.Schema.AnyNoContext;
+export declare const updateFieldsInSchema: (schema: Schema.Schema.AnyNoContext, fields: Schema.Struct.Fields) => Schema.Schema.AnyNoContext;
+export declare const removeFieldsFromSchema: (schema: Schema.Schema.AnyNoContext, fieldNames: string[]) => Schema.Schema.AnyNoContext;
+export declare const updateFieldNameInSchema: (schema: Schema.Schema.AnyNoContext, { before, after }: {
+    before: PropertyKey;
+    after: PropertyKey;
+}) => Schema.Schema.AnyNoContext;
+export declare const setTypenameInSchema: (schema: Schema.Schema.AnyNoContext, typename: string) => Schema.Schema.AnyNoContext;
+//# sourceMappingURL=manipulation.d.ts.map

package/dist/types/src/internal/schema/manipulation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manipulation.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/manipulation.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AASxC,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,EAClC,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,KAC3B,MAAM,CAAC,MAAM,CAAC,YAKhB,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,EAClC,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,KAC3B,MAAM,CAAC,MAAM,CAAC,YAgBhB,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,EAClC,YAAY,MAAM,EAAE,KACnB,MAAM,CAAC,MAAM,CAAC,YAEhB,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAClC,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,EAClC,mBAAmB;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,KAC7D,MAAM,CAAC,MAAM,CAAC,YAehB,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,EAClC,UAAU,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,YAiBhB,CAAC"}

package/dist/types/src/internal/schema/runtime-schema-registry.d.ts

@@ -0,0 +1,18 @@
+import type * as Schema from 'effect/Schema';
+import { type DXN } from '@dxos/keys';
+/**
+ * Runtime registry of static schema objects (i.e., not Dynamic .
+ */
+export declare class RuntimeSchemaRegistry {
+    private readonly _registry;
+    constructor();
+    get schemas(): Schema.Schema.AnyNoContext[];
+    hasSchema<S extends Schema.Schema.AnyNoContext>(schema: S): boolean;
+    getSchemaByDXN(dxn: DXN): Schema.Schema.AnyNoContext | undefined;
+    /**
+     * @deprecated Use getSchemaByDXN.
+     */
+    getSchema(typename: string): Schema.Schema.AnyNoContext | undefined;
+    addSchema(types: Schema.Schema.AnyNoContext[]): void;
+}
+//# sourceMappingURL=runtime-schema-registry.d.ts.map

package/dist/types/src/internal/schema/runtime-schema-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-schema-registry.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/runtime-schema-registry.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAI7C,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAOtC;;GAEG;AAEH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAmD;;IAM7E,IAAI,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAE1C;IAED,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO;IASnE,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS;IAmBhE;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS;IAInE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,IAAI;CAYrD"}

package/dist/types/src/internal/schema/snapshot.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Returns a non-reactive snapshot of the given live object.
+ * @deprecated Use `getSnapshot` from `@dxos/live-object` instead.
+ */
+export declare const getSnapshot: (object: any) => any;
+//# sourceMappingURL=snapshot.d.ts.map

package/dist/types/src/internal/schema/snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/snapshot.ts"],"names":[],"mappings":"AAIA;;;GAGG;AAEH,eAAO,MAAM,WAAW,GAAI,QAAQ,GAAG,KAAG,GAezC,CAAC"}

package/dist/types/src/internal/schema/stored-schema.d.ts

@@ -0,0 +1,13 @@
+import * as Schema from 'effect/Schema';
+import { JsonSchemaType } from '../json-schema';
+/**
+ * Persistent representation of a schema.
+ */
+export declare const StoredSchema: import("..").EchoTypeSchema<Schema.Struct<{
+    name: Schema.optional<typeof Schema.String>;
+    typename: Schema.filter<typeof Schema.String>;
+    version: Schema.filter<typeof Schema.String>;
+    jsonSchema: Schema.Schema<JsonSchemaType, JsonSchemaType, never>;
+}>, {}>;
+export type StoredSchema = Schema.Schema.Type<typeof StoredSchema>;
+//# sourceMappingURL=stored-schema.d.ts.map

package/dist/types/src/internal/schema/stored-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored-schema.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/stored-schema.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGhD;;GAEG;AACH,eAAO,MAAM,YAAY;;;;;OAUxB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC"}

package/dist/types/src/internal/testing/index.d.ts

@@ -0,0 +1,3 @@
+export * from './types';
+export * from './utils';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/internal/testing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/internal/testing/index.ts"],"names":[],"mappings":"AAIA,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC"}