@dxos/echo 0.8.2-main.12df754 → 0.8.2-main.30e4dbb

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

@@ -0,0 +1,183 @@
+import { type Schema } from 'effect';
+import type { Simplify } from 'effect/Schema';
+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.Query;
+    /**
+     * Filter the current selection based on a filter.
+     * @param filter - Filter to select the objects.
+     * @returns Query for the selected objects.
+     */
+    select(filter: Filter<T>): Query<T>;
+    select(props: Filter.Props<T>): Query<T>;
+    /**
+     * 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?: Filter.Props<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?: Filter.Props<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 {
+    /**
+     * Select objects based on a filter.
+     * @param filter - Filter to select the objects.
+     * @returns Query for the selected objects.
+     */
+    select<F extends Filter.Any>(filter: F): Query<Filter.Type<F>>;
+    /**
+     * 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.
+     *
+     * Shorthand for: `Query.select(Filter.type(schema, predicates))`.
+     */
+    type<S extends Schema.Schema.All>(schema: S, predicates?: Filter.Props<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
+    /**
+     * Full-text or vector search.
+     *
+     * @deprecated Use `Filter`.
+     */
+    /**
+     * Combine results of multiple queries.
+     * @param queries - Queries to combine.
+     * @returns Query for the combined results.
+     */
+    all<T>(...queries: Query<T>[]): Query<T>;
+}
+export declare namespace Query {
+    type TextSearchOptions = {
+        type?: 'full-text' | 'vector';
+    };
+}
+export interface Filter<T> {
+    '~Filter': {
+        value: T;
+    };
+    ast: QueryAST.Filter;
+}
+type Intersection<Types extends readonly unknown[]> = Types extends [infer First, ...infer Rest] ? First & Intersection<Rest> : unknown;
+interface FilterAPI {
+    is(value: unknown): value is Filter<any>;
+    /**
+     * Filter by type.
+     */
+    type<S extends Schema.Schema.All>(schema: S, props?: Filter.Props<Schema.Schema.Type<S>>): Filter<Schema.Schema.Type<S>>;
+    /**
+     * Filter by properties.
+     */
+    /**
+     * Full-text or vector search.
+     */
+    text<S extends Schema.Schema.All>(schema: S, text: string, options?: Query.TextSearchOptions): 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 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<T>;
+    /**
+     * Negate the filter.
+     */
+    not<F extends Filter.Any>(filter: F): Filter<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[]> = Simplify<Intersection<{
+        [K in keyof FS]: Type<FS[K]>;
+    }>>;
+    type Or<FS extends readonly Any[]> = Simplify<{
+        [K in keyof FS]: Type<FS[K]>;
+    }[number]>;
+}
+export declare const Filter: FilterAPI;
+/**
+ * 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;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAG9C,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,KAAK,CAAC;IAEpB;;;;OAIG;IACH,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEzC;;;;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,MAAM,CAAC,KAAK,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,MAAM,CAAC,KAAK,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;;;;OAIG;IACH,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/D;;;;;;;OAOG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,EAAE,CAAC,EACT,UAAU,CAAC,EAAE,MAAM,CAAC,KAAK,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;;;;OAIG;IASH;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;CAC1C;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,MAAM,CAAC,CAAC;IAEvB,SAAS,EAAE;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAExB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;CACtB;AAED,KAAK,YAAY,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,IAAI,KAAK,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAC5F,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,GAC1B,OAAO,CAAC;AAEZ,UAAU,SAAS;IACjB,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAEzC;;OAEG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,EAAE,CAAC,EACT,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;IAGH;;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,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjC;;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;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAEtC;;OAEG;IACH,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAEhD;;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;IAEvB,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAEjE,KAAK,GAAG,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,IAAI,QAAQ,CAAC,YAAY,CAAC;SAAG,CAAC,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,CAAC,CAAC;IAE/F,KAAK,EAAE,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,IAAI,QAAQ,CAAC;SAAG,CAAC,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,MAAM,CAAC,CAAC,CAAC;CACzF;AAuID,eAAO,MAAM,MAAM,EAAE,SAAuB,CAAC;AAE7C;;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;AA4GlG,eAAO,MAAM,KAAK,EAAE,QAAqB,CAAC"}

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

@@ -0,0 +1,146 @@
+import { Schema } from 'effect';
+declare const FilterObject_: Schema.Struct<{
+    type: Schema.Literal<["object"]>;
+    typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
+    props: Schema.Record$<Schema.SchemaClass<string, string, never>, Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>>;
+}>;
+interface FilterObject extends Schema.Schema.Type<typeof FilterObject_> {
+}
+declare const FilterObject: Schema.Schema<FilterObject>;
+declare const FilterCompare_: Schema.Struct<{
+    type: Schema.Literal<["compare"]>;
+    operator: Schema.Literal<["eq", "neq", "gt", "gte", "lt", "lte"]>;
+    value: typeof Schema.Unknown;
+}>;
+interface FilterCompare extends Schema.Schema.Type<typeof FilterCompare_> {
+}
+declare const FilterCompare: Schema.Schema<FilterCompare>;
+declare const FilterIn_: Schema.Struct<{
+    type: Schema.Literal<["in"]>;
+    values: Schema.Array$<typeof Schema.Any>;
+}>;
+interface FilterIn extends Schema.Schema.Type<typeof FilterIn_> {
+}
+declare const FilterIn: Schema.Schema<FilterIn>;
+declare const FilterRange_: Schema.Struct<{
+    type: Schema.Literal<["range"]>;
+    from: typeof Schema.Any;
+    to: typeof Schema.Any;
+}>;
+interface FilterRange extends Schema.Schema.Type<typeof FilterRange_> {
+}
+declare const FilterRange: Schema.Schema<FilterRange>;
+declare const FilterTextSearch_: 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 FilterTextSearch extends Schema.Schema.Type<typeof FilterTextSearch_> {
+}
+declare const FilterTextSearch: Schema.Schema<FilterTextSearch>;
+declare const FilterNot_: Schema.Struct<{
+    type: Schema.Literal<["not"]>;
+    filter: Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>;
+}>;
+interface FilterNot extends Schema.Schema.Type<typeof FilterNot_> {
+}
+declare const FilterNot: Schema.Schema<FilterNot>;
+declare const FilterAnd_: Schema.Struct<{
+    type: Schema.Literal<["and"]>;
+    filters: Schema.Array$<Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>>;
+}>;
+interface FilterAnd extends Schema.Schema.Type<typeof FilterAnd_> {
+}
+declare const FilterAnd: Schema.Schema<FilterAnd>;
+declare const FilterOr_: Schema.Struct<{
+    type: Schema.Literal<["or"]>;
+    filters: Schema.Array$<Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>>;
+}>;
+interface FilterOr extends Schema.Schema.Type<typeof FilterOr_> {
+}
+declare const FilterOr: Schema.Schema<FilterOr>;
+export declare const Filter: Schema.Union<[Schema.Schema<FilterObject, FilterObject, never>, Schema.Schema<FilterTextSearch, FilterTextSearch, never>, Schema.Schema<FilterCompare, FilterCompare, never>, Schema.Schema<FilterIn, FilterIn, never>, Schema.Schema<FilterRange, FilterRange, never>, Schema.Schema<FilterNot, FilterNot, never>, Schema.Schema<FilterAnd, FilterAnd, never>, Schema.Schema<FilterOr, FilterOr, never>]>;
+export type Filter = Schema.Schema.Type<typeof Filter>;
+/**
+ * Query objects by type, id, and/or predicates.
+ */
+declare const QuerySelectClause_: Schema.Struct<{
+    type: Schema.Literal<["select"]>;
+    filter: Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>;
+}>;
+interface QuerySelectClause extends Schema.Schema.Type<typeof QuerySelectClause_> {
+}
+declare const QuerySelectClause: Schema.Schema<QuerySelectClause>;
+/**
+ * Filter objects from selection.
+ */
+declare const QueryFilterClause_: Schema.Struct<{
+    type: Schema.Literal<["filter"]>;
+    selection: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
+    filter: Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>;
+}>;
+interface QueryFilterClause extends Schema.Schema.Type<typeof QueryFilterClause_> {
+}
+declare const QueryFilterClause: Schema.Schema<QueryFilterClause>;
+/**
+ * Traverse references from an anchor object.
+ */
+declare const QueryReferenceTraversalClause_: Schema.Struct<{
+    type: Schema.Literal<["reference-traversal"]>;
+    anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
+    property: typeof Schema.String;
+}>;
+interface QueryReferenceTraversalClause extends Schema.Schema.Type<typeof QueryReferenceTraversalClause_> {
+}
+declare const QueryReferenceTraversalClause: Schema.Schema<QueryReferenceTraversalClause>;
+/**
+ * Traverse incoming references to an anchor object.
+ */
+declare const QueryIncomingReferencesClause_: Schema.Struct<{
+    type: Schema.Literal<["incoming-references"]>;
+    anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
+    property: typeof Schema.String;
+    typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
+}>;
+interface QueryIncomingReferencesClause extends Schema.Schema.Type<typeof QueryIncomingReferencesClause_> {
+}
+declare const QueryIncomingReferencesClause: Schema.Schema<QueryIncomingReferencesClause>;
+/**
+ * Traverse relations connecting to an anchor object.
+ */
+declare const QueryRelationClause_: Schema.Struct<{
+    type: Schema.Literal<["relation"]>;
+    anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
+    direction: Schema.Literal<["outgoing", "incoming", "both"]>;
+    filter: Schema.optional<Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>>;
+}>;
+interface QueryRelationClause extends Schema.Schema.Type<typeof QueryRelationClause_> {
+}
+declare const QueryRelationClause: Schema.Schema<QueryRelationClause>;
+/**
+ * Traverse into the source or target of a relation.
+ */
+declare const QueryRelationTraversalClause_: Schema.Struct<{
+    type: Schema.Literal<["relation-traversal"]>;
+    anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
+    direction: Schema.Literal<["source", "target", "both"]>;
+}>;
+interface QueryRelationTraversalClause extends Schema.Schema.Type<typeof QueryRelationTraversalClause_> {
+}
+declare const QueryRelationTraversalClause: Schema.Schema<QueryRelationTraversalClause>;
+/**
+ * Union of multiple queries.
+ */
+declare const QueryUnionClause_: Schema.Struct<{
+    type: Schema.Literal<["union"]>;
+    queries: Schema.Array$<Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>>;
+}>;
+interface QueryUnionClause extends Schema.Schema.Type<typeof QueryUnionClause_> {
+}
+declare const QueryUnionClause: Schema.Schema<QueryUnionClause>;
+declare const Query_: Schema.Union<[Schema.Schema<QuerySelectClause, QuerySelectClause, never>, Schema.Schema<QueryFilterClause, QueryFilterClause, never>, Schema.Schema<QueryReferenceTraversalClause, QueryReferenceTraversalClause, never>, Schema.Schema<QueryIncomingReferencesClause, QueryIncomingReferencesClause, never>, Schema.Schema<QueryRelationClause, QueryRelationClause, never>, Schema.Schema<QueryRelationTraversalClause, QueryRelationTraversalClause, never>, Schema.Schema<QueryUnionClause, QueryUnionClause, never>]>;
+export type Query = Schema.Schema.Type<typeof Query_>;
+export declare const Query: Schema.Schema<Query>;
+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;AAUhC,QAAA,MAAM,aAAa;;;;EAOjB,CAAC;AACH,UAAU,YAAa,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC;CAAG;AAC1E,QAAA,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAiB,CAAC;AAEhE,QAAA,MAAM,cAAc;;;;EAIlB,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,SAAS;;;EAGb,CAAC;AACH,UAAU,QAAS,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC;CAAG;AAClE,QAAA,MAAM,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAa,CAAC;AAEpD,QAAA,MAAM,YAAY;;;;EAIhB,CAAC;AACH,UAAU,WAAY,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,CAAC;CAAG;AACxE,QAAA,MAAM,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAgB,CAAC;AAE7D,QAAA,MAAM,iBAAiB;;;;;EAKrB,CAAC;AACH,UAAU,gBAAiB,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,iBAAiB,CAAC;CAAG;AAClF,QAAA,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAqB,CAAC;AAE5E,QAAA,MAAM,UAAU;;;EAGd,CAAC;AACH,UAAU,SAAU,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC;CAAG;AACpE,QAAA,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAc,CAAC;AAEvD,QAAA,MAAM,UAAU;;;EAGd,CAAC;AACH,UAAU,SAAU,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC;CAAG;AACpE,QAAA,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAc,CAAC;AAEvD,QAAA,MAAM,SAAS;;;EAGb,CAAC;AACH,UAAU,QAAS,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC;CAAG;AAClE,QAAA,MAAM,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAa,CAAC;AAEpD,eAAO,MAAM,MAAM,4YASlB,CAAC;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAC;AAEvD;;GAEG;AACH,QAAA,MAAM,kBAAkB;;;EAGtB,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,kBAAkB;;;;EAItB,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,8BAA8B;;;;EAIlC,CAAC;AACH,UAAU,6BAA8B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,8BAA8B,CAAC;CAAG;AAC5G,QAAA,MAAM,6BAA6B,EAAE,MAAM,CAAC,MAAM,CAAC,6BAA6B,CAAkC,CAAC;AAEnH;;GAEG;AACH,QAAA,MAAM,8BAA8B;;;;;EAKlC,CAAC;AACH,UAAU,6BAA8B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,8BAA8B,CAAC;CAAG;AAC5G,QAAA,MAAM,6BAA6B,EAAE,MAAM,CAAC,MAAM,CAAC,6BAA6B,CAAkC,CAAC;AAEnH;;GAEG;AACH,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,6BAA6B;;;;EAIjC,CAAC;AACH,UAAU,4BAA6B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,6BAA6B,CAAC;CAAG;AAC1G,QAAA,MAAM,4BAA4B,EAAE,MAAM,CAAC,MAAM,CAAC,4BAA4B,CAAiC,CAAC;AAEhH;;GAEG;AACH,QAAA,MAAM,iBAAiB;;;EAGrB,CAAC;AACH,UAAU,gBAAiB,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,iBAAiB,CAAC;CAAG;AAClF,QAAA,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAqB,CAAC;AAE5E,QAAA,MAAM,MAAM,4fAQX,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAC;AACtD,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAU,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.12df754",
+  "version": "0.8.2-main.30e4dbb",
   "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.12df754",
-    "@dxos/echo-protocol": "0.8.2-main.12df754",
-    "@dxos/echo-db": "0.8.2-main.12df754",
-    "@dxos/echo-signals": "0.8.2-main.12df754",
-    "@dxos/effect": "0.8.2-main.12df754",
-    "@dxos/invariant": "0.8.2-main.12df754",
-    "@dxos/keys": "0.8.2-main.12df754",
-    "@dxos/live-object": "0.8.2-main.12df754",
-    "@dxos/echo-schema": "0.8.2-main.12df754",
-    "@dxos/log": "0.8.2-main.12df754",
-    "@dxos/node-std": "0.8.2-main.12df754",
-    "@dxos/util": "0.8.2-main.12df754"
+    "effect": "3.14.21",
+    "@dxos/debug": "0.8.2-main.30e4dbb",
+    "@dxos/echo-protocol": "0.8.2-main.30e4dbb",
+    "@dxos/echo-signals": "0.8.2-main.30e4dbb",
+    "@dxos/echo-schema": "0.8.2-main.30e4dbb",
+    "@dxos/effect": "0.8.2-main.30e4dbb",
+    "@dxos/echo-db": "0.8.2-main.30e4dbb",
+    "@dxos/invariant": "0.8.2-main.30e4dbb",
+    "@dxos/live-object": "0.8.2-main.30e4dbb",
+    "@dxos/log": "0.8.2-main.30e4dbb",
+    "@dxos/keys": "0.8.2-main.30e4dbb",
+    "@dxos/util": "0.8.2-main.30e4dbb",
+    "@dxos/node-std": "0.8.2-main.30e4dbb"
   },
   "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';