@fieldia/core 0.26.1 → 0.27.0

package/src/lib/expression/kinds.d.ts

@@ -0,0 +1,31 @@
+import type { Field, LineField } from '../format/field';
+import { type FunctionsKnown, type ValueKind } from './app-functions';
+import type { ASTNode } from './parser';
+/** The kind a field's value is, as expressions read it. */
+export declare function fieldKind(def: Field | LineField | undefined): ValueKind;
+/** A value handed to a function of a kind it does not take. */
+export interface KindProblem {
+    /** The function. */
+    name: string;
+    /** Which of its values, from 0. */
+    at: number;
+    /** The kinds it takes there. */
+    wants: readonly ValueKind[];
+    /** The kind it was given. */
+    got: ValueKind;
+    /** What was given, as written. */
+    given: ASTNode;
+}
+/** Where an expression's names are found: its fields, and on a line the record it is on (`parent`). */
+export interface KindScope {
+    fields: Readonly<Record<string, Field | LineField>>;
+    parent?: Readonly<Record<string, Field | LineField>>;
+}
+/** Every value in the expression handed to a function of a kind it does not take, the outer call first. */
+export declare function kindProblems(ast: ASTNode, scope: KindScope, functions?: FunctionsKnown): KindProblem[];
+/** A kind in English words, as a page's checks say them: "a number", "a date or text". */
+export declare const kindWords: (kinds: readonly ValueKind[]) => string;
+/** A part of an expression as it is written, shortly: a field by its name, words in quotes, a call by its function. */
+export declare function writtenAs(node: ASTNode): string;
+/** A problem in a page's check's words: `age takes a date as its first value; "notes" is text`. */
+export declare function kindProblemWords(problem: KindProblem): string;

package/src/lib/expression/kinds.js

@@ -0,0 +1,159 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.kindWords = void 0;
+exports.fieldKind = fieldKind;
+exports.kindProblems = kindProblems;
+exports.writtenAs = writtenAs;
+exports.kindProblemWords = kindProblemWords;
+const app_functions_1 = require("./app-functions");
+const any = { values: ['any'], gives: 'any' };
+const n = (...values) => values;
+/** Fieldia's own functions, by kind. */
+const FUNCTION_KINDS = {
+    round: { values: n('number', 'number'), gives: 'number' },
+    abs: { values: n('number'), gives: 'number' },
+    min: any,
+    max: any,
+    len: { values: n(['text', 'list']), gives: 'number' },
+    today: { values: [], gives: 'date' },
+    sum: { values: n('list', 'text', 'text'), gives: 'number' },
+    count: { values: n('list', 'text'), gives: 'number' },
+    days: { values: n('date', 'date'), gives: 'number' },
+    if: any,
+    age: { values: n('date', 'date'), gives: 'number' },
+    years: { values: n('date', 'date'), gives: 'number' },
+    months: { values: n('date', 'date'), gives: 'number' },
+    addDays: { values: n('date', 'number'), gives: 'date' },
+    addMonths: { values: n('date', 'number'), gives: 'date' },
+    addYears: { values: n('date', 'number'), gives: 'date' },
+    contains: { values: n(['text', 'list'], 'any'), gives: 'boolean' },
+    startsWith: { values: n('text', ['text', 'number']), gives: 'boolean' },
+    endsWith: { values: n('text', ['text', 'number']), gives: 'boolean' },
+    upper: { values: n('text'), gives: 'text' },
+    lower: { values: n('text'), gives: 'text' },
+    join: { values: n('text', 'any'), gives: 'text' },
+    average: { values: n('any'), gives: 'number' },
+    roundMoney: { values: n('number', 'text'), gives: 'number' },
+    empty: { values: n('any'), gives: 'boolean' },
+    firstOf: any,
+};
+/** The kind a field's value is, as expressions read it. */
+function fieldKind(def) {
+    switch (def?.type) {
+        case 'char':
+        case 'text':
+        case 'html':
+            return 'text';
+        case 'integer':
+        case 'float':
+        case 'monetary':
+            return 'number';
+        case 'boolean':
+            return 'boolean';
+        case 'date':
+        case 'datetime':
+            return 'date';
+        case 'many2many':
+        case 'one2many':
+            return 'list';
+        case 'selection':
+            if (def.multiple)
+                return 'list';
+            return def.options.length && def.options.every((o) => typeof o.value === 'string') ? 'text' : 'any';
+        default:
+            return 'any';
+    }
+}
+/** Whether a value of kind `got` may go where `wants` are taken: a date is text too. */
+const takes = (wants, got) => got === 'any' || wants.includes('any') || wants.includes(got) || (got === 'date' && wants.includes('text'));
+/** Every value in the expression handed to a function of a kind it does not take, the outer call first. */
+function kindProblems(ast, scope, functions) {
+    const problems = [];
+    const kindsOf = (name) => {
+        if (FUNCTION_KINDS[name])
+            return FUNCTION_KINDS[name];
+        const entry = functions?.[name];
+        if (!entry)
+            return undefined;
+        const info = (0, app_functions_1.functionInfo)(entry);
+        return { values: info.values ?? ['any'], gives: info.gives ?? 'any' };
+    };
+    const kind = (node) => {
+        switch (node.type) {
+            case 'Literal':
+                if (typeof node.value === 'number')
+                    return 'number';
+                if (typeof node.value === 'boolean')
+                    return 'boolean';
+                if (Array.isArray(node.value))
+                    return 'list';
+                if (typeof node.value === 'string')
+                    return /^\d{4}-\d{2}-\d{2}/.test(node.value) ? 'date' : 'text';
+                return 'any';
+            case 'Identifier': {
+                const [root, part, ...more] = node.name.split('.');
+                if (part === undefined)
+                    return fieldKind(scope.fields[root]);
+                if (root === 'parent' && !more.length && scope.parent)
+                    return fieldKind(scope.parent[part]);
+                return 'any';
+            }
+            case 'UnaryOp':
+                kind(node.operand);
+                return node.operator === 'not' ? 'boolean' : 'number';
+            case 'BinaryOp': {
+                const left = kind(node.left);
+                const right = kind(node.right);
+                if (node.operator === 'and' || node.operator === 'or')
+                    return left === right ? left : 'any';
+                if (node.operator === '+')
+                    return left === 'text' || right === 'text' ? 'text' : left === 'number' && right === 'number' ? 'number' : 'any';
+                return ['-', '*', '/', '%'].includes(node.operator) ? 'number' : 'boolean';
+            }
+            case 'Call': {
+                const kinds = kindsOf(node.name);
+                node.args.forEach((arg, at) => {
+                    const got = kind(arg);
+                    if (!kinds || !kinds.values.length)
+                        return;
+                    const wanted = kinds.values[Math.min(at, kinds.values.length - 1)];
+                    const wants = typeof wanted === 'string' ? [wanted] : wanted;
+                    // What a sum, a count or an average of lines is given is read by their own checks.
+                    if (node.name === 'sum' || node.name === 'count' || node.name === 'average')
+                        return;
+                    if (!takes(wants, got))
+                        problems.push({ name: node.name, at, wants, got, given: arg });
+                });
+                return kinds?.gives ?? 'any';
+            }
+            default:
+                return 'any';
+        }
+    };
+    kind(ast);
+    return problems;
+}
+const KIND_WORDS = { number: 'a number', text: 'text', date: 'a date', boolean: 'yes or no', list: 'a list', any: 'any value' };
+const PLACES = ['first', 'second', 'third', 'fourth', 'fifth'];
+/** A kind in English words, as a page's checks say them: "a number", "a date or text". */
+const kindWords = (kinds) => kinds.map((k) => KIND_WORDS[k]).join(' or ');
+exports.kindWords = kindWords;
+/** A part of an expression as it is written, shortly: a field by its name, words in quotes, a call by its function. */
+function writtenAs(node) {
+    switch (node.type) {
+        case 'Identifier':
+            return `"${node.name}"`;
+        case 'Literal':
+            return typeof node.value === 'string' ? `'${node.value}'` : JSON.stringify(node.value);
+        case 'Call':
+            return `${node.name}(…)`;
+        default:
+            return 'what it is given';
+    }
+}
+/** A problem in a page's check's words: `age takes a date as its first value; "notes" is text`. */
+function kindProblemWords(problem) {
+    const place = problem.at < PLACES.length ? `as its ${PLACES[problem.at]} value` : `as value ${problem.at + 1}`;
+    return `${problem.name} takes ${(0, exports.kindWords)(problem.wants)} ${place}; ${writtenAs(problem.given)} is ${KIND_WORDS[problem.got]}`;
+}
+//# sourceMappingURL=kinds.js.map

package/src/lib/expression/kinds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kinds.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/expression/kinds.ts"],"names":[],"mappings":";;;AAoDA,8BAwBC;AA0BD,oCAoDC;AASD,8BAWC;AAGD,4CAGC;AAnLD,mDAAoF;AAiBpF,MAAM,GAAG,GAAU,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACrD,MAAM,CAAC,GAAG,CAAC,GAAG,MAA4C,EAAmB,EAAE,CAAC,MAAM,CAAC;AAEvF,wCAAwC;AACxC,MAAM,cAAc,GAAoC;IACtD,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACzD,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC7C,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACrD,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;IACpC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC3D,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACrD,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACpD,EAAE,EAAE,GAAG;IACP,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACnD,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACrD,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACtD,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACvD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACzD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACxD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IAClE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IACvE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IACrE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IAC3C,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IAC3C,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACjD,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC9C,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC5D,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IAC7C,OAAO,EAAE,GAAG;CACb,CAAC;AAEF,2DAA2D;AAC3D,SAAgB,SAAS,CAAC,GAAkC;IAC1D,QAAQ,GAAG,EAAE,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,IAAI,GAAG,CAAC,QAAQ;gBAAE,OAAO,MAAM,CAAC;YAChC,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QACtG;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAsBD,wFAAwF;AACxF,MAAM,KAAK,GAAG,CAAC,KAA2B,EAAE,GAAc,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AAE3K,2GAA2G;AAC3G,SAAgB,YAAY,CAAC,GAAY,EAAE,KAAgB,EAAE,SAA0B;IACrF,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAqB,EAAE;QAClD,IAAI,cAAc,CAAC,IAAI,CAAC;YAAE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,4BAAY,EAAC,KAAK,CAAC,CAAC;QACjC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC;IACxE,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAa,EAAa,EAAE;QACxC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;gBACpD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,MAAM,CAAC;gBAC7C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBACnG,OAAO,KAAK,CAAC;YACf,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACnD,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7D,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;oBAAE,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5F,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,SAAS;gBACZ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnB,OAAO,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YACxD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAAE,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC5F,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG;oBAAE,OAAO,IAAI,KAAK,MAAM,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC5I,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7E,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE;oBAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;oBACtB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM;wBAAE,OAAO;oBAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;oBACnE,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC7D,mFAAmF;oBACnF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;wBAAE,OAAO;oBACpF,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;wBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;gBACzF,CAAC,CAAC,CAAC;gBACH,OAAO,KAAK,EAAE,KAAK,IAAI,KAAK,CAAC;YAC/B,CAAC;YACD;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,GAA8B,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC3J,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAE/D,0FAA0F;AACnF,MAAM,SAAS,GAAG,CAAC,KAA2B,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAA1F,QAAA,SAAS,aAAiF;AAEvG,uHAAuH;AACvH,SAAgB,SAAS,CAAC,IAAa;IACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;QAC1B,KAAK,SAAS;YACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzF,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC;QAC3B;YACE,OAAO,kBAAkB,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,SAAgB,gBAAgB,CAAC,OAAoB;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/G,OAAO,GAAG,OAAO,CAAC,IAAI,UAAU,IAAA,iBAAS,EAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;AACjI,CAAC"}

package/src/lib/expression/kinds.mjs

@@ -0,0 +1,151 @@
+import { functionInfo } from './app-functions.mjs';
+const any = { values: ['any'], gives: 'any' };
+const n = (...values) => values;
+/** Fieldia's own functions, by kind. */
+const FUNCTION_KINDS = {
+    round: { values: n('number', 'number'), gives: 'number' },
+    abs: { values: n('number'), gives: 'number' },
+    min: any,
+    max: any,
+    len: { values: n(['text', 'list']), gives: 'number' },
+    today: { values: [], gives: 'date' },
+    sum: { values: n('list', 'text', 'text'), gives: 'number' },
+    count: { values: n('list', 'text'), gives: 'number' },
+    days: { values: n('date', 'date'), gives: 'number' },
+    if: any,
+    age: { values: n('date', 'date'), gives: 'number' },
+    years: { values: n('date', 'date'), gives: 'number' },
+    months: { values: n('date', 'date'), gives: 'number' },
+    addDays: { values: n('date', 'number'), gives: 'date' },
+    addMonths: { values: n('date', 'number'), gives: 'date' },
+    addYears: { values: n('date', 'number'), gives: 'date' },
+    contains: { values: n(['text', 'list'], 'any'), gives: 'boolean' },
+    startsWith: { values: n('text', ['text', 'number']), gives: 'boolean' },
+    endsWith: { values: n('text', ['text', 'number']), gives: 'boolean' },
+    upper: { values: n('text'), gives: 'text' },
+    lower: { values: n('text'), gives: 'text' },
+    join: { values: n('text', 'any'), gives: 'text' },
+    average: { values: n('any'), gives: 'number' },
+    roundMoney: { values: n('number', 'text'), gives: 'number' },
+    empty: { values: n('any'), gives: 'boolean' },
+    firstOf: any,
+};
+/** The kind a field's value is, as expressions read it. */
+export function fieldKind(def) {
+    switch (def?.type) {
+        case 'char':
+        case 'text':
+        case 'html':
+            return 'text';
+        case 'integer':
+        case 'float':
+        case 'monetary':
+            return 'number';
+        case 'boolean':
+            return 'boolean';
+        case 'date':
+        case 'datetime':
+            return 'date';
+        case 'many2many':
+        case 'one2many':
+            return 'list';
+        case 'selection':
+            if (def.multiple)
+                return 'list';
+            return def.options.length && def.options.every((o) => typeof o.value === 'string') ? 'text' : 'any';
+        default:
+            return 'any';
+    }
+}
+/** Whether a value of kind `got` may go where `wants` are taken: a date is text too. */
+const takes = (wants, got) => got === 'any' || wants.includes('any') || wants.includes(got) || (got === 'date' && wants.includes('text'));
+/** Every value in the expression handed to a function of a kind it does not take, the outer call first. */
+export function kindProblems(ast, scope, functions) {
+    const problems = [];
+    const kindsOf = (name) => {
+        if (FUNCTION_KINDS[name])
+            return FUNCTION_KINDS[name];
+        const entry = functions?.[name];
+        if (!entry)
+            return undefined;
+        const info = functionInfo(entry);
+        return { values: info.values ?? ['any'], gives: info.gives ?? 'any' };
+    };
+    const kind = (node) => {
+        switch (node.type) {
+            case 'Literal':
+                if (typeof node.value === 'number')
+                    return 'number';
+                if (typeof node.value === 'boolean')
+                    return 'boolean';
+                if (Array.isArray(node.value))
+                    return 'list';
+                if (typeof node.value === 'string')
+                    return /^\d{4}-\d{2}-\d{2}/.test(node.value) ? 'date' : 'text';
+                return 'any';
+            case 'Identifier': {
+                const [root, part, ...more] = node.name.split('.');
+                if (part === undefined)
+                    return fieldKind(scope.fields[root]);
+                if (root === 'parent' && !more.length && scope.parent)
+                    return fieldKind(scope.parent[part]);
+                return 'any';
+            }
+            case 'UnaryOp':
+                kind(node.operand);
+                return node.operator === 'not' ? 'boolean' : 'number';
+            case 'BinaryOp': {
+                const left = kind(node.left);
+                const right = kind(node.right);
+                if (node.operator === 'and' || node.operator === 'or')
+                    return left === right ? left : 'any';
+                if (node.operator === '+')
+                    return left === 'text' || right === 'text' ? 'text' : left === 'number' && right === 'number' ? 'number' : 'any';
+                return ['-', '*', '/', '%'].includes(node.operator) ? 'number' : 'boolean';
+            }
+            case 'Call': {
+                const kinds = kindsOf(node.name);
+                node.args.forEach((arg, at) => {
+                    const got = kind(arg);
+                    if (!kinds || !kinds.values.length)
+                        return;
+                    const wanted = kinds.values[Math.min(at, kinds.values.length - 1)];
+                    const wants = typeof wanted === 'string' ? [wanted] : wanted;
+                    // What a sum, a count or an average of lines is given is read by their own checks.
+                    if (node.name === 'sum' || node.name === 'count' || node.name === 'average')
+                        return;
+                    if (!takes(wants, got))
+                        problems.push({ name: node.name, at, wants, got, given: arg });
+                });
+                return kinds?.gives ?? 'any';
+            }
+            default:
+                return 'any';
+        }
+    };
+    kind(ast);
+    return problems;
+}
+const KIND_WORDS = { number: 'a number', text: 'text', date: 'a date', boolean: 'yes or no', list: 'a list', any: 'any value' };
+const PLACES = ['first', 'second', 'third', 'fourth', 'fifth'];
+/** A kind in English words, as a page's checks say them: "a number", "a date or text". */
+export const kindWords = (kinds) => kinds.map((k) => KIND_WORDS[k]).join(' or ');
+/** A part of an expression as it is written, shortly: a field by its name, words in quotes, a call by its function. */
+export function writtenAs(node) {
+    switch (node.type) {
+        case 'Identifier':
+            return `"${node.name}"`;
+        case 'Literal':
+            return typeof node.value === 'string' ? `'${node.value}'` : JSON.stringify(node.value);
+        case 'Call':
+            return `${node.name}(…)`;
+        default:
+            return 'what it is given';
+    }
+}
+/** A problem in a page's check's words: `age takes a date as its first value; "notes" is text`. */
+export function kindProblemWords(problem) {
+    const place = problem.at < PLACES.length ? `as its ${PLACES[problem.at]} value` : `as value ${problem.at + 1}`;
+    return `${problem.name} takes ${kindWords(problem.wants)} ${place}; ${writtenAs(problem.given)} is ${KIND_WORDS[problem.got]}`;
+}
+//# sourceMappingURL=kinds.mjs.map

package/src/lib/expression/kinds.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"kinds.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/expression/kinds.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAuC,MAAM,iBAAiB,CAAC;AAiBpF,MAAM,GAAG,GAAU,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACrD,MAAM,CAAC,GAAG,CAAC,GAAG,MAA4C,EAAmB,EAAE,CAAC,MAAM,CAAC;AAEvF,wCAAwC;AACxC,MAAM,cAAc,GAAoC;IACtD,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACzD,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC7C,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACrD,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;IACpC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC3D,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACrD,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACpD,EAAE,EAAE,GAAG;IACP,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACnD,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACrD,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IACtD,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACvD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACzD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACxD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IAClE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IACvE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IACrE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IAC3C,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IAC3C,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IACjD,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC9C,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC5D,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE;IAC7C,OAAO,EAAE,GAAG;CACb,CAAC;AAEF,2DAA2D;AAC3D,MAAM,UAAU,SAAS,CAAC,GAAkC;IAC1D,QAAQ,GAAG,EAAE,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,IAAI,GAAG,CAAC,QAAQ;gBAAE,OAAO,MAAM,CAAC;YAChC,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QACtG;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAsBD,wFAAwF;AACxF,MAAM,KAAK,GAAG,CAAC,KAA2B,EAAE,GAAc,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AAE3K,2GAA2G;AAC3G,MAAM,UAAU,YAAY,CAAC,GAAY,EAAE,KAAgB,EAAE,SAA0B;IACrF,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAqB,EAAE;QAClD,IAAI,cAAc,CAAC,IAAI,CAAC;YAAE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACjC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC;IACxE,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAa,EAAa,EAAE;QACxC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;gBACpD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,MAAM,CAAC;gBAC7C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBACnG,OAAO,KAAK,CAAC;YACf,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACnD,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7D,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;oBAAE,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5F,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,SAAS;gBACZ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnB,OAAO,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YACxD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAAE,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC5F,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG;oBAAE,OAAO,IAAI,KAAK,MAAM,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC5I,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7E,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE;oBAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;oBACtB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM;wBAAE,OAAO;oBAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;oBACnE,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC7D,mFAAmF;oBACnF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;wBAAE,OAAO;oBACpF,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;wBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;gBACzF,CAAC,CAAC,CAAC;gBACH,OAAO,KAAK,EAAE,KAAK,IAAI,KAAK,CAAC;YAC/B,CAAC;YACD;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,GAA8B,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC3J,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAE/D,0FAA0F;AAC1F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAA2B,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAEvG,uHAAuH;AACvH,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;QAC1B,KAAK,SAAS;YACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzF,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC;QAC3B;YACE,OAAO,kBAAkB,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,gBAAgB,CAAC,OAAoB;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/G,OAAO,GAAG,OAAO,CAAC,IAAI,UAAU,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;AACjI,CAAC"}

package/src/lib/expression/modifier.d.mts

@@ -1,5 +1,5 @@
 import type { Modifier } from '../format/layout.mjs';
-import type { ExpressionEnv } from './functions.mjs';
+import type { ExpressionEnv, FunctionTable } from './functions.mjs';
 /** A modifier read once, ready to evaluate against a record's values. */
 export interface CompiledModifier {
     readonly source: Modifier | undefined;
@@ -18,6 +18,7 @@ export interface CompiledModifier {
 /**
  * Read a modifier. `true`, `false` and a missing modifier become constants;
  * an expression is parsed now, so a mistake surfaces here and not on the
- * first keystroke. Throws when the expression cannot be read.
+ * first keystroke. Throws when the expression cannot be read. `functions`, the
+ * app's own, which it may call besides Fieldia's.
  */
-export declare function compileModifier(modifier: Modifier | undefined): CompiledModifier;
+export declare function compileModifier(modifier: Modifier | undefined, functions?: FunctionTable): CompiledModifier;

package/src/lib/expression/modifier.d.ts

@@ -1,5 +1,5 @@
 import type { Modifier } from '../format/layout';
-import type { ExpressionEnv } from './functions';
+import type { ExpressionEnv, FunctionTable } from './functions';
 /** A modifier read once, ready to evaluate against a record's values. */
 export interface CompiledModifier {
     readonly source: Modifier | undefined;
@@ -18,6 +18,7 @@ export interface CompiledModifier {
 /**
  * Read a modifier. `true`, `false` and a missing modifier become constants;
  * an expression is parsed now, so a mistake surfaces here and not on the
- * first keystroke. Throws when the expression cannot be read.
+ * first keystroke. Throws when the expression cannot be read. `functions`, the
+ * app's own, which it may call besides Fieldia's.
  */
-export declare function compileModifier(modifier: Modifier | undefined): CompiledModifier;
+export declare function compileModifier(modifier: Modifier | undefined, functions?: FunctionTable): CompiledModifier;

package/src/lib/expression/modifier.js

@@ -8,14 +8,15 @@ const tokenizer_1 = require("./tokenizer");
 /**
  * Read a modifier. `true`, `false` and a missing modifier become constants;
  * an expression is parsed now, so a mistake surfaces here and not on the
- * first keystroke. Throws when the expression cannot be read.
+ * first keystroke. Throws when the expression cannot be read. `functions`, the
+ * app's own, which it may call besides Fieldia's.
  */
-function compileModifier(modifier) {
+function compileModifier(modifier, functions) {
     if (typeof modifier !== 'string') {
         const value = modifier === true;
         return { source: modifier, fields: [], paths: [], wheres: [], evaluate: () => value };
     }
-    const ast = new parser_1.ExpressionParser((0, tokenizer_1.tokenize)(modifier)).parse();
+    const ast = new parser_1.ExpressionParser((0, tokenizer_1.tokenize)(modifier), functions).parse();
     return {
         source: modifier,
         fields: (0, reads_1.fieldsRead)(ast),

package/src/lib/expression/modifier.js.map

@@ -1 +1 @@
-{"version":3,"file":"modifier.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/expression/modifier.ts"],"names":[],"mappings":";;AAyBA,0CAmBC;AA3CD,2CAA+C;AAE/C,qCAA4C;AAC5C,mCAA4D;AAC5D,2CAAuC;AAevC;;;;GAIG;AACH,SAAgB,eAAe,CAAC,QAA8B;IAC5D,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,yBAAgB,CAAC,IAAA,oBAAQ,EAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IAC7D,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,IAAA,kBAAU,EAAC,GAAG,CAAC;QACvB,KAAK,EAAE,IAAA,iBAAS,EAAC,GAAG,CAAC;QACrB,MAAM,EAAE,IAAA,kBAAU,EAAC,GAAG,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,GAAG;YAClB,IAAI,CAAC;gBACH,OAAO,IAAA,kBAAM,EAAC,IAAA,oBAAQ,EAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"modifier.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/expression/modifier.ts"],"names":[],"mappings":";;AA0BA,0CAmBC;AA5CD,2CAA+C;AAE/C,qCAA4C;AAC5C,mCAA4D;AAC5D,2CAAuC;AAevC;;;;;GAKG;AACH,SAAgB,eAAe,CAAC,QAA8B,EAAE,SAAyB;IACvF,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,yBAAgB,CAAC,IAAA,oBAAQ,EAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC;IACxE,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,IAAA,kBAAU,EAAC,GAAG,CAAC;QACvB,KAAK,EAAE,IAAA,iBAAS,EAAC,GAAG,CAAC;QACrB,MAAM,EAAE,IAAA,kBAAU,EAAC,GAAG,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,GAAG;YAClB,IAAI,CAAC;gBACH,OAAO,IAAA,kBAAM,EAAC,IAAA,oBAAQ,EAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/src/lib/expression/modifier.mjs

@@ -5,14 +5,15 @@ import { tokenize } from './tokenizer.mjs';
 /**
  * Read a modifier. `true`, `false` and a missing modifier become constants;
  * an expression is parsed now, so a mistake surfaces here and not on the
- * first keystroke. Throws when the expression cannot be read.
+ * first keystroke. Throws when the expression cannot be read. `functions`, the
+ * app's own, which it may call besides Fieldia's.
  */
-export function compileModifier(modifier) {
+export function compileModifier(modifier, functions) {
     if (typeof modifier !== 'string') {
         const value = modifier === true;
         return { source: modifier, fields: [], paths: [], wheres: [], evaluate: () => value };
     }
-    const ast = new ExpressionParser(tokenize(modifier)).parse();
+    const ast = new ExpressionParser(tokenize(modifier), functions).parse();
     return {
         source: modifier,
         fields: fieldsRead(ast),

package/src/lib/expression/modifier.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"modifier.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/expression/modifier.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAevC;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAA8B;IAC5D,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IAC7D,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC;QACvB,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;QACrB,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,GAAG;YAClB,IAAI,CAAC;gBACH,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"modifier.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/expression/modifier.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAevC;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAA8B,EAAE,SAAyB;IACvF,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC;IACxE,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC;QACvB,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;QACrB,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,GAAG;YAClB,IAAI,CAAC;gBACH,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/src/lib/expression/more-functions.d.mts

@@ -0,0 +1,8 @@
+import { type ExpressionFunction } from './functions.mjs';
+import { type AppFunction, type FunctionInfo } from './app-functions.mjs';
+/** Empty as a person sees it: nothing, text of only spaces, an empty list or object. Zero and no are values. */
+export declare function isBlank(value: unknown): boolean;
+/** A function's body, by its name: what its stand-in in the main table calls once the part has come. */
+export declare function functionBody(name: string): ExpressionFunction['call'];
+/** One of the app's functions called: its call made once — said whether it asks its server, or found out — and kept. */
+export declare function appCall(name: string, entry: FunctionInfo | AppFunction | ((...values: never[]) => unknown)): ExpressionFunction['call'];

package/src/lib/expression/more-functions.d.ts

@@ -0,0 +1,8 @@
+import { type ExpressionFunction } from './functions';
+import { type AppFunction, type FunctionInfo } from './app-functions';
+/** Empty as a person sees it: nothing, text of only spaces, an empty list or object. Zero and no are values. */
+export declare function isBlank(value: unknown): boolean;
+/** A function's body, by its name: what its stand-in in the main table calls once the part has come. */
+export declare function functionBody(name: string): ExpressionFunction['call'];
+/** One of the app's functions called: its call made once — said whether it asks its server, or found out — and kept. */
+export declare function appCall(name: string, entry: FunctionInfo | AppFunction | ((...values: never[]) => unknown)): ExpressionFunction['call'];