aontu 0.30.1 → 0.30.2

package/dist/val/MapVal.d.ts

@@ -0,0 +1,16 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { BagVal } from './BagVal';
+declare class MapVal extends BagVal {
+    isMap: boolean;
+    spread: {
+        cj: Val | undefined;
+    };
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    unify(peer: Val, ctx: AontuContext): Val;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    get canon(): string;
+    inspection(inspect: Function): string;
+    gen(ctx: AontuContext): any;
+}
+export { MapVal };

package/dist/val/MapVal.js

@@ -0,0 +1,211 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MapVal = 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 MapVal extends BagVal_1.BagVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isMap = true;
+        this.spread = {
+            cj: undefined,
+        };
+        if (null == this.peg) {
+            throw new err_1.AontuError('MapVal spec.peg undefined');
+        }
+        this.mark.type = !!spec.mark?.type;
+        this.mark.hide = !!spec.mark?.hide;
+        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;
+            }
+        }
+        // console.log('MAPVAL-ctor', this.type, spec)
+    }
+    // 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, 'Map', this, peer);
+        let done = true;
+        let exit = false;
+        // NOTE: not a clone! needs to be constructed.
+        let out = (peer.isTop ? this : new MapVal({ peg: {} }, ctx));
+        out.closed = this.closed;
+        out.optionalKeys = [...this.optionalKeys];
+        out.spread.cj = this.spread.cj;
+        if (peer instanceof MapVal) {
+            if (!this.closed && peer.closed) {
+                out = peer.unify(this, ctx.clone({ explain: (0, utility_1.ec)(te, 'PMC') }));
+                exit = true;
+            }
+            // ensure determinism of unification
+            else if (this.closed && peer.closed) {
+                const peerkeys = Object.keys(peer.peg);
+                const selfkeys = Object.keys(this.peg);
+                if (peerkeys.length < selfkeys.length
+                    || (peerkeys.length === selfkeys.length
+                        && peerkeys.join('~') < selfkeys.join('~'))) {
+                    out = peer.unify(this, ctx.clone({ explain: (0, utility_1.ec)(te, 'SPC') }));
+                    exit = true;
+                }
+            }
+            if (!exit) {
+                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, 'map-self')));
+            }
+        }
+        if (!exit) {
+            out.dc = this.dc + 1;
+            // let newtype = this.type || peer.type
+            let spread_cj = out.spread.cj ?? TOP;
+            // Always unify own 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, 'map-own');
+                done = (done && type_1.DONE === out.peg[key].dc);
+            }
+            const allowedKeys = this.closed ? Object.keys(this.peg) : [];
+            let bad = undefined;
+            if (peer instanceof MapVal) {
+                let upeer = (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'PER') }), peer, TOP, 'map-peer-map');
+                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);
+                    }
+                    // key optionality is additive
+                    if (upeer.optionalKeys.includes(peerkey) && !out.optionalKeys.includes(peerkey)) {
+                        out.optionalKeys.push(peerkey);
+                    }
+                    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, 'map-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) }), oval, key_spread_cj, 'map-peer-spread');
+                    }
+                    (0, utility_1.propagateMarks)(this, oval);
+                    done = (done && type_1.DONE === oval.dc);
+                }
+            }
+            else if (!peer.isTop) {
+                out = (0, err_1.makeNilErr)(ctx, 'map', 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);
+            }
+        }
+        // console.log('MAPVAL-OUT', this.id, this.closed, this.canon, 'P=', (peer as any).closed, peer.canon, '->', (out as any).closed, out.canon)
+        ctx.explain && (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, spec);
+        out.peg = {};
+        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('MAPVAL-CLONE', this.canon, '->', out.canon)
+        return out;
+    }
+    get canon() {
+        let keys = Object.keys(this.peg);
+        return '' +
+            // this.errcanon() +
+            // (this.mark.type ? '<type>' : '') +
+            // (this.id + '=') +
+            '{' +
+            (this.spread.cj ? '&:' + this.spread.cj.canon +
+                (0 < keys.length ? ',' : '') : '') +
+            keys
+                .map(k => [
+                JSON.stringify(k) +
+                    (this.optionalKeys.includes(k) ? '?' : '') +
+                    ':' +
+                    (this.peg[k]?.canon ?? this.peg[k])
+            ])
+                .join(',') +
+            '}';
+    }
+    inspection(inspect) {
+        return this.spread.cj ? '&:' + inspect(this.spread.cj) : '';
+    }
+    gen(ctx) {
+        let out = {};
+        if (this.mark.type || this.mark.hide) {
+            return undefined;
+        }
+        for (let p in this.peg) {
+            const child = this.peg[p];
+            if (child.mark.type || child.mark.hide) {
+                continue;
+            }
+            const optional = this.optionalKeys.includes(p);
+            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[p] = cval;
+            }
+            else if (!optional) {
+                (0, err_1.makeNilErr)(ctx, this.closed ? 'mapval_required' : 'mapval_no_gen', child, undefined);
+                break;
+            }
+            // else optional so we can ignore it
+        }
+        return out;
+    }
+}
+exports.MapVal = MapVal;
+//# sourceMappingURL=MapVal.js.map

package/dist/val/MapVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MapVal.js","sourceRoot":"","sources":["../../src/val/MapVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AASzD,kCAGgB;AAGhB,oCAAgC;AAEhC,wCAKmB;AAEnB,gCAA+C;AAE/C,+BAEc;AAGd,+CAA2C;AAE3C,qCAAiC;AACjC,+BAA6B;AAG7B,MAAM,MAAO,SAAQ,eAAM;IAOzB,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAVlB,UAAK,GAAG,IAAI,CAAA;QAEZ,WAAM,GAAG;YACP,EAAE,EAAG,SAA6B;SACnC,CAAA;QAQC,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,gBAAU,CAAC,2BAA2B,CAAC,CAAA;QACnD,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAClC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAElC,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;gBACrB,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;YACd,CAAC;QACH,CAAC;QAED,8CAA8C;IAChD,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;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE1E,IAAI,IAAI,GAAY,IAAI,CAAA;QACxB,IAAI,IAAI,GAAG,KAAK,CAAA;QAEhB,8CAA8C;QAC9C,IAAI,GAAG,GAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAA;QAE7E,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,MAAM,EAAE,CAAC;YAC3B,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,CAAW,CAAA;gBACvE,IAAI,GAAG,IAAI,CAAA;YACb,CAAC;YAED,oCAAoC;iBAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAEtC,IACE,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;uBAC9B,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;2BAClC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAC3C,EACD,CAAC;oBACD,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAW,CAAA;oBACvE,IAAI,GAAG,IAAI,CAAA;gBACb,CAAC;YAEH,CAAC;YAED,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,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,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CACxF,CACF,CAAA;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;YAEpB,uCAAuC;YAEvC,IAAI,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,CAAA;YAEpC,kCAAkC;YAClC,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,SAAS,CAAC,CAAA;gBAE9C,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,MAAM,EAAE,CAAC;gBAC3B,IAAI,KAAK,GAAY,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAC9D,IAAI,EAAE,GAAG,EAAE,cAAc,CAAY,CAAA;gBAEvC,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,8BAA8B;oBAC9B,IAAI,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;wBAChF,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;oBAChC,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,UAAU,CAAC,CAAA;oBAEzC,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;wBAC5C,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,IAAI,EAAE,aAAa,EAAE,iBAAiB,CAAC,CAAA;oBAC7C,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,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YAC1C,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,4IAA4I;QAE5I,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,CAAY,CAAA;QAC5C,GAAG,CAAC,GAAG,GAAG,EAAE,CAAA;QACZ,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,2DAA2D;QAC3D,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChC,OAAO,EAAE;YACP,oBAAoB;YACpB,qCAAqC;YACrC,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;gBACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;oBACjB,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,GAAG;oBACH,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aACpC,CAAC;iBACD,IAAI,CAAC,GAAG,CAAC;YACZ,GAAG,CAAA;IACP,CAAC;IAGD,UAAU,CAAC,OAAiB;QAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC7D,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,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACvC,SAAQ;YACV,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAE9C,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,CAAC,CAAC,GAAG,IAAI,CAAA;YACf,CAAC;iBACI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACnB,IAAA,gBAAU,EACR,GAAG,EACH,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,EACjD,KAAK,EAAE,SAAS,CACjB,CAAA;gBACD,MAAK;YACP,CAAC;YAED,oCAAoC;QACtC,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;CACF;AAIC,wBAAM"}

package/dist/val/MoveFuncVal.d.ts

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

package/dist/val/MoveFuncVal.js

@@ -0,0 +1,41 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MoveFuncVal = void 0;
+const err_1 = require("../err");
+const utility_1 = require("../utility");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+const CopyFuncVal_1 = require("./CopyFuncVal");
+class MoveFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isMoveFunc = true;
+    }
+    make(_ctx, spec) {
+        return new MoveFuncVal(spec);
+    }
+    funcname() {
+        return 'move';
+    }
+    resolve(ctx, args) {
+        let out = args[0] ?? (0, err_1.makeNilErr)(ctx, 'arg', this);
+        const orig = out;
+        const origcanon = orig.canon;
+        if (!orig.isNil) {
+            const src = orig.clone(ctx);
+            (0, utility_1.walk)(orig, (_key, val) => {
+                val.mark.hide = true;
+                return val;
+            });
+            out = new CopyFuncVal_1.CopyFuncVal({ peg: [src] }, ctx);
+        }
+        Object.defineProperty(out, 'canon', {
+            get: () => 'move(' + origcanon + ')',
+            configurable: true
+        });
+        // console.log('MOVE-resolve', out)
+        return out;
+    }
+}
+exports.MoveFuncVal = MoveFuncVal;
+//# sourceMappingURL=MoveFuncVal.js.map

package/dist/val/MoveFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MoveFuncVal.js","sourceRoot":"","sources":["../../src/val/MoveFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAInC,wCAEmB;AAInB,+CAA2C;AAC3C,+CAA2C;AAI3C,MAAM,WAAY,SAAQ,yBAAW;IAGnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,eAAU,GAAG,IAAI,CAAA;IAOjB,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,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAA,gBAAU,EAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAEjD,MAAM,IAAI,GAAG,GAAG,CAAA;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAA;QAE5B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAE3B,IAAA,cAAI,EAAC,IAAI,EAAE,CAAC,IAAiC,EAAE,GAAQ,EAAE,EAAE;gBACzD,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;gBACpB,OAAO,GAAG,CAAA;YACZ,CAAC,CAAC,CAAA;YAEF,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAC5C,CAAC;QAED,MAAM,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE;YAClC,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,GAAG,SAAS,GAAG,GAAG;YACpC,YAAY,EAAE,IAAI;SACnB,CAAC,CAAA;QAEF,mCAAmC;QAEnC,OAAO,GAAG,CAAA;IACZ,CAAC;CACF;AAIC,kCAAW"}

package/dist/val/NilVal.d.ts

@@ -0,0 +1,25 @@
+import type { ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { Val } from './Val';
+declare class NilVal extends Val {
+    isNil: boolean;
+    nil: boolean;
+    why: any;
+    primary?: Val;
+    secondary?: Val;
+    msg: string;
+    attempt?: string;
+    static make: (ctx?: AontuContext, why?: any, av?: Val, bv?: Val, attempt?: string) => NilVal;
+    constructor(spec?: {
+        why?: string;
+        msg?: string;
+        err?: NilVal | NilVal[] | Error | Error[];
+    } | string, ctx?: AontuContext);
+    unify(_peer: Val, _ctx: AontuContext): this;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    get canon(): string;
+    gen(ctx: AontuContext): undefined;
+    superior(): Val;
+    inspection(): any;
+}
+export { NilVal, };

package/dist/val/NilVal.js

@@ -0,0 +1,92 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.NilVal = void 0;
+const type_1 = require("../type");
+const Val_1 = require("./Val");
+const err_1 = require("../err");
+class NilVal extends Val_1.Val {
+    constructor(spec, ctx) {
+        super(spec && 'string' !== typeof spec ? spec : {}, ctx);
+        this.isNil = true;
+        this.nil = true;
+        this.msg = '';
+        if (spec && 'object' === typeof spec) {
+            this.why = spec?.why;
+            this.msg = 'string' === typeof spec?.msg ? spec.msg : this.msg;
+            this.err = spec ?
+                Array.isArray(spec.err) ? [...spec.err] :
+                    null != spec.err ? [spec.err] :
+                        [] : [];
+        }
+        // Nil is always DONE, by definition.
+        this.dc = type_1.DONE;
+    }
+    unify(_peer, _ctx) {
+        return this;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, spec);
+        out.why = this.why;
+        // Should these clone?
+        // out.primary = this.primary?.clone()
+        // out.secondary = this.secondary?.clone()
+        out.primary = this.primary;
+        out.secondary = this.secondary;
+        out.msg = this.msg;
+        return out;
+    }
+    // TODO: custom canon? useful for unknown function errors
+    get canon() {
+        return 'nil';
+    }
+    gen(ctx) {
+        // Unresolved nil cannot be generated, so always an error.
+        this.why = this.why ?? 'nil_gen';
+        ctx.adderr(this);
+        if (!ctx.collect) {
+            const err = new err_1.AontuError(this.msg, [this]);
+            throw err;
+        }
+        return undefined;
+    }
+    superior() {
+        return this;
+    }
+    inspection() {
+        return this.why;
+    }
+}
+exports.NilVal = NilVal;
+// TODO: include Val generating nil, thus capture type
+// A Nil is an error - should not happen - unify failed
+// refactor ,make(spec,ctx)
+NilVal.make = (ctx, why, av, bv, attempt) => {
+    let nil = new NilVal({ why }, ctx);
+    nil.attempt = attempt;
+    // TODO: this should be done lazily, for multiple terms
+    // Terms later in same file are considered the primary error location.
+    if (null != av) {
+        nil.site.row = av.site.row;
+        nil.site.col = av.site.col;
+        nil.site.url = av.site.url;
+        nil.primary = av;
+        if (null != bv) {
+            nil.secondary = bv;
+            let bv_loc_wins = (nil.site.url === bv.site.url) && ((nil.site.row < bv.site.row) ||
+                (nil.site.row === bv.site.row && nil.site.col < bv.site.col));
+            if (bv_loc_wins) {
+                nil.site.row = bv.site.row;
+                nil.site.col = bv.site.col;
+                nil.site.url = bv.site.url;
+                nil.primary = bv;
+                nil.secondary = av;
+            }
+        }
+    }
+    if (ctx) {
+        ctx.adderr(nil);
+    }
+    return nil;
+};
+//# sourceMappingURL=NilVal.js.map

package/dist/val/NilVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NilVal.js","sourceRoot":"","sources":["../../src/val/NilVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAOzD,kCAEgB;AAOhB,+BAA2B;AAE3B,gCAA4C;AAG5C,MAAM,MAAO,SAAQ,SAAG;IAuDtB,YACE,IAIU,EACV,GAAkB;QAElB,KAAK,CAAC,IAAI,IAAI,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QA9D1D,UAAK,GAAG,IAAI,CAAA;QAEZ,QAAG,GAAG,IAAI,CAAA;QAIV,QAAG,GAAW,EAAE,CAAA;QA0Dd,IAAI,IAAI,IAAI,QAAQ,KAAK,OAAO,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,CAAA;YACpB,IAAI,CAAC,GAAG,GAAG,QAAQ,KAAK,OAAO,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAA;YAC9D,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;gBACf,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBACvC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;wBAC7B,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;QACf,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,EAAE,GAAG,WAAI,CAAA;IAChB,CAAC;IAGD,KAAK,CAAC,KAAU,EAAE,IAAkB;QAClC,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAY,CAAA;QAC5C,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAElB,sBAAsB;QACtB,sCAAsC;QACtC,0CAA0C;QAC1C,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;QAC1B,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;QAE9B,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAClB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,yDAAyD;IACzD,IAAI,KAAK;QACP,OAAO,KAAK,CAAA;IACd,CAAC;IAGD,GAAG,CAAC,GAAiB;QACnB,0DAA0D;QAE1D,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,SAAS,CAAA;QAChC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAEhB,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,GAAG,GAAG,IAAI,gBAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;YAC5C,MAAM,GAAG,CAAA;QACX,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;IAGD,QAAQ;QACN,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,UAAU;QACR,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;;AAMD,wBAAM;AA3HN,sDAAsD;AAEtD,uDAAuD;AACvD,2BAA2B;AACpB,WAAI,GAAG,CAAC,GAAkB,EAAE,GAAS,EAAE,EAAQ,EAAE,EAAQ,EAAE,OAAgB,EAAE,EAAE;IACpF,IAAI,GAAG,GAAG,IAAI,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;IAElC,GAAG,CAAC,OAAO,GAAG,OAAO,CAAA;IACrB,uDAAuD;IAEvD,sEAAsE;IACtE,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;QACf,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAA;QAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAA;QAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAA;QAE1B,GAAG,CAAC,OAAO,GAAG,EAAE,CAAA;QAEhB,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;YACf,GAAG,CAAC,SAAS,GAAG,EAAE,CAAA;YAElB,IAAI,WAAW,GACb,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAChC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC5B,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAC7D,CAAA;YAEH,IAAI,WAAW,EAAE,CAAC;gBAChB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAA;gBAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAA;gBAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAA;gBAC1B,GAAG,CAAC,OAAO,GAAG,EAAE,CAAA;gBAChB,GAAG,CAAC,SAAS,GAAG,EAAE,CAAA;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,GAAG,EAAE,CAAC;QACR,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACjB,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC,AAtCU,CAsCV"}

package/dist/val/NullVal.d.ts

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

package/dist/val/NullVal.js

@@ -0,0 +1,18 @@
+"use strict";
+/* Copyright (c) 2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.NullVal = void 0;
+const ScalarVal_1 = require("./ScalarVal");
+const ScalarKindVal_1 = require("./ScalarKindVal");
+class NullVal extends ScalarVal_1.ScalarVal {
+    constructor(spec, ctx) {
+        super({ peg: spec.peg, kind: ScalarKindVal_1.Null }, ctx);
+        this.isNull = true;
+        this.peg = null;
+    }
+    unify(peer, ctx) {
+        return super.unify(peer, ctx);
+    }
+}
+exports.NullVal = NullVal;
+//# sourceMappingURL=NullVal.js.map

package/dist/val/NullVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NullVal.js","sourceRoot":"","sources":["../../src/val/NullVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAYpD,2CAAuC;AACvC,mDAAsC;AAGtC,MAAM,OAAQ,SAAQ,qBAAS;IAG7B,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,oBAAI,EAAE,EAAE,GAAG,CAAC,CAAA;QAN3C,WAAM,GAAG,IAAI,CAAA;QAOX,IAAI,CAAC,GAAG,GAAG,IAAI,CAAA;IACjB,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;CACF;AAIC,0BAAO"}

package/dist/val/NumberVal.d.ts

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

package/dist/val/NumberVal.js

@@ -0,0 +1,44 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.NumberVal = void 0;
+const err_1 = require("../err");
+const ScalarVal_1 = require("./ScalarVal");
+const utility_1 = require("../utility");
+class NumberVal extends ScalarVal_1.ScalarVal {
+    constructor(spec, ctx) {
+        if (isNaN(spec.peg)) {
+            // TODO: use Nil?
+            throw new err_1.AontuError('not-number: ' + spec.peg);
+        }
+        super({ ...spec, kind: Number }, ctx);
+        this.isNumber = true;
+    }
+    unify(peer, ctx) {
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Number', this, peer);
+        let out = this;
+        if (null != peer) {
+            if (peer.isScalarKind) {
+                out = peer.unify(this, ctx);
+            }
+            else if (peer.isScalar &&
+                peer.peg === this.peg) {
+                out = peer.isInteger ? peer : 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.NumberVal = NumberVal;
+//# sourceMappingURL=NumberVal.js.map

package/dist/val/NumberVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NumberVal.js","sourceRoot":"","sources":["../../src/val/NumberVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAWzD,gCAA+C;AAE/C,2CAAuC;AAEvC,wCAGmB;AAInB,MAAM,SAAU,SAAQ,qBAAS;IAG/B,YACE,IAAa,EACb,GAAkB;QAElB,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,iBAAiB;YACjB,MAAM,IAAI,gBAAU,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;QACjD,CAAC;QAED,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAA;QAXvC,aAAQ,GAAG,IAAI,CAAA;IAYf,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE7E,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,CAAA;YAC7B,CAAC;iBACI,IACH,IAAI,CAAC,QAAQ;gBACb,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,EACrB,CAAC;gBACD,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;YACpC,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,8BAAS"}

package/dist/val/OpBaseVal.d.ts

@@ -0,0 +1,18 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FeatureVal } from './FeatureVal';
+declare class OpBaseVal extends FeatureVal {
+    isPlusOp: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    append(part: any): void;
+    make(ctx: AontuContext, _spec: ValSpec): Val;
+    opname(): string;
+    unify(peer: Val, ctx: AontuContext): Val;
+    same(peer: Val): boolean;
+    clone(ctx: AontuContext, _spec?: ValSpec): Val;
+    operate(ctx: AontuContext, _args: Val[]): Val | undefined;
+    get canon(): string;
+    primatize(v: any): undefined | null | string | number | boolean;
+    gen(ctx?: AontuContext): undefined;
+}
+export { OpBaseVal, };