@dxos/echo 0.8.2-main.36232bc → 0.8.2-main.5ca3450

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

@@ -0,0 +1,116 @@
+import { type Schema } from 'effect';
+import { type Ref } from '@dxos/echo-schema';
+import type * as QueryAST from './ast';
+import type { Relation } from '..';
+export interface Query<T> {
+    '~Query': {
+        value: T;
+    };
+    ast: QueryAST.AST;
+    /**
+     * Traverse an outgoing reference.
+     * @param key - Property path inside T that is a reference.
+     * @returns Query for the target of the reference.
+     */
+    reference<K extends RefPropKey<T>>(key: K): Query<Ref.Target<T[K]>>;
+    /**
+     * Find objects referencing this object.
+     * @param target - Schema of the referencing object.
+     * @param key - Property path inside the referencing object that is a reference.
+     * @returns Query for the referencing objects.
+     */
+    referencedBy<S extends Schema.Schema.All>(target: S, key: RefPropKey<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
+    /**
+     * Find relations where this object is the source.
+     * @returns Query for the relation objects.
+     * @param relation - Schema of the relation.
+     * @param predicates - Predicates to filter the relation objects.
+     */
+    sourceOf<S extends Schema.Schema.All>(relation: S, predicates?: PredicateSet<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
+    /**
+     * Find relations where this object is the target.
+     * @returns Query for the relation objects.
+     * @param relation - Schema of the relation.
+     * @param predicates - Predicates to filter the relation objects.
+     */
+    targetOf<S extends Schema.Schema.All>(relation: S, predicates?: PredicateSet<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
+    /**
+     * For a query for relations, get the source objects.
+     * @returns Query for the source objects.
+     */
+    source(): Query<Relation.Source<T>>;
+    /**
+     * For a query for relations, get the target objects.
+     * @returns Query for the target objects.
+     */
+    target(): Query<Relation.Target<T>>;
+}
+interface QueryAPI {
+    /**
+     * Query for objects of a given schema.
+     * @param schema - Schema of the objects.
+     * @param predicates - Predicates to filter the objects.
+     * @returns Query for the objects.
+     */
+    type<S extends Schema.Schema.All>(schema: S, predicates?: PredicateSet<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
+    /**
+     * Full-text or vector search.
+     */
+    text<S extends Schema.Schema.All>(schema: S, text: string, options?: Query.TextSearchOptions): Query<Schema.Schema.Type<S>>;
+    /**
+     * Combine results of multiple queries.
+     * @param queries - Queries to combine.
+     * @returns Query for the combined results.
+     */
+    all<T>(...queries: Query<T>[]): Query<T>;
+    /**
+     * Predicate for property to be greater than the provided value.
+     */
+    gt<T>(value: T): Predicate<T>;
+    /**
+     * Predicate for property to be greater than or equal to the provided value.
+     */
+    gte<T>(value: T): Predicate<T>;
+    /**
+     * Predicate for property to be less than the provided value.
+     */
+    lt<T>(value: T): Predicate<T>;
+    /**
+     * Predicate for property to be less than or equal to the provided value.
+     */
+    lte<T>(value: T): Predicate<T>;
+    /**
+     * Predicate for property to be in the provided array.
+     * @param values - Values to check against.
+     */
+    in<T>(...values: T[]): Predicate<T>;
+    /**
+     * Predicate for property to be in the provided range.
+     * @param from - Start of the range (inclusive).
+     * @param to - End of the range (exclusive).
+     */
+    range<T>(from: T, to: T): Predicate<T>;
+}
+export declare namespace Query {
+    type TextSearchOptions = {
+        type?: 'full-text' | 'vector';
+    };
+}
+export interface Predicate<T> {
+    '~Predicate': {
+        value: T;
+    };
+    ast: QueryAST.Predicate;
+}
+type PredicateSet<T> = {
+    [K in keyof T & string]?: Predicate<T[K]> | T[K];
+};
+/**
+ * All property paths inside T that are references.
+ */
+type RefPropKey<T> = {
+    [K in keyof T]: T[K] extends Ref<infer _U> ? K : never;
+}[keyof T] & string;
+export declare const Query: QueryAPI;
+export {};
+//# sourceMappingURL=api.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../../../../src/query/api.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGrC,OAAO,EAAgB,KAAK,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,KAAK,KAAK,QAAQ,MAAM,OAAO,CAAC;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAKnC,MAAM,WAAW,KAAK,CAAC,CAAC;IAEtB,QAAQ,EAAE;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAEvB,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC;IAElB;;;;OAIG;IACH,SAAS,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpE;;;;;OAKG;IAEH,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACtC,MAAM,EAAE,CAAC,EACT,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GACrC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAClC,QAAQ,EAAE,CAAC,EACX,UAAU,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAClC,QAAQ,EAAE,CAAC,EACX,UAAU,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;OAGG;IACH,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpC;;;OAGG;IACH,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CACrC;AAED,UAAU,QAAQ;IAChB;;;;;OAKG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,EAAE,CAAC,EACT,UAAU,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;OAEG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAE9B,MAAM,EAAE,CAAC,EAET,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,KAAK,CAAC,iBAAiB,GAChC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEzC;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE9B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE/B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE9B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE/B;;;OAGG;IACH,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAEpC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;CAGxC;AAED,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC;IAC7B,KAAY,iBAAiB,GAAG;QAC9B,IAAI,CAAC,EAAE,WAAW,GAAG,QAAQ,CAAC;KAC/B,CAAC;CACH;AAED,MAAM,WAAW,SAAS,CAAC,CAAC;IAE1B,YAAY,EAAE;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAE3B,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC;CACzB;AAQD,KAAK,YAAY,CAAC,CAAC,IAAI;KAEpB,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACjD,CAAC;AAEF;;GAEG;AACH,KAAK,UAAU,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC;AA0HlG,eAAO,MAAM,KAAK,EAAE,QAAqB,CAAC"}

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

@@ -0,0 +1,188 @@
+import { Schema } from 'effect';
+export declare const Predicate: Schema.Union<[Schema.Struct<{
+    type: Schema.Literal<["eq"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["neq"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["gt"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["gte"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["lt"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["lte"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["in"]>;
+    values: Schema.Array$<typeof Schema.Any>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["range"]>;
+    from: typeof Schema.Any;
+    to: typeof Schema.Any;
+}>]>;
+export type Predicate = Schema.Schema.Type<typeof Predicate>;
+export declare const PredicateSet: Schema.Record$<Schema.SchemaClass<string, string, never>, Schema.Union<[Schema.Struct<{
+    type: Schema.Literal<["eq"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["neq"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["gt"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["gte"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["lt"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["lte"]>;
+    value: typeof Schema.Any;
+}>, Schema.Struct<{
+    type: Schema.Literal<["in"]>;
+    values: Schema.Array$<typeof Schema.Any>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["range"]>;
+    from: typeof Schema.Any;
+    to: typeof Schema.Any;
+}>]>>;
+export type PredicateSet = Schema.Schema.Type<typeof PredicateSet>;
+/**
+ * Query objects by type, id, and/or predicates.
+ */
+declare const ASTTypeClause_: Schema.Struct<{
+    type: Schema.Literal<["type"]>;
+    typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
+    id: Schema.optional<typeof Schema.String>;
+    predicates: Schema.optional<Schema.Record$<Schema.SchemaClass<string, string, never>, Schema.Union<[Schema.Struct<{
+        type: Schema.Literal<["eq"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["neq"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["gt"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["gte"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["lt"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["lte"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["in"]>;
+        values: Schema.Array$<typeof Schema.Any>;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["range"]>;
+        from: typeof Schema.Any;
+        to: typeof Schema.Any;
+    }>]>>>;
+}>;
+interface ASTTypeClause extends Schema.Schema.Type<typeof ASTTypeClause_> {
+}
+declare const ASTTypeClause: Schema.Schema<ASTTypeClause>;
+declare const ASTTextSearchClause_: Schema.Struct<{
+    type: Schema.Literal<["text-search"]>;
+    typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
+    text: typeof Schema.String;
+    searchKind: Schema.optional<Schema.Literal<["full-text", "vector"]>>;
+}>;
+interface ASTTextSearchClause extends Schema.Schema.Type<typeof ASTTextSearchClause_> {
+}
+declare const ASTTextSearchClause: Schema.Schema<ASTTextSearchClause>;
+/**
+ * Traverse references from an anchor object.
+ */
+declare const ASTReferenceTraversalClause_: Schema.Struct<{
+    type: Schema.Literal<["reference-traversal"]>;
+    anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
+    property: typeof Schema.String;
+}>;
+interface ASTReferenceTraversalClause extends Schema.Schema.Type<typeof ASTReferenceTraversalClause_> {
+}
+declare const ASTReferenceTraversalClause: Schema.Schema<ASTReferenceTraversalClause>;
+/**
+ * Traverse incoming references to an anchor object.
+ */
+declare const ASTIncomingReferencesClause_: Schema.Struct<{
+    type: Schema.Literal<["incoming-references"]>;
+    anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
+    property: typeof Schema.String;
+    typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
+}>;
+interface ASTIncomingReferencesClause extends Schema.Schema.Type<typeof ASTIncomingReferencesClause_> {
+}
+declare const ASTIncomingReferencesClause: Schema.Schema<ASTIncomingReferencesClause>;
+/**
+ * Traverse relations connecting to an anchor object.
+ */
+declare const ASTRelationClause_: Schema.Struct<{
+    type: Schema.Literal<["relation"]>;
+    anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
+    direction: Schema.Literal<["outgoing", "incoming", "both"]>;
+    typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
+    predicates: Schema.optional<Schema.Record$<Schema.SchemaClass<string, string, never>, Schema.Union<[Schema.Struct<{
+        type: Schema.Literal<["eq"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["neq"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["gt"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["gte"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["lt"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["lte"]>;
+        value: typeof Schema.Any;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["in"]>;
+        values: Schema.Array$<typeof Schema.Any>;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["range"]>;
+        from: typeof Schema.Any;
+        to: typeof Schema.Any;
+    }>]>>>;
+}>;
+interface ASTRelationClause extends Schema.Schema.Type<typeof ASTRelationClause_> {
+}
+declare const ASTRelationClause: Schema.Schema<ASTRelationClause>;
+/**
+ * Traverse into the source or target of a relation.
+ */
+declare const ASTRelationTraversalClause_: Schema.Struct<{
+    type: Schema.Literal<["relation-traversal"]>;
+    anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
+    direction: Schema.Literal<["source", "target", "both"]>;
+}>;
+interface ASTRelationTraversalClause extends Schema.Schema.Type<typeof ASTRelationTraversalClause_> {
+}
+declare const ASTRelationTraversalClause: Schema.Schema<ASTRelationTraversalClause>;
+/**
+ * Union of multiple queries.
+ */
+declare const ASTUnionClause_: Schema.Struct<{
+    type: Schema.Literal<["union"]>;
+    queries: Schema.Array$<Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>>;
+}>;
+interface ASTUnionClause extends Schema.Schema.Type<typeof ASTUnionClause_> {
+}
+declare const ASTUnionClause: Schema.Schema<ASTUnionClause>;
+declare const AST_: Schema.Union<[Schema.Schema<ASTTypeClause, ASTTypeClause, never>, Schema.Schema<ASTTextSearchClause, ASTTextSearchClause, never>, Schema.Schema<ASTReferenceTraversalClause, ASTReferenceTraversalClause, never>, Schema.Schema<ASTIncomingReferencesClause, ASTIncomingReferencesClause, never>, Schema.Schema<ASTRelationClause, ASTRelationClause, never>, Schema.Schema<ASTRelationTraversalClause, ASTRelationTraversalClause, never>, Schema.Schema<ASTUnionClause, ASTUnionClause, never>]>;
+export type AST = Schema.Schema.Type<typeof AST_>;
+export declare const AST: Schema.Schema<AST>;
+export {};
+//# sourceMappingURL=ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../../../src/query/ast.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAIhC,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;IAkCrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAC;AAE7D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;KAGvB,CAAC;AAEH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC;AAQnE;;GAEG;AACH,QAAA,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKlB,CAAC;AACH,UAAU,aAAc,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,cAAc,CAAC;CAAG;AAC5E,QAAA,MAAM,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAkB,CAAC;AAEnE,QAAA,MAAM,oBAAoB;;;;;EAKxB,CAAC;AACH,UAAU,mBAAoB,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,oBAAoB,CAAC;CAAG;AACxF,QAAA,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAwB,CAAC;AAErF;;GAEG;AACH,QAAA,MAAM,4BAA4B;;;;EAIhC,CAAC;AACH,UAAU,2BAA4B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,4BAA4B,CAAC;CAAG;AACxG,QAAA,MAAM,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,2BAA2B,CAAgC,CAAC;AAE7G;;GAEG;AACH,QAAA,MAAM,4BAA4B;;;;;EAKhC,CAAC;AACH,UAAU,2BAA4B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,4BAA4B,CAAC;CAAG;AACxG,QAAA,MAAM,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,2BAA2B,CAAgC,CAAC;AAE7G;;GAEG;AACH,QAAA,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMtB,CAAC;AACH,UAAU,iBAAkB,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,kBAAkB,CAAC;CAAG;AACpF,QAAA,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAsB,CAAC;AAE/E;;GAEG;AACH,QAAA,MAAM,2BAA2B;;;;EAI/B,CAAC;AACH,UAAU,0BAA2B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,2BAA2B,CAAC;CAAG;AACtG,QAAA,MAAM,0BAA0B,EAAE,MAAM,CAAC,MAAM,CAAC,0BAA0B,CAA+B,CAAC;AAE1G;;GAEG;AACH,QAAA,MAAM,eAAe;;;EAGnB,CAAC;AACH,UAAU,cAAe,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC;CAAG;AAC9E,QAAA,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAmB,CAAC;AAEtE,QAAA,MAAM,IAAI,oeAQT,CAAC;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;AAClD,eAAO,MAAM,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAQ,CAAC"}

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

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

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

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

package/dist/types/src/type/Relation.d.ts

@@ -0,0 +1,16 @@
+import { type RelationSourceTargetRefs } from '@dxos/echo-schema';
+export declare const def: <TSource extends import("effect/Schema").Schema.AnyNoContext, TTarget extends import("effect/Schema").Schema.AnyNoContext>(options: {
+    typename: string;
+    version: string;
+    source: TSource;
+    target: TTarget;
+}) => <Self extends import("effect/Schema").Schema.Any>(self: Self) => import("@dxos/echo-schema").EchoTypeSchema<Self, RelationSourceTargetRefs<import("effect/Schema").Schema.Type<TSource>, import("effect/Schema").Schema.Type<TTarget>>>;
+/**
+ * Get relation target type.
+ */
+export type Target<A> = A extends RelationSourceTargetRefs<infer T, infer _S> ? T : never;
+/**
+ * Get relation source type.
+ */
+export type Source<A> = A extends RelationSourceTargetRefs<infer _T, infer S> ? S : never;
+//# sourceMappingURL=Relation.d.ts.map

package/dist/types/src/type/Relation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Relation.d.ts","sourceRoot":"","sources":["../../../../src/type/Relation.ts"],"names":[],"mappings":"AAIA,OAAO,EAAgB,KAAK,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAEhF,eAAO,MAAM,GAAG;;;;;6OAAe,CAAC;AAEhC;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,wBAAwB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1F;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,wBAAwB,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/types/src/type/Type.d.ts

@@ -0,0 +1,80 @@
+import { type Schema } from 'effect';
+import { type AnyLiveObject as AnyLiveObject$ } from '@dxos/echo-db';
+import { type BaseEchoObject, type BaseObject, type BaseSchema, type EchoSchema, EntityKind, Expando as Expando$, type ImmutableSchema, type JsonSchemaType, ObjectId as ObjectId$, Ref as Ref$, type StoredSchema, type TypeMeta } from '@dxos/echo-schema';
+import { SpaceId as SpaceId$ } from '@dxos/keys';
+/**
+ * Type System API.
+ *
+ * @category api namespace
+ * @since 0.9.0
+ */
+export declare namespace Type {
+    const SpaceIdSchema: Schema.Schema<SpaceId$, string, never>;
+    const SpaceId: Readonly<{
+        byteLength: 20;
+        encode: (value: Uint8Array) => SpaceId$;
+        decode: (value: SpaceId$) => Uint8Array;
+        isValid: (value: string) => value is SpaceId$;
+        random: () => SpaceId$;
+    }>;
+    type SpaceId = SpaceId$;
+    const ObjectId: import("@dxos/echo-schema").ObjectIdClass;
+    type ObjectId = ObjectId$;
+    const Kind: typeof EntityKind;
+    type AnyObject = BaseEchoObject;
+    type AnyLiveObject<T extends BaseObject> = AnyLiveObject$<T>;
+    type JsonSchema = JsonSchemaType;
+    /**
+     * A schema that can be extended with arbitrary properties.
+     */
+    const Expando: Schema.Schema<Expando$, Expando$, never>;
+    type Expando = Expando$;
+    type Abstract<T = any> = BaseSchema<T>;
+    type ImmutableType<T> = ImmutableSchema<T>;
+    type MutableType<T> = EchoSchema<T>;
+    type StoredType = StoredSchema;
+    const create: {
+        <T extends BaseObject>(obj: T): import("@dxos/live-object").Live<T>;
+        <T extends BaseObject>(schema: Schema.Schema<T, any, never>, obj: NoInfer<import("@dxos/echo-schema").ExcludeId<T>>, meta?: import("@dxos/echo-schema").ObjectMeta): import("@dxos/live-object").Live<T>;
+    };
+    /**
+     * Defines an ECHO type.
+     *
+     * @example
+     * ```ts
+     * import { Type } from '@dxos/echo';
+     * const Organization = Schema.Struct({
+     *   name: Schema.String,
+     * }).pipe(Type.def({
+     *   typename: 'example.com/type/Organization',
+     *   version: '0.1.0',
+     * }));
+     * ```
+     */
+    const def: (meta: TypeMeta) => <Self extends Schema.Schema.Any>(self: Self) => import("@dxos/echo-schema").EchoTypeSchema<Self>;
+    /**
+     * Defines a reference to an ECHO object.
+     *
+     * @example
+     * ```ts
+     * import { Type } from '@dxos/echo';
+     * const Person = Schema.Struct({
+     *   name: Schema.String,
+     *   organization: Type.Ref(Organization),
+     * }).pipe(Type.def({
+     *   typename: 'example.com/type/Person',
+     *   version: '0.1.0',
+     * }));
+     * ```
+     */
+    const Ref: <S extends Schema.Schema.AnyNoContext>(self: S) => import("@dxos/echo-schema").Ref$<Schema.Schema.Type<S>>;
+    const ref: <T extends import("@dxos/echo-schema").WithId>(object: T) => Ref$<T>;
+    const getMeta: (schema: Schema.Schema.All) => import("@dxos/echo-schema").TypeAnnotation | undefined;
+    const getSchema: (obj: unknown | undefined) => Schema.Schema.AnyNoContext | undefined;
+    const instanceOf: <Schema extends Schema.Schema.AnyNoContext>(schema: Schema, object: any) => object is Schema.Schema.Type<Schema>;
+    const getDXN: (schema: Schema.Schema.All) => import("@dxos/keys").DXN | undefined;
+    const getTypename: (schema: Schema.Schema.AnyNoContext) => string;
+    const getVersion: (schema: Schema.Schema.All) => string | undefined;
+    const toJsonSchema: (schema: Schema.Schema.All) => JsonSchemaType;
+}
+//# sourceMappingURL=Type.d.ts.map

package/dist/types/src/type/Type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../../src/type/Type.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,OAAO,EAAE,KAAK,aAAa,IAAI,cAAc,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EAEf,UAAU,EACV,OAAO,IAAI,QAAQ,EACnB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,QAAQ,IAAI,SAAS,EACrB,GAAG,IAAI,IAAI,EAEX,KAAK,YAAY,EACjB,KAAK,QAAQ,EAQd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AAKjD;;;;;GAKG;AACH,yBAAiB,IAAI,CAAC;IAKb,MAAM,aAAa,wCAAiB,CAAC;IACrC,MAAM,OAAO;;;;;;MAAW,CAAC;IAChC,KAAY,OAAO,GAAG,QAAQ,CAAC;IAExB,MAAM,QAAQ,2CAAY,CAAC;IAClC,KAAY,QAAQ,GAAG,SAAS,CAAC;IAM1B,MAAM,IAAI,mBAAa,CAAC;IAC/B,KAAY,SAAS,GAAG,cAAc,CAAC;IACvC,KAAY,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC;IAMpE,KAAY,UAAU,GAAG,cAAc,CAAC;IAExC;;OAEG;IACI,MAAM,OAAO,0CAAW,CAAC;IAChC,KAAY,OAAO,GAAG,QAAQ,CAAC;IAG/B,KAAY,QAAQ,CAAC,CAAC,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAY,aAAa,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;IAClD,KAAY,WAAW,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3C,KAAY,UAAU,GAAG,YAAY,CAAC;IAE/B,MAAM,MAAM;;;KAAQ,CAAC;IAE5B;;;;;;;;;;;;;OAaG;IACI,MAAM,GAAG,GAAI,MAAM,QAAQ,qGAAqB,CAAC;IAMxD;;;;;;;;;;;;;;OAcG;IACI,MAAM,GAAG,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,4DAAsC,CAAC;IAEjG,MAAM,GAAG,sEAAY,CAAC;IAMtB,MAAM,OAAO,uFAAoB,CAAC;IAClC,MAAM,SAAS,sEAAa,CAAC;IAC7B,MAAM,UAAU,kHAAe,CAAC;IAOhC,MAAM,MAAM,qEAAe,CAAC;IAC5B,MAAM,WAAW,GAAI,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,KAAG,MAIhE,CAAC;IACK,MAAM,UAAU,mDAAmB,CAAC;IACpC,MAAM,YAAY,+CAAgB,CAAC;CAC3C"}

package/dist/types/src/type/Type.test.d.ts

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

package/dist/types/src/type/Type.test.d.ts.map

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

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

@@ -0,0 +1,3 @@
+export { Type } from './Type';
+export * as Relation from './Relation';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/type/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC"}

package/dist/types/tsconfig.tsbuildinfo

@@ -1 +1 @@
-{"version":"5.7.3"}
+{"version":"5.8.3"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dxos/echo",
-  "version": "0.8.2-main.36232bc",
+  "version": "0.8.2-main.5ca3450",
   "description": "ECHO API",
   "homepage": "https://dxos.org",
   "bugs": "https://github.com/dxos/dxos/issues",
@@ -22,19 +22,19 @@
   ],
   "dependencies": {
     "@preact/signals-core": "^1.6.0",
-    "effect": "3.13.3",
-    "@dxos/debug": "0.8.2-main.36232bc",
-    "@dxos/echo-db": "0.8.2-main.36232bc",
-    "@dxos/echo-protocol": "0.8.2-main.36232bc",
-    "@dxos/echo-schema": "0.8.2-main.36232bc",
-    "@dxos/effect": "0.8.2-main.36232bc",
-    "@dxos/echo-signals": "0.8.2-main.36232bc",
-    "@dxos/invariant": "0.8.2-main.36232bc",
-    "@dxos/keys": "0.8.2-main.36232bc",
-    "@dxos/live-object": "0.8.2-main.36232bc",
-    "@dxos/log": "0.8.2-main.36232bc",
-    "@dxos/node-std": "0.8.2-main.36232bc",
-    "@dxos/util": "0.8.2-main.36232bc"
+    "effect": "3.14.21",
+    "@dxos/debug": "0.8.2-main.5ca3450",
+    "@dxos/echo-db": "0.8.2-main.5ca3450",
+    "@dxos/echo-schema": "0.8.2-main.5ca3450",
+    "@dxos/echo-signals": "0.8.2-main.5ca3450",
+    "@dxos/echo-protocol": "0.8.2-main.5ca3450",
+    "@dxos/keys": "0.8.2-main.5ca3450",
+    "@dxos/effect": "0.8.2-main.5ca3450",
+    "@dxos/live-object": "0.8.2-main.5ca3450",
+    "@dxos/log": "0.8.2-main.5ca3450",
+    "@dxos/invariant": "0.8.2-main.5ca3450",
+    "@dxos/node-std": "0.8.2-main.5ca3450",
+    "@dxos/util": "0.8.2-main.5ca3450"
   },
   "publishConfig": {
     "access": "public"

package/src/{Database.ts → experimental/database.ts}

@@ -8,4 +8,4 @@
  * @category api namespace
  * @since 0.9.0
  */
-export declare namespace Database {}
+export namespace Database {}

package/src/experimental/index.ts

@@ -0,0 +1,7 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+// export type { Database } from './database';
+// export type { Queue } from './queue';
+// export type { Space } from './space';

package/src/{Queue.ts → experimental/queue.ts}

@@ -8,4 +8,4 @@
  * @category api namespace
  * @since 0.9.0
  */
-export declare namespace Queue {}
+export namespace Queue {}

package/src/index.ts

@@ -2,11 +2,7 @@
 // Copyright 2025 DXOS.org
 //
 
-import { DXN } from '@dxos/keys';
+export { Format, FormatEnum } from '@dxos/echo-schema';
+export { DXN } from '@dxos/keys';
 
-export { DXN };
-
-export * as Database from './Database';
-export * as Queue from './Queue';
-export * as Space from './Space';
-export * as Type from './Type';
+export * from './type';