@dxos/echo 0.8.2-main.5ca3450 → 0.8.2-main.600d381

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (9) hide show
  1. package/dist/types/src/query/api.d.ts +90 -23
  2. package/dist/types/src/query/api.d.ts.map +1 -1
  3. package/dist/types/src/query/ast.d.ts +95 -137
  4. package/dist/types/src/query/ast.d.ts.map +1 -1
  5. package/package.json +13 -13
  6. package/src/query/api.ts +283 -76
  7. package/src/query/ast.ts +120 -90
  8. package/src/query/query.test.ts +37 -26
  9. package/src/type/Type.test.ts +37 -18
package/dist/types/src/query/api.d.ts CHANGED
@@ -1,4 +1,5 @@
1
1
  import { type Schema } from 'effect';
2
+ import type { Simplify } from 'effect/Schema';
2
3
  import { type Ref } from '@dxos/echo-schema';
3
4
  import type * as QueryAST from './ast';
4
5
  import type { Relation } from '..';
@@ -6,7 +7,14 @@ export interface Query<T> {
6
7
  '~Query': {
7
8
  value: T;
8
9
  };
9
- ast: QueryAST.AST;
10
+ ast: QueryAST.Query;
11
+ /**
12
+ * Filter the current selection based on a filter.
13
+ * @param filter - Filter to select the objects.
14
+ * @returns Query for the selected objects.
15
+ */
16
+ select(filter: Filter<T>): Query<T>;
17
+ select(props: Filter.Props<T>): Query<T>;
10
18
  /**
11
19
  * Traverse an outgoing reference.
12
20
  * @param key - Property path inside T that is a reference.
@@ -26,14 +34,14 @@ export interface Query<T> {
26
34
  * @param relation - Schema of the relation.
27
35
  * @param predicates - Predicates to filter the relation objects.
28
36
  */
29
- sourceOf<S extends Schema.Schema.All>(relation: S, predicates?: PredicateSet<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
37
+ sourceOf<S extends Schema.Schema.All>(relation: S, predicates?: Filter.Props<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
30
38
  /**
31
39
  * Find relations where this object is the target.
32
40
  * @returns Query for the relation objects.
33
41
  * @param relation - Schema of the relation.
34
42
  * @param predicates - Predicates to filter the relation objects.
35
43
  */
36
- targetOf<S extends Schema.Schema.All>(relation: S, predicates?: PredicateSet<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
44
+ targetOf<S extends Schema.Schema.All>(relation: S, predicates?: Filter.Props<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
37
45
  /**
38
46
  * For a query for relations, get the source objects.
39
47
  * @returns Query for the source objects.
@@ -46,65 +54,124 @@ export interface Query<T> {
46
54
  target(): Query<Relation.Target<T>>;
47
55
  }
48
56
  interface QueryAPI {
57
+ /**
58
+ * Select objects based on a filter.
59
+ * @param filter - Filter to select the objects.
60
+ * @returns Query for the selected objects.
61
+ */
62
+ select<F extends Filter.Any>(filter: F): Query<Filter.Type<F>>;
49
63
  /**
50
64
  * Query for objects of a given schema.
51
65
  * @param schema - Schema of the objects.
52
66
  * @param predicates - Predicates to filter the objects.
53
67
  * @returns Query for the objects.
68
+ *
69
+ * Shorthand for: `Query.select(Filter.type(schema, predicates))`.
54
70
  */
55
- type<S extends Schema.Schema.All>(schema: S, predicates?: PredicateSet<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
71
+ type<S extends Schema.Schema.All>(schema: S, predicates?: Filter.Props<Schema.Schema.Type<S>>): Query<Schema.Schema.Type<S>>;
56
72
  /**
57
73
  * Full-text or vector search.
74
+ *
75
+ * @deprecated Use `Filter`.
58
76
  */
59
- text<S extends Schema.Schema.All>(schema: S, text: string, options?: Query.TextSearchOptions): Query<Schema.Schema.Type<S>>;
60
77
  /**
61
78
  * Combine results of multiple queries.
62
79
  * @param queries - Queries to combine.
63
80
  * @returns Query for the combined results.
64
81
  */
65
82
  all<T>(...queries: Query<T>[]): Query<T>;
83
+ }
84
+ export declare namespace Query {
85
+ type TextSearchOptions = {
86
+ type?: 'full-text' | 'vector';
87
+ };
88
+ }
89
+ export interface Filter<T> {
90
+ '~Filter': {
91
+ value: T;
92
+ };
93
+ ast: QueryAST.Filter;
94
+ }
95
+ type Intersection<Types extends readonly unknown[]> = Types extends [infer First, ...infer Rest] ? First & Intersection<Rest> : unknown;
96
+ interface FilterAPI {
97
+ is(value: unknown): value is Filter<any>;
98
+ /**
99
+ * Filter by type.
100
+ */
101
+ type<S extends Schema.Schema.All>(schema: S, props?: Filter.Props<Schema.Schema.Type<S>>): Filter<Schema.Schema.Type<S>>;
102
+ /**
103
+ * Filter by properties.
104
+ */
105
+ /**
106
+ * Full-text or vector search.
107
+ */
108
+ text<S extends Schema.Schema.All>(schema: S, text: string, options?: Query.TextSearchOptions): Filter<Schema.Schema.Type<S>>;
109
+ /**
110
+ * Predicate for property to be equal to the provided value.
111
+ */
112
+ eq<T>(value: T): Filter<T>;
113
+ /**
114
+ * Predicate for property to be not equal to the provided value.
115
+ */
116
+ neq<T>(value: T): Filter<T>;
117
+ /**
118
+ * Predicate for property to be greater than the provided value.
119
+ */
120
+ gt<T>(value: T): Filter<T>;
66
121
  /**
67
122
  * Predicate for property to be greater than the provided value.
68
123
  */
69
- gt<T>(value: T): Predicate<T>;
124
+ gt<T>(value: T): Filter<T>;
70
125
  /**
71
126
  * Predicate for property to be greater than or equal to the provided value.
72
127
  */
73
- gte<T>(value: T): Predicate<T>;
128
+ gte<T>(value: T): Filter<T>;
74
129
  /**
75
130
  * Predicate for property to be less than the provided value.
76
131
  */
77
- lt<T>(value: T): Predicate<T>;
132
+ lt<T>(value: T): Filter<T>;
78
133
  /**
79
134
  * Predicate for property to be less than or equal to the provided value.
80
135
  */
81
- lte<T>(value: T): Predicate<T>;
136
+ lte<T>(value: T): Filter<T>;
82
137
  /**
83
138
  * Predicate for property to be in the provided array.
84
139
  * @param values - Values to check against.
85
140
  */
86
- in<T>(...values: T[]): Predicate<T>;
141
+ in<T>(...values: T[]): Filter<T>;
87
142
  /**
88
143
  * Predicate for property to be in the provided range.
89
144
  * @param from - Start of the range (inclusive).
90
145
  * @param to - End of the range (exclusive).
91
146
  */
92
- range<T>(from: T, to: T): Predicate<T>;
93
- }
94
- export declare namespace Query {
95
- type TextSearchOptions = {
96
- type?: 'full-text' | 'vector';
97
- };
147
+ between<T>(from: T, to: T): Filter<T>;
148
+ /**
149
+ * Negate the filter.
150
+ */
151
+ not<F extends Filter.Any>(filter: F): Filter<F>;
152
+ /**
153
+ * Combine filters with a logical AND.
154
+ */
155
+ and<FS extends Filter.Any[]>(...filters: FS): Filter<Filter.And<FS>>;
156
+ /**
157
+ * Combine filters with a logical OR.
158
+ */
159
+ or<FS extends Filter.Any[]>(...filters: FS): Filter<Filter.Or<FS>>;
98
160
  }
99
- export interface Predicate<T> {
100
- '~Predicate': {
101
- value: T;
161
+ export declare namespace Filter {
162
+ type Props<T> = {
163
+ [K in keyof T & string]?: Filter<T[K]> | T[K];
102
164
  };
103
- ast: QueryAST.Predicate;
165
+ type Any = Filter<any>;
166
+ type Type<F extends Any> = F extends Filter<infer T> ? T : never;
167
+ type And<FS extends readonly Any[]> = Simplify<Intersection<{
168
+ [K in keyof FS]: Type<FS[K]>;
169
+ }>>;
170
+ type Or<FS extends readonly Any[]> = Simplify<{
171
+ [K in keyof FS]: Type<FS[K]>;
172
+ }[number]>;
104
173
  }
105
- type PredicateSet<T> = {
106
- [K in keyof T & string]?: Predicate<T[K]> | T[K];
107
- };
174
+ export declare const Filter: FilterAPI;
108
175
  /**
109
176
  * All property paths inside T that are references.
110
177
  */
package/dist/types/src/query/api.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../../../../src/query/api.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGrC,OAAO,EAAgB,KAAK,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,KAAK,KAAK,QAAQ,MAAM,OAAO,CAAC;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAKnC,MAAM,WAAW,KAAK,CAAC,CAAC;IAEtB,QAAQ,EAAE;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAEvB,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC;IAElB;;;;OAIG;IACH,SAAS,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpE;;;;;OAKG;IAEH,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACtC,MAAM,EAAE,CAAC,EACT,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GACrC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAClC,QAAQ,EAAE,CAAC,EACX,UAAU,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAClC,QAAQ,EAAE,CAAC,EACX,UAAU,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;OAGG;IACH,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpC;;;OAGG;IACH,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CACrC;AAED,UAAU,QAAQ;IAChB;;;;;OAKG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,EAAE,CAAC,EACT,UAAU,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;OAEG;IACH,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAE9B,MAAM,EAAE,CAAC,EAET,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,KAAK,CAAC,iBAAiB,GAChC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEzC;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE9B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE/B;;OAEG;IACH,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE9B;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE/B;;;OAGG;IACH,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAEpC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;CAGxC;AAED,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC;IAC7B,KAAY,iBAAiB,GAAG;QAC9B,IAAI,CAAC,EAAE,WAAW,GAAG,QAAQ,CAAC;KAC/B,CAAC;CACH;AAED,MAAM,WAAW,SAAS,CAAC,CAAC;IAE1B,YAAY,EAAE;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAE3B,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC;CACzB;AAQD,KAAK,YAAY,CAAC,CAAC,IAAI;KAEpB,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACjD,CAAC;AAEF;;GAEG;AACH,KAAK,UAAU,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC;AA0HlG,eAAO,MAAM,KAAK,EAAE,QAAqB,CAAC"}
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 CHANGED
@@ -1,188 +1,146 @@
1
1
  import { Schema } from 'effect';
2
- export declare const Predicate: Schema.Union<[Schema.Struct<{
3
- type: Schema.Literal<["eq"]>;
4
- value: typeof Schema.Any;
5
- }>, Schema.Struct<{
6
- type: Schema.Literal<["neq"]>;
7
- value: typeof Schema.Any;
8
- }>, Schema.Struct<{
9
- type: Schema.Literal<["gt"]>;
10
- value: typeof Schema.Any;
11
- }>, Schema.Struct<{
12
- type: Schema.Literal<["gte"]>;
13
- value: typeof Schema.Any;
14
- }>, Schema.Struct<{
15
- type: Schema.Literal<["lt"]>;
16
- value: typeof Schema.Any;
17
- }>, Schema.Struct<{
18
- type: Schema.Literal<["lte"]>;
19
- value: typeof Schema.Any;
20
- }>, Schema.Struct<{
21
- type: Schema.Literal<["in"]>;
22
- values: Schema.Array$<typeof Schema.Any>;
23
- }>, Schema.Struct<{
24
- type: Schema.Literal<["range"]>;
25
- from: typeof Schema.Any;
26
- to: typeof Schema.Any;
27
- }>]>;
28
- export type Predicate = Schema.Schema.Type<typeof Predicate>;
29
- export declare const PredicateSet: Schema.Record$<Schema.SchemaClass<string, string, never>, Schema.Union<[Schema.Struct<{
30
- type: Schema.Literal<["eq"]>;
31
- value: typeof Schema.Any;
32
- }>, Schema.Struct<{
33
- type: Schema.Literal<["neq"]>;
34
- value: typeof Schema.Any;
35
- }>, Schema.Struct<{
36
- type: Schema.Literal<["gt"]>;
37
- value: typeof Schema.Any;
38
- }>, Schema.Struct<{
39
- type: Schema.Literal<["gte"]>;
40
- value: typeof Schema.Any;
41
- }>, Schema.Struct<{
42
- type: Schema.Literal<["lt"]>;
43
- value: typeof Schema.Any;
44
- }>, Schema.Struct<{
45
- type: Schema.Literal<["lte"]>;
46
- value: typeof Schema.Any;
47
- }>, Schema.Struct<{
2
+ declare const FilterObject_: Schema.Struct<{
3
+ type: Schema.Literal<["object"]>;
4
+ typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
5
+ 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>>;
6
+ }>;
7
+ interface FilterObject extends Schema.Schema.Type<typeof FilterObject_> {
8
+ }
9
+ declare const FilterObject: Schema.Schema<FilterObject>;
10
+ declare const FilterCompare_: Schema.Struct<{
11
+ type: Schema.Literal<["compare"]>;
12
+ operator: Schema.Literal<["eq", "neq", "gt", "gte", "lt", "lte"]>;
13
+ value: typeof Schema.Unknown;
14
+ }>;
15
+ interface FilterCompare extends Schema.Schema.Type<typeof FilterCompare_> {
16
+ }
17
+ declare const FilterCompare: Schema.Schema<FilterCompare>;
18
+ declare const FilterIn_: Schema.Struct<{
48
19
  type: Schema.Literal<["in"]>;
49
20
  values: Schema.Array$<typeof Schema.Any>;
50
- }>, Schema.Struct<{
21
+ }>;
22
+ interface FilterIn extends Schema.Schema.Type<typeof FilterIn_> {
23
+ }
24
+ declare const FilterIn: Schema.Schema<FilterIn>;
25
+ declare const FilterRange_: Schema.Struct<{
51
26
  type: Schema.Literal<["range"]>;
52
27
  from: typeof Schema.Any;
53
28
  to: typeof Schema.Any;
54
- }>]>>;
55
- export type PredicateSet = Schema.Schema.Type<typeof PredicateSet>;
56
- /**
57
- * Query objects by type, id, and/or predicates.
58
- */
59
- declare const ASTTypeClause_: Schema.Struct<{
60
- type: Schema.Literal<["type"]>;
61
- typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
62
- id: Schema.optional<typeof Schema.String>;
63
- predicates: Schema.optional<Schema.Record$<Schema.SchemaClass<string, string, never>, Schema.Union<[Schema.Struct<{
64
- type: Schema.Literal<["eq"]>;
65
- value: typeof Schema.Any;
66
- }>, Schema.Struct<{
67
- type: Schema.Literal<["neq"]>;
68
- value: typeof Schema.Any;
69
- }>, Schema.Struct<{
70
- type: Schema.Literal<["gt"]>;
71
- value: typeof Schema.Any;
72
- }>, Schema.Struct<{
73
- type: Schema.Literal<["gte"]>;
74
- value: typeof Schema.Any;
75
- }>, Schema.Struct<{
76
- type: Schema.Literal<["lt"]>;
77
- value: typeof Schema.Any;
78
- }>, Schema.Struct<{
79
- type: Schema.Literal<["lte"]>;
80
- value: typeof Schema.Any;
81
- }>, Schema.Struct<{
82
- type: Schema.Literal<["in"]>;
83
- values: Schema.Array$<typeof Schema.Any>;
84
- }>, Schema.Struct<{
85
- type: Schema.Literal<["range"]>;
86
- from: typeof Schema.Any;
87
- to: typeof Schema.Any;
88
- }>]>>>;
89
29
  }>;
90
- interface ASTTypeClause extends Schema.Schema.Type<typeof ASTTypeClause_> {
30
+ interface FilterRange extends Schema.Schema.Type<typeof FilterRange_> {
91
31
  }
92
- declare const ASTTypeClause: Schema.Schema<ASTTypeClause>;
93
- declare const ASTTextSearchClause_: Schema.Struct<{
32
+ declare const FilterRange: Schema.Schema<FilterRange>;
33
+ declare const FilterTextSearch_: Schema.Struct<{
94
34
  type: Schema.Literal<["text-search"]>;
95
35
  typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
96
36
  text: typeof Schema.String;
97
37
  searchKind: Schema.optional<Schema.Literal<["full-text", "vector"]>>;
98
38
  }>;
99
- interface ASTTextSearchClause extends Schema.Schema.Type<typeof ASTTextSearchClause_> {
39
+ interface FilterTextSearch extends Schema.Schema.Type<typeof FilterTextSearch_> {
100
40
  }
101
- declare const ASTTextSearchClause: Schema.Schema<ASTTextSearchClause>;
41
+ declare const FilterTextSearch: Schema.Schema<FilterTextSearch>;
42
+ declare const FilterNot_: Schema.Struct<{
43
+ type: Schema.Literal<["not"]>;
44
+ filter: Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>;
45
+ }>;
46
+ interface FilterNot extends Schema.Schema.Type<typeof FilterNot_> {
47
+ }
48
+ declare const FilterNot: Schema.Schema<FilterNot>;
49
+ declare const FilterAnd_: Schema.Struct<{
50
+ type: Schema.Literal<["and"]>;
51
+ filters: Schema.Array$<Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>>;
52
+ }>;
53
+ interface FilterAnd extends Schema.Schema.Type<typeof FilterAnd_> {
54
+ }
55
+ declare const FilterAnd: Schema.Schema<FilterAnd>;
56
+ declare const FilterOr_: Schema.Struct<{
57
+ type: Schema.Literal<["or"]>;
58
+ filters: Schema.Array$<Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>>;
59
+ }>;
60
+ interface FilterOr extends Schema.Schema.Type<typeof FilterOr_> {
61
+ }
62
+ declare const FilterOr: Schema.Schema<FilterOr>;
63
+ 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>]>;
64
+ export type Filter = Schema.Schema.Type<typeof Filter>;
65
+ /**
66
+ * Query objects by type, id, and/or predicates.
67
+ */
68
+ declare const QuerySelectClause_: Schema.Struct<{
69
+ type: Schema.Literal<["select"]>;
70
+ filter: Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>;
71
+ }>;
72
+ interface QuerySelectClause extends Schema.Schema.Type<typeof QuerySelectClause_> {
73
+ }
74
+ declare const QuerySelectClause: Schema.Schema<QuerySelectClause>;
75
+ /**
76
+ * Filter objects from selection.
77
+ */
78
+ declare const QueryFilterClause_: Schema.Struct<{
79
+ type: Schema.Literal<["filter"]>;
80
+ selection: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
81
+ filter: Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>;
82
+ }>;
83
+ interface QueryFilterClause extends Schema.Schema.Type<typeof QueryFilterClause_> {
84
+ }
85
+ declare const QueryFilterClause: Schema.Schema<QueryFilterClause>;
102
86
  /**
103
87
  * Traverse references from an anchor object.
104
88
  */
105
- declare const ASTReferenceTraversalClause_: Schema.Struct<{
89
+ declare const QueryReferenceTraversalClause_: Schema.Struct<{
106
90
  type: Schema.Literal<["reference-traversal"]>;
107
- anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
91
+ anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
108
92
  property: typeof Schema.String;
109
93
  }>;
110
- interface ASTReferenceTraversalClause extends Schema.Schema.Type<typeof ASTReferenceTraversalClause_> {
94
+ interface QueryReferenceTraversalClause extends Schema.Schema.Type<typeof QueryReferenceTraversalClause_> {
111
95
  }
112
- declare const ASTReferenceTraversalClause: Schema.Schema<ASTReferenceTraversalClause>;
96
+ declare const QueryReferenceTraversalClause: Schema.Schema<QueryReferenceTraversalClause>;
113
97
  /**
114
98
  * Traverse incoming references to an anchor object.
115
99
  */
116
- declare const ASTIncomingReferencesClause_: Schema.Struct<{
100
+ declare const QueryIncomingReferencesClause_: Schema.Struct<{
117
101
  type: Schema.Literal<["incoming-references"]>;
118
- anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
102
+ anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
119
103
  property: typeof Schema.String;
120
104
  typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
121
105
  }>;
122
- interface ASTIncomingReferencesClause extends Schema.Schema.Type<typeof ASTIncomingReferencesClause_> {
106
+ interface QueryIncomingReferencesClause extends Schema.Schema.Type<typeof QueryIncomingReferencesClause_> {
123
107
  }
124
- declare const ASTIncomingReferencesClause: Schema.Schema<ASTIncomingReferencesClause>;
108
+ declare const QueryIncomingReferencesClause: Schema.Schema<QueryIncomingReferencesClause>;
125
109
  /**
126
110
  * Traverse relations connecting to an anchor object.
127
111
  */
128
- declare const ASTRelationClause_: Schema.Struct<{
112
+ declare const QueryRelationClause_: Schema.Struct<{
129
113
  type: Schema.Literal<["relation"]>;
130
- anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
114
+ anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
131
115
  direction: Schema.Literal<["outgoing", "incoming", "both"]>;
132
- typename: Schema.Union<[Schema.refine<string, typeof Schema.NonEmptyString>, typeof Schema.Null]>;
133
- predicates: Schema.optional<Schema.Record$<Schema.SchemaClass<string, string, never>, Schema.Union<[Schema.Struct<{
134
- type: Schema.Literal<["eq"]>;
135
- value: typeof Schema.Any;
136
- }>, Schema.Struct<{
137
- type: Schema.Literal<["neq"]>;
138
- value: typeof Schema.Any;
139
- }>, Schema.Struct<{
140
- type: Schema.Literal<["gt"]>;
141
- value: typeof Schema.Any;
142
- }>, Schema.Struct<{
143
- type: Schema.Literal<["gte"]>;
144
- value: typeof Schema.Any;
145
- }>, Schema.Struct<{
146
- type: Schema.Literal<["lt"]>;
147
- value: typeof Schema.Any;
148
- }>, Schema.Struct<{
149
- type: Schema.Literal<["lte"]>;
150
- value: typeof Schema.Any;
151
- }>, Schema.Struct<{
152
- type: Schema.Literal<["in"]>;
153
- values: Schema.Array$<typeof Schema.Any>;
154
- }>, Schema.Struct<{
155
- type: Schema.Literal<["range"]>;
156
- from: typeof Schema.Any;
157
- to: typeof Schema.Any;
158
- }>]>>>;
116
+ filter: Schema.optional<Schema.suspend<FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, FilterObject | FilterTextSearch | FilterCompare | FilterIn | FilterRange | FilterNot | FilterAnd | FilterOr, never>>;
159
117
  }>;
160
- interface ASTRelationClause extends Schema.Schema.Type<typeof ASTRelationClause_> {
118
+ interface QueryRelationClause extends Schema.Schema.Type<typeof QueryRelationClause_> {
161
119
  }
162
- declare const ASTRelationClause: Schema.Schema<ASTRelationClause>;
120
+ declare const QueryRelationClause: Schema.Schema<QueryRelationClause>;
163
121
  /**
164
122
  * Traverse into the source or target of a relation.
165
123
  */
166
- declare const ASTRelationTraversalClause_: Schema.Struct<{
124
+ declare const QueryRelationTraversalClause_: Schema.Struct<{
167
125
  type: Schema.Literal<["relation-traversal"]>;
168
- anchor: Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>;
126
+ anchor: Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>;
169
127
  direction: Schema.Literal<["source", "target", "both"]>;
170
128
  }>;
171
- interface ASTRelationTraversalClause extends Schema.Schema.Type<typeof ASTRelationTraversalClause_> {
129
+ interface QueryRelationTraversalClause extends Schema.Schema.Type<typeof QueryRelationTraversalClause_> {
172
130
  }
173
- declare const ASTRelationTraversalClause: Schema.Schema<ASTRelationTraversalClause>;
131
+ declare const QueryRelationTraversalClause: Schema.Schema<QueryRelationTraversalClause>;
174
132
  /**
175
133
  * Union of multiple queries.
176
134
  */
177
- declare const ASTUnionClause_: Schema.Struct<{
135
+ declare const QueryUnionClause_: Schema.Struct<{
178
136
  type: Schema.Literal<["union"]>;
179
- queries: Schema.Array$<Schema.suspend<ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, ASTTypeClause | ASTTextSearchClause | ASTReferenceTraversalClause | ASTIncomingReferencesClause | ASTRelationClause | ASTRelationTraversalClause | ASTUnionClause, never>>;
137
+ queries: Schema.Array$<Schema.suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryUnionClause, never>>;
180
138
  }>;
181
- interface ASTUnionClause extends Schema.Schema.Type<typeof ASTUnionClause_> {
139
+ interface QueryUnionClause extends Schema.Schema.Type<typeof QueryUnionClause_> {
182
140
  }
183
- declare const ASTUnionClause: Schema.Schema<ASTUnionClause>;
184
- declare const AST_: Schema.Union<[Schema.Schema<ASTTypeClause, ASTTypeClause, never>, Schema.Schema<ASTTextSearchClause, ASTTextSearchClause, never>, Schema.Schema<ASTReferenceTraversalClause, ASTReferenceTraversalClause, never>, Schema.Schema<ASTIncomingReferencesClause, ASTIncomingReferencesClause, never>, Schema.Schema<ASTRelationClause, ASTRelationClause, never>, Schema.Schema<ASTRelationTraversalClause, ASTRelationTraversalClause, never>, Schema.Schema<ASTUnionClause, ASTUnionClause, never>]>;
185
- export type AST = Schema.Schema.Type<typeof AST_>;
186
- export declare const AST: Schema.Schema<AST>;
141
+ declare const QueryUnionClause: Schema.Schema<QueryUnionClause>;
142
+ 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>]>;
143
+ export type Query = Schema.Schema.Type<typeof Query_>;
144
+ export declare const Query: Schema.Schema<Query>;
187
145
  export {};
188
146
  //# sourceMappingURL=ast.d.ts.map
package/dist/types/src/query/ast.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../../../src/query/ast.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAIhC,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;IAkCrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAC;AAE7D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;KAGvB,CAAC;AAEH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC;AAQnE;;GAEG;AACH,QAAA,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKlB,CAAC;AACH,UAAU,aAAc,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,cAAc,CAAC;CAAG;AAC5E,QAAA,MAAM,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAkB,CAAC;AAEnE,QAAA,MAAM,oBAAoB;;;;;EAKxB,CAAC;AACH,UAAU,mBAAoB,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,oBAAoB,CAAC;CAAG;AACxF,QAAA,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAwB,CAAC;AAErF;;GAEG;AACH,QAAA,MAAM,4BAA4B;;;;EAIhC,CAAC;AACH,UAAU,2BAA4B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,4BAA4B,CAAC;CAAG;AACxG,QAAA,MAAM,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,2BAA2B,CAAgC,CAAC;AAE7G;;GAEG;AACH,QAAA,MAAM,4BAA4B;;;;;EAKhC,CAAC;AACH,UAAU,2BAA4B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,4BAA4B,CAAC;CAAG;AACxG,QAAA,MAAM,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,2BAA2B,CAAgC,CAAC;AAE7G;;GAEG;AACH,QAAA,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMtB,CAAC;AACH,UAAU,iBAAkB,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,kBAAkB,CAAC;CAAG;AACpF,QAAA,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAsB,CAAC;AAE/E;;GAEG;AACH,QAAA,MAAM,2BAA2B;;;;EAI/B,CAAC;AACH,UAAU,0BAA2B,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,2BAA2B,CAAC;CAAG;AACtG,QAAA,MAAM,0BAA0B,EAAE,MAAM,CAAC,MAAM,CAAC,0BAA0B,CAA+B,CAAC;AAE1G;;GAEG;AACH,QAAA,MAAM,eAAe;;;EAGnB,CAAC;AACH,UAAU,cAAe,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC;CAAG;AAC9E,QAAA,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAmB,CAAC;AAEtE,QAAA,MAAM,IAAI,oeAQT,CAAC;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;AAClD,eAAO,MAAM,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAQ,CAAC"}
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/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@dxos/echo",
3
- "version": "0.8.2-main.5ca3450",
3
+ "version": "0.8.2-main.600d381",
4
4
  "description": "ECHO API",
5
5
  "homepage": "https://dxos.org",
6
6
  "bugs": "https://github.com/dxos/dxos/issues",
@@ -23,18 +23,18 @@
23
23
  "dependencies": {
24
24
  "@preact/signals-core": "^1.6.0",
25
25
  "effect": "3.14.21",
26
- "@dxos/debug": "0.8.2-main.5ca3450",
27
- "@dxos/echo-db": "0.8.2-main.5ca3450",
28
- "@dxos/echo-schema": "0.8.2-main.5ca3450",
29
- "@dxos/echo-signals": "0.8.2-main.5ca3450",
30
- "@dxos/echo-protocol": "0.8.2-main.5ca3450",
31
- "@dxos/keys": "0.8.2-main.5ca3450",
32
- "@dxos/effect": "0.8.2-main.5ca3450",
33
- "@dxos/live-object": "0.8.2-main.5ca3450",
34
- "@dxos/log": "0.8.2-main.5ca3450",
35
- "@dxos/invariant": "0.8.2-main.5ca3450",
36
- "@dxos/node-std": "0.8.2-main.5ca3450",
37
- "@dxos/util": "0.8.2-main.5ca3450"
26
+ "@dxos/debug": "0.8.2-main.600d381",
27
+ "@dxos/echo-db": "0.8.2-main.600d381",
28
+ "@dxos/echo-schema": "0.8.2-main.600d381",
29
+ "@dxos/echo-signals": "0.8.2-main.600d381",
30
+ "@dxos/effect": "0.8.2-main.600d381",
31
+ "@dxos/invariant": "0.8.2-main.600d381",
32
+ "@dxos/echo-protocol": "0.8.2-main.600d381",
33
+ "@dxos/keys": "0.8.2-main.600d381",
34
+ "@dxos/live-object": "0.8.2-main.600d381",
35
+ "@dxos/log": "0.8.2-main.600d381",
36
+ "@dxos/node-std": "0.8.2-main.600d381",
37
+ "@dxos/util": "0.8.2-main.600d381"
38
38
  },
39
39
  "publishConfig": {
40
40
  "access": "public"