@dxos/echo 0.8.4-main.5ea62a8 → 0.8.4-main.66e292d

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

@@ -0,0 +1,6 @@
+import { type JsonSchemaType } from '../json-schema';
+/**
+ * Creates a composite schema from the source and projection schemas.
+ */
+export declare const composeSchema: (source: JsonSchemaType, target: JsonSchemaType) => JsonSchemaType;
+//# sourceMappingURL=compose.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/compose.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD;;GAEG;AAGH,eAAO,MAAM,aAAa,GAAI,QAAQ,cAAc,EAAE,QAAQ,cAAc,KAAG,cAqB9E,CAAC"}

package/dist/types/src/internal/schema/compose.test.d.ts

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

package/dist/types/src/internal/schema/compose.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.test.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/compose.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 '../annotations';
+import { type JsonSchemaType } from '../json-schema';
+import { type TypedObject, type TypedObjectPrototype } from '../object';
+import { PersistentSchema } from './persistent-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 persisted 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 PersistentSchema objects to be resolved as EchoSchema objects.
+ */
+export declare class EchoSchema<A = any, I = any> extends EchoSchema_base implements BaseSchema<A, I> {
+    private readonly _persistentSchema;
+    private _schema;
+    private _isDirty;
+    constructor(_persistentSchema: PersistentSchema);
+    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 persistent schema object.
+     */
+    get persistentSchema(): PersistentSchema;
+    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;
+    _getSchema(): Schema.Schema.AnyNoContext;
+}
+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,gBAAgB,CAAC;AAC3G,OAAO,EAAE,KAAK,cAAc,EAAgC,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,oBAAoB,EAAE,MAAM,WAAW,CAAC;AASxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAGvD;;GAEG;AAEH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,CAAE,SAAQ,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAErE,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;gBAwGlB,GAAG;gBACH,GAAG;gBACH,KAAK;MAxGZ;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;AAsCD,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,iBAAiB;IAH9C,OAAO,CAAC,OAAO,CAAyC;IACxD,OAAO,CAAC,QAAQ,CAAQ;gBAEK,iBAAiB,EAAE,gBAAgB;IAQhE,IAAW,CAAC,MAAM,CAAC,MAAM,CAAC;gBAtClB,GAAG;gBACH,GAAG;gBACH,KAAK;MAsCZ;IAED,IAAW,IAAI,IACoB,CAAC,CACnC;IAED,IAAW,OAAO,IACiB,CAAC,CACnC;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,gBAAgB,IAAI,gBAAgB,CAE9C;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,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY;CAIzC"}

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

@@ -0,0 +1,6 @@
+export * from './echo-schema';
+export * from './manipulation';
+export * from './persistent-schema';
+export * from './runtime-schema-registry';
+export * from './snapshot';
+//# 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,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,YAAY,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/persistent-schema.d.ts

@@ -0,0 +1,18 @@
+import * as Schema from 'effect/Schema';
+import { JsonSchemaType } from '../json-schema';
+/**
+ * Persistent representation of a schema.
+ */
+declare const PersistentEchoSchema: import("../entities/entity").EchoTypeSchema<Schema.Struct<{
+    name: Schema.optional<typeof Schema.String>;
+    typename: Schema.refine<string, typeof Schema.String>;
+    version: Schema.refine<string, typeof Schema.String>;
+    jsonSchema: Schema.Schema<JsonSchemaType, JsonSchemaType, never>;
+}>, {}>;
+export interface PersistentSchema extends Schema.Schema.Type<typeof PersistentEchoSchema> {
+}
+export interface PersistentSchemaEncoded extends Schema.Schema.Encoded<typeof PersistentEchoSchema> {
+}
+export declare const PersistentSchema: Schema.Schema<PersistentSchema, PersistentSchemaEncoded>;
+export {};
+//# sourceMappingURL=persistent-schema.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"persistent-schema.d.ts","sourceRoot":"","sources":["../../../../../src/internal/schema/persistent-schema.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD;;GAEG;AAEH,QAAA,MAAM,oBAAoB;;;;;OAUzB,CAAC;AACF,MAAM,WAAW,gBAAiB,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,oBAAoB,CAAC;CAAG;AAC5F,MAAM,WAAW,uBAAwB,SAAQ,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,oBAAoB,CAAC;CAAG;AACtG,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,uBAAuB,CAAwB,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: readonly 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,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,IAAI;CAY9D"}

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/types/base.d.ts

@@ -0,0 +1,37 @@
+import * as Schema from 'effect/Schema';
+import { type ObjectId } from '@dxos/keys';
+import { type ATTR_META, type ObjectMeta } from './meta';
+/**
+ * Marker interface for object with an `id`.
+ */
+export interface HasId {
+    readonly id: ObjectId;
+}
+/**
+ * Object that has an associated typename.
+ * The typename is retrievable using {@link getTypename}.
+ * The object can be used with {@link isInstanceOf} to check if it is an instance of a schema.
+ */
+export type HasTypename = {};
+/**
+ * Base type for all data objects (reactive, ECHO, and other raw objects).
+ * NOTE: This describes the base type for all database objects.
+ * It is stricter than `T extends {}` or `T extends object`.
+ */
+export type AnyProperties = Record<string, any>;
+/**
+ * Canonical type for all ECHO objects.
+ */
+export interface AnyEchoObject extends HasId, HasTypename {
+}
+export type WithId<T extends AnyProperties = AnyProperties> = T & HasId;
+export type ExcludeId<T extends AnyProperties> = Omit<T, 'id'>;
+export type PropertyKey<T extends AnyProperties> = Extract<keyof ExcludeId<T>, string>;
+export type WithMeta = {
+    [ATTR_META]?: ObjectMeta;
+};
+/**
+ * The raw object should not include the ECHO id, but may include metadata.
+ */
+export declare const RawObject: <S extends Schema.Schema.AnyNoContext>(schema: S) => Schema.Schema<ExcludeId<Schema.Schema.Type<S>> & WithMeta, Schema.Schema.Encoded<S>>;
+//# sourceMappingURL=base.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"base.d.ts","sourceRoot":"","sources":["../../../../../src/internal/types/base.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEzD;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,EAAE,CAAC;AAE7B;;;;GAIG;AAIH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAEhD;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,KAAK,EAAE,WAAW;CAAG;AAG5D,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa,IAAI,CAAC,GAAG,KAAK,CAAC;AAExE,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,aAAa,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE/D,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,aAAa,IAAI,OAAO,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAGvF,MAAM,MAAM,QAAQ,GAAG;IAAE,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpD;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC5D,QAAQ,CAAC,KACR,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAErF,CAAC"}

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

@@ -0,0 +1,12 @@
+import * as Schema from 'effect/Schema';
+/**
+ * Kinds of entities stored in ECHO: objects and relations.
+ */
+export declare enum EntityKind {
+    Object = "object",
+    Relation = "relation"
+}
+export declare const EntityKindSchema: Schema.Enums<typeof EntityKind>;
+export declare const KindId: unique symbol;
+export type KindId = typeof KindId;
+//# sourceMappingURL=entity.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../../../src/internal/types/entity.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAOxC;;GAEG;AACH,oBAAY,UAAU;IACpB,MAAM,WAAW;IACjB,QAAQ,aAAa;CACtB;AAED,eAAO,MAAM,gBAAgB,iCAA2B,CAAC;AAEzD,eAAO,MAAM,MAAM,EAAE,OAAO,MAA4B,CAAC;AACzD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC"}

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

@@ -0,0 +1,6 @@
+export * from './base';
+export * from './entity';
+export * from './meta';
+export * from './typename';
+export * from './version';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/internal/types/index.ts"],"names":[],"mappings":"AAIA,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,cAAc,QAAQ,CAAC;AACvB,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC"}

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

@@ -0,0 +1,40 @@
+import * as Schema from 'effect/Schema';
+import { ForeignKey } from '@dxos/echo-protocol';
+import { type Comparator } from '@dxos/util';
+import { type AnyProperties, type WithMeta } from './base';
+/**
+ * Property name for meta when object is serialized to JSON.
+ */
+export declare const ATTR_META = "@meta";
+/**
+ * Metadata section.
+ */
+export declare const MetaId: unique symbol;
+export declare const ObjectMetaSchema: Schema.mutable<Schema.Struct<{
+    keys: Schema.mutable<Schema.Array$<Schema.Schema<{
+        readonly source: string;
+        readonly id: string;
+    }, {
+        readonly source: string;
+        readonly id: string;
+    }, never>>>;
+    /**
+     * A set of tags.
+     * Tags are arbitrary application-defined strings.
+     * ECHO makes no assumptions about the tag structure.
+     */
+    tags: Schema.optional<Schema.mutable<Schema.Array$<typeof Schema.String>>>;
+}>>;
+export type ObjectMeta = Schema.Schema.Type<typeof ObjectMetaSchema>;
+/**
+ * Utility to split meta property from raw object.
+ * @deprecated Bad API.
+ */
+export declare const splitMeta: <T>(object: T & WithMeta) => {
+    object: T;
+    meta?: ObjectMeta;
+};
+export declare const foreignKey: (source: string, id: string) => ForeignKey;
+export declare const foreignKeyEquals: (a: ForeignKey, b: ForeignKey) => boolean;
+export declare const compareForeignKeys: Comparator<AnyProperties>;
+//# sourceMappingURL=meta.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"meta.d.ts","sourceRoot":"","sources":["../../../../../src/internal/types/meta.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,OAAO,EAAE,KAAK,UAAU,EAAgB,MAAM,YAAY,CAAC;AAE3D,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAE3D;;GAEG;AACH,eAAO,MAAM,SAAS,UAAU,CAAC;AAEjC;;GAEG;AACH,eAAO,MAAM,MAAM,eAAgC,CAAC;AAOpD,eAAO,MAAM,gBAAgB;;;;;;;;IAIzB;;;;OAIG;;GAKN,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAerE;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,QAAQ,KAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,UAAU,CAAA;CAIjF,CAAC;AAMF,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,EAAE,IAAI,MAAM,KAAG,UAA8B,CAAC;AACvF,eAAO,MAAM,gBAAgB,GAAI,GAAG,UAAU,EAAE,GAAG,UAAU,YAA2C,CAAC;AAGzG,eAAO,MAAM,kBAAkB,EAAE,UAAU,CAAC,aAAa,CACoB,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Property name for typename when object is serialized to JSON.
+ */
+export declare const ATTR_TYPE = "@type";
+/**
+ * DXN to the object type.
+ */
+export declare const TypeId: unique symbol;
+/**
+ * Reference to the object schema.
+ */
+export declare const SchemaId: unique symbol;
+//# sourceMappingURL=typename.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typename.d.ts","sourceRoot":"","sources":["../../../../../src/internal/types/typename.ts"],"names":[],"mappings":"AAMA;;GAEG;AACH,eAAO,MAAM,SAAS,UAAU,CAAC;AAEjC;;GAEG;AACH,eAAO,MAAM,MAAM,eAAgC,CAAC;AAEpD;;GAEG;AACH,eAAO,MAAM,QAAQ,eAAkC,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * Version type symbol.
+ */
+export declare const VersionTypeId: unique symbol;
+export type VersionTypeId = typeof VersionTypeId;
+/**
+ * Represents the object version.
+ * May be backed by Automerge.
+ * Objects with no history are not versioned.
+ */
+export interface Version {
+    [VersionTypeId]: {};
+    automergeHeads?: string[];
+}
+//# sourceMappingURL=version.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../../../../src/internal/types/version.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,eAAO,MAAM,aAAa,EAAE,OAAO,MAA+C,CAAC;AAEnF,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD;;;;GAIG;AACH,MAAM,WAAW,OAAO;IACtB,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B"}

package/dist/types/src/query/filter.d.ts

@@ -0,0 +1,167 @@
+import * as Schema from 'effect/Schema';
+import type * as Types from 'effect/Types';
+import { type ForeignKey, type QueryAST } from '@dxos/echo-protocol';
+import { DXN, ObjectId } from '@dxos/keys';
+import { type Intersection } from '@dxos/util';
+import type * as Entity from '../Entity';
+import { type AnyProperties } from '../internal';
+import type * as Obj from '../Obj';
+export interface Filter<T> {
+    '~Filter': {
+        value: Types.Contravariant<T>;
+    };
+    ast: QueryAST.Filter;
+}
+interface FilterAPI {
+    is(value: unknown): value is Filter.Any;
+    /** Construct a filter from an ast. */
+    fromAst(ast: QueryAST.Filter): Filter<Obj.Any>;
+    /**
+     * Filter that matches all objects.
+     */
+    everything(): Filter<Entity.Entity<AnyProperties>>;
+    /**
+     * Filter that matches no objects.
+     */
+    nothing(): Filter<any>;
+    /**
+     * Filter by object IDs.
+     */
+    ids(...id: ObjectId[]): Filter<Entity.Entity<AnyProperties>>;
+    /**
+     * Filter by type.
+     */
+    type<S extends Schema.Schema.All>(schema: S | string, props?: Filter.Props<Schema.Schema.Type<S>>): Filter<Schema.Schema.Type<S>>;
+    /**
+     * Filter by non-qualified typename.
+     */
+    typename(typename: string): Filter<Obj.AnyProps>;
+    /**
+     * Filter by fully qualified type DXN.
+     */
+    typeDXN(dxn: DXN): Filter<Obj.AnyProps>;
+    /**
+     * Filter by tag.
+     */
+    tag(tag: string): Filter<Obj.Any>;
+    /**
+     * Filter by properties.
+     */
+    props<T>(props: Filter.Props<T>): Filter<T>;
+    /**
+     * Full-text or vector search.
+     */
+    text(text: string, options?: Filter.TextSearchOptions): Filter<any>;
+    /**
+     * Filter by foreign keys.
+     */
+    foreignKeys<S extends Schema.Schema.All>(schema: S, keys: ForeignKey[]): Filter<Schema.Schema.Type<S>>;
+    /**
+     * Predicate for property to be equal to the provided value.
+     */
+    eq<T>(value: T): Filter<T>;
+    /**
+     * Predicate for property to be not equal to the provided value.
+     */
+    neq<T>(value: T): Filter<T>;
+    /**
+     * Predicate for property to be greater than the provided value.
+     */
+    gt<T>(value: T): Filter<T>;
+    /**
+     * Predicate for property to be greater than the provided value.
+     */
+    gt<T>(value: T): Filter<T>;
+    /**
+     * Predicate for property to be greater than or equal to the provided value.
+     */
+    gte<T>(value: T): Filter<T>;
+    /**
+     * Predicate for property to be less than the provided value.
+     */
+    lt<T>(value: T): Filter<T>;
+    /**
+     * Predicate for property to be less than or equal to the provided value.
+     */
+    lte<T>(value: T): Filter<T>;
+    /**
+     * Predicate for property to be in the provided array.
+     * @param values - Values to check against.
+     */
+    in<T>(...values: T[]): Filter<T>;
+    /**
+     * Predicate for an array property to contain the provided value.
+     * @param value - Value to check against.
+     */
+    contains<T>(value: T): Filter<readonly T[] | undefined>;
+    /**
+     * Predicate for property to be in the provided range.
+     * @param from - Start of the range (inclusive).
+     * @param to - End of the range (exclusive).
+     */
+    between<T>(from: T, to: T): Filter<unknown>;
+    /**
+     * Negate the filter.
+     */
+    not<F extends Filter.Any>(filter: F): Filter<Filter.Type<F>>;
+    /**
+     * Combine filters with a logical AND.
+     */
+    and<FS extends Filter.Any[]>(...filters: FS): Filter<Filter.And<FS>>;
+    /**
+     * Combine filters with a logical OR.
+     */
+    or<FS extends Filter.Any[]>(...filters: FS): Filter<Filter.Or<FS>>;
+}
+export declare namespace Filter {
+    type Props<T> = {
+        [K in keyof T & string]?: Filter<T[K]> | T[K];
+    };
+    type Any = Filter<any>;
+    type Type<F extends Any> = F extends Filter<infer T> ? T : never;
+    type And<FS extends readonly Any[]> = Schema.Simplify<Intersection<{
+        [K in keyof FS]: Type<FS[K]>;
+    }>>;
+    type Or<FS extends readonly Any[]> = Schema.Simplify<{
+        [K in keyof FS]: Type<FS[K]>;
+    }[number]>;
+    type TextSearchOptions = {
+        type?: 'full-text' | 'vector';
+    };
+}
+export declare class FilterClass implements Filter<any> {
+    readonly ast: QueryAST.Filter;
+    private static variance;
+    static is(value: unknown): value is Filter<any>;
+    static fromAst(ast: QueryAST.Filter): Filter<any>;
+    static everything(): FilterClass;
+    static nothing(): FilterClass;
+    static relation(): FilterClass;
+    static ids(...ids: ObjectId[]): Filter<any>;
+    static type<S extends Schema.Schema.All>(schema: S | string, props?: Filter.Props<Schema.Schema.Type<S>>): Filter<Schema.Schema.Type<S>>;
+    static typename(typename: string): Filter<any>;
+    static typeDXN(dxn: DXN): Filter<any>;
+    static tag(tag: string): Filter<any>;
+    static props<T>(props: Filter.Props<T>): Filter<T>;
+    static text(text: string, options?: Filter.TextSearchOptions): Filter<any>;
+    static foreignKeys<S extends Schema.Schema.All>(schema: S | string, keys: ForeignKey[]): Filter<Schema.Schema.Type<S>>;
+    static eq<T>(value: T): Filter<T>;
+    static neq<T>(value: T): Filter<T>;
+    static gt<T>(value: T): Filter<T>;
+    static gte<T>(value: T): Filter<T>;
+    static lt<T>(value: T): Filter<T>;
+    static lte<T>(value: T): Filter<T>;
+    static in<T>(...values: T[]): Filter<T>;
+    static contains<T>(value: T): Filter<readonly T[] | undefined>;
+    static between<T>(from: T, to: T): Filter<unknown>;
+    static not<F extends Filter.Any>(filter: F): Filter<Filter.Type<F>>;
+    static and<T>(...filters: Filter<T>[]): Filter<T>;
+    static or<T>(...filters: Filter<T>[]): Filter<T>;
+    private constructor();
+    '~Filter': {
+        value: Types.Contravariant<any>;
+    };
+}
+export declare const Filter: FilterAPI;
+export {};
+//# sourceMappingURL=filter.d.ts.map

package/dist/types/src/query/filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../../../src/query/filter.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAErE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,KAAK,KAAK,MAAM,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,KAAK,GAAG,MAAM,QAAQ,CAAC;AAMnC,MAAM,WAAW,MAAM,CAAC,CAAC;IAEvB,SAAS,EAAE;QAAE,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;KAAE,CAAC;IAE7C,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;CACtB;AAED,UAAU,SAAS;IACjB,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC;IAExC,sCAAsC;IACtC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAE/C;;OAEG;IAEH,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAEnD;;OAEG;IAEH,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAEvB;;OAEG;IAEH,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAE7D;;OAEG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,EAAE,CAAC,GAAG,MAAM,EAClB,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEjD;;OAEG;IACH,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAExC;;OAEG;IACH,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAElC;;OAEG;IACH,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5C;;OAEG;IACH,IAAI,CAEF,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,MAAM,CAAC,iBAAiB,GACjC,MAAM,CAAC,GAAG,CAAC,CAAC;IAEf;;OAEG;IACH,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvG;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5B;;;OAGG;IACH,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAEjC;;;OAGG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IAExD;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAE5C;;OAEG;IACH,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7D;;OAEG;IACH,GAAG,CAAC,EAAE,SAAS,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAErE;;OAEG;IACH,EAAE,CAAC,EAAE,SAAS,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAGpE;AAED,MAAM,CAAC,OAAO,WAAW,MAAM,CAAC;IAC9B,KAAK,KAAK,CAAC,CAAC,IAAI;SAEb,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAC9C,CAAC;IAEF,KAAK,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACvB,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACjE,KAAK,GAAG,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;SAAG,CAAC,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,CAAC,CAAC;IACtG,KAAK,EAAE,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC;SAAG,CAAC,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/F,KAAY,iBAAiB,GAAG;QAE9B,IAAI,CAAC,EAAE,WAAW,GAAG,QAAQ,CAAC;KAC/B,CAAC;CACH;AAGD,qBAAa,WAAY,YAAW,MAAM,CAAC,GAAG,CAAC;aAyNT,GAAG,EAAE,QAAQ,CAAC,MAAM;IAxNxD,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAwD;IAE/E,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC;IAI/C,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC;IAIjD,MAAM,CAAC,UAAU,IAAI,WAAW;IAQhC,MAAM,CAAC,OAAO,IAAI,WAAW;IAW7B,MAAM,CAAC,QAAQ;IAQf,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;IAmB3C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACrC,MAAM,EAAE,CAAC,GAAG,MAAM,EAClB,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAShC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC;IAS9C,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IAQrC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC;IAOpC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAQlD,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,iBAAiB,GAAG,MAAM,CAAC,GAAG,CAAC;IAQ1E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC5C,MAAM,EAAE,CAAC,GAAG,MAAM,EAClB,IAAI,EAAE,UAAU,EAAE,GACjB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAUhC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAYjC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAQlC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAQjC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAQlC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAQjC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAQlC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;IAOvC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC;IAO9D,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IAQlD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAOnE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;IAOjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;IAOhD,OAAO;IAEP,SAAS;;MAAwB;CAClC;AAED,eAAO,MAAM,MAAM,EAAE,SAAuB,CAAC"}

package/dist/types/src/query/index.d.ts

@@ -1,2 +1,5 @@
-export * from './dsl';
+export { QueryAST } from '@dxos/echo-protocol';
+export * from './filter';
+export * from './order';
+export * from './query';
 //# sourceMappingURL=index.d.ts.map