aontu 0.30.1 → 0.30.2

package/dist/val/FuncBaseVal.js

@@ -0,0 +1,127 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FuncBaseVal = void 0;
+const type_1 = require("../type");
+const unify_1 = require("../unify");
+const utility_1 = require("../utility");
+const err_1 = require("../err");
+const top_1 = require("./top");
+const ConjunctVal_1 = require("../val/ConjunctVal");
+const FeatureVal_1 = require("../val/FeatureVal");
+class FuncBaseVal extends FeatureVal_1.FeatureVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isFunc = true;
+        // console.log('FBV', this.id, this.constructor.name, this.peg?.[0]?.canon)
+    }
+    validateArgs(args, min) {
+        if (min < args.length) {
+            // TODO: this is an error as as a parse error, needs to be handled same way
+            throw new err_1.AontuError('The ' + this.funcname() + ' function needs at least ' +
+                min + ' argument' + (1 === min ? '' : 's') + '.');
+        }
+    }
+    make(ctx, _spec) {
+        return (0, err_1.makeNilErr)(ctx, 'func:' + this.funcname(), this, undefined, 'make');
+    }
+    unify(peer, ctx) {
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Func:' + this.funcname(), this, peer);
+        // const sc = this.id + '=' + this.canon
+        // const pc = peer.id + '=' + peer.canon
+        let why = '';
+        let out = this;
+        // console.log('FBV', this.id, this.constructor.name, this.mark.type, this.peg?.canon, 'PEER', peer.id, peer.canon)
+        if (this.id !== peer.id) {
+            if (peer.isTop && (this.mark.type || this.mark.hide)) {
+                this.dc = type_1.DONE;
+            }
+            else {
+                let pegdone = true;
+                let newpeg = [];
+                let newtype = this.mark.type;
+                let newhide = this.mark.hide;
+                this.peg = this.prepare(ctx, this.peg);
+                for (let arg of this.peg) {
+                    // console.log('FUNCBASE-UNIFY-PEG-A', arg.canon)
+                    let newarg = arg;
+                    if (!arg.done) {
+                        newarg = arg.unify((0, top_1.top)(), ctx.clone({ explain: (0, utility_1.ec)(te, 'ARG') }));
+                        newtype = newtype || newarg.mark.type;
+                        newhide = newhide || newarg.mark.hide;
+                        // console.log('FUNCBASE-UNIFY-PEG-B', arg.canon, '->', newarg.canon)
+                    }
+                    pegdone &&= arg.done;
+                    newpeg.push(newarg);
+                }
+                // console.log('FUNCBASE-PEG', this.id, pegdone, this.peg.map((p: any) => p?.canon))
+                if (pegdone) {
+                    const resolved = this.resolve(ctx, newpeg);
+                    // console.log('FUNC-RESOLVED', ctx.cc, resolved?.canon)
+                    out = resolved.done && peer.isTop ? resolved :
+                        (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'PEG') }), resolved, peer, 'func-' + this.funcname() + '/' + this.id);
+                    (0, utility_1.propagateMarks)(this, out);
+                    // const unified =
+                    //   unite(ctx, resolved, peer, 'func-' + this.funcname() + '/' + this.id)
+                    // out = unified
+                    // propagateMarks(unified, out)
+                    // propagateMarks(this, out)
+                    // TODO: make should handle this using ctx?
+                    out.site.row = this.site.row;
+                    out.site.col = this.site.col;
+                    out.site.url = this.site.url;
+                    out.path = this.path;
+                    why += 'pegdone';
+                }
+                else if (peer.isTop) {
+                    this.notdone();
+                    out = this.make(ctx, { peg: newpeg, mark: { type: newtype, hide: newhide } });
+                    // TODO: make should handle this using ctx?
+                    out.site.row = this.site.row;
+                    out.site.col = this.site.col;
+                    out.site.url = this.site.url;
+                    out.path = this.path;
+                    why += 'top';
+                }
+                else if (peer.isNil) {
+                    this.notdone();
+                    out = peer;
+                    why += 'nil';
+                }
+                else {
+                    this.notdone();
+                    out = new ConjunctVal_1.ConjunctVal({
+                        peg: [this, peer], mark: { type: newtype, hide: newhide }
+                    }, ctx);
+                    // TODO: make should handle this using ctx?
+                    out.site.row = this.site.row;
+                    out.site.col = this.site.col;
+                    out.site.url = this.site.url;
+                    out.path = this.path;
+                    why += 'defer';
+                }
+            }
+        }
+        // console.log('FUNC-UNIFY-OUT', this.funcname(), this.id, this.canon, 'W=', why, peer.id, peer.canon, 'O=', out.dc, out.id, out.canon)
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    get canon() {
+        return '' +
+            // (this.type ? '<type>' : '') +
+            // (this.done ? '<done>' : '') +
+            // (this.id + '=') +
+            this.funcname() + '(' + (this.peg.map((p) => p.canon).join(',')) + ')';
+    }
+    funcname() {
+        return 'func';
+    }
+    prepare(_ctx, args) {
+        return args;
+    }
+    resolve(ctx, _args) {
+        return (0, err_1.makeNilErr)(ctx, 'func:' + this.funcname(), this, undefined, 'resolve');
+    }
+}
+exports.FuncBaseVal = FuncBaseVal;
+//# sourceMappingURL=FuncBaseVal.js.map

package/dist/val/FuncBaseVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FuncBaseVal.js","sourceRoot":"","sources":["../../src/val/FuncBaseVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAQzD,kCAEgB;AAGhB,oCAAgC;AAGhC,wCAKmB;AAEnB,gCAA+C;AAE/C,+BAEc;AAGd,oDAAgD;AAChD,kDAA8C;AAG9C,MAAM,WAAY,SAAQ,uBAAU;IAGlC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,WAAM,GAAG,IAAI,CAAA;QAOX,2EAA2E;IAC7E,CAAC;IAGD,YAAY,CAAC,IAAW,EAAE,GAAW;QACnC,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACtB,2EAA2E;YAC3E,MAAM,IAAI,gBAAU,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,2BAA2B;gBACzE,GAAG,GAAG,WAAW,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAA;QACrD,CAAC;IACH,CAAC;IAGD,IAAI,CAAC,GAAiB,EAAE,KAAc;QACpC,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;IAC5E,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE9F,wCAAwC;QACxC,wCAAwC;QAGxC,IAAI,GAAG,GAAG,EAAE,CAAA;QACZ,IAAI,GAAG,GAAQ,IAAI,CAAA;QAGnB,mHAAmH;QAEnH,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YAExB,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,EAAE,GAAG,WAAI,CAAA;YAChB,CAAC;iBAEI,CAAC;gBACJ,IAAI,OAAO,GAAG,IAAI,CAAA;gBAClB,IAAI,MAAM,GAAU,EAAE,CAAA;gBACtB,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;gBAC5B,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;gBAE5B,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;gBAEtC,KAAK,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;oBACzB,iDAAiD;oBAEjD,IAAI,MAAM,GAAG,GAAG,CAAA;oBAChB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;wBACd,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,IAAA,SAAG,GAAE,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;wBAChE,OAAO,GAAG,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;wBACrC,OAAO,GAAG,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;wBACrC,qEAAqE;oBACvE,CAAC;oBACD,OAAO,KAAK,GAAG,CAAC,IAAI,CAAA;oBACpB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACrB,CAAC;gBAED,oFAAoF;gBAEpF,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;oBAC1C,wDAAwD;oBAExD,GAAG,GAAG,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;wBAC5C,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;oBACzG,IAAA,wBAAc,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;oBAEzB,kBAAkB;oBAClB,0EAA0E;oBAC1E,gBAAgB;oBAChB,+BAA+B;oBAC/B,4BAA4B;oBAE5B,2CAA2C;oBAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;oBAEpB,GAAG,IAAI,SAAS,CAAA;gBAClB,CAAC;qBACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACpB,IAAI,CAAC,OAAO,EAAE,CAAA;oBACd,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;oBAE7E,2CAA2C;oBAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;oBAEpB,GAAG,IAAI,KAAK,CAAA;gBACd,CAAC;qBACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACpB,IAAI,CAAC,OAAO,EAAE,CAAA;oBACd,GAAG,GAAG,IAAI,CAAA;oBACV,GAAG,IAAI,KAAK,CAAA;gBACd,CAAC;qBACI,CAAC;oBACJ,IAAI,CAAC,OAAO,EAAE,CAAA;oBACd,GAAG,GAAG,IAAI,yBAAW,CAAC;wBACpB,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;qBAC1D,EAAE,GAAG,CAAC,CAAA;oBAEP,2CAA2C;oBAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;oBAC5B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;oBAEpB,GAAG,IAAI,OAAO,CAAA;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QAED,uIAAuI;QAEvI,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAID,IAAI,KAAK;QACP,OAAO,EAAE;YACP,gCAAgC;YAChC,gCAAgC;YAChC,oBAAoB;YACpB,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAA;IAC/E,CAAC;IAGD,QAAQ;QACN,OAAO,MAAM,CAAA;IACf,CAAC;IAGD,OAAO,CAAC,IAA8B,EAAE,IAAW;QACjD,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,OAAO,CAAC,GAA6B,EAAE,KAAY;QACjD,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;IAC/E,CAAC;CAGF;AAIC,kCAAW"}

package/dist/val/HideFuncVal.d.ts

@@ -0,0 +1,12 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class HideFuncVal extends FuncBaseVal {
+    isHideFunc: boolean;
+    resolved?: Val;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    resolve(ctx: AontuContext, args: Val[]): Val;
+}
+export { HideFuncVal, };

package/dist/val/HideFuncVal.js

@@ -0,0 +1,48 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HideFuncVal = void 0;
+const err_1 = require("../err");
+const utility_1 = require("../utility");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class HideFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isHideFunc = true;
+        // The function does not mark itself!
+        this.mark.type = false;
+        this.mark.hide = false;
+    }
+    make(_ctx, spec) {
+        return new HideFuncVal(spec);
+    }
+    funcname() {
+        return 'hide';
+    }
+    /*
+    unify(peer: Val, ctx: AontuContext): Val {
+      const te = ctx.explain && explainOpen(ctx, ctx.explain, 'HideFunc', this, peer)
+      let out: Val | undefined = this.resolved
+  
+      if (null == out) {
+        out = this.resolve(ctx, this.peg)
+      }
+  
+      explainClose(te, out)
+      return out
+    }
+    */
+    resolve(ctx, args) {
+        let out = args[0] ?? (0, err_1.makeNilErr)(ctx, 'arg', this);
+        if (!out.isNil) {
+            out = out.clone(ctx);
+            (0, utility_1.walk)(out, (_key, val) => {
+                val.mark.hide = true;
+                return val;
+            });
+        }
+        return out;
+    }
+}
+exports.HideFuncVal = HideFuncVal;
+//# sourceMappingURL=HideFuncVal.js.map

package/dist/val/HideFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"HideFuncVal.js","sourceRoot":"","sources":["../../src/val/HideFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAGnC,wCAImB;AAGnB,+CAA2C;AAG3C,MAAM,WAAY,SAAQ,yBAAW;IAKnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,eAAU,GAAG,IAAI,CAAA;QAUf,qCAAqC;QACrC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;QACtB,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;IACxB,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;IAED,QAAQ;QACN,OAAO,MAAM,CAAA;IACf,CAAC;IAGD;;;;;;;;;;;;MAYE;IAGF,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAA,gBAAU,EAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QACjD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACf,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAEpB,IAAA,cAAI,EAAC,GAAG,EAAE,CAAC,IAAiC,EAAE,GAAQ,EAAE,EAAE;gBACxD,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;gBACpB,OAAO,GAAG,CAAA;YACZ,CAAC,CAAC,CAAA;QACJ,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;CACF;AAIC,kCAAW"}

package/dist/val/IntegerVal.d.ts

@@ -0,0 +1,9 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { ScalarVal } from './ScalarVal';
+declare class IntegerVal extends ScalarVal {
+    isInteger: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    unify(peer: any, ctx: AontuContext): Val;
+}
+export { IntegerVal, };

package/dist/val/IntegerVal.js

@@ -0,0 +1,46 @@
+"use strict";
+/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IntegerVal = void 0;
+const err_1 = require("../err");
+const ScalarVal_1 = require("./ScalarVal");
+const ScalarKindVal_1 = require("./ScalarKindVal");
+const utility_1 = require("../utility");
+class IntegerVal extends ScalarVal_1.ScalarVal {
+    constructor(spec, ctx) {
+        if (!Number.isInteger(spec.peg)) {
+            // TODO: use Nil?
+            throw new err_1.AontuError('not-integer: ' + spec.peg);
+        }
+        // super({ peg: spec.peg, kind: Integer }, ctx)
+        super({ ...spec, kind: ScalarKindVal_1.Integer }, ctx);
+        this.isInteger = true;
+    }
+    unify(peer, ctx) {
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Integer', this, peer);
+        let out = this;
+        if (null != peer) {
+            if (peer.isScalarKind) {
+                out = peer.unify(this, ctx.clone({ explain: (0, utility_1.ec)(te, 'KND') }));
+            }
+            else if (peer.isScalar &&
+                peer.peg === this.peg) {
+                out = this;
+            }
+            else if (peer.isTop) {
+                out = this;
+            }
+            else {
+                out = (0, err_1.makeNilErr)(ctx, 'scalar_' +
+                    (peer.kind === this.kind ? 'value' : 'kind'), this, peer);
+            }
+        }
+        else {
+            out = super.unify(peer, ctx);
+        }
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+}
+exports.IntegerVal = IntegerVal;
+//# sourceMappingURL=IntegerVal.js.map

package/dist/val/IntegerVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IntegerVal.js","sourceRoot":"","sources":["../../src/val/IntegerVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAWzD,gCAA+C;AAE/C,2CAAuC;AACvC,mDAAyC;AAEzC,wCAImB;AAGnB,MAAM,UAAW,SAAQ,qBAAS;IAGhC,YACE,IAAa,EACb,GAAkB;QAElB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,iBAAiB;YACjB,MAAM,IAAI,gBAAU,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;QAClD,CAAC;QACD,+CAA+C;QAC/C,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,uBAAO,EAAE,EAAE,GAAG,CAAC,CAAA;QAXxC,cAAS,GAAG,IAAI,CAAA;IAYhB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE9E,IAAI,GAAG,GAAQ,IAAI,CAAA;QAEnB,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;YAC/D,CAAC;iBACI,IACH,IAAI,CAAC,QAAQ;gBACb,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,EACrB,CAAC;gBACD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,SAAS;oBAC7B,CAAE,IAAY,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACtE,CAAC;QACH,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC9B,CAAC;QAED,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;CACF;AAIC,gCAAU"}

package/dist/val/JunctionVal.d.ts

@@ -0,0 +1,12 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FeatureVal } from './FeatureVal';
+declare abstract class JunctionVal extends FeatureVal {
+    isJunction: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    append(peer: Val): JunctionVal;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    get canon(): any;
+    abstract getJunctionSymbol(): string;
+}
+export { JunctionVal, };

package/dist/val/JunctionVal.js

@@ -0,0 +1,31 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.JunctionVal = void 0;
+const FeatureVal_1 = require("./FeatureVal");
+// Abstract base class for binary operations that work with arrays of Val objects
+// (ConjunctVal and DisjunctVal)
+class JunctionVal extends FeatureVal_1.FeatureVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isJunction = true;
+    }
+    // NOTE: mutation!
+    append(peer) {
+        this.peg.push(peer);
+        return this;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, spec);
+        out.peg = this.peg.map((entry) => entry.clone(ctx, spec?.mark ? { mark: spec.mark } : {}));
+        return out;
+    }
+    get canon() {
+        return this.peg.map((v) => {
+            return v.isJunction && Array.isArray(v.peg) && 1 < v.peg.length ?
+                '(' + v.canon + ')' : v.canon;
+        }).join(this.getJunctionSymbol());
+    }
+}
+exports.JunctionVal = JunctionVal;
+//# sourceMappingURL=JunctionVal.js.map

package/dist/val/JunctionVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JunctionVal.js","sourceRoot":"","sources":["../../src/val/JunctionVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,6CAAyC;AAGzC,iFAAiF;AACjF,gCAAgC;AAChC,MAAe,WAAY,SAAQ,uBAAU;IAG3C,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,eAAU,GAAG,IAAI,CAAA;IAOjB,CAAC;IAED,kBAAkB;IAClB,MAAM,CAAC,IAAS;QACd,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IAED,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAiB,CAAA;QACjD,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC/F,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;YAC7B,OAAQ,CAAS,CAAC,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACxE,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QACjC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAA;IACnC,CAAC;CAIF;AAIC,kCAAW"}

package/dist/val/KeyFuncVal.d.ts

@@ -0,0 +1,12 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class KeyFuncVal extends FuncBaseVal {
+    isKeyFunc: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    resolve(_ctx: AontuContext, _args: Val[]): Val;
+    gen(_ctx: AontuContext): any;
+}
+export { KeyFuncVal, };

package/dist/val/KeyFuncVal.js

@@ -0,0 +1,34 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.KeyFuncVal = void 0;
+const StringVal_1 = require("../val/StringVal");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class KeyFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isKeyFunc = true;
+        // this.dc = DONE
+    }
+    make(_ctx, spec) {
+        return new KeyFuncVal(spec);
+    }
+    funcname() {
+        return 'key';
+    }
+    resolve(_ctx, _args) {
+        let out = this;
+        if (!this.mark.type && !this.mark.hide) {
+            let move = this.peg?.[0]?.peg;
+            move = isNaN(move) ? 1 : +move;
+            const key = this.path[this.path.length - (1 + move)] ?? '';
+            out = new StringVal_1.StringVal({ peg: key });
+        }
+        return out;
+    }
+    gen(_ctx) {
+        return undefined;
+    }
+}
+exports.KeyFuncVal = KeyFuncVal;
+//# sourceMappingURL=KeyFuncVal.js.map

package/dist/val/KeyFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"KeyFuncVal.js","sourceRoot":"","sources":["../../src/val/KeyFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAazD,gDAA4C;AAI5C,+CAA2C;AAG3C,MAAM,UAAW,SAAQ,yBAAW;IAGlC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,cAAS,GAAG,IAAI,CAAA;QAOd,iBAAiB;IACnB,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,CAAA;IAC7B,CAAC;IAED,QAAQ;QACN,OAAO,KAAK,CAAA;IACd,CAAC;IAID,OAAO,CAAC,IAAkB,EAAE,KAAY;QACtC,IAAI,GAAG,GAAQ,IAAI,CAAA;QAEnB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAA;YAC7B,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;YAE1D,GAAG,GAAG,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;QACnC,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,GAAG,CAAC,IAAkB;QACpB,OAAO,SAAS,CAAA;IAClB,CAAC;CAEF;AAIC,gCAAU"}

package/dist/val/ListVal.d.ts

@@ -0,0 +1,17 @@
+import type { Val, ValList, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { BagVal } from './BagVal';
+declare class ListVal extends BagVal {
+    isList: boolean;
+    spread: {
+        cj: Val | undefined;
+    };
+    constructor(spec: {
+        peg: ValList;
+    }, ctx?: AontuContext);
+    unify(peer: Val, ctx: AontuContext): Val;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    get canon(): string;
+    gen(ctx: AontuContext): any;
+}
+export { ListVal, };

package/dist/val/ListVal.js

@@ -0,0 +1,186 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ListVal = void 0;
+const type_1 = require("../type");
+const unify_1 = require("../unify");
+const utility_1 = require("../utility");
+const err_1 = require("../err");
+const top_1 = require("./top");
+const ConjunctVal_1 = require("./ConjunctVal");
+const BagVal_1 = require("./BagVal");
+const Val_1 = require("./Val");
+class ListVal extends BagVal_1.BagVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isList = true;
+        this.spread = {
+            cj: undefined,
+        };
+        if (null == this.peg) {
+            throw new err_1.AontuError('ListVal spec.peg undefined');
+        }
+        let spread = this.peg[type_1.SPREAD];
+        delete this.peg[type_1.SPREAD];
+        if (spread) {
+            if ('&' === spread.o) {
+                // TODO: handle existing spread!
+                this.spread.cj =
+                    Array.isArray(spread.v) ?
+                        1 < spread.v.length ?
+                            new ConjunctVal_1.ConjunctVal({ peg: spread.v }, ctx) :
+                            spread.v[0] :
+                        spread.v;
+                // let tmv = Array.isArray(spread.v) ? spread.v : [spread.v]
+                // this.spread.cj = new ConjunctVal({ peg: tmv }, ctx)
+            }
+        }
+    }
+    // NOTE: order of keys is not preserved!
+    // not possible in any case - consider {a,b} unify {b,a}
+    unify(peer, ctx) {
+        const TOP = (0, top_1.top)();
+        peer = peer ?? TOP;
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'List', this, peer);
+        let done = true;
+        let exit = false;
+        // NOTE: not a clone! needs to be constructed.
+        let out = (peer.isTop ? this : new ListVal({ peg: [] }, ctx));
+        out.closed = this.closed;
+        out.optionalKeys = [...this.optionalKeys];
+        out.spread.cj = this.spread.cj;
+        if (peer instanceof ListVal) {
+            if (!this.closed && peer.closed) {
+                out = peer.unify(this, ctx.clone({ explain: (0, utility_1.ec)(te, 'PMC') }));
+                exit = true;
+            }
+            else {
+                out.closed = out.closed || peer.closed;
+                out.spread.cj = null == out.spread.cj ? peer.spread.cj : (null == peer.spread.cj ? out.spread.cj : (out.spread.cj =
+                    (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'SPR') }), out.spread.cj, peer.spread.cj, 'list-peer')));
+            }
+        }
+        if (!exit) {
+            out.dc = this.dc + 1;
+            let spread_cj = out.spread.cj || TOP;
+            // Always unify children first
+            for (let key in this.peg) {
+                const keyctx = ctx.descend(key);
+                const key_spread_cj = spread_cj.clone(keyctx);
+                const child = this.peg[key];
+                (0, utility_1.propagateMarks)(this, child);
+                out.peg[key] =
+                    undefined === child ? key_spread_cj :
+                        child.isNil ? child :
+                            key_spread_cj.isNil ? key_spread_cj :
+                                key_spread_cj.isTop && child.done ? child :
+                                    child.isTop && key_spread_cj.done ? key_spread_cj :
+                                        (0, unify_1.unite)(keyctx.clone({ explain: (0, utility_1.ec)(te, 'PEG:' + key) }), child, key_spread_cj, 'list-own');
+                done = (done && type_1.DONE === out.peg[key].dc);
+            }
+            const allowedKeys = this.closed ? Object.keys(this.peg) : [];
+            let bad = undefined;
+            if (peer instanceof ListVal) {
+                let upeer = (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'PER') }), peer, TOP, 'list-peer-list');
+                // NOTE: peerkey is the index
+                for (let peerkey in upeer.peg) {
+                    let peerchild = upeer.peg[peerkey];
+                    if (this.closed && !allowedKeys.includes(peerkey)) {
+                        bad = (0, err_1.makeNilErr)(ctx, 'closed', peerchild, undefined);
+                    }
+                    let child = out.peg[peerkey];
+                    let oval = out.peg[peerkey] =
+                        undefined === child ? peerchild :
+                            child.isTop && peerchild.done ? peerchild :
+                                child.isNil ? child :
+                                    peerchild.isNil ? peerchild :
+                                        (0, unify_1.unite)(ctx.descend(peerkey).clone({ explain: (0, utility_1.ec)(te, 'CHD') }), child, peerchild, 'list-peer');
+                    if (this.spread.cj) {
+                        let key_ctx = ctx.descend(peerkey);
+                        let key_spread_cj = spread_cj.clone(key_ctx);
+                        oval = out.peg[peerkey] =
+                            (0, unify_1.unite)(key_ctx.clone({ explain: (0, utility_1.ec)(te, 'PSP:' + peerkey) }), out.peg[peerkey], key_spread_cj, 'list-spread');
+                    }
+                    (0, utility_1.propagateMarks)(this, oval);
+                    done = (done && type_1.DONE === oval.dc);
+                }
+            }
+            else if (!peer.isTop) {
+                out = (0, err_1.makeNilErr)(ctx, 'list', this, peer);
+            }
+            if (null != bad) {
+                out = bad;
+            }
+            if (!out.isNil) {
+                out.uh.push(peer.id);
+                out.dc = done ? type_1.DONE : out.dc;
+                (0, utility_1.propagateMarks)(peer, out);
+                (0, utility_1.propagateMarks)(this, out);
+            }
+        }
+        ctx.explain && (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, spec);
+        for (let entry of Object.entries(this.peg)) {
+            out.peg[entry[0]] =
+                entry[1]?.isVal ? entry[1].clone(ctx, spec?.mark ? { mark: spec.mark } : {}) : entry[1];
+        }
+        if (this.spread.cj) {
+            out.spread.cj = this.spread.cj.clone(ctx, spec?.mark ? { mark: spec.mark } : {});
+        }
+        out.closed = this.closed;
+        out.optionalKeys = [...this.optionalKeys];
+        // console.log('LISTVAL-CLONE', this.canon, '->', out.canon)
+        return out;
+    }
+    get canon() {
+        // console.log('LISTVAL-CANON', this.optionalKeys)
+        let keys = Object.keys(this.peg);
+        return '' +
+            // this.errcanon() +
+            '[' +
+            (this.spread.cj ? '&:' + this.spread.cj.canon +
+                (0 < keys.length ? ',' : '') : '') +
+            keys
+                .map(k => this.optionalKeys.includes(k) ?
+                k + '?:' + this.peg[k].canon :
+                this.peg[k].canon).join(',') +
+            ']';
+    }
+    gen(ctx) {
+        let out = [];
+        if (this.mark.type || this.mark.hide) {
+            return undefined;
+        }
+        for (let i = 0; i < this.peg.length; i++) {
+            const child = this.peg[i];
+            const optional = this.optionalKeys.includes('' + i);
+            if (child.isScalar
+                || child.isMap
+                || child.isList
+                || child.isPref
+                || child.isRef
+                || child.isDisjunct
+                || child.isNil) {
+                const cval = child.gen(ctx);
+                if (optional && (0, Val_1.empty)(cval)) {
+                    continue;
+                }
+                out.push(cval);
+            }
+            else if (child.isNil) {
+                ctx.adderr(child);
+            }
+            else if (!this.optionalKeys.includes('' + i)) {
+                (0, err_1.makeNilErr)(ctx, this.closed ? 'listval_required' : 'listval_no_gen', child, undefined);
+                break;
+            }
+            // else optional so we can ignore it
+        }
+        return out;
+    }
+}
+exports.ListVal = ListVal;
+//# sourceMappingURL=ListVal.js.map

package/dist/val/ListVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ListVal.js","sourceRoot":"","sources":["../../src/val/ListVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AASzD,kCAGgB;AAGhB,oCAAgC;AAEhC,wCAKmB;AAEnB,gCAA+C;AAG/C,+BAEc;AAEd,+CAA2C;AAE3C,qCAAiC;AACjC,+BAA6B;AAG7B,MAAM,OAAQ,SAAQ,eAAM;IAO1B,YACE,IAEC,EACD,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAZlB,WAAM,GAAG,IAAI,CAAA;QAEb,WAAM,GAAG;YACP,EAAE,EAAG,SAA6B;SACnC,CAAA;QAUC,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,gBAAU,CAAC,4BAA4B,CAAC,CAAA;QACpD,CAAC;QAED,IAAI,MAAM,GAAI,IAAI,CAAC,GAAW,CAAC,aAAM,CAAC,CAAA;QACtC,OAAQ,IAAI,CAAC,GAAW,CAAC,aAAM,CAAC,CAAA;QAEhC,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,GAAG,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC;gBAErB,gCAAgC;gBAChC,IAAI,CAAC,MAAM,CAAC,EAAE;oBACZ,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;wBACvB,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;4BACnB,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;4BACzC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBACf,MAAM,CAAC,CAAC,CAAA;gBAEZ,4DAA4D;gBAC5D,sDAAsD;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAGD,wCAAwC;IACxC,wDAAwD;IACxD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,GAAG,GAAG,IAAA,SAAG,GAAE,CAAA;QACjB,IAAI,GAAG,IAAI,IAAI,GAAG,CAAA;QAElB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC3E,IAAI,IAAI,GAAY,IAAI,CAAA;QACxB,IAAI,IAAI,GAAG,KAAK,CAAA;QAEhB,8CAA8C;QAC9C,IAAI,GAAG,GAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAA;QAE/E,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QACxB,GAAG,CAAC,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAA;QAEzC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;QAE9B,IAAI,IAAI,YAAY,OAAO,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAY,CAAA;gBACxE,IAAI,GAAG,IAAI,CAAA;YACb,CAAC;iBACI,CAAC;gBACJ,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAA;gBACtC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CACvD,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CACvC,GAAG,CAAC,MAAM,CAAC,EAAE;oBACb,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EACzC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,CAC9C,CACF,CAAA;YACH,CAAC;QACH,CAAC;QAGD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;YAEpB,IAAI,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,CAAA;YAEpC,8BAA8B;YAC9B,KAAK,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;gBAC/B,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;gBAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAE3B,IAAA,wBAAc,EAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBAE3B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;oBACV,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;wBACnC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;4BACnB,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;gCACnC,aAAa,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oCACzC,KAAK,CAAC,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;wCACjD,IAAA,aAAK,EAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,EACnD,KAAK,EAAE,aAAa,EAAE,UAAU,CAAC,CAAA;gBAE/C,IAAI,GAAG,CAAC,IAAI,IAAI,WAAI,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;YAC3C,CAAC;YAED,MAAM,WAAW,GAAa,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;YACtE,IAAI,GAAG,GAAuB,SAAS,CAAA;YAEvC,IAAI,IAAI,YAAY,OAAO,EAAE,CAAC;gBAC5B,IAAI,KAAK,GAAa,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAC/D,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAa,CAAA;gBAE1C,6BAA6B;gBAC7B,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;oBAC9B,IAAI,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;oBAElC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;wBAClD,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;oBACvD,CAAC;oBAED,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;oBAE5B,IAAI,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBACzB,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;4BAC/B,KAAK,CAAC,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gCACzC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oCACnB,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;wCAC3B,IAAA,aAAK,EAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAC1D,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;oBAE1C,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;wBACnB,IAAI,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;wBAClC,IAAI,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;wBAE5C,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;4BACrB,IAAA,aAAK,EAAC,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,EACxD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,aAAa,EAAE,aAAa,CAAC,CAAA;oBACrD,CAAC;oBAED,IAAA,wBAAc,EAAC,IAAI,EAAE,IAAI,CAAC,CAAA;oBAE1B,IAAI,GAAG,CAAC,IAAI,IAAI,WAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;iBACI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACrB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YAC3C,CAAC;YAED,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;gBAChB,GAAG,GAAG,GAAG,CAAA;YACX,CAAC;YAED,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBACf,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAEpB,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAA;gBAC7B,IAAA,wBAAc,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;gBACzB,IAAA,wBAAc,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YAC3B,CAAC;QACH,CAAC;QAED,GAAG,CAAC,OAAO,IAAI,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAEpC,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAa,CAAA;QAC7C,KAAK,IAAI,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACd,KAAK,CAAC,CAAC,CAAS,EAAE,KAAK,CAAC,CAAC,CAAE,KAAK,CAAC,CAAC,CAAS,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC7G,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACnB,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClF,CAAC;QAED,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QACxB,GAAG,CAAC,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAA;QAEzC,4DAA4D;QAC5D,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,kDAAkD;QAClD,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChC,OAAO,EAAE;YACP,oBAAoB;YACpB,GAAG;YACH,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK;gBAC3C,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,IAAI;iBACD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAChC,GAAG,CAAA;IACP,CAAC;IAGD,GAAG,CAAC,GAAiB;QACnB,IAAI,GAAG,GAAQ,EAAE,CAAA;QACjB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACrC,OAAO,SAAS,CAAA;QAClB,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YAEzB,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;YAEnD,IAAI,KAAK,CAAC,QAAQ;mBACb,KAAK,CAAC,KAAK;mBACX,KAAK,CAAC,MAAM;mBACZ,KAAK,CAAC,MAAM;mBACZ,KAAK,CAAC,KAAK;mBACX,KAAK,CAAC,UAAU;mBAChB,KAAK,CAAC,KAAK,EACd,CAAC;gBACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAE3B,IAAI,QAAQ,IAAI,IAAA,WAAK,EAAC,IAAI,CAAC,EAAE,CAAC;oBAC5B,SAAQ;gBACV,CAAC;gBAED,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChB,CAAC;iBACI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBACrB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACnB,CAAC;iBACI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC7C,IAAA,gBAAU,EACR,GAAG,EACH,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,gBAAgB,EACnD,KAAK,EAAE,SAAS,CACjB,CAAA;gBACD,MAAK;YACP,CAAC;YAED,oCAAoC;QACtC,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;CACF;AAMC,0BAAO"}

package/dist/val/LowerFuncVal.d.ts

@@ -0,0 +1,12 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class LowerFuncVal extends FuncBaseVal {
+    isLower: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    resolve(ctx: AontuContext | undefined, args: Val[]): Val;
+    superior(): Val;
+}
+export { LowerFuncVal, };

package/dist/val/LowerFuncVal.js

@@ -0,0 +1,40 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LowerFuncVal = void 0;
+const err_1 = require("../err");
+const ScalarKindVal_1 = require("../val/ScalarKindVal");
+const valutil_1 = require("../val/valutil");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class LowerFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isLower = true;
+    }
+    make(_ctx, spec) {
+        return new LowerFuncVal(spec);
+    }
+    funcname() {
+        return 'lower';
+    }
+    resolve(ctx, args) {
+        const oldpeg = args?.[0].peg;
+        const peg = 'string' === typeof oldpeg ? oldpeg.toLowerCase() :
+            'number' === typeof oldpeg ? Math.floor(oldpeg) :
+                undefined;
+        const out = this.place(null == peg ?
+            (0, err_1.makeNilErr)(ctx, 'invalid-arg', this) :
+            (0, valutil_1.makeScalar)(peg));
+        return out;
+    }
+    superior() {
+        const arg = this.peg?.[0];
+        return arg?.isScalar ?
+            this.place(new ScalarKindVal_1.ScalarKindVal({
+                peg: arg.kind
+            })) :
+            super.superior();
+    }
+}
+exports.LowerFuncVal = LowerFuncVal;
+//# sourceMappingURL=LowerFuncVal.js.map

package/dist/val/LowerFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LowerFuncVal.js","sourceRoot":"","sources":["../../src/val/LowerFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAInC,wDAAoD;AACpD,4CAA2C;AAI3C,+CAA2C;AAG3C,MAAM,YAAa,SAAQ,yBAAW;IAGpC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,YAAO,GAAG,IAAI,CAAA;IAOd,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;IAC/B,CAAC;IAED,QAAQ;QACN,OAAO,OAAO,CAAA;IAChB,CAAC;IAGD,OAAO,CAAC,GAA6B,EAAE,IAAW;QAChD,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;QAC5B,MAAM,GAAG,GAAG,QAAQ,KAAK,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YAC7D,QAAQ,KAAK,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC/C,SAAS,CAAA;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CACpB,IAAI,IAAI,GAAG,CAAC,CAAC;YACX,IAAA,gBAAU,EAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;YACtC,IAAA,oBAAU,EAAC,GAAG,CAAC,CAClB,CAAA;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,QAAQ;QACN,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA;QACzB,OAAO,GAAG,EAAE,QAAQ,CAAC,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,IAAI,6BAAa,CAAC;gBAC3B,GAAG,EAAE,GAAG,CAAC,IAAI;aACd,CAAC,CAAC,CAAC,CAAC;YACL,KAAK,CAAC,QAAQ,EAAE,CAAA;IACpB,CAAC;CAEF;AAIC,oCAAY"}