@dxos/echo 0.8.4-main.fd6878d → 0.8.4-staging.60fe92afc8

package/dist/types/src/Order.d.ts

@@ -0,0 +1,26 @@
+import { type QueryAST } from '@dxos/echo-protocol';
+export interface Order<T> {
+    '~Order': {
+        value: T;
+    };
+    ast: QueryAST.Order;
+}
+export type Any = Order<any>;
+export declare const natural: Order<any>;
+export declare const property: <T>(property: keyof T & string, direction: QueryAST.OrderDirection) => Order<T>;
+/**
+ * Order by relevance rank (for FTS/vector search results).
+ * Higher rank = better match. Default direction is 'desc' (best matches first).
+ */
+export declare const rank: <T>(direction?: QueryAST.OrderDirection) => Order<T>;
+/**
+ * Order by the system `updatedAt` timestamp (last re-indexed). Default direction is 'desc'
+ * (most-recently-updated first). Mirrors {@link Filter.updated}.
+ */
+export declare const updated: <T>(direction?: QueryAST.OrderDirection) => Order<T>;
+/**
+ * Order by the system `createdAt` timestamp (first indexed). Default direction is 'desc'
+ * (most-recently-created first). Mirrors {@link Filter.created}.
+ */
+export declare const created: <T>(direction?: QueryAST.OrderDirection) => Order<T>;
+//# sourceMappingURL=Order.d.ts.map

package/dist/types/src/Order.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Order.d.ts","sourceRoot":"","sources":["../../../src/Order.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAEpD,MAAM,WAAW,KAAK,CAAC,CAAC;IAEtB,QAAQ,EAAE;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAEvB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;CACrB;AAED,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;AAc7B,eAAO,MAAM,OAAO,EAAE,KAAK,CAAC,GAAG,CAAuC,CAAC;AACvE,eAAO,MAAM,QAAQ,GAAI,CAAC,YAAY,MAAM,CAAC,GAAG,MAAM,aAAa,QAAQ,CAAC,cAAc,KAAG,KAAK,CAAC,CAAC,CAKhG,CAAC;AAEL;;;GAGG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,cAAa,QAAQ,CAAC,cAAc,KAAY,KAAK,CAAC,CAAC,CAIzE,CAAC;AAEL;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,cAAa,QAAQ,CAAC,cAAc,KAAY,KAAK,CAAC,CAAC,CAK5E,CAAC;AAEL;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,cAAa,QAAQ,CAAC,cAAc,KAAY,KAAK,CAAC,CAAC,CAK5E,CAAC"}

package/dist/types/src/Query.d.ts

@@ -0,0 +1,231 @@
+import type * as EffectArray from 'effect/Array';
+import type * as Schema from 'effect/Schema';
+import { type QueryAST } from '@dxos/echo-protocol';
+import { type URI } from '@dxos/keys';
+import * as Database from './Database';
+import type * as Dataset from './Dataset';
+import * as Feed from './Feed';
+import * as Filter from './Filter';
+import * as internal from './internal';
+import type * as Order from './Order';
+import type * as Ref from './Ref';
+import type * as Relation from './Relation';
+import type * as Type$ from './Type';
+/**
+ * All property paths inside T that are references.
+ */
+type RefPropKey<T> = keyof T & string;
+type RefArrayElement<A> = A extends readonly (infer E)[] ? E : A extends (infer E)[] ? E : never;
+/** Target entity when traversing an outgoing ref or array-of-refs property. */
+type ReferenceTraversalTarget<P> = P extends Ref.Unknown ? Ref.Target<P> : P extends Ref.Unknown | undefined ? Ref.Target<Exclude<P, undefined>> : RefArrayElement<P> extends Ref.Unknown ? Ref.Target<RefArrayElement<P>> : never;
+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.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 or optional reference.
+     * @returns Query for the target of the reference.
+     */
+    'reference'<K extends RefPropKey<T>>(key: K): Query<ReferenceTraversalTarget<T[K]>>;
+    /**
+     * Find objects referencing this object.
+     * @param target - Schema of the referencing object. If not provided, matches any type.
+     * @param key - Property path inside the referencing object that is a reference. If not provided, matches any property.
+     * @returns Query for the referencing objects.
+     */
+    'referencedBy'<S extends Type$.AnyEntity>(target: S | URI.URI, key: RefPropKey<Type$.InstanceType<S>>): Query<Type$.InstanceType<S>>;
+    'referencedBy'<S extends Type$.AnyEntity>(target: S | URI.URI): Query<Type$.InstanceType<S>>;
+    'referencedBy'(): Query<any>;
+    /**
+     * 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'<R extends Type$.AnyRelation>(relation?: R | URI.URI, predicates?: Filter.Props<Type$.InstanceType<R>>): Query<Type$.InstanceType<R>>;
+    /**
+     * Find relations where this object is the target.
+     * @returns Query for the relation objects.
+     * @param relation - Type entity of the relation.
+     * @param predicates - Predicates to filter the relation objects.
+     */
+    'targetOf'<R extends Type$.AnyRelation>(relation?: R | URI.URI, predicates?: Filter.Props<Type$.InstanceType<R>>): Query<Type$.InstanceType<R>>;
+    /**
+     * For a query for relations, get the source objects.
+     * @returns Query for the source objects.
+     */
+    'source'(): Query<Relation.SourceOf<T>>;
+    /**
+     * For a query for relations, get the target objects.
+     * @returns Query for the target objects.
+     */
+    'target'(): Query<Relation.TargetOf<T>>;
+    /**
+     * Get the parent object of the current selection.
+     * @returns Query for the parent objects.
+     */
+    'parent'(): Query<any>;
+    /**
+     * Get all child objects of the current selection.
+     * @returns Query for the child objects.
+     */
+    'children'(): Query<any>;
+    /**
+     * Order the query results.
+     * Orders are specified in priority order. The first order will be applied first, etc.
+     * @param order - Order to sort the results.
+     * @returns Query for the ordered results.
+     */
+    'orderBy'(...order: EffectArray.NonEmptyArray<Order.Order<T>>): Query<T>;
+    /**
+     * Limit the number of results.
+     * @param limit - Maximum number of results to return.
+     * @returns Query for the limited results.
+     */
+    'limit'(limit: number): Query<T>;
+    /**
+     * Query from selected databases only.
+     *
+     * Example:
+     *
+     * ```ts
+     * Query.select(Filter.type(Person)).from(db);
+     * ```
+     *
+     * @param options.includeFeeds [false] - Whether to include feeds in the query. Default is to query from automerge documents only.
+     */
+    'from'(database: Database.Database | Database.Database[], options?: {
+        includeFeeds?: boolean;
+    }): Query<T>;
+    /**
+     * Query from selected feeds only.
+     *
+     * Example:
+     *
+     * ```ts
+     * Query.select(Filter.type(Person)).from(feed);
+     * ```
+     *
+     */
+    'from'(feeds: Feed.Feed | Feed.Feed[]): Query<T>;
+    /**
+     * Query from all accessible spaces.
+     *
+     * Example:
+     *
+     * ```ts
+     * Query.select(Filter.type(Person)).from('all-accessible-spaces');
+     * ```
+     *
+     * @param options.includeFeeds [false] - Whether to include feeds in the query. Default is to query from automerge documents only.
+     */
+    'from'(allSpaces: 'all-accessible-spaces', options?: {
+        includeFeeds?: boolean;
+    }): Query<T>;
+    /**
+     * Query from a dataset.
+     * Currently only feeds are supported.
+     *
+     * Example:
+     *
+     * ```ts
+     * Query.type(Person).from(feed);
+     * ```
+     */
+    'from'(dataset: Dataset.Dataset): Query<T>;
+    /**
+     * Query from the results of another query.
+     *
+     * Example:
+     *
+     * ```ts
+     * Query.select(Filter.props({ foo: 'foo' })).from(Query.select(Filter.type(Contact)).reference('org'));
+     * ```
+     */
+    'from'(query: Any): Query<T>;
+    /**
+     * Query from one or more raw scopes.
+     *
+     * Use the {@link Scope} constructors rather than raw tagged objects:
+     *
+     * ```ts
+     * Query.select(Filter.type(Type.Type)).from(Scope.space(), Scope.registry());
+     * ```
+     */
+    'from'(...scopes: QueryAST.Scope[]): Query<T>;
+    /**
+     * Query from a raw scope or array of scopes.
+     */
+    'from'(scope: QueryAST.Scope | QueryAST.Scope[]): Query<T>;
+    /**
+     * Add options to a query.
+     */
+    'options'(options: QueryAST.QueryOptions): Query<T>;
+    /**
+     * Attach a diagnostic label for logs and tooling (execution semantics unchanged).
+     */
+    'debugLabel'(label: string): Query<T>;
+}
+export type Any = Query<any>;
+export type Type<Q extends Any> = Q extends Query<infer T> ? T : never;
+export declare const is: (value: unknown) => value is Any;
+/** Construct a query from an ast. */
+export declare const fromAst: (ast: QueryAST.Query) => Any;
+/**
+ * Select objects based on a filter.
+ * @param filter - Filter to select the objects.
+ * @returns Query for the selected objects.
+ */
+export declare const 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))`.
+ */
+export declare const type: {
+    <T extends Type$.AnyEntity>(type: T, predicates?: Filter.Props<Type$.InstanceType<T>>): Query<Type$.InstanceType<T>>;
+    <S extends internal.UnknownTypeSchema<any, any>>(schema: S, predicates?: Filter.Props<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
+    <S extends Schema.Union<readonly Schema.Schema.AnyNoContext[]>>(union: S, predicates?: Filter.Props<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
+    (uri: URI.URI, predicates?: Filter.Props<unknown>): Query<any>;
+};
+/**
+ * Combine results of multiple queries.
+ * @param queries - Queries to combine.
+ * @returns Query for the combined results.
+ */
+export declare const all: (...queries: Any[]) => Any;
+/**
+ * Subtract one query from another.
+ * @param source - Query to subtract from.
+ * @param exclude - Query to subtract.
+ * @returns Query for the results of the source query minus the results of the exclude query.
+ */
+export declare const without: <T>(source: Query<T>, exclude: Query<T>) => Query<T>;
+/**
+ * Create a query scoped to a data source.
+ * The returned query selects everything from the source; chain `.select()` to narrow results.
+ *
+ * @param source - Data source: database, feed, 'all-accessible-spaces', or another query.
+ * @returns Query scoped to the given source.
+ */
+export declare const from: (...args: [(Database.Database | Database.Database[] | Feed.Feed | Feed.Feed[] | Any | QueryAST.Scope | QueryAST.Scope[] | 'all-accessible-spaces'), {
+    includeFeeds?: boolean;
+}?] | QueryAST.Scope[]) => Any;
+/**
+ * Returns a human-readable string representation of a Query AST.
+ */
+export declare const pretty: (query: Any) => string;
+export {};
+//# sourceMappingURL=Query.d.ts.map

package/dist/types/src/Query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Query.d.ts","sourceRoot":"","sources":["../../../src/Query.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,KAAK,WAAW,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAGtC,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAC1C,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AAEvC,OAAO,KAAK,KAAK,KAAK,MAAM,SAAS,CAAC;AACtC,OAAO,KAAK,KAAK,GAAG,MAAM,OAAO,CAAC;AAClC,OAAO,KAAK,KAAK,QAAQ,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,KAAK,KAAK,MAAM,QAAQ,CAAC;AAOrC;;GAEG;AAEH,KAAK,UAAU,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC;AAEtC,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;AAEjG,+EAA+E;AAC/E,KAAK,wBAAwB,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,OAAO,GACpD,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GACb,CAAC,SAAS,GAAG,CAAC,OAAO,GAAG,SAAS,GAC/B,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GACjC,eAAe,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,OAAO,GACpC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAC9B,KAAK,CAAC;AAGd,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,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAE3C;;;;OAIG;IACH,WAAW,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpF;;;;;OAKG;IAGH,cAAc,CAAC,CAAC,SAAS,KAAK,CAAC,SAAS,EACtC,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,EACnB,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GACrC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,cAAc,CAAC,CAAC,SAAS,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,cAAc,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;IAE7B;;;;;OAKG;IACH,UAAU,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,EACpC,QAAQ,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,EACtB,UAAU,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;;;OAKG;IACH,UAAU,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,EACpC,QAAQ,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,EACtB,UAAU,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;OAGG;IACH,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAExC;;;OAGG;IACH,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAExC;;;OAGG;IACH,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;IAEvB;;;OAGG;IACH,UAAU,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;IAEzB;;;;;OAKG;IACH,SAAS,CAAC,GAAG,KAAK,EAAE,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEzE;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEjC;;;;;;;;;;OAUG;IACH,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAE1G;;;;;;;;;OASG;IACH,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEjD;;;;;;;;;;OAUG;IACH,MAAM,CAAC,SAAS,EAAE,uBAAuB,EAAE,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAE3F;;;;;;;;;OASG;IACH,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAE3C;;;;;;;;OAQG;IACH,MAAM,CAAC,KAAK,EAAE,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B;;;;;;;;OAQG;IACH,MAAM,CAAC,GAAG,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAE9C;;OAEG;IACH,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAE3D;;OAEG;IACH,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;CACvC;AAED,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;AAE7B,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AA6QvE,eAAO,MAAM,EAAE,UAAW,OAAO,KAAG,KAAK,IAAI,GAE5C,CAAC;AAEF,qCAAqC;AACrC,eAAO,MAAM,OAAO,QAAS,QAAQ,CAAC,KAAK,KAAG,GAE7C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,UAAU,CAAC,KAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAK5E,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,CAAC,SAAS,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAErH,CAAC,CAAC,SAAS,QAAQ,CAAC,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,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;IAChC,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EAC5D,KAAK,EAAE,CAAC,EACR,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;IAChC,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;CAMhE,CAAC;AAEF;;;;GAIG;AAEH,eAAO,MAAM,GAAG,eAAgB,GAAG,EAAE,KAAG,GAUvC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,CAMvE,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,YAEX,CACE,CACI,QAAQ,CAAC,QAAQ,GACjB,QAAQ,CAAC,QAAQ,EAAE,GACnB,IAAI,CAAC,IAAI,GACT,IAAI,CAAC,IAAI,EAAE,GACX,GAAG,GACH,QAAQ,CAAC,KAAK,GACd,QAAQ,CAAC,KAAK,EAAE,GAChB,uBAAuB,CAC1B,EACD;IAAE,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC,CAC5B,GACD,QAAQ,CAAC,KAAK,EAAE,KACnB,GAOF,CAAC;AAgBF;;GAEG;AACH,eAAO,MAAM,MAAM,UAAW,GAAG,KAAG,MAAyC,CAAC"}

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

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

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

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

package/dist/types/src/QueryResult.d.ts

@@ -0,0 +1,101 @@
+import type * as Atom from '@effect-atom/atom/Atom';
+import * as Effect from 'effect/Effect';
+import * as Option from 'effect/Option';
+import { type CleanupFn } from '@dxos/async';
+import type * as Entity from './Entity';
+/**
+ * Individual query result entry.
+ */
+export type Entry<T> = {
+    id: string;
+    /**
+     * May not be present for remote results.
+     */
+    result?: T;
+    match?: {
+        /**
+         * Higher means better match.
+         */
+        rank: number;
+    };
+    /**
+     * Query resolution metadata.
+     */
+    resolution?: {
+        source: 'remote' | 'local' | 'index';
+        /**
+         * Query resolution time in milliseconds.
+         */
+        time: number;
+    };
+};
+/**
+ * Invidual query result entry for a database Entity.
+ */
+export type EntityEntry<T extends Entity.Unknown = Entity.Unknown> = Entry<T>;
+export type RunOptions = {
+    timeout?: number;
+};
+export type SubscriptionOptions = {
+    /**
+     * Fire the callback immediately.
+     */
+    fire?: boolean;
+};
+export interface QueryResult<T> {
+    /**
+     * Currently available results along with their match metadata.
+     */
+    readonly entries: Entry<T>[];
+    /**
+     * Currently available results.
+     */
+    readonly results: T[];
+    /**
+     * Returns all known results.
+     */
+    run(opts?: RunOptions): Promise<T[]>;
+    /**
+     * Returns all known results along with their match metadata.
+     */
+    runEntries(opts?: RunOptions): Promise<Entry<T>[]>;
+    /**
+     * Returns currently available results synchronously.
+     */
+    runSync(): T[];
+    /**
+     * Returns currently available results synchronously along with their match metadata.
+     */
+    runSyncEntries(): Entry<T>[];
+    /**
+     * Returns first result.
+     */
+    first(opts?: RunOptions): Promise<T>;
+    /**
+     * Returns first result if there is one.
+     */
+    firstOrUndefined(opts?: RunOptions): Promise<T | undefined>;
+    /**
+     * Subscribes to changes in query results.
+     */
+    subscribe(callback?: (query: QueryResult<T>) => void, opts?: SubscriptionOptions): CleanupFn;
+    /**
+     * Self-updating atom. Updates automatically when query results change.
+     *
+     * Memoized per QueryResult instance — repeated accesses on the same instance return the same
+     * Atom. Safe only when the QueryResult is itself held stable across re-renders (e.g. behind a
+     * `useMemo`). It must NOT be used in graph-builder connectors/actions or other atom computes,
+     * where `db.query(...)` is called fresh on each re-evaluation: every run constructs a new
+     * QueryResult and so a new atom + subscription, leaking the previous ones. Use the memoized
+     * {@link atom} family there instead.
+     */
+    readonly atom: Atom.Atom<T[]>;
+}
+/**
+ * Effect that returns a QueryResult when evaluated, but also has shorthand methods for running the query or getting the first result.
+ */
+export interface QueryResultEffect<T, E, R> extends Effect.Effect<QueryResult<T>, E, R> {
+    run: Effect.Effect<T[], E, R>;
+    first: Effect.Effect<Option.Option<T>, E, R>;
+}
+//# sourceMappingURL=QueryResult.d.ts.map

package/dist/types/src/QueryResult.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryResult.d.ts","sourceRoot":"","sources":["../../../src/QueryResult.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,IAAI,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,KAAK,KAAK,MAAM,MAAM,UAAU,CAAC;AAExC;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI;IACrB,EAAE,EAAE,MAAM,CAAC;IAEX;;OAEG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC;IAEX,KAAK,CAAC,EAAE;QAGN;;WAEG;QACH,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;IAEF;;OAEG;IAEH,UAAU,CAAC,EAAE;QAEX,MAAM,EAAE,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;QAErC;;WAEG;QACH,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC;;OAEG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,CAAC;AAGF,MAAM,WAAW,WAAW,CAAC,CAAC;IAC5B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;IAEtB;;OAEG;IACH,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IAErC;;OAEG;IACH,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAEnD;;OAEG;IACH,OAAO,IAAI,CAAC,EAAE,CAAC;IAEf;;OAEG;IACH,cAAc,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7B;;OAEG;IACH,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAErC;;OAEG;IACH,gBAAgB,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IAE5D;;OAEG;IACH,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,IAAI,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAE7F;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrF,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAG9C"}

package/dist/types/src/Ref.d.ts

@@ -1,21 +1,79 @@
-import * as EchoSchema from '@dxos/echo-schema';
+import type * as Schema from 'effect/Schema';
+import * as SchemaAST from 'effect/SchemaAST';
+import { type URI } from '@dxos/keys';
+import type * as Entity from './Entity';
+import type * as internal from './internal';
+import * as refInternal from './internal/Ref';
 import type * as Obj from './Obj';
-export type Ref<T> = EchoSchema.Ref<T>;
-export type Any = EchoSchema.Ref<Obj.Any>;
+import type * as TypeNs from './Type';
+/**
+ * Instance type for a reference.
+ *
+ * Reference can point to any object or relation.
+ * References are lazy loaded.
+ *
+ * `ref.dxn` is the DXN of the referenced object.
+ *
+ * @example
+ * ```ts
+ * const taskRef: Ref<Task> = Ref.make(task);
+ *
+ * await taskRef.load(); // Returns Promise<Task>
+ * yield* Database.load(taskRef); // Effectful version.
+ *
+ * database.makeRef(dxn); // Create a ref from a DXN.
+ * ```
+ */
+export type Ref<T> = refInternal.Ref<T>;
+export type Unknown = refInternal.Ref<Obj.Unknown>;
+/**
+ * Factory function to create a Ref schema for the given target schema.
+ * Use this in schema definitions to declare reference fields.
+ *
+ * @example
+ * ```ts
+ * const Task = Schema.Struct({
+ *   assignee: Ref.Ref(Person),  // Creates a Ref schema
+ * }).pipe(Type.makeObject(DXN.make('com.example.type.task', '0.1.0')));
+ * ```
+ */
+export declare const Ref: {
+    <S extends TypeNs.AnyObj | TypeNs.AnyRelation>(type: S): RefSchema<TypeNs.InstanceType<S> & Obj.Unknown>;
+    <T extends TypeNs.Type<any>>(type: T): RefSchema<TypeNs.InstanceType<T>>;
+    <S extends internal.UnknownTypeSchema<any, any>>(schema: S): RefSchema<Schema.Schema.Type<S> & Obj.Unknown>;
+};
 export declare const Array: Readonly<{
-    targets: <T extends EchoSchema.AnyEchoObject>(refs: readonly EchoSchema.Ref<T>[]) => T[];
-    loadAll: <T extends EchoSchema.AnyEchoObject>(refs: readonly EchoSchema.Ref<T>[]) => Promise<T[]>;
-    removeById: (refs: EchoSchema.Ref<EchoSchema.AnyEchoObject>[], id: EchoSchema.ObjectId) => void;
+    targets: <T extends internal.AnyEntity>(refs: readonly internal.Ref<T>[]) => T[];
+    loadAll: <T extends internal.AnyEntity>(refs: readonly internal.Ref<T>[]) => Promise<T[]>;
+    removeById: (refs: internal.Ref<internal.AnyEntity>[], id: import("@dxos/keys").EntityId) => void;
 }>;
+/**
+ * TypeScript type for a Ref schema.
+ * This is the type of the SCHEMA itself, not the runtime ref instance.
+ * For the instance type, use `Ref.Ref<T>` from the Ref module.
+ *
+ * @example
+ * ```ts
+ * // Schema type annotation (rarely needed, usually inferred):
+ * const refSchema: Ref.RefSchema<typeof Task> = Ref.Ref(Task);
+ *
+ * // Instance type annotation (use Ref.Ref instead):
+ * const refInstance: Ref.Ref<Task> = Ref.make(task);
+ * ```
+ */
+export interface RefSchema<T extends Entity.Unknown> extends refInternal.RefSchema<T> {
+}
 /**
  * Extract reference target.
  */
-export type Target<R extends Any> = R extends EchoSchema.Ref<infer T> ? T : never;
+export type Target<R extends Unknown> = R extends refInternal.Ref<infer T> ? T : never;
 /**
  * Reference resolver.
  */
-export type Resolver = EchoSchema.RefResolver;
-export declare const isRef: (value: unknown) => value is Any;
-export declare const make: <T extends EchoSchema.WithId>(object: T) => EchoSchema.Ref<T>;
-export declare const fromDXN: (dxn: import("@dxos/keys").DXN) => EchoSchema.Ref<any>;
+export type Resolver = refInternal.RefResolver;
+export declare const isRef: (value: unknown) => value is Unknown;
+export declare const make: <T extends internal.AnyEntity>(object: T) => internal.Ref<T>;
+export declare const fromURI: (uri: URI.URI) => refInternal.Ref<any>;
+export declare const hasEntityId: (id: import("@dxos/keys").EntityId) => (ref: internal.Ref<any>) => boolean;
+export declare const isRefType: (ast: SchemaAST.AST) => boolean;
 //# sourceMappingURL=Ref.d.ts.map

package/dist/types/src/Ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../../../src/Ref.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,KAAK,GAAG,MAAM,OAAO,CAAC;AAElC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACvC,MAAM,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE1C,eAAO,MAAM,KAAK;;;;EAAsB,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAElF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC;AAE9C,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,GAA0B,CAAC;AAE5E,eAAO,MAAM,IAAI,+DAAsB,CAAC;AAGxC,eAAO,MAAM,OAAO,wDAAyB,CAAC"}
+{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../../../src/Ref.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAEtC,OAAO,KAAK,KAAK,MAAM,MAAM,UAAU,CAAC;AACxC,OAAO,KAAK,KAAK,QAAQ,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,WAAW,MAAM,gBAAgB,CAAC;AAE9C,OAAO,KAAK,KAAK,GAAG,MAAM,OAAO,CAAC;AAElC,OAAO,KAAK,KAAK,MAAM,MAAM,QAAQ,CAAC;AAEtC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACxC,MAAM,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAEnD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAIzG,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAKzE,CAAC,CAAC,SAAS,QAAQ,CAAC,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;CACpF,CAAC;AAE3B,eAAO,MAAM,KAAK;;;;EAAuB,CAAC;AAE1C;;;;;;;;;;;;;GAaG;AAIH,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,OAAO,CAAE,SAAQ,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC;CAAG;AAExF;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEvF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,CAAC;AAE/C,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,OAA+B,CAAC;AAEjF,eAAO,MAAM,IAAI,8DAAuB,CAAC;AAGzC,eAAO,MAAM,OAAO,QAAS,GAAG,CAAC,GAAG,KAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAiC,CAAC;AAE5F,eAAO,MAAM,WAAW,4EAA8B,CAAC;AAGvD,eAAO,MAAM,SAAS,QAAS,SAAS,CAAC,GAAG,KAAG,OAS9C,CAAC"}

package/dist/types/src/Registry.d.ts

@@ -0,0 +1,131 @@
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import { type ReadOnlyEvent } from '@dxos/async';
+import type * as Database from './Database';
+import * as Entity from './Entity';
+import type * as Filter from './Filter';
+import type * as Query from './Query';
+/**
+ * Identifier denoting an ECHO Registry.
+ */
+export declare const TypeId: unique symbol;
+export type TypeId = typeof TypeId;
+/**
+ * Composable, in-memory registry of keyed ECHO entities.
+ *
+ * Entities are stored by id and queried via the standard ECHO Query API.
+ * A registry may delegate to an optional upstream registry: results from the local
+ * registry take precedence and upstream results fill in anything not found locally.
+ *
+ * Intended use cases include caches of schemas, operations, blueprints, routines, plugins,
+ * etc., sourced from 3rd-party plugins, local code, or local space objects.
+ *
+ * Types (schema-definition entities produced by `Type.makeObject` / `Type.makeRelation`) are
+ * stored the same way as any other entity — via `add()`. Use `list().filter(Type.isType)` to
+ * retrieve them.
+ *
+ * Scope: a Registry is independent of any ECHO space or Hypergraph — it is a process-local,
+ * in-memory cache. Wire one per space (e.g. as a Layer scoped to the space's Effect runtime)
+ * or share a single instance across spaces depending on the use case.
+ *
+ * The concrete implementation (and the `makeRegistry` / `registryLayer` factories) lives in
+ * `@dxos/echo-client`; this module declares only the interface so that the `@dxos/echo` API surface
+ * stays free of query-matching dependencies.
+ */
+export interface Registry {
+    readonly [TypeId]: TypeId;
+    /**
+     * Stable per-instance identifier. Used to key process-local resources (e.g. memoized
+     * reactive atoms) to a specific registry instance, analogous to {@link Database.spaceId}.
+     */
+    readonly id: string;
+    /**
+     * Fires whenever local registry contents change (add, remove, or clear).
+     */
+    readonly changed: ReadOnlyEvent<void>;
+    /**
+     * All locally-stored entities.
+     * Does not include upstream entities — use {@link list} for that.
+     */
+    readonly local: readonly Entity.Unknown[];
+    /**
+     * Add or replace one or more entities in the local registry.
+     * Existing entries with the same id are replaced.
+     * Also indexes type entities by DXN for fast lookup.
+     */
+    add(entities: readonly Entity.Unknown[]): void;
+    /**
+     * Remove an entity by id from the local registry.
+     * @returns true if an entity was removed, false if it was not found.
+     */
+    remove(id: string): boolean;
+    /**
+     * Remove all locally-stored entities.
+     * Does not affect the upstream registry.
+     */
+    clear(): void;
+    /**
+     * Get an entity by id.
+     * Searches the local registry first, then falls back to the upstream registry.
+     */
+    get(id: string): Entity.Unknown | undefined;
+    /**
+     * Get an entity by one of its addressing URIs — a type entity by its typename DXN (or, when
+     * persisted, its identifier EID), a keyed entity by its `dxn:<key>[:<version>]`. Accepts legacy
+     * DXN forms (normalized internally). Searches the local registry first, then falls back to the
+     * upstream registry. Narrow the result with `Type.isType` when a type entity is required.
+     */
+    getByURI(uri: string): Entity.Unknown | undefined;
+    /**
+     * List all entities.
+     * Local entities take precedence over upstream entities with the same id.
+     */
+    list(): Entity.Unknown[];
+    /**
+     * Run an ECHO query against the registry's entities (implements {@link Database.Queryable}).
+     *
+     * Matching happens in-memory over {@link list}. Scope (`from`) clauses are unwrapped and
+     * ignored — a direct registry query always targets the registry's own entities. The primary
+     * way to query registry contents is still through the database (`db.query(...).from(Scope.registry())`),
+     * which fans the database and registry together; this method is for querying a registry directly.
+     *
+     * Only locally-evaluable AST nodes are supported: `select`, `filter`, `limit`, `from`, `options`,
+     * and boolean combinators. Server-side concerns (order, traversal, text/timestamp filters) throw.
+     */
+    query: Database.QueryFn;
+}
+/**
+ * Type guard for {@link Registry}.
+ */
+export declare const isRegistry: (obj: unknown) => obj is Registry;
+/**
+ * Options for the registry factory (`makeRegistry` in `@dxos/echo-client`).
+ */
+export type Options = {
+    /**
+     * Optional upstream registry. Queries fall back to upstream when an entity
+     * is not present in the local registry.
+     */
+    upstream?: Registry;
+    /**
+     * Initial set of entities to seed the local registry with.
+     */
+    initial?: readonly Entity.Unknown[];
+};
+declare const Service_base: Context.TagClass<Service, "@dxos/echo/Registry/Service", Registry>;
+/**
+ * Effect Context tag for {@link Registry}.
+ * Use this to inject a registry into Effect-based code.
+ */
+export declare class Service extends Service_base {
+}
+/**
+ * Executes a query against the registry and returns the results.
+ * Analogous to {@link Database.query} `.run` for the in-process registry.
+ */
+export declare const runQuery: {
+    <Q extends Query.Any>(query: Q): Effect.Effect<Query.Type<Q>[], never, Service>;
+    <F extends Filter.Any>(filter: F): Effect.Effect<Filter.Type<F>[], never, Service>;
+};
+export {};
+//# sourceMappingURL=Registry.d.ts.map

package/dist/types/src/Registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Registry.d.ts","sourceRoot":"","sources":["../../../src/Registry.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,KAAK,KAAK,QAAQ,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,KAAK,MAAM,MAAM,UAAU,CAAC;AACxC,OAAO,KAAK,KAAK,KAAK,MAAM,SAAS,CAAC;AAEtC;;GAEG;AACH,eAAO,MAAM,MAAM,eAAoC,CAAC;AACxD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAE1B;;;OAGG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAEtC;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,CAAC,OAAO,EAAE,CAAC;IAE1C;;;;OAIG;IACH,GAAG,CAAC,QAAQ,EAAE,SAAS,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC;IAE/C;;;OAGG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IAE5B;;;OAGG;IACH,KAAK,IAAI,IAAI,CAAC;IAEd;;;OAGG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;IAE5C;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;IAElD;;;OAGG;IACH,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;IAEzB;;;;;;;;;;OAUG;IACH,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,eAAO,MAAM,UAAU,QAAS,OAAO,KAAG,GAAG,IAAI,QAC8D,CAAC;AAEhH;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG;IACpB;;;OAGG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAEpB;;OAEG;IACH,OAAO,CAAC,EAAE,SAAS,MAAM,CAAC,OAAO,EAAE,CAAC;CACrC,CAAC;;AAEF;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,YAA+D;CAAG;AAE/F;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAChF,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;CAKjF,CAAC"}