@ddd-ts-kit/kernel 0.0.0-stage → 0.1.0

package/dist/application/criteria/filter-violations.js

@@ -0,0 +1,75 @@
+import { isValueOf } from './is-value-of.js';
+export function filterViolations(definition, filters) {
+    const { maxFilters } = definition.limits;
+    const violations = filters.flatMap((node) => nodeViolations(definition, node, 1));
+    if (conditionsIn(filters) > maxFilters) {
+        violations.push(violation('filter', 'too_many_filters', `A read holds ${String(maxFilters)} conditions at most.`));
+    }
+    return violations;
+}
+function nodeViolations(definition, node, depth) {
+    const { maxDepth } = definition.limits;
+    if (node.kind === 'condition') {
+        return conditionViolations(definition, node);
+    }
+    if (depth > maxDepth) {
+        return [violation('filter', 'too_deep', `Groups nest ${String(maxDepth)} deep at most.`)];
+    }
+    if (node.filters.length === 0) {
+        return [violation('filter', 'empty_group', 'A group holds one filter at least.')];
+    }
+    return node.filters.flatMap((inner) => nodeViolations(definition, inner, depth + 1));
+}
+function conditionViolations(definition, condition) {
+    const { field, operator } = condition;
+    const path = `filter.${field}`;
+    const declared = Object.hasOwn(definition.fields, field) ? definition.fields[field] : undefined;
+    if (declared === undefined) {
+        return [violation(path, 'unknown_field', 'This field cannot be filtered.')];
+    }
+    if (!declared.filter.includes(operator)) {
+        return [
+            violation(path, 'operator_not_allowed', `Operators of this field: ${declared.filter.join(', ') || 'none'}.`),
+        ];
+    }
+    const code = operandDefect(declared, condition, definition.limits.maxInList);
+    return code === undefined ? [] : [violation(path, code, messageOf(code, definition))];
+}
+function operandDefect(declared, { operator, value }, maxInList) {
+    const fits = (operand) => isValueOf(declared.type, operand);
+    if (operator === 'in') {
+        return listDefect(value, fits, maxInList);
+    }
+    return operandFits(operator, value, fits) ? undefined : 'invalid_value';
+}
+function operandFits(operator, value, fits) {
+    switch (operator) {
+        case 'isNull':
+            return typeof value === 'boolean';
+        case 'contains':
+        case 'startsWith':
+            return typeof value === 'string' && value !== '';
+        case 'between':
+            return Array.isArray(value) && value.length === 2 && value.every(fits);
+        default:
+            return fits(value);
+    }
+}
+function listDefect(value, fits, maxInList) {
+    if (!Array.isArray(value) || value.length === 0 || !value.every(fits)) {
+        return 'invalid_value';
+    }
+    return value.length > maxInList ? 'in_list_too_long' : undefined;
+}
+function messageOf(code, definition) {
+    return code === 'in_list_too_long'
+        ? `A list holds ${String(definition.limits.maxInList)} values at most.`
+        : 'The value does not fit the type of this field or its operator.';
+}
+function conditionsIn(filters) {
+    return filters.reduce((count, node) => count + (node.kind === 'condition' ? 1 : conditionsIn(node.filters)), 0);
+}
+function violation(path, code, message) {
+    return { path, code, message };
+}
+//# sourceMappingURL=filter-violations.js.map

package/dist/application/criteria/filter-violations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-violations.js","sourceRoot":"","sources":["../../../src/application/criteria/filter-violations.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,MAAM,UAAU,gBAAgB,CAC9B,UAAmC,EACnC,OAA8B;IAE9B,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC;IACzC,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAElF,IAAI,YAAY,CAAC,OAAO,CAAC,GAAG,UAAU,EAAE,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,kBAAkB,EAAE,gBAAgB,MAAM,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACrH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,cAAc,CACrB,UAAmC,EACnC,IAAgB,EAChB,KAAa;IAEb,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC;IAEvC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;QACrB,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC5F,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,aAAa,EAAE,oCAAoC,CAAC,CAAC,CAAC;IACpF,CAAC;IAED,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAmC,EACnC,SAA0B;IAE1B,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;IACtC,MAAM,IAAI,GAAG,UAAU,KAAK,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEhG,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,eAAe,EAAE,gCAAgC,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,OAAO;YACL,SAAS,CAAC,IAAI,EAAE,sBAAsB,EAAE,4BAA4B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC;SAC7G,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAE7E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,aAAa,CACpB,QAA0B,EAC1B,EAAE,QAAQ,EAAE,KAAK,EAAmB,EACpC,SAAiB;IAEjB,MAAM,IAAI,GAAG,CAAC,OAAgB,EAAW,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE9E,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC;AAC1E,CAAC;AAED,SAAS,WAAW,CAClB,QAAqC,EACrC,KAAc,EACd,IAAmC;IAEnC,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACpC,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,EAAE,CAAC;QACnD,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzE;YACE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,KAAc,EACd,IAAmC,EACnC,SAAiB;IAEjB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC;AAED,SAAS,SAAS,CAAM,IAA2B,EAAE,UAAmC;IACtF,OAAO,IAAI,KAAK,kBAAkB;QAChC,CAAC,CAAC,gBAAgB,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,kBAAkB;QACvE,CAAC,CAAC,gEAAgE,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CAAC,OAA8B;IAClD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,IAA2B,EAAE,OAAe;IAC3E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACjC,CAAC"}

package/dist/application/criteria/filters.d.ts

@@ -0,0 +1,17 @@
+import type { FieldOf } from './field-of.js';
+import type { FilterNode, FilterOperand } from './filter-node.js';
+import type { OperandOf } from './operand-of.js';
+import type { OperatorOf } from './operator-of.js';
+/** The filters of one group, built fluently and never changed: every method answers a new list. */
+export declare class Filters<Row> {
+    readonly nodes: readonly FilterNode[];
+    static none<Row>(): Filters<Row>;
+    private constructor();
+    where<Field extends FieldOf<Row> & keyof Row, Operator extends OperatorOf<Row[Field]>>(field: Field, operator: Operator, value: OperandOf<Row[Field], Operator> & FilterOperand): Filters<Row>;
+    and(build: (filters: Filters<Row>) => Filters<Row>): Filters<Row>;
+    or(build: (filters: Filters<Row>) => Filters<Row>): Filters<Row>;
+    not(build: (filters: Filters<Row>) => Filters<Row>): Filters<Row>;
+    /** A filter written as data, whose names the compiler did not check: validate before use. */
+    plus(node: FilterNode): Filters<Row>;
+}
+//# sourceMappingURL=filters.d.ts.map

package/dist/application/criteria/filters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filters.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/filters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAElE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,mGAAmG;AACnG,qBAAa,OAAO,CAAC,GAAG;IAKF,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE;IAJzD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,CAE/B;IAED,OAAO,eAAsD;IAE7D,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,EAAE,QAAQ,SAAS,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EACnF,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,GAAG,aAAa,GACrD,OAAO,CAAC,GAAG,CAAC,CAAC;IAKhB,GAAG,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAEhE;IAED,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAE/D;IAED,GAAG,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAEhE;IAED,6FAA6F;IAC7F,IAAI,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAEnC;CACF"}

package/dist/application/criteria/filters.js

@@ -0,0 +1,27 @@
+/** The filters of one group, built fluently and never changed: every method answers a new list. */
+export class Filters {
+    nodes;
+    static none() {
+        return new Filters([]);
+    }
+    constructor(nodes) {
+        this.nodes = nodes;
+    }
+    where(field, operator, value) {
+        return this.plus({ kind: 'condition', field, operator, value });
+    }
+    and(build) {
+        return this.plus({ kind: 'and', filters: build(Filters.none()).nodes });
+    }
+    or(build) {
+        return this.plus({ kind: 'or', filters: build(Filters.none()).nodes });
+    }
+    not(build) {
+        return this.plus({ kind: 'not', filters: build(Filters.none()).nodes });
+    }
+    /** A filter written as data, whose names the compiler did not check: validate before use. */
+    plus(node) {
+        return new Filters([...this.nodes, node]);
+    }
+}
+//# sourceMappingURL=filters.js.map

package/dist/application/criteria/filters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filters.js","sourceRoot":"","sources":["../../../src/application/criteria/filters.ts"],"names":[],"mappings":"AAMA,mGAAmG;AACnG,MAAM,OAAO,OAAO;IAKW,KAAK;IAJlC,MAAM,CAAC,IAAI;QACT,OAAO,IAAI,OAAO,CAAM,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,YAA6B,KAA4B;qBAA5B,KAAK;IAA0B,CAAC;IAO7D,KAAK,CAAC,KAAa,EAAE,QAAwB,EAAE,KAAoB;QACjE,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,GAAG,CAAC,KAA8C;QAChD,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,EAAE,CAAC,KAA8C;QAC/C,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,GAAG,CAAC,KAA8C;QAChD,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,6FAA6F;IAC7F,IAAI,CAAC,IAAgB;QACnB,OAAO,IAAI,OAAO,CAAM,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC;CACF"}

package/dist/application/criteria/holds.d.ts

@@ -0,0 +1,7 @@
+import type { FieldDeclaration } from './field-declaration.js';
+import type { Predicate } from './predicate.js';
+type Fields = Readonly<Record<string, FieldDeclaration>>;
+/** Whether a row satisfies a predicate: the reference every translator is held to. */
+export declare function holds(predicate: Predicate | undefined, row: object, fields: Fields): boolean;
+export {};
+//# sourceMappingURL=holds.d.ts.map

package/dist/application/criteria/holds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"holds.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/holds.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,SAAS,EAAiB,MAAM,gBAAgB,CAAC;AAE/D,KAAK,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAEzD,sFAAsF;AACtF,wBAAgB,KAAK,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAY5F"}

package/dist/application/criteria/holds.js

@@ -0,0 +1,57 @@
+import { compareValues } from './compare-values.js';
+/** Whether a row satisfies a predicate: the reference every translator is held to. */
+export function holds(predicate, row, fields) {
+    if (predicate === undefined) {
+        return true;
+    }
+    if (predicate.kind === 'test') {
+        return passes(predicate, row, fields[predicate.field]?.type ?? 'string');
+    }
+    return predicate.kind === 'and'
+        ? predicate.parts.every((part) => holds(part, row, fields))
+        : predicate.parts.some((part) => holds(part, row, fields));
+}
+function passes(test, row, type) {
+    const value = Reflect.get(row, test.field) ?? null;
+    if (test.operator === 'isNull') {
+        return (value === null) === test.value;
+    }
+    if (value === null) {
+        return false;
+    }
+    return compares(test, value, type) !== test.negated;
+}
+function compares({ operator, value: operand }, value, type) {
+    const order = (other) => compareValues(type, value, other);
+    const operands = Array.isArray(operand) ? operand : [operand];
+    const [first, second] = operands;
+    switch (operator) {
+        case 'eq':
+            return order(first) === 0;
+        case 'ne':
+            return order(first) !== 0;
+        case 'in':
+            return operands.some((candidate) => order(candidate) === 0);
+        case 'between':
+            return order(first) >= 0 && order(second) <= 0;
+        case 'contains':
+            return String(value).includes(String(first));
+        case 'startsWith':
+            return String(value).startsWith(String(first));
+        default:
+            return ordered(operator, order(first));
+    }
+}
+function ordered(operator, order) {
+    switch (operator) {
+        case 'gt':
+            return order > 0;
+        case 'gte':
+            return order >= 0;
+        case 'lt':
+            return order < 0;
+        default:
+            return order <= 0;
+    }
+}
+//# sourceMappingURL=holds.js.map

package/dist/application/criteria/holds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"holds.js","sourceRoot":"","sources":["../../../src/application/criteria/holds.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAOpD,sFAAsF;AACtF,MAAM,UAAU,KAAK,CAAC,SAAgC,EAAE,GAAW,EAAE,MAAc;IACjF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,KAAK,KAAK;QAC7B,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,MAAM,CAAC,IAAmB,EAAE,GAAW,EAAE,IAAe;IAC/D,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;IAE5D,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC;IACzC,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC;AACtD,CAAC;AAED,SAAS,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAiB,EAAE,KAAc,EAAE,IAAe;IAC5F,MAAM,KAAK,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAuB,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAClF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC;IAEjC,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjD,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD;YACE,OAAO,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,QAAgD,EAAE,KAAa;IAC9E,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,IAAI;YACP,OAAO,KAAK,GAAG,CAAC,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,KAAK,IAAI,CAAC,CAAC;QACpB,KAAK,IAAI;YACP,OAAO,KAAK,GAAG,CAAC,CAAC;QACnB;YACE,OAAO,KAAK,IAAI,CAAC,CAAC;IACtB,CAAC;AACH,CAAC"}

package/dist/application/criteria/invalid-criteria-error.d.ts

@@ -0,0 +1,10 @@
+import { DomainError } from '../../domain/errors/domain-error.js';
+import type { CriteriaViolation } from './criteria-violation.js';
+export declare const INVALID_CRITERIA = "INVALID_CRITERIA";
+/** A criteria its definition refuses reached a read port: the boundary let it through unvalidated. */
+export declare class InvalidCriteriaError extends DomainError {
+    readonly violations: readonly CriteriaViolation[];
+    readonly code = "INVALID_CRITERIA";
+    constructor(violations: readonly CriteriaViolation[]);
+}
+//# sourceMappingURL=invalid-criteria-error.d.ts.map

package/dist/application/criteria/invalid-criteria-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invalid-criteria-error.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/invalid-criteria-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,eAAO,MAAM,gBAAgB,qBAAqB,CAAC;AAEnD,sGAAsG;AACtG,qBAAa,oBAAqB,SAAQ,WAAW;IAGvC,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE;IAF7D,QAAQ,CAAC,IAAI,sBAAoB;IAEjC,YAAqB,UAAU,EAAE,SAAS,iBAAiB,EAAE,EAE5D;CACF"}

package/dist/application/criteria/invalid-criteria-error.js

@@ -0,0 +1,12 @@
+import { DomainError } from '../../domain/errors/domain-error.js';
+export const INVALID_CRITERIA = 'INVALID_CRITERIA';
+/** A criteria its definition refuses reached a read port: the boundary let it through unvalidated. */
+export class InvalidCriteriaError extends DomainError {
+    violations;
+    code = INVALID_CRITERIA;
+    constructor(violations) {
+        super(`The criteria is refused: ${violations.map(({ path, code }) => `${path} (${code})`).join(', ')}`);
+        this.violations = violations;
+    }
+}
+//# sourceMappingURL=invalid-criteria-error.js.map

package/dist/application/criteria/invalid-criteria-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invalid-criteria-error.js","sourceRoot":"","sources":["../../../src/application/criteria/invalid-criteria-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AAGlE,MAAM,CAAC,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAEnD,sGAAsG;AACtG,MAAM,OAAO,oBAAqB,SAAQ,WAAW;IAG9B,UAAU;IAFtB,IAAI,GAAG,gBAAgB,CAAC;IAEjC,YAAqB,UAAwC;QAC3D,KAAK,CAAC,4BAA4B,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;0BADrF,UAAU;IAE/B,CAAC;CACF"}

package/dist/application/criteria/is-value-of.d.ts

@@ -0,0 +1,4 @@
+import type { FieldType } from './field-type.js';
+/** Whether a value is one a field of the type holds, and compares with. */
+export declare function isValueOf(type: FieldType, value: unknown): boolean;
+//# sourceMappingURL=is-value-of.d.ts.map

package/dist/application/criteria/is-value-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is-value-of.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/is-value-of.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAIjD,2EAA2E;AAC3E,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAalE"}

package/dist/application/criteria/is-value-of.js

@@ -0,0 +1,17 @@
+const DECIMAL = /^-?\d+(?:\.\d+)?$/;
+/** Whether a value is one a field of the type holds, and compares with. */
+export function isValueOf(type, value) {
+    switch (type) {
+        case 'string':
+            return typeof value === 'string';
+        case 'number':
+            return typeof value === 'number' && Number.isFinite(value);
+        case 'boolean':
+            return typeof value === 'boolean';
+        case 'instant':
+            return value instanceof Date && !Number.isNaN(value.getTime());
+        case 'decimal':
+            return typeof value === 'string' && DECIMAL.test(value);
+    }
+}
+//# sourceMappingURL=is-value-of.js.map

package/dist/application/criteria/is-value-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is-value-of.js","sourceRoot":"","sources":["../../../src/application/criteria/is-value-of.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,GAAG,mBAAmB,CAAC;AAEpC,2EAA2E;AAC3E,MAAM,UAAU,SAAS,CAAC,IAAe,EAAE,KAAc;IACvD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QACnC,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACpC,KAAK,SAAS;YACZ,OAAO,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC"}

package/dist/application/criteria/operand-of.d.ts

@@ -0,0 +1,4 @@
+import type { FilterOperator } from './filter-operator.js';
+/** What an operator compares a field holding `Value` with. */
+export type OperandOf<Value, Operator extends FilterOperator> = Operator extends 'in' ? readonly NonNullable<Value>[] : Operator extends 'between' ? readonly [from: NonNullable<Value>, to: NonNullable<Value>] : Operator extends 'isNull' ? boolean : Operator extends 'contains' | 'startsWith' ? string : NonNullable<Value>;
+//# sourceMappingURL=operand-of.d.ts.map

package/dist/application/criteria/operand-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operand-of.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/operand-of.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,8DAA8D;AAC9D,MAAM,MAAM,SAAS,CAAC,KAAK,EAAE,QAAQ,SAAS,cAAc,IAAI,QAAQ,SAAS,IAAI,GACjF,SAAS,WAAW,CAAC,KAAK,CAAC,EAAE,GAC7B,QAAQ,SAAS,SAAS,GACxB,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,GAC3D,QAAQ,SAAS,QAAQ,GACvB,OAAO,GACP,QAAQ,SAAS,UAAU,GAAG,YAAY,GACxC,MAAM,GACN,WAAW,CAAC,KAAK,CAAC,CAAC"}

package/dist/application/criteria/operand-of.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=operand-of.js.map

package/dist/application/criteria/operand-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operand-of.js","sourceRoot":"","sources":["../../../src/application/criteria/operand-of.ts"],"names":[],"mappings":""}

package/dist/application/criteria/operator-of.d.ts

@@ -0,0 +1,6 @@
+/**
+ * The operators the compiler accepts on a field holding `Value`: no order on a boolean, no
+ * text search off a string, no `isNull` on a field that is never null.
+ */
+export type OperatorOf<Value> = 'eq' | 'ne' | 'in' | ([Extract<Value, null | undefined>] extends [never] ? never : 'isNull') | ([NonNullable<Value>] extends [boolean] ? never : 'gt' | 'gte' | 'lt' | 'lte' | 'between') | ([NonNullable<Value>] extends [string] ? 'contains' | 'startsWith' : never);
+//# sourceMappingURL=operator-of.d.ts.map

package/dist/application/criteria/operator-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operator-of.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/operator-of.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,IACxB,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,QAAQ,CAAC,GACvE,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,CAAC,GAC1F,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,UAAU,GAAG,YAAY,GAAG,KAAK,CAAC,CAAC"}

package/dist/application/criteria/operator-of.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=operator-of.js.map

package/dist/application/criteria/operator-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operator-of.js","sourceRoot":"","sources":["../../../src/application/criteria/operator-of.ts"],"names":[],"mappings":""}

package/dist/application/criteria/operators-of-type.d.ts

@@ -0,0 +1,5 @@
+import type { FieldType } from './field-type.js';
+import type { FilterOperator } from './filter-operator.js';
+/** The operators that mean something on a field of a type. */
+export declare function operatorsOfType(type: FieldType): readonly FilterOperator[];
+//# sourceMappingURL=operators-of-type.d.ts.map

package/dist/application/criteria/operators-of-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operators-of-type.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/operators-of-type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAa3D,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,cAAc,EAAE,CAE1E"}

package/dist/application/criteria/operators-of-type.js

@@ -0,0 +1,14 @@
+const ANY = ['eq', 'ne', 'in', 'isNull'];
+const ORDERED = [...ANY, 'gt', 'gte', 'lt', 'lte', 'between'];
+const BY_TYPE = {
+    string: [...ORDERED, 'contains', 'startsWith'],
+    number: ORDERED,
+    instant: ORDERED,
+    decimal: ORDERED,
+    boolean: ANY,
+};
+/** The operators that mean something on a field of a type. */
+export function operatorsOfType(type) {
+    return BY_TYPE[type];
+}
+//# sourceMappingURL=operators-of-type.js.map

package/dist/application/criteria/operators-of-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operators-of-type.js","sourceRoot":"","sources":["../../../src/application/criteria/operators-of-type.ts"],"names":[],"mappings":"AAGA,MAAM,GAAG,GAA8B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AACpE,MAAM,OAAO,GAA8B,CAAC,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AAEzF,MAAM,OAAO,GAA2D;IACtE,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC;IAC9C,MAAM,EAAE,OAAO;IACf,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,GAAG;CACb,CAAC;AAEF,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,IAAe;IAC7C,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;AACvB,CAAC"}

package/dist/application/criteria/page-of-plan.d.ts

@@ -0,0 +1,9 @@
+import type { Page } from '../pagination/page.js';
+import type { CriteriaPlan } from './criteria-plan.js';
+/**
+ * The page of a plan from the rows its query answered, in order. An offset page carries the
+ * total when it was counted; a cursor page, fetched one row longer than asked, carries a
+ * `nextCursor` when that extra row came.
+ */
+export declare function pageOfPlan<Row extends object>(plan: CriteriaPlan, rows: readonly Row[], total?: number): Page<Row>;
+//# sourceMappingURL=page-of-plan.d.ts.map

package/dist/application/criteria/page-of-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"page-of-plan.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/page-of-plan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,SAAS,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,GAAG,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAYlH"}

package/dist/application/criteria/page-of-plan.js

@@ -0,0 +1,25 @@
+import { encodeCursor } from '../pagination/encode-cursor.js';
+import { pageOf } from '../pagination/page-of.js';
+/**
+ * The page of a plan from the rows its query answered, in order. An offset page carries the
+ * total when it was counted; a cursor page, fetched one row longer than asked, carries a
+ * `nextCursor` when that extra row came.
+ */
+export function pageOfPlan(plan, rows, total) {
+    if (plan.kind === 'offset') {
+        return pageOf(rows.slice(0, plan.limit), total === undefined ? {} : { total });
+    }
+    const items = rows.slice(0, plan.limit);
+    const last = items.at(-1);
+    return pageOf(items, rows.length > plan.limit && last !== undefined ? { nextCursor: encodeCursor(positionOf(plan, last)) } : {});
+}
+function positionOf(plan, row) {
+    return Object.fromEntries(plan.sort.map(({ field }) => [field, written(Reflect.get(row, field))]));
+}
+function written(value) {
+    if (value instanceof Date) {
+        return value.toISOString();
+    }
+    return typeof value === 'string' || typeof value === 'number' || typeof value === 'boolean' ? value : null;
+}
+//# sourceMappingURL=page-of-plan.js.map

package/dist/application/criteria/page-of-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"page-of-plan.js","sourceRoot":"","sources":["../../../src/application/criteria/page-of-plan.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAIlD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAqB,IAAkB,EAAE,IAAoB,EAAE,KAAc;IACrG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1B,OAAO,MAAM,CACX,KAAK,EACL,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAC3G,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAkB,EAAE,GAAW;IACjD,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;IAC7B,CAAC;IAED,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7G,CAAC"}

package/dist/application/criteria/page-violations.d.ts

@@ -0,0 +1,11 @@
+import type { PageRequest } from '../pagination/page-request.js';
+import type { Sort } from '../pagination/sort.js';
+import type { CriteriaDefinition } from './criteria-definition.js';
+import type { CriteriaViolation } from './criteria-violation.js';
+interface Asked {
+    readonly sort: readonly Sort[];
+    readonly page: PageRequest | undefined;
+}
+export declare function pageViolations<Row>(definition: CriteriaDefinition<Row>, { sort, page }: Asked): CriteriaViolation[];
+export {};
+//# sourceMappingURL=page-violations.d.ts.map

package/dist/application/criteria/page-violations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"page-violations.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/page-violations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAIjE,UAAU,KAAK;IACb,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,SAAS,CAAC;CACxC;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,UAAU,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,GAAG,iBAAiB,EAAE,CAoBnH"}

package/dist/application/criteria/page-violations.js

@@ -0,0 +1,39 @@
+import { readCursor } from './read-cursor.js';
+import { totalSort } from './total-sort.js';
+export function pageViolations(definition, { sort, page }) {
+    const violations = sort.flatMap((asked) => sortViolations(definition, asked));
+    if (page === undefined) {
+        return violations;
+    }
+    if (page.limit > definition.limits.maxPageSize) {
+        violations.push({
+            path: 'page.limit',
+            code: 'page_too_large',
+            message: `A page holds ${String(definition.limits.maxPageSize)} items at most.`,
+        });
+    }
+    if (violations.length === 0 && page.kind === 'cursor' && page.cursor !== undefined) {
+        violations.push(...cursorViolations(definition, sort, page.cursor));
+    }
+    return violations;
+}
+function sortViolations(definition, { field }) {
+    const sortable = field === definition.tieBreaker ||
+        (Object.hasOwn(definition.fields, field) && definition.fields[field]?.sortable === true);
+    return sortable
+        ? []
+        : [{ path: 'sort', code: 'unsortable_field', message: 'This read cannot be sorted by one of the fields asked.' }];
+}
+function cursorViolations(definition, sort, cursor) {
+    const values = readCursor(cursor, totalSort(definition, sort), definition.fields);
+    return values === undefined
+        ? [
+            {
+                path: 'page.cursor',
+                code: 'invalid_cursor',
+                message: 'The cursor is the nextCursor of a previous page of the same read.',
+            },
+        ]
+        : [];
+}
+//# sourceMappingURL=page-violations.js.map

package/dist/application/criteria/page-violations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"page-violations.js","sourceRoot":"","sources":["../../../src/application/criteria/page-violations.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAO5C,MAAM,UAAU,cAAc,CAAM,UAAmC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAS;IAC5F,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;IAE9E,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,gBAAgB,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,iBAAiB;SAChF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACnF,UAAU,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,cAAc,CAAM,UAAmC,EAAE,EAAE,KAAK,EAAQ;IAC/E,MAAM,QAAQ,GACZ,KAAK,KAAK,UAAU,CAAC,UAAU;QAC/B,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC;IAE3F,OAAO,QAAQ;QACb,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;AACtH,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAmC,EACnC,IAAqB,EACrB,MAAc;IAEd,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAElF,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,mEAAmE;aAC7E;SACF;QACH,CAAC,CAAC,EAAE,CAAC;AACT,CAAC"}

package/dist/application/criteria/plan-criteria.d.ts

@@ -0,0 +1,11 @@
+import type { CriteriaDefinition } from './criteria-definition.js';
+import type { CriteriaPlan } from './criteria-plan.js';
+import type { Criteria } from './criteria.js';
+import type { ScopedCriteria } from './scoped-criteria.js';
+/**
+ * The plan of a read for a store. It validates first and throws `InvalidCriteriaError`: a
+ * criteria that its definition refuses never reaches a statement. A criteria given without a
+ * scope is read whole, which is right for a read nobody is refused.
+ */
+export declare function planCriteria<Row>(definition: CriteriaDefinition<Row>, read: Criteria<Row> | ScopedCriteria<Row>): CriteriaPlan;
+//# sourceMappingURL=plan-criteria.d.ts.map

package/dist/application/criteria/plan-criteria.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-criteria.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/plan-criteria.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAK9C,OAAO,KAAK,EAAE,cAAc,EAAoB,MAAM,sBAAsB,CAAC;AAQ7E;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAC9B,UAAU,EAAE,kBAAkB,CAAC,GAAG,CAAC,EACnC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,GACxC,YAAY,CAsBd"}

package/dist/application/criteria/plan-criteria.js

@@ -0,0 +1,55 @@
+import { InvalidCriteriaError } from './invalid-criteria-error.js';
+import { predicateOf } from './predicate-of.js';
+import { readCursor } from './read-cursor.js';
+import { seekPredicate } from './seek-predicate.js';
+import { totalSort } from './total-sort.js';
+import { UnmappedReadScopeError } from './unmapped-read-scope-error.js';
+import { validateCriteria } from './validate-criteria.js';
+const UNRESTRICTED = { conditions: [], empty: false };
+/**
+ * The plan of a read for a store. It validates first and throws `InvalidCriteriaError`: a
+ * criteria that its definition refuses never reaches a statement. A criteria given without a
+ * scope is read whole, which is right for a read nobody is refused.
+ */
+export function planCriteria(definition, read) {
+    // Told apart by shape: a criteria built with another copy of this package is still one.
+    const criteria = 'restriction' in read ? read.criteria : read;
+    const restriction = 'restriction' in read ? read.restriction : UNRESTRICTED;
+    const violations = validateCriteria(definition, criteria);
+    if (violations.length > 0) {
+        throw new InvalidCriteriaError(violations);
+    }
+    assertDeclared(definition, restriction);
+    const sort = totalSort(definition, criteria.sort);
+    return {
+        empty: restriction.empty,
+        fields: definition.fields,
+        filter: predicateOf([...criteria.filters, ...restriction.conditions], definition.fields),
+        seek: seekOf(definition, criteria.pageRequest, sort),
+        sort,
+        ...windowOf(criteria.pageRequest, definition.limits.defaultPageSize),
+    };
+}
+function windowOf(page, defaultSize) {
+    if (page === undefined) {
+        return { kind: 'offset', limit: defaultSize, fetch: defaultSize, offset: 0 };
+    }
+    return page.kind === 'cursor'
+        ? { kind: 'cursor', limit: page.limit, fetch: page.limit + 1, offset: 0 }
+        : { kind: 'offset', limit: page.limit, fetch: page.limit, offset: page.offset };
+}
+function assertDeclared(definition, restriction) {
+    for (const { field } of restriction.conditions) {
+        if (!Object.hasOwn(definition.fields, field)) {
+            throw new UnmappedReadScopeError(`the field "${field}"`);
+        }
+    }
+}
+function seekOf(definition, page, sort) {
+    if (page?.kind !== 'cursor' || page.cursor === undefined) {
+        return undefined;
+    }
+    const position = readCursor(page.cursor, sort, definition.fields);
+    return position === undefined ? undefined : seekPredicate(sort, position, definition.fields);
+}
+//# sourceMappingURL=plan-criteria.js.map

package/dist/application/criteria/plan-criteria.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-criteria.js","sourceRoot":"","sources":["../../../src/application/criteria/plan-criteria.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,MAAM,YAAY,GAAqB,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAExE;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAmC,EACnC,IAAyC;IAEzC,wFAAwF;IACxF,MAAM,QAAQ,GAAG,aAAa,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9D,MAAM,WAAW,GAAG,aAAa,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;IAC5E,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAE1D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC;IAED,cAAc,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAExC,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAElD,OAAO;QACL,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,MAAM,EAAE,WAAW,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC;QACxF,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;QACpD,IAAI;QACJ,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,IAA6B,EAC7B,WAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/E,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;QACzE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,cAAc,CAAM,UAAmC,EAAE,WAA6B;IAC7F,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,sBAAsB,CAAC,cAAc,KAAK,GAAG,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CACb,UAAmC,EACnC,IAA6B,EAC7B,IAA0B;IAE1B,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAElE,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;AAC/F,CAAC"}

package/dist/application/criteria/predicate-of.d.ts

@@ -0,0 +1,8 @@
+import type { FieldDeclaration } from './field-declaration.js';
+import type { FilterNode } from './filter-node.js';
+import type { Predicate } from './predicate.js';
+type Fields = Readonly<Record<string, FieldDeclaration>>;
+/** The filters, joined by AND, without any `not`: `undefined` when there is nothing to hold. */
+export declare function predicateOf(filters: readonly FilterNode[], fields: Fields): Predicate | undefined;
+export {};
+//# sourceMappingURL=predicate-of.d.ts.map

package/dist/application/criteria/predicate-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-of.d.ts","sourceRoot":"","sources":["../../../src/application/criteria/predicate-of.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAmB,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,KAAK,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAEzD,gGAAgG;AAChG,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAOjG"}

package/dist/application/criteria/predicate-of.js

@@ -0,0 +1,38 @@
+/** The filters, joined by AND, without any `not`: `undefined` when there is nothing to hold. */
+export function predicateOf(filters, fields) {
+    return filters.length === 0
+        ? undefined
+        : joined('and', filters.map((node) => normalized(node, { negate: false, fields })));
+}
+function normalized(node, { negate, fields }) {
+    if (node.kind === 'condition') {
+        return negate ? refuted(node, fields[node.field]?.nullable === true) : { ...test(node), negated: false };
+    }
+    const inside = node.kind === 'not' ? !negate : negate;
+    const joins = node.kind === 'or' ? 'or' : 'and';
+    return joined(inside ? opposite(joins) : joins, node.filters.map((inner) => normalized(inner, { negate: inside, fields })));
+}
+/** In two-valued logic, the opposite of a comparison also holds on `null`, where the field may hold one. */
+function refuted(condition, nullable) {
+    if (condition.operator === 'isNull') {
+        return { ...test(condition), value: condition.value !== true, negated: false };
+    }
+    const failing = { ...test(condition), negated: true };
+    return nullable
+        ? {
+            kind: 'or',
+            parts: [{ kind: 'test', field: condition.field, operator: 'isNull', value: true, negated: false }, failing],
+        }
+        : failing;
+}
+function test({ field, operator, value }) {
+    return { kind: 'test', field, operator, value };
+}
+function opposite(joins) {
+    return joins === 'and' ? 'or' : 'and';
+}
+function joined(kind, parts) {
+    const [only] = parts;
+    return parts.length === 1 && only !== undefined ? only : { kind, parts };
+}
+//# sourceMappingURL=predicate-of.js.map

package/dist/application/criteria/predicate-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-of.js","sourceRoot":"","sources":["../../../src/application/criteria/predicate-of.ts"],"names":[],"mappings":"AAMA,gGAAgG;AAChG,MAAM,UAAU,WAAW,CAAC,OAA8B,EAAE,MAAc;IACxE,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CACJ,KAAK,EACL,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CACnE,CAAC;AACR,CAAC;AAOD,SAAS,UAAU,CAAC,IAAgB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAW;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC3G,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IAEhD,OAAO,MAAM,CACX,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,4GAA4G;AAC5G,SAAS,OAAO,CAAC,SAA0B,EAAE,QAAiB;IAC5D,IAAI,SAAS,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,KAAK,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACjF,CAAC;IAED,MAAM,OAAO,GAAc,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAEjE,OAAO,QAAQ;QACb,CAAC,CAAC;YACE,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,CAAC;SAC5G;QACH,CAAC,CAAC,OAAO,CAAC;AACd,CAAC;AAED,SAAS,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAmB;IACvD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB;IACnC,OAAO,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AACxC,CAAC;AAED,SAAS,MAAM,CAAC,IAAkB,EAAE,KAA2B;IAC7D,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAErB,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC3E,CAAC"}