@fieldia/core 0.9.2 → 0.11.0

package/src/lib/record/compute.d.mts

@@ -0,0 +1,24 @@
+import type { Field, LineField } from '../format/field.mjs';
+import type { Page } from '../format/page.mjs';
+import { type Value, type Values } from './values.mjs';
+/**
+ * Values worked out from others: a field's `compute`. A page's own fields are
+ * worked out in the order they read each other; a one2many's line fields from
+ * the fields of the same line, before the page's own, so a page's sum reads
+ * lines already worked out. What does not change keeps its identity, so a
+ * form redraws only what did.
+ */
+export interface Computed {
+    /** The values with every worked-out field brought up to date. */
+    apply(values: Values): Values;
+    /** One line of a one2many with its worked-out fields brought up to date. */
+    line(field: string, values: Values): Values;
+}
+/**
+ * A worked-out value as its field holds it: a whole number rounded, a number
+ * to the field's decimals, a number as text in a text field, yes or no by
+ * Python's idea of true, and null for what the field cannot hold.
+ */
+export declare function fitTo(def: Field | LineField, value: unknown): Value;
+/** Read every `compute` of a page once. `today` is the day `today()` gives. */
+export declare function compileComputed(page: Page, today: () => string): Computed;

package/src/lib/record/compute.d.ts

@@ -0,0 +1,24 @@
+import type { Field, LineField } from '../format/field';
+import type { Page } from '../format/page';
+import { type Value, type Values } from './values';
+/**
+ * Values worked out from others: a field's `compute`. A page's own fields are
+ * worked out in the order they read each other; a one2many's line fields from
+ * the fields of the same line, before the page's own, so a page's sum reads
+ * lines already worked out. What does not change keeps its identity, so a
+ * form redraws only what did.
+ */
+export interface Computed {
+    /** The values with every worked-out field brought up to date. */
+    apply(values: Values): Values;
+    /** One line of a one2many with its worked-out fields brought up to date. */
+    line(field: string, values: Values): Values;
+}
+/**
+ * A worked-out value as its field holds it: a whole number rounded, a number
+ * to the field's decimals, a number as text in a text field, yes or no by
+ * Python's idea of true, and null for what the field cannot hold.
+ */
+export declare function fitTo(def: Field | LineField, value: unknown): Value;
+/** Read every `compute` of a page once. `today` is the day `today()` gives. */
+export declare function compileComputed(page: Page, today: () => string): Computed;

package/src/lib/record/compute.js

@@ -0,0 +1,107 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fitTo = fitTo;
+exports.compileComputed = compileComputed;
+const expression_1 = require("../expression/expression");
+const operations_1 = require("../expression/operations");
+const order_1 = require("../expression/order");
+const env_1 = require("./env");
+const values_1 = require("./values");
+/** The worked-out fields among `fields`, each read once, in the order to work them out. */
+function steps(fields) {
+    const compiled = new Map();
+    for (const [name, def] of Object.entries(fields))
+        if (def.compute !== undefined)
+            compiled.set(name, (0, expression_1.compileExpression)(def.compute));
+    const { order } = (0, order_1.dependencyOrder)(new Map([...compiled].map(([name, expression]) => [name, expression.fields])));
+    return order.map((name) => [name, compiled.get(name), fields[name]]);
+}
+/**
+ * A worked-out value as its field holds it: a whole number rounded, a number
+ * to the field's decimals, a number as text in a text field, yes or no by
+ * Python's idea of true, and null for what the field cannot hold.
+ */
+function fitTo(def, value) {
+    if (def.type === 'boolean')
+        return (0, operations_1.truthy)(value);
+    if (value === null || value === undefined)
+        return null;
+    switch (def.type) {
+        case 'integer':
+            return (0, operations_1.isNumber)(value) ? (0, operations_1.roundTo)(value, 0) : null;
+        case 'float':
+        case 'monetary':
+            if (!(0, operations_1.isNumber)(value))
+                return null;
+            return def.digits ? (0, operations_1.roundTo)(value, def.digits[1]) : value;
+        case 'char':
+        case 'text':
+        case 'html':
+            return typeof value === 'string' ? value : (0, operations_1.isNumber)(value) ? String(value) : null;
+        case 'date':
+        case 'datetime':
+            return typeof value === 'string' ? value : null;
+        default:
+            return value;
+    }
+}
+/** Read every `compute` of a page once. `today` is the day `today()` gives. */
+function compileComputed(page, today) {
+    const own = steps(page.fields);
+    const lineSteps = new Map();
+    for (const [name, def] of Object.entries(page.fields)) {
+        if (def.type !== 'one2many')
+            continue;
+        const found = steps(def.fields);
+        if (found.length)
+            lineSteps.set(name, { def, steps: found });
+    }
+    // Lines hold no lines of their own: inside one, only today() needs the env.
+    const lineEnv = { today };
+    /** Work out the steps on these values, writing each change into a copy. */
+    function run(values, list, fields, env) {
+        let next = values;
+        const context = (0, values_1.expressionContext)(values, fields);
+        for (const [name, expression, def] of list) {
+            const value = fitTo(def, expression.evaluate(context, env));
+            if ((0, values_1.sameValue)(value, next[name]))
+                continue;
+            next = { ...next, [name]: value };
+            // What comes after reads this value as it is now.
+            Object.assign(context, (0, values_1.expressionContext)({ [name]: value }, fields));
+        }
+        return next;
+    }
+    function line(field, values) {
+        const found = lineSteps.get(field);
+        // A section or a note has nothing to work out.
+        if (!found || (0, values_1.lineKind)(found.def, values) !== null)
+            return values;
+        return run(values, found.steps, found.def.fields, lineEnv);
+    }
+    return {
+        line,
+        apply(values) {
+            let next = values;
+            for (const field of lineSteps.keys()) {
+                const current = next[field];
+                if (!Array.isArray(current))
+                    continue;
+                let changed = false;
+                const updated = current.map((l) => {
+                    const worked = line(field, l.values);
+                    if (worked === l.values)
+                        return l;
+                    changed = true;
+                    return { ...l, values: worked };
+                });
+                if (changed)
+                    next = { ...next, [field]: updated };
+            }
+            if (!own.length)
+                return next;
+            return run(next, own, page.fields, (0, env_1.expressionEnv)(next, page.fields, today));
+        },
+    };
+}
+//# sourceMappingURL=compute.js.map

package/src/lib/record/compute.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compute.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/compute.ts"],"names":[],"mappings":";;AAqCA,sBAoBC;AAGD,0CAoDC;AA9GD,yDAA0G;AAC1G,yDAAqE;AACrE,+CAAsD;AACtD,+BAAsC;AACtC,qCAAsG;AAkBtG,2FAA2F;AAC3F,SAAS,KAAK,CAAC,MAAyC;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAA,8BAAiB,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACpI,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,uBAAe,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAuB,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED;;;;GAIG;AACH,SAAgB,KAAK,CAAC,GAAsB,EAAE,KAAc;IAC1D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAA,mBAAM,EAAC,KAAK,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,IAAA,qBAAQ,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAA,oBAAO,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,IAAI,CAAC,IAAA,qBAAQ,EAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAA,oBAAO,EAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5D,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAA,qBAAQ,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpF,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD;YACE,OAAO,KAAc,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAgB,eAAe,CAAC,IAAU,EAAE,KAAmB;IAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwE,CAAC;IAClG,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,MAAM;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,4EAA4E;IAC5E,MAAM,OAAO,GAAkB,EAAE,KAAK,EAAE,CAAC;IAEzC,2EAA2E;IAC3E,SAAS,GAAG,CAAC,MAAc,EAAE,IAAY,EAAE,MAAyC,EAAE,GAAkB;QACtG,IAAI,IAAI,GAAG,MAAM,CAAC;QAClB,MAAM,OAAO,GAAG,IAAA,0BAAiB,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5D,IAAI,IAAA,kBAAS,EAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC3C,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC;YAClC,kDAAkD;YAClD,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAA,0BAAiB,EAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,IAAI,CAAC,KAAa,EAAE,MAAc;QACzC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,+CAA+C;QAC/C,IAAI,CAAC,KAAK,IAAI,IAAA,iBAAQ,EAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAClE,OAAO,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO;QACL,IAAI;QACJ,KAAK,CAAC,MAAM;YACV,IAAI,IAAI,GAAG,MAAM,CAAC;YAClB,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACtC,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,MAAM,OAAO,GAAI,OAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;oBACrC,IAAI,MAAM,KAAK,CAAC,CAAC,MAAM;wBAAE,OAAO,CAAC,CAAC;oBAClC,OAAO,GAAG,IAAI,CAAC;oBACf,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBAClC,CAAC,CAAC,CAAC;gBACH,IAAI,OAAO;oBAAE,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;YACpD,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,IAAA,mBAAa,EAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAC9E,CAAC;KACF,CAAC;AACJ,CAAC"}

package/src/lib/record/compute.mjs

@@ -0,0 +1,103 @@
+import { compileExpression } from '../expression/expression.mjs';
+import { isNumber, roundTo, truthy } from '../expression/operations.mjs';
+import { dependencyOrder } from '../expression/order.mjs';
+import { expressionEnv } from './env.mjs';
+import { expressionContext, lineKind, sameValue } from './values.mjs';
+/** The worked-out fields among `fields`, each read once, in the order to work them out. */
+function steps(fields) {
+    const compiled = new Map();
+    for (const [name, def] of Object.entries(fields))
+        if (def.compute !== undefined)
+            compiled.set(name, compileExpression(def.compute));
+    const { order } = dependencyOrder(new Map([...compiled].map(([name, expression]) => [name, expression.fields])));
+    return order.map((name) => [name, compiled.get(name), fields[name]]);
+}
+/**
+ * A worked-out value as its field holds it: a whole number rounded, a number
+ * to the field's decimals, a number as text in a text field, yes or no by
+ * Python's idea of true, and null for what the field cannot hold.
+ */
+export function fitTo(def, value) {
+    if (def.type === 'boolean')
+        return truthy(value);
+    if (value === null || value === undefined)
+        return null;
+    switch (def.type) {
+        case 'integer':
+            return isNumber(value) ? roundTo(value, 0) : null;
+        case 'float':
+        case 'monetary':
+            if (!isNumber(value))
+                return null;
+            return def.digits ? roundTo(value, def.digits[1]) : value;
+        case 'char':
+        case 'text':
+        case 'html':
+            return typeof value === 'string' ? value : isNumber(value) ? String(value) : null;
+        case 'date':
+        case 'datetime':
+            return typeof value === 'string' ? value : null;
+        default:
+            return value;
+    }
+}
+/** Read every `compute` of a page once. `today` is the day `today()` gives. */
+export function compileComputed(page, today) {
+    const own = steps(page.fields);
+    const lineSteps = new Map();
+    for (const [name, def] of Object.entries(page.fields)) {
+        if (def.type !== 'one2many')
+            continue;
+        const found = steps(def.fields);
+        if (found.length)
+            lineSteps.set(name, { def, steps: found });
+    }
+    // Lines hold no lines of their own: inside one, only today() needs the env.
+    const lineEnv = { today };
+    /** Work out the steps on these values, writing each change into a copy. */
+    function run(values, list, fields, env) {
+        let next = values;
+        const context = expressionContext(values, fields);
+        for (const [name, expression, def] of list) {
+            const value = fitTo(def, expression.evaluate(context, env));
+            if (sameValue(value, next[name]))
+                continue;
+            next = { ...next, [name]: value };
+            // What comes after reads this value as it is now.
+            Object.assign(context, expressionContext({ [name]: value }, fields));
+        }
+        return next;
+    }
+    function line(field, values) {
+        const found = lineSteps.get(field);
+        // A section or a note has nothing to work out.
+        if (!found || lineKind(found.def, values) !== null)
+            return values;
+        return run(values, found.steps, found.def.fields, lineEnv);
+    }
+    return {
+        line,
+        apply(values) {
+            let next = values;
+            for (const field of lineSteps.keys()) {
+                const current = next[field];
+                if (!Array.isArray(current))
+                    continue;
+                let changed = false;
+                const updated = current.map((l) => {
+                    const worked = line(field, l.values);
+                    if (worked === l.values)
+                        return l;
+                    changed = true;
+                    return { ...l, values: worked };
+                });
+                if (changed)
+                    next = { ...next, [field]: updated };
+            }
+            if (!own.length)
+                return next;
+            return run(next, own, page.fields, expressionEnv(next, page.fields, today));
+        },
+    };
+}
+//# sourceMappingURL=compute.mjs.map

package/src/lib/record/compute.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"compute.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/compute.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAA+C,MAAM,0BAA0B,CAAC;AAC1G,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,OAAO,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,EAAsC,MAAM,UAAU,CAAC;AAkBtG,2FAA2F;AAC3F,SAAS,KAAK,CAAC,MAAyC;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACpI,MAAM,EAAE,KAAK,EAAE,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAuB,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAC,GAAsB,EAAE,KAAc;IAC1D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5D,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpF,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD;YACE,OAAO,KAAc,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,IAAU,EAAE,KAAmB;IAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwE,CAAC;IAClG,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,MAAM;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,4EAA4E;IAC5E,MAAM,OAAO,GAAkB,EAAE,KAAK,EAAE,CAAC;IAEzC,2EAA2E;IAC3E,SAAS,GAAG,CAAC,MAAc,EAAE,IAAY,EAAE,MAAyC,EAAE,GAAkB;QACtG,IAAI,IAAI,GAAG,MAAM,CAAC;QAClB,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5D,IAAI,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC3C,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC;YAClC,kDAAkD;YAClD,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,IAAI,CAAC,KAAa,EAAE,MAAc;QACzC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,+CAA+C;QAC/C,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAClE,OAAO,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO;QACL,IAAI;QACJ,KAAK,CAAC,MAAM;YACV,IAAI,IAAI,GAAG,MAAM,CAAC;YAClB,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACtC,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,MAAM,OAAO,GAAI,OAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;oBACrC,IAAI,MAAM,KAAK,CAAC,CAAC,MAAM;wBAAE,OAAO,CAAC,CAAC;oBAClC,OAAO,GAAG,IAAI,CAAC;oBACf,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBAClC,CAAC,CAAC,CAAC;gBACH,IAAI,OAAO;oBAAE,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;YACpD,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAC9E,CAAC;KACF,CAAC;AACJ,CAAC"}

package/src/lib/record/data-source.d.mts

@@ -1,6 +1,7 @@
-import type { FilterCondition, Fields } from '../format/field.mjs';
+import type { FilterCondition, Fields, Option } from '../format/field.mjs';
 import type { JsonValue } from '../format/json.mjs';
 import type { RecordId, RelatedRecord, Values } from './values.mjs';
+import type { RunStop } from './run.mjs';
 /**
  * How Fieldia reaches data. Fieldia knows no backend: an app implements this
  * interface for its own (a Flectra adapter, a REST client, a survey store),
@@ -23,6 +24,14 @@ export interface DataSource {
     list?(request: ListRequest): Promise<ListResult>;
     /** How many records fall under each value of a field, for a list's Group By. */
     groups?(request: GroupRequest): Promise<Group[]>;
+    /** The choices of one of the app's lists, for a selection with `optionsFrom`. */
+    options?(request: OptionsRequest): Promise<Option[]>;
+}
+export interface OptionsRequest {
+    /** The list's name, from the field's `optionsFrom.list`. */
+    list: string;
+    /** Every value of the form, for a list that changes with another field (`dependsOn`). */
+    values: Values;
 }
 export interface CreateRequest {
     model: string;
@@ -167,10 +176,13 @@ export type LinkOp = {
  * `network` in a banner with Retry, and `other` beside Save with Retry.
  */
 export interface SaveProblem {
-    kind: 'fields' | 'rule' | 'network' | 'other';
+    /** `stopped`: a step of the page's `beforeSave` stopped it, with `reason` — no data source was asked. */
+    kind: 'fields' | 'rule' | 'network' | 'other' | 'stopped';
     message: string;
     /** For `fields`: a message for each field, by name. */
     fields?: Record<string, string>;
+    /** For `stopped`: why the step stopped. */
+    reason?: RunStop;
 }
 /** An error for a data source's save to throw when the backend refuses it. */
 export declare function saveRefused(problem: SaveProblem): Error & {

package/src/lib/record/data-source.d.ts

@@ -1,6 +1,7 @@
-import type { FilterCondition, Fields } from '../format/field';
+import type { FilterCondition, Fields, Option } from '../format/field';
 import type { JsonValue } from '../format/json';
 import type { RecordId, RelatedRecord, Values } from './values';
+import type { RunStop } from './run';
 /**
  * How Fieldia reaches data. Fieldia knows no backend: an app implements this
  * interface for its own (a Flectra adapter, a REST client, a survey store),
@@ -23,6 +24,14 @@ export interface DataSource {
     list?(request: ListRequest): Promise<ListResult>;
     /** How many records fall under each value of a field, for a list's Group By. */
     groups?(request: GroupRequest): Promise<Group[]>;
+    /** The choices of one of the app's lists, for a selection with `optionsFrom`. */
+    options?(request: OptionsRequest): Promise<Option[]>;
+}
+export interface OptionsRequest {
+    /** The list's name, from the field's `optionsFrom.list`. */
+    list: string;
+    /** Every value of the form, for a list that changes with another field (`dependsOn`). */
+    values: Values;
 }
 export interface CreateRequest {
     model: string;
@@ -167,10 +176,13 @@ export type LinkOp = {
  * `network` in a banner with Retry, and `other` beside Save with Retry.
  */
 export interface SaveProblem {
-    kind: 'fields' | 'rule' | 'network' | 'other';
+    /** `stopped`: a step of the page's `beforeSave` stopped it, with `reason` — no data source was asked. */
+    kind: 'fields' | 'rule' | 'network' | 'other' | 'stopped';
     message: string;
     /** For `fields`: a message for each field, by name. */
     fields?: Record<string, string>;
+    /** For `stopped`: why the step stopped. */
+    reason?: RunStop;
 }
 /** An error for a data source's save to throw when the backend refuses it. */
 export declare function saveRefused(problem: SaveProblem): Error & {

package/src/lib/record/data-source.js.map

@@ -1 +1 @@
-{"version":3,"file":"data-source.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/data-source.ts"],"names":[],"mappings":";;AA6KA,kCAEC;AAGD,sCAMC;AAZD,8EAA8E;AAC9E,SAAgB,WAAW,CAAC,OAAoB;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,wGAAwG;AACxG,SAAgB,aAAa,CAAC,KAAc;IAC1C,MAAM,OAAO,GAAI,KAA0C,EAAE,OAAO,CAAC;IACrE,IAAI,OAAO,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC;IAChE,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,KAAK,YAAY,SAAS,IAAI,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAClH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC"}
+{"version":3,"file":"data-source.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/data-source.ts"],"names":[],"mappings":";;AA0LA,kCAEC;AAGD,sCAMC;AAZD,8EAA8E;AAC9E,SAAgB,WAAW,CAAC,OAAoB;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,wGAAwG;AACxG,SAAgB,aAAa,CAAC,KAAc;IAC1C,MAAM,OAAO,GAAI,KAA0C,EAAE,OAAO,CAAC;IACrE,IAAI,OAAO,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC;IAChE,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,KAAK,YAAY,SAAS,IAAI,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAClH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC"}

package/src/lib/record/data-source.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"data-source.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/data-source.ts"],"names":[],"mappings":"AA4KA,8EAA8E;AAC9E,MAAM,UAAU,WAAW,CAAC,OAAoB;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,OAAO,GAAI,KAA0C,EAAE,OAAO,CAAC;IACrE,IAAI,OAAO,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC;IAChE,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,KAAK,YAAY,SAAS,IAAI,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAClH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC"}
+{"version":3,"file":"data-source.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/data-source.ts"],"names":[],"mappings":"AAyLA,8EAA8E;AAC9E,MAAM,UAAU,WAAW,CAAC,OAAoB;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,OAAO,GAAI,KAA0C,EAAE,OAAO,CAAC;IACrE,IAAI,OAAO,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC;IAChE,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,KAAK,YAAY,SAAS,IAAI,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAClH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC"}

package/src/lib/record/env.d.mts

@@ -0,0 +1,9 @@
+import type { Field, LineField } from '../format/field.mjs';
+import type { ExpressionEnv } from '../expression/functions.mjs';
+import { type Values } from './values.mjs';
+/**
+ * What an expression on a record is worked out with besides its values: the
+ * rows of each one2many for `sum` and `count` — the items, not the sections
+ * and notes between them — and today's date for `today()`.
+ */
+export declare function expressionEnv(values: Values, fields: Record<string, Field | LineField>, today: () => string): ExpressionEnv;

package/src/lib/record/env.d.ts

@@ -0,0 +1,9 @@
+import type { Field, LineField } from '../format/field';
+import type { ExpressionEnv } from '../expression/functions';
+import { type Values } from './values';
+/**
+ * What an expression on a record is worked out with besides its values: the
+ * rows of each one2many for `sum` and `count` — the items, not the sections
+ * and notes between them — and today's date for `today()`.
+ */
+export declare function expressionEnv(values: Values, fields: Record<string, Field | LineField>, today: () => string): ExpressionEnv;

package/src/lib/record/env.js

@@ -0,0 +1,28 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.expressionEnv = expressionEnv;
+const values_1 = require("./values");
+/**
+ * What an expression on a record is worked out with besides its values: the
+ * rows of each one2many for `sum` and `count` — the items, not the sections
+ * and notes between them — and today's date for `today()`.
+ */
+function expressionEnv(values, fields, today) {
+    const rows = new Map();
+    return {
+        today,
+        lines(name) {
+            const def = fields[name];
+            if (def?.type !== 'one2many')
+                return undefined;
+            let found = rows.get(name);
+            if (!found) {
+                const items = (values[name] ?? []).filter((line) => (0, values_1.lineKind)(def, line.values) === null);
+                found = items.map((line) => (0, values_1.expressionContext)(line.values, def.fields));
+                rows.set(name, found);
+            }
+            return found;
+        },
+    };
+}
+//# sourceMappingURL=env.js.map

package/src/lib/record/env.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"env.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/env.ts"],"names":[],"mappings":";;AASA,sCAgBC;AAvBD,qCAA+E;AAE/E;;;;GAIG;AACH,SAAgB,aAAa,CAAC,MAAc,EAAE,MAAyC,EAAE,KAAmB;IAC1G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC1D,OAAO;QACL,KAAK;QACL,KAAK,CAAC,IAAI;YACR,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,GAAG,EAAE,IAAI,KAAK,UAAU;gBAAE,OAAO,SAAS,CAAC;YAC/C,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,CAAE,MAAM,CAAC,IAAI,CAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,iBAAQ,EAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC5G,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,0BAAiB,EAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;gBACxE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC"}

package/src/lib/record/env.mjs

@@ -0,0 +1,25 @@
+import { expressionContext, lineKind } from './values.mjs';
+/**
+ * What an expression on a record is worked out with besides its values: the
+ * rows of each one2many for `sum` and `count` — the items, not the sections
+ * and notes between them — and today's date for `today()`.
+ */
+export function expressionEnv(values, fields, today) {
+    const rows = new Map();
+    return {
+        today,
+        lines(name) {
+            const def = fields[name];
+            if (def?.type !== 'one2many')
+                return undefined;
+            let found = rows.get(name);
+            if (!found) {
+                const items = (values[name] ?? []).filter((line) => lineKind(def, line.values) === null);
+                found = items.map((line) => expressionContext(line.values, def.fields));
+                rows.set(name, found);
+            }
+            return found;
+        },
+    };
+}
+//# sourceMappingURL=env.mjs.map

package/src/lib/record/env.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"env.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/env.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAA0B,MAAM,UAAU,CAAC;AAE/E;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,MAAyC,EAAE,KAAmB;IAC1G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC1D,OAAO;QACL,KAAK;QACL,KAAK,CAAC,IAAI;YACR,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,GAAG,EAAE,IAAI,KAAK,UAAU;gBAAE,OAAO,SAAS,CAAC;YAC/C,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,CAAE,MAAM,CAAC,IAAI,CAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC5G,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;gBACxE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC"}