@dxos/echo 0.8.4-main.406dc2a → 0.8.4-main.59c2e9b

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

@@ -1,248 +0,0 @@
-import type * as EffectArray from 'effect/Array';
-import * as Schema from 'effect/Schema';
-import type * as Types from 'effect/Types';
-import { type ForeignKey, type QueryAST } from '@dxos/echo-protocol';
-import { DXN, ObjectId } from '@dxos/keys';
-import type * as Obj from '../Obj';
-import * as Ref from '../Ref';
-import type * as Type from '../Type';
-export interface Order<T> {
-    '~Order': {
-        value: T;
-    };
-    ast: QueryAST.Order;
-}
-export declare namespace Order {
-    const natural: Order<any>;
-    const property: <T>(property: keyof T & string, direction: QueryAST.OrderDirection) => Order<T>;
-}
-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 or optional reference.
-     * @returns Query for the target of the reference.
-     */
-    reference<K extends RefPropKey<T>>(key: K): Query<T[K] extends Ref.Any ? Ref.Target<T[K]> : T[K] extends Ref.Any | undefined ? Ref.Target<Exclude<T[K], undefined>> : never>;
-    /**
-     * 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 | string, 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 | string, 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 | string, 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<Type.Relation.Source<T>>;
-    /**
-     * For a query for relations, get the target objects.
-     * @returns Query for the target objects.
-     */
-    target(): Query<Type.Relation.Target<T>>;
-    /**
-     * 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<T>>): Query<T>;
-    /**
-     * Add options to a query.
-     */
-    options(options: QueryAST.QueryOptions): Query<T>;
-}
-interface QueryAPI {
-    is(value: unknown): value is Query.Any;
-    /** Construct a query from an ast. */
-    fromAst(ast: QueryAST.Query): Query<any>;
-    /**
-     * 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 | string, predicates?: Filter.Props<Schema.Schema.Type<S>>): 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>;
-    /**
-     * 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.
-     */
-    without<T>(source: Query<T>, exclude: Query<T>): Query<T>;
-}
-export declare namespace Query {
-    type Any = Query<any>;
-    type Type<Q extends Any> = Q extends Query<infer T> ? T : never;
-    type TextSearchOptions = {
-        type?: 'full-text' | 'vector';
-    };
-}
-export interface Filter<T> {
-    '~Filter': {
-        value: Types.Contravariant<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;
-    /** Construct a filter from an ast. */
-    fromAst(ast: QueryAST.Filter): Filter<Obj.Any>;
-    /**
-     * Filter that matches all objects.
-     */
-    everything(): Filter<Obj.AnyProps>;
-    /**
-     * Filter that matches no objects.
-     */
-    nothing(): Filter<any>;
-    /**
-     * Filter by object IDs.
-     */
-    ids(...id: ObjectId[]): Filter<Obj.AnyProps>;
-    /**
-     * Filter by type.
-     */
-    type<S extends Schema.Schema.All>(schema: S | string, props?: Filter.Props<Schema.Schema.Type<S>>): Filter<Schema.Schema.Type<S>>;
-    /**
-     * Filter by non-qualified typename.
-     */
-    typename(typename: string): Filter<Obj.AnyProps>;
-    /**
-     * Filter by fully qualified type DXN.
-     */
-    typeDXN(dxn: DXN): Filter<Obj.AnyProps>;
-    /**
-     * Filter by tag.
-     */
-    tag(tag: string): Filter<Obj.Any>;
-    /**
-     * Filter by properties.
-     */
-    props<T>(props: Filter.Props<T>): Filter<T>;
-    /**
-     * Full-text or vector search.
-     */
-    text(text: string, options?: Query.TextSearchOptions): Filter<any>;
-    /**
-     * Filter by foreign keys.
-     */
-    foreignKeys<S extends Schema.Schema.All>(schema: S, keys: ForeignKey[]): Filter<Schema.Schema.Type<S>>;
-    /**
-     * Predicate for property to be equal to the provided value.
-     */
-    eq<T>(value: T): Filter<T>;
-    /**
-     * Predicate for property to be not equal to the provided value.
-     */
-    neq<T>(value: T): Filter<T>;
-    /**
-     * Predicate for property to be greater than the provided value.
-     */
-    gt<T>(value: T): Filter<T>;
-    /**
-     * Predicate for property to be greater than the provided value.
-     */
-    gt<T>(value: T): Filter<T>;
-    /**
-     * Predicate for property to be greater than or equal to the provided value.
-     */
-    gte<T>(value: T): Filter<T>;
-    /**
-     * Predicate for property to be less than the provided value.
-     */
-    lt<T>(value: T): Filter<T>;
-    /**
-     * Predicate for property to be less than or equal to the provided value.
-     */
-    lte<T>(value: T): Filter<T>;
-    /**
-     * Predicate for property to be in the provided array.
-     * @param values - Values to check against.
-     */
-    in<T>(...values: T[]): Filter<T>;
-    /**
-     * Predicate for an array property to contain the provided value.
-     * @param value - Value to check against.
-     */
-    contains<T>(value: T): Filter<readonly T[] | undefined>;
-    /**
-     * Predicate for property to be in the provided range.
-     * @param from - Start of the range (inclusive).
-     * @param to - End of the range (exclusive).
-     */
-    between<T>(from: T, to: T): Filter<unknown>;
-    /**
-     * Negate the filter.
-     */
-    not<F extends Filter.Any>(filter: F): Filter<Filter.Type<F>>;
-    /**
-     * Combine filters with a logical AND.
-     */
-    and<FS extends Filter.Any[]>(...filters: FS): Filter<Filter.And<FS>>;
-    /**
-     * Combine filters with a logical OR.
-     */
-    or<FS extends Filter.Any[]>(...filters: FS): Filter<Filter.Or<FS>>;
-}
-export declare namespace Filter {
-    type Props<T> = {
-        [K in keyof T & string]?: Filter<T[K]> | T[K];
-    };
-    type Any = Filter<any>;
-    type Type<F extends Any> = F extends Filter<infer T> ? T : never;
-    type And<FS extends readonly Any[]> = Schema.Simplify<Intersection<{
-        [K in keyof FS]: Type<FS[K]>;
-    }>>;
-    type Or<FS extends readonly Any[]> = Schema.Simplify<{
-        [K in keyof FS]: Type<FS[K]>;
-    }[number]>;
-}
-export declare const Filter: FilterAPI;
-/**
- * All property paths inside T that are references.
- */
-type RefPropKey<T> = keyof T & string;
-export declare const Query: QueryAPI;
-export {};
-//# sourceMappingURL=query.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../../../src/query/query.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,WAAW,MAAM,cAAc,CAAC;AAEjD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAG3C,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAErE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,KAAK,KAAK,GAAG,MAAM,QAAQ,CAAC;AACnC,OAAO,KAAK,GAAG,MAAM,QAAQ,CAAC;AAC9B,OAAO,KAAK,KAAK,IAAI,MAAM,SAAS,CAAC;AAMrC,MAAM,WAAW,KAAK,CAAC,CAAC;IAEtB,QAAQ,EAAE;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAEvB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;CACrB;AAcD,yBAAiB,KAAK,CAAC;IACd,MAAM,OAAO,EAAE,KAAK,CAAC,GAAG,CAAuC,CAAC;IAChE,MAAM,QAAQ,GAAI,CAAC,EAAE,UAAU,MAAM,CAAC,GAAG,MAAM,EAAE,WAAW,QAAQ,CAAC,cAAc,KAAG,KAAK,CAAC,CAAC,CAKhG,CAAC;CACN;AAED,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,EAC/B,GAAG,EAAE,CAAC,GACL,KAAK,CACN,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,GAChB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChB,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,GAAG,SAAS,GAC9B,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GACpC,KAAK,CACZ,CAAC;IAEF;;;;;OAKG;IAGH,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACtC,MAAM,EAAE,CAAC,GAAG,MAAM,EAClB,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,GAAG,MAAM,EACpB,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,GAAG,MAAM,EACpB,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,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzC;;;OAGG;IACH,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzC;;;;;OAKG;IACH,OAAO,CAAC,GAAG,KAAK,EAAE,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEjE;;OAEG;IACH,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;CACnD;AAED,UAAU,QAAQ;IAChB,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC;IAEvC,qCAAqC;IACrC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAEzC;;;;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,GAAG,MAAM,EAClB,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;IAEH,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEzC;;;;;OAKG;IACH,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;CAC3D;AAED,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC;IAC7B,KAAY,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAE7B,KAAY,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAEvE,KAAY,iBAAiB,GAAG;QAE9B,IAAI,CAAC,EAAE,WAAW,GAAG,QAAQ,CAAC;KAC/B,CAAC;CACH;AAED,MAAM,WAAW,MAAM,CAAC,CAAC;IAEvB,SAAS,EAAE;QAAE,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;KAAE,CAAC;IAE7C,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;CACtB;AAED,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;IAExC,sCAAsC;IACtC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAE/C;;OAEG;IAEH,UAAU,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEnC;;OAEG;IAEH,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAEvB;;OAEG;IAEH,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE7C;;OAEG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,EAAE,CAAC,GAAG,MAAM,EAClB,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEjD;;OAEG;IACH,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAExC;;OAEG;IACH,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAElC;;OAEG;IACH,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5C;;OAEG;IACH,IAAI,CAEF,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,KAAK,CAAC,iBAAiB,GAChC,MAAM,CAAC,GAAG,CAAC,CAAC;IAEf;;OAEG;IACH,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvG;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5B;;;OAGG;IACH,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAEjC;;;OAGG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IAExD;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAE5C;;OAEG;IACH,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7D;;OAEG;IACH,GAAG,CAAC,EAAE,SAAS,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAErE;;OAEG;IACH,EAAE,CAAC,EAAE,SAAS,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAGpE;AAED,MAAM,CAAC,OAAO,WAAW,MAAM,CAAC;IAC9B,KAAK,KAAK,CAAC,CAAC,IAAI;SAEb,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAC9C,CAAC;IAEF,KAAK,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;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,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;SAAG,CAAC,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,CAAC,CAAC;IAEtG,KAAK,EAAE,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC;SAAG,CAAC,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,MAAM,CAAC,CAAC,CAAC;CAChG;AAiOD,eAAO,MAAM,MAAM,EAAE,SAAuB,CAAC;AAE7C;;GAEG;AAEH,KAAK,UAAU,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC;AAyLtC,eAAO,MAAM,KAAK,EAAE,QAAqB,CAAC"}

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

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

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

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

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

@@ -1,17 +0,0 @@
-import * as Schema from 'effect/Schema';
-import * as Obj from '../Obj';
-import * as Type from '../Type';
-export declare const Tag: Type.obj<Schema.Struct<{
-    label: typeof Schema.String;
-    hue: Schema.optional<typeof Schema.String>;
-}>>;
-export type Tag = Schema.Schema.Type<typeof Tag>;
-export declare const make: (props: Obj.MakeProps<typeof Tag>) => import("@dxos/live-object").Live<Type.OfKind<import("../internal").EntityKind.Object> & {
-    label: string;
-    hue?: string | undefined;
-}>;
-export type TagMap = Record<string, Tag>;
-export declare const sortTags: ({ label: a }: Tag, { label: b }: Tag) => number;
-export declare const createTagList: (tags: TagMap) => Tag[];
-export declare const findTagByLabel: (tags: TagMap | undefined, name: string) => Tag | undefined;
-//# sourceMappingURL=tag.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"tag.d.ts","sourceRoot":"","sources":["../../../../src/query/tag.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,GAAG,MAAM,QAAQ,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,SAAS,CAAC;AAEhC,eAAO,MAAM,GAAG;;;GASf,CAAC;AACF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;AAEjD,eAAO,MAAM,IAAI,GAAI,OAAO,GAAG,CAAC,SAAS,CAAC,OAAO,GAAG,CAAC;;;EAAyB,CAAC;AAE/E,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAEzC,eAAO,MAAM,QAAQ,GAAI,cAAc,GAAG,EAAE,cAAc,GAAG,WAAuB,CAAC;AAErF,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,KAAG,GAAG,EAG7B,CAAC;AAEpB,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,GAAG,SAAS,EAAE,MAAM,MAAM,KAAG,GAAG,GAAG,SAG7E,CAAC"}

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

@@ -1,7 +0,0 @@
-import type * as Schema from 'effect/Schema';
-import { EchoSchema } from '../internal';
-/**
- * Create a reactive mutable schema that updates when the JSON schema is updated.
- */
-export declare const createEchoSchema: (schema: Schema.Schema.AnyNoContext) => EchoSchema;
-//# sourceMappingURL=echo-schema.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"echo-schema.d.ts","sourceRoot":"","sources":["../../../../src/testing/echo-schema.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAK7C,OAAO,EAAE,UAAU,EAAuD,MAAM,aAAa,CAAC;AAK9F;;GAEG;AAEH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,KAAG,UAmBrE,CAAC"}

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

@@ -1,113 +0,0 @@
-import * as Schema from 'effect/Schema';
-import { Type } from '..';
-export declare namespace Testing {
-    const _Contact: Type.obj<Schema.SchemaClass<{
-        readonly email?: string | undefined;
-        readonly name?: string | undefined;
-        readonly username?: string | undefined;
-        readonly tasks?: import("../internal").Ref<Task>[] | undefined;
-        readonly address?: {
-            readonly city?: string | undefined;
-            readonly state?: string | undefined;
-            readonly zip?: string | undefined;
-            readonly coordinates: {
-                readonly lat?: number | undefined;
-                readonly lng?: number | undefined;
-            };
-        } | undefined;
-    }, {
-        readonly email?: string | undefined;
-        readonly name?: string | undefined;
-        readonly username?: string | undefined;
-        readonly tasks?: import("@dxos/echo-protocol").EncodedReference[] | undefined;
-        readonly address?: {
-            readonly coordinates: {
-                readonly lat?: number | undefined;
-                readonly lng?: number | undefined;
-            };
-            readonly city?: string | undefined;
-            readonly state?: string | undefined;
-            readonly zip?: string | undefined;
-        } | undefined;
-    }, never>>;
-    export interface Contact extends Schema.Schema.Type<typeof _Contact> {
-    }
-    export const Contact: Schema.Schema<Contact, Schema.Schema.Encoded<typeof _Contact>, never>;
-    const _Task: Type.obj<Schema.SchemaClass<{
-        readonly title?: string | undefined;
-        readonly description?: string | undefined;
-        readonly completed?: boolean | undefined;
-        readonly assignee?: import("../internal").Ref<Contact> | undefined;
-        readonly previous?: import("../internal").Ref<Task> | undefined;
-        readonly subTasks?: import("../internal").Ref<Task>[] | undefined;
-    }, {
-        readonly title?: string | undefined;
-        readonly description?: string | undefined;
-        readonly completed?: boolean | undefined;
-        readonly assignee?: import("@dxos/echo-protocol").EncodedReference | undefined;
-        readonly previous?: import("@dxos/echo-protocol").EncodedReference | undefined;
-        readonly subTasks?: import("@dxos/echo-protocol").EncodedReference[] | undefined;
-    }, never>>;
-    export interface Task extends Schema.Schema.Type<typeof _Task> {
-    }
-    export const Task: Schema.Schema<Task, Schema.Schema.Encoded<typeof _Task>, never>;
-    export enum RecordType {
-        UNDEFINED = 0,
-        PERSONAL = 1,
-        WORK = 2
-    }
-    export const Container: Type.obj<Schema.SchemaClass<{
-        readonly records?: {
-            readonly title?: string | undefined;
-            readonly description?: string | undefined;
-            readonly type?: RecordType | undefined;
-            readonly contacts?: import("../internal").Ref<Contact>[] | undefined;
-        }[] | undefined;
-        readonly objects?: import("../internal").Ref<Type.Expando>[] | undefined;
-    }, {
-        readonly records?: {
-            readonly title?: string | undefined;
-            readonly description?: string | undefined;
-            readonly type?: RecordType | undefined;
-            readonly contacts?: import("@dxos/echo-protocol").EncodedReference[] | undefined;
-        }[] | undefined;
-        readonly objects?: import("@dxos/echo-protocol").EncodedReference[] | undefined;
-    }, never>>;
-    export const WorksFor: Type.relation<Schema.Struct<{
-        since: Schema.optional<typeof Schema.String>;
-    }>, Schema.Schema<Contact, {
-        id: string;
-        email?: string | undefined;
-        name?: string | undefined;
-        username?: string | undefined;
-        tasks?: import("@dxos/echo-protocol").EncodedReference[] | undefined;
-        address?: {
-            readonly coordinates: {
-                readonly lat?: number | undefined;
-                readonly lng?: number | undefined;
-            };
-            readonly city?: string | undefined;
-            readonly state?: string | undefined;
-            readonly zip?: string | undefined;
-        } | undefined;
-    }, never>, Schema.Schema<Contact, {
-        id: string;
-        email?: string | undefined;
-        name?: string | undefined;
-        username?: string | undefined;
-        tasks?: import("@dxos/echo-protocol").EncodedReference[] | undefined;
-        address?: {
-            readonly coordinates: {
-                readonly lat?: number | undefined;
-                readonly lng?: number | undefined;
-            };
-            readonly city?: string | undefined;
-            readonly state?: string | undefined;
-            readonly zip?: string | undefined;
-        } | undefined;
-    }, never>>;
-    export interface WorksFor extends Schema.Schema.Type<typeof WorksFor> {
-    }
-    export {};
-}
-//# sourceMappingURL=types.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/testing/types.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC;AAG1B,yBAAiB,OAAO,CAAC;IACvB,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;cAoBb,CAAC;IACF,MAAM,WAAW,OAAQ,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC;KAAG;IACvE,MAAM,CAAC,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,EAAE,KAAK,CAAY,CAAC;IAEvG,MAAM,KAAK;;;;;;;;;;;;;;cAaV,CAAC;IACF,MAAM,WAAW,IAAK,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC;KAAG;IACjE,MAAM,CAAC,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,CAAC,EAAE,KAAK,CAAS,CAAC;IAE3F,MAAM,MAAM,UAAU;QACpB,SAAS,IAAI;QACb,QAAQ,IAAI;QACZ,IAAI,IAAI;KACT;IAED,MAAM,CAAC,MAAM,SAAS;;;;;;;;;;;;;;;;cAoBrB,CAAC;IAEF,MAAM,CAAC,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cASpB,CAAC;IACF,MAAM,WAAW,QAAS,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC;KAAG;;CACzE"}

package/src/internal/ast/annotation-helper.ts

@@ -1,22 +0,0 @@
-//
-// Copyright 2025 DXOS.org
-//
-
-import type * as Option from 'effect/Option';
-import type * as Schema from 'effect/Schema';
-import * as SchemaAST from 'effect/SchemaAST';
-
-export interface AnnotationHelper<T> {
-  get: (schema: Schema.Schema.Any) => Option.Option<T>;
-  set: (value: T) => <S extends Schema.Schema.Any>(schema: S) => S;
-}
-
-export const createAnnotationHelper = <T>(id: symbol): AnnotationHelper<T> => {
-  return {
-    get: (schema) => SchemaAST.getAnnotation(schema.ast, id),
-    set:
-      (value) =>
-      <S extends Schema.Schema.Any>(schema: S) =>
-        schema.annotations({ [id]: value }) as S,
-  };
-};

package/src/internal/ast/annotations.ts

@@ -1,219 +0,0 @@
-//
-// Copyright 2024 DXOS.org
-//
-
-import * as Function from 'effect/Function';
-import * as Option from 'effect/Option';
-import * as Schema from 'effect/Schema';
-import * as SchemaAST from 'effect/SchemaAST';
-
-import { assertArgument } from '@dxos/invariant';
-import { DXN } from '@dxos/keys';
-import { type Primitive } from '@dxos/util';
-
-import { createAnnotationHelper } from './annotation-helper';
-import { EntityKind } from './entity-kind';
-
-/**
- * If property is optional returns the nested property, otherwise returns the property.
- */
-// TODO(wittjosiah): Is there a way to do this as a generic?
-export const unwrapOptional = (property: SchemaAST.PropertySignature) => {
-  if (!property.isOptional || !SchemaAST.isUnion(property.type)) {
-    return property;
-  }
-
-  return property.type.types[0];
-};
-
-/**
- * ECHO identifier (for a stored schema).
- * Must be a `dxn:echo:` URI.
- */
-export const TypeIdentifierAnnotationId = Symbol.for('@dxos/schema/annotation/TypeIdentifier');
-
-export const getTypeIdentifierAnnotation = (schema: Schema.Schema.All) =>
-  Function.flow(
-    SchemaAST.getAnnotation<string>(TypeIdentifierAnnotationId),
-    Option.getOrElse(() => undefined),
-  )(schema.ast);
-
-/**
- * ECHO type.
- */
-export const TypeAnnotationId = Symbol.for('@dxos/schema/annotation/Type');
-
-// TODO(burdon): Create echo-schema Format types.
-// TODO(burdon): Reconcile with "short" DXN.
-export const Typename = Schema.String.pipe(Schema.pattern(/^[a-zA-Z]\w+\.[a-zA-Z]\w{1,}\/[\w/_-]+$/));
-export const SchemaVersion = Schema.String.pipe(Schema.pattern(/^\d+.\d+.\d+$/));
-
-/**
- * Payload stored under {@link TypeAnnotationId}.
- */
-// TODO(dmaretskyi): Rename getTypeAnnotation to represent commonality between objects and relations (e.g. `entity`).
-export const TypeAnnotation = Schema.Struct({
-  kind: Schema.Enums(EntityKind),
-  typename: Typename,
-  version: SchemaVersion,
-
-  /**
-   * If this is a relation, the schema of the source object.
-   * Must be present if entity kind is {@link EntityKind.Relation}.
-   */
-  sourceSchema: Schema.optional(DXN.Schema),
-
-  /**
-   * If this is a relation, the schema of the target object.
-   * Must be present if entity kind is {@link EntityKind.Relation}.
-   */
-  targetSchema: Schema.optional(DXN.Schema),
-});
-
-export interface TypeAnnotation extends Schema.Schema.Type<typeof TypeAnnotation> {}
-
-export type TypeMeta = Pick<TypeAnnotation, 'typename' | 'version'>;
-
-/**
- * @returns {@link TypeAnnotation} from a schema.
- * Schema must have been created with {@link TypedObject} or {@link TypedLink} or manually assigned an appropriate annotation.
- */
-export const getTypeAnnotation = (schema: Schema.Schema.All): TypeAnnotation | undefined => {
-  assertArgument(schema != null && schema.ast != null, 'schema', 'invalid schema');
-  return Function.flow(
-    SchemaAST.getAnnotation<TypeAnnotation>(TypeAnnotationId),
-    Option.getOrElse(() => undefined),
-  )(schema.ast);
-};
-
-/**
- * @returns {@link EntityKind} from a schema.
- */
-export const getEntityKind = (schema: Schema.Schema.All): EntityKind | undefined => getTypeAnnotation(schema)?.kind;
-
-/**
- * @deprecated Use {@link Type.getTypename} instead.
- * @returns Schema typename (without dxn: prefix or version number).
- */
-export const getSchemaTypename = (schema: Schema.Schema.All): string | undefined => getTypeAnnotation(schema)?.typename;
-
-/**
- * @deprecated Use {@link Type.getVersion} instead.
- * @returns Schema version in semver format.
- */
-export const getSchemaVersion = (schema: Schema.Schema.All): string | undefined => getTypeAnnotation(schema)?.version;
-
-/**
- * PropertyMeta (metadata for dynamic schema properties).
- * For user-defined annotations.
- */
-export const PropertyMetaAnnotationId = Symbol.for('@dxos/schema/annotation/PropertyMeta');
-
-export type PropertyMetaValue = Primitive | Record<string, Primitive> | Primitive[];
-
-export type PropertyMetaAnnotation = {
-  [name: string]: PropertyMetaValue;
-};
-
-export const PropertyMeta = (name: string, value: PropertyMetaValue) => {
-  return <A, I, R>(self: Schema.Schema<A, I, R>): Schema.Schema<A, I, R> => {
-    const existingMeta = self.ast.annotations[PropertyMetaAnnotationId] as PropertyMetaAnnotation;
-    return self.annotations({
-      [PropertyMetaAnnotationId]: {
-        ...existingMeta,
-        [name]: value,
-      },
-    });
-  };
-};
-
-export const getPropertyMetaAnnotation = <T>(prop: SchemaAST.PropertySignature, name: string) =>
-  Function.pipe(
-    SchemaAST.getAnnotation<PropertyMetaAnnotation>(PropertyMetaAnnotationId)(prop.type),
-    Option.map((meta) => meta[name] as T),
-    Option.getOrElse(() => undefined),
-  );
-
-/**
- * Schema reference.
- */
-export const ReferenceAnnotationId = Symbol.for('@dxos/schema/annotation/Reference');
-
-export type ReferenceAnnotationValue = TypeAnnotation;
-
-export const getReferenceAnnotation = (schema: Schema.Schema.AnyNoContext) =>
-  Function.pipe(
-    SchemaAST.getAnnotation<ReferenceAnnotationValue>(ReferenceAnnotationId)(schema.ast),
-    Option.getOrElse(() => undefined),
-  );
-
-/**
- * SchemaMeta.
- */
-export const SchemaMetaSymbol = Symbol.for('@dxos/schema/SchemaMeta');
-
-export type SchemaMeta = TypeMeta & { id: string };
-
-/**
- * Identifies a schema as a view.
- */
-export const ViewAnnotationId = Symbol.for('@dxos/schema/annotation/View');
-export const ViewAnnotation = createAnnotationHelper<boolean>(ViewAnnotationId);
-
-/**
- * Identifies label property or JSON path expression.
- * Either a string or an array of strings representing field accessors each matched in priority order.
- */
-export const LabelAnnotationId = Symbol.for('@dxos/schema/annotation/Label');
-export const LabelAnnotation = createAnnotationHelper<string[]>(LabelAnnotationId);
-
-/**
- * Identifies description property or JSON path expression.
- * A string representing field accessor.
- */
-export const DescriptionAnnotationId = Symbol.for('@dxos/schema/annotation/Description');
-export const DescriptionAnnotation = createAnnotationHelper<string>(DescriptionAnnotationId);
-
-/**
- * Default field to be used on referenced schema to lookup the value.
- */
-export const FieldLookupAnnotationId = Symbol.for('@dxos/schema/annotation/FieldLookup');
-
-/**
- * Generate test data.
- */
-export const GeneratorAnnotationId = Symbol.for('@dxos/schema/annotation/Generator');
-
-export type GeneratorAnnotationValue =
-  | string
-  | {
-      generator: string;
-      args?: any[];
-      probability?: number;
-    };
-
-export const GeneratorAnnotation = createAnnotationHelper<GeneratorAnnotationValue>(GeneratorAnnotationId);
-
-/**
- * @returns DXN of the schema.
- *
- * For non-stored schema returns `dxn:type:`.
- * For stored schema returns `dxn:echo:`.
- * @deprecated Use `Type.getDXN`.
- */
-export const getSchemaDXN = (schema: Schema.Schema.All): DXN | undefined => {
-  assertArgument(Schema.isSchema(schema), 'schema', 'invalid schema');
-
-  const id = getTypeIdentifierAnnotation(schema);
-  if (id) {
-    return DXN.parse(id);
-  }
-
-  // TODO(dmaretskyi): Add support for dynamic schema.
-  const objectAnnotation = getTypeAnnotation(schema);
-  if (!objectAnnotation) {
-    return undefined;
-  }
-
-  return DXN.fromTypenameAndVersion(objectAnnotation.typename, objectAnnotation.version);
-};