aontu 0.29.0 → 0.30.2

package/dist/val/RefVal.js

@@ -0,0 +1,276 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RefVal = void 0;
+const utility_1 = require("../utility");
+const type_1 = require("../type");
+const err_1 = require("../err");
+const unify_1 = require("../unify");
+const top_1 = require("./top");
+const StringVal_1 = require("./StringVal");
+const IntegerVal_1 = require("./IntegerVal");
+const NumberVal_1 = require("./NumberVal");
+const ConjunctVal_1 = require("./ConjunctVal");
+const VarVal_1 = require("./VarVal");
+const FeatureVal_1 = require("./FeatureVal");
+class RefVal extends FeatureVal_1.FeatureVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isRef = true;
+        this.absolute = false;
+        this.prefix = false;
+        this.peg = [];
+        this.absolute = true === this.absolute ? true : // absolute sticks
+            true === spec.absolute ? true : false;
+        this.prefix = true === spec.prefix;
+        for (let pI = 0; pI < spec.peg.length; pI++) {
+            this.append(spec.peg[pI]);
+        }
+        //console.log('RefVal', this.id, this.peg)
+    }
+    append(part) {
+        let partval;
+        // console.log('APPEND', part)
+        if ('string' === typeof part) {
+            partval = part;
+            this.peg.push(partval);
+        }
+        else if (part instanceof StringVal_1.StringVal) {
+            partval = part.peg;
+            this.peg.push(partval);
+        }
+        else if (part instanceof IntegerVal_1.IntegerVal) {
+            // partval = '' + part.peg
+            partval = part.src;
+            this.peg.push(partval);
+        }
+        // TODO: this is a bit of a hack, review
+        // Seems like a fundamental ambiguity?
+        // Resolved by path function
+        else if (part instanceof NumberVal_1.NumberVal) {
+            // let partvals: string[] = part.peg.toFixed(11).replace(/(\.0)?0+$/, '$1').split('.')
+            let partvals = part.src.split('.');
+            this.peg.push(...partvals);
+        }
+        else if (part instanceof VarVal_1.VarVal) {
+            partval = part;
+            this.peg.push(partval);
+        }
+        else if (part instanceof RefVal) {
+            if (part.absolute) {
+                this.absolute = true;
+            }
+            if (this.prefix) {
+                if (part.prefix) {
+                    this.peg.push('.');
+                }
+            }
+            else {
+                if (part.prefix) {
+                    if (0 === this.peg.length) {
+                        this.prefix = true;
+                    }
+                    else if (0 < this.peg.length) {
+                        this.peg.push('.');
+                    }
+                }
+            }
+            this.peg.push(...part.peg);
+        }
+    }
+    unify(peer, ctx) {
+        peer = peer ?? (0, top_1.top)();
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Ref', this, peer);
+        let out = this;
+        // let why = 'id'
+        if (this.id !== peer.id) {
+            // TODO: not resolved when all Vals in path are done is an error
+            // as path cannot be found
+            // let resolved: Val | undefined = null == ctx ? this : ctx.find(this)
+            let found = null == ctx ? this : this.find(ctx);
+            const resolved = found ?? this;
+            if (null == resolved && this.canon === peer.canon) {
+                out = this;
+            }
+            else if (resolved instanceof RefVal) {
+                if (peer.isTop) {
+                    out = this;
+                    // why = 'pt'
+                }
+                else if (peer.isNil) {
+                    out = (0, err_1.makeNilErr)(ctx, 'ref[' + this.peg + ']', this, peer);
+                    // why = 'pn'
+                }
+                // same path
+                // else if (this.peg === peer.peg) {
+                else if (this.canon === peer.canon) {
+                    out = this;
+                    // why = 'pp'
+                }
+                else {
+                    // Ensure RefVal done is incremented
+                    this.dc = type_1.DONE === this.dc ? type_1.DONE : this.dc + 1;
+                    out = new ConjunctVal_1.ConjunctVal({ peg: [this, peer] }, ctx);
+                    // why = 'cj'
+                }
+            }
+            else {
+                out = (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'RES') }), resolved, peer, 'ref');
+                // why = 'u'
+            }
+            out.dc = type_1.DONE === out.dc ? type_1.DONE : this.dc + 1;
+        }
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    find(ctx) {
+        let out = undefined;
+        if (this.path.join('.').startsWith(this.peg.join('.'))) {
+            out = (0, err_1.makeNilErr)(ctx, 'path_cycle', this);
+        }
+        else {
+            let parts = [];
+            let modes = [];
+            for (let pI = 0; pI < this.peg.length; pI++) {
+                let part = this.peg[pI];
+                if (part instanceof VarVal_1.VarVal) {
+                    let strval = part.peg;
+                    let name = strval ? '' + strval.peg : '';
+                    if ('KEY' === name) {
+                        if (pI === this.peg.length - 1) {
+                            modes.push(name);
+                        }
+                        else {
+                            // TODO: return a Nil explaining error
+                            return;
+                        }
+                    }
+                    if ('SELF' === name) {
+                        if (pI === 0) {
+                            modes.push(name);
+                        }
+                        else {
+                            // TODO: return a Nil explaining error
+                            return;
+                        }
+                    }
+                    else if ('PARENT' === name) {
+                        if (pI === 0) {
+                            modes.push(name);
+                        }
+                        else {
+                            // TODO: return a Nil explaining error
+                            return;
+                        }
+                    }
+                    else if (0 === modes.length) {
+                        part = part.unify((0, top_1.top)(), ctx);
+                        if (part.isNil) {
+                            // TODO: var not found, so can't find path
+                            return;
+                        }
+                        else {
+                            part = '' + part.peg;
+                        }
+                    }
+                }
+                else {
+                    parts.push(part);
+                }
+            }
+            let refpath = [];
+            if (this.absolute) {
+                refpath = parts;
+            }
+            else {
+                // TODO: deprecate $KEY, etc
+                refpath = this.path.slice(0, (modes.includes('SELF') ? 0 :
+                    modes.includes('PARENT') ? -1 :
+                        -1 // siblings
+                )).concat(parts);
+            }
+            let sep = '.';
+            refpath = refpath
+                .reduce(((a, p) => (p === sep ? a.length = a.length - 1 : a.push(p), a)), []);
+            if (modes.includes('KEY')) {
+                let key = this.path[this.path.length - 2];
+                let sv = new StringVal_1.StringVal({ peg: null == key ? '' : key }, ctx);
+                // TODO: other props?
+                sv.dc = type_1.DONE;
+                sv.path = this.path;
+                return sv;
+            }
+            let node = ctx.root;
+            let pI = 0;
+            if (null != node) {
+                for (; pI < refpath.length; pI++) {
+                    let part = refpath[pI];
+                    if (null == node) {
+                        break;
+                    }
+                    else if (node.isMap) {
+                        node = node.peg[part];
+                    }
+                    else if (node.isList) {
+                        node = node.peg[part];
+                    }
+                    else {
+                        break;
+                    }
+                }
+            }
+            if (pI === refpath.length) {
+                out = node;
+                // Types and hidden values are cloned and made concrete
+                if (null != out && (out.mark.type || out.mark.hide)) {
+                    out = out.clone(ctx);
+                    (0, utility_1.walk)(out, (_key, val) => {
+                        val.mark.type = false;
+                        val.mark.hide = false;
+                        return val;
+                    });
+                }
+            }
+        }
+        return out;
+    }
+    same(peer) {
+        return null == peer ? false : this.peg === peer.peg;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, {
+            peg: this.peg,
+            absolute: this.absolute,
+            ...(spec || {})
+        });
+        return out;
+    }
+    get canon() {
+        let str = (this.absolute ? '$' : '') +
+            (0 < this.peg.length ? '.' : '') +
+            // this.peg.join(this.sep)
+            this.peg.map((p) => '.' === p ? '' :
+                (p.isVal ? p.canon : '' + p))
+                .join('.');
+        return str;
+    }
+    gen(ctx) {
+        // Unresolved ref cannot be generated, so always an error.
+        let nil = (0, err_1.makeNilErr)(ctx, 'ref', this, // (formatPath(this.peg, this.absolute) as any),
+        undefined);
+        // TODO: refactor to use Site pointer
+        nil.path = this.path;
+        nil.site.url = this.site.url;
+        nil.site.row = this.site.row;
+        nil.site.col = this.site.col;
+        return undefined;
+    }
+    inspection() {
+        return [
+            this.absolute ? 'absolute' : '',
+            this.prefix ? 'prefix' : '',
+        ].filter(p => '' != p).join(',');
+    }
+}
+exports.RefVal = RefVal;
+//# sourceMappingURL=RefVal.js.map

package/dist/val/RefVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RefVal.js","sourceRoot":"","sources":["../../src/val/RefVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAGzD,wCAKmB;AAQnB,kCAEgB;AAIhB,gCAAmC;AACnC,oCAAgC;AAGhC,+BAEc;AAGd,2CAAuC;AACvC,6CAAyC;AACzC,2CAAuC;AACvC,+CAA2C;AAC3C,qCAAiC;AACjC,6CAAyC;AAIzC,MAAM,MAAO,SAAQ,uBAAU;IAM7B,YACE,IAIC,EACD,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAblB,UAAK,GAAG,IAAI,CAAA;QAEZ,aAAQ,GAAY,KAAK,CAAA;QACzB,WAAM,GAAY,KAAK,CAAA;QAWrB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAA;QAEb,IAAI,CAAC,QAAQ,GAAG,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB;YAChE,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;QAEvC,IAAI,CAAC,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC,MAAM,CAAA;QAElC,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3B,CAAC;QAED,0CAA0C;IAC5C,CAAC;IAGD,MAAM,CAAC,IAAS;QACd,IAAI,OAAO,CAAA;QAEX,8BAA8B;QAE9B,IAAI,QAAQ,KAAK,OAAO,IAAI,EAAE,CAAC;YAC7B,OAAO,GAAG,IAAI,CAAA;YACd,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;aAEI,IAAI,IAAI,YAAY,qBAAS,EAAE,CAAC;YACnC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAA;YAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;aAEI,IAAI,IAAI,YAAY,uBAAU,EAAE,CAAC;YACpC,0BAA0B;YAC1B,OAAO,GAAG,IAAI,CAAC,GAAG,CAAA;YAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;QAED,wCAAwC;QACxC,sCAAsC;QACtC,4BAA4B;aACvB,IAAI,IAAI,YAAY,qBAAS,EAAE,CAAC;YACnC,sFAAsF;YACtF,IAAI,QAAQ,GAAa,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAA;QAC5B,CAAC;aAEI,IAAI,IAAI,YAAY,eAAM,EAAE,CAAC;YAChC,OAAO,GAAG,IAAI,CAAA;YACd,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;aAEI,IAAI,IAAI,YAAY,MAAM,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;YACtB,CAAC;YAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACpB,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChB,IAAI,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAC1B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;oBACpB,CAAC;yBAEI,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;oBACpB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,IAAI,GAAG,IAAI,IAAI,IAAA,SAAG,GAAE,CAAA;QAEpB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1E,IAAI,GAAG,GAAQ,IAAI,CAAA;QACnB,iBAAiB;QAEjB,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YAExB,gEAAgE;YAChE,0BAA0B;YAC1B,sEAAsE;YACtE,IAAI,KAAK,GAAoB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAEhE,MAAM,QAAQ,GAAG,KAAK,IAAI,IAAI,CAAA;YAE9B,IAAI,IAAI,IAAI,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;gBAClD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,QAAQ,YAAY,MAAM,EAAE,CAAC;gBACpC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,GAAG,GAAG,IAAI,CAAA;oBACV,aAAa;gBACf,CAAC;qBACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACpB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;oBAC1D,aAAa;gBACf,CAAC;gBAED,YAAY;gBACZ,oCAAoC;qBAC/B,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;oBACnC,GAAG,GAAG,IAAI,CAAA;oBACV,aAAa;gBACf,CAAC;qBAEI,CAAC;oBACJ,oCAAoC;oBACpC,IAAI,CAAC,EAAE,GAAG,WAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;oBAC/C,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;oBACjD,aAAa;gBACf,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;gBACzE,YAAY;YACd,CAAC;YAED,GAAG,CAAC,EAAE,GAAG,WAAI,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAC/C,CAAC;QAED,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QACrB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,GAAiB;QACpB,IAAI,GAAG,GAAoB,SAAS,CAAA;QAEpC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACvD,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;QAC3C,CAAC;aACI,CAAC;YAEJ,IAAI,KAAK,GAAa,EAAE,CAAA;YAExB,IAAI,KAAK,GAAa,EAAE,CAAA;YAExB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC5C,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACvB,IAAI,IAAI,YAAY,eAAM,EAAE,CAAC;oBAC3B,IAAI,MAAM,GAAI,IAAe,CAAC,GAAG,CAAA;oBACjC,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;oBAExC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACnB,IAAI,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBAClB,CAAC;6BACI,CAAC;4BACJ,sCAAsC;4BACtC,OAAM;wBACR,CAAC;oBACH,CAAC;oBAED,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;wBACpB,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;4BACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBAClB,CAAC;6BACI,CAAC;4BACJ,sCAAsC;4BACtC,OAAM;wBACR,CAAC;oBACH,CAAC;yBACI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;wBAC3B,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;4BACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBAClB,CAAC;6BACI,CAAC;4BACJ,sCAAsC;4BACtC,OAAM;wBACR,CAAC;oBACH,CAAC;yBACI,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;wBAC5B,IAAI,GAAI,IAAe,CAAC,KAAK,CAAC,IAAA,SAAG,GAAE,EAAE,GAAG,CAAC,CAAA;wBACzC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;4BACf,0CAA0C;4BAC1C,OAAM;wBACR,CAAC;6BACI,CAAC;4BACJ,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAA;wBACtB,CAAC;oBACH,CAAC;gBACH,CAAC;qBACI,CAAC;oBACJ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAClB,CAAC;YACH,CAAC;YAED,IAAI,OAAO,GAAa,EAAE,CAAA;YAE1B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,OAAO,GAAG,KAAK,CAAA;YACjB,CAAC;iBACI,CAAC;gBACJ,4BAA4B;gBAC5B,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CACvB,CAAC,EACD,CACE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC1B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC7B,CAAC,CAAC,CAAC,WAAW;iBACnB,CACF,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACjB,CAAC;YAED,IAAI,GAAG,GAAG,GAAG,CAAA;YACb,OAAO,GAAG,OAAO;iBACd,MAAM,CAAC,CAAC,CAAC,CAAW,EAAE,CAAS,EAAE,EAAE,CAClC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAE9D,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;gBACzC,IAAI,EAAE,GAAG,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;gBAE5D,qBAAqB;gBACrB,EAAE,CAAC,EAAE,GAAG,WAAI,CAAA;gBACZ,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;gBAEnB,OAAO,EAAE,CAAA;YACX,CAAC;YAED,IAAI,IAAI,GAAG,GAAG,CAAC,IAAW,CAAA;YAC1B,IAAI,EAAE,GAAG,CAAC,CAAA;YAEV,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;gBACjB,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;oBACjC,IAAI,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAA;oBAEtB,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;wBACjB,MAAK;oBACP,CAAC;yBACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACpB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACvB,CAAC;yBACI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;wBACrB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACvB,CAAC;yBACI,CAAC;wBACJ,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,EAAE,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC1B,GAAG,GAAG,IAAI,CAAA;gBAEV,uDAAuD;gBACvD,IAAI,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpD,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;oBAEpB,IAAA,cAAI,EAAC,GAAG,EAAE,CAAC,IAAiC,EAAE,GAAQ,EAAE,EAAE;wBACxD,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;wBACrB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;wBACrB,OAAO,GAAG,CAAA;oBACZ,CAAC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAA;IACrD,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE;YAC1B,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;SAChB,CAAY,CAAA;QACb,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,IAAI,GAAG,GACL,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,0BAA0B;YAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACvC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;iBAC5B,IAAI,CAAC,GAAG,CAAC,CAAA;QACd,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,GAAG,CAAC,GAAiB;QACnB,0DAA0D;QAC1D,IAAI,GAAG,GAAG,IAAA,gBAAU,EAClB,GAAG,EACH,KAAK,EACL,IAAI,EAAE,gDAAgD;QACtD,SAAS,CACV,CAAA;QAED,qCAAqC;QACrC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAE5B,OAAO,SAAS,CAAA;IAClB,CAAC;IAGD,UAAU;QACR,OAAO;YACL,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;SAC5B,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAClC,CAAC;CAEF;AAIC,wBAAM"}

package/dist/val/ScalarKindVal.d.ts

@@ -0,0 +1,16 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FeatureVal } from './FeatureVal';
+declare class Integer {
+}
+declare class Null {
+}
+type ScalarConstructor = StringConstructor | NumberConstructor | BooleanConstructor | (typeof Integer.constructor);
+declare class ScalarKindVal extends FeatureVal {
+    isScalarKind: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    unify(peer: Val, ctx: AontuContext): Val;
+    get canon(): any;
+    same(peer: any): boolean;
+}
+export { Integer, Null, ScalarConstructor, ScalarKindVal, };

package/dist/val/ScalarKindVal.js

@@ -0,0 +1,76 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ScalarKindVal = exports.Null = exports.Integer = void 0;
+const type_1 = require("../type");
+const utility_1 = require("../utility");
+const err_1 = require("../err");
+// import { BaseVal } from './BaseVal'
+const FeatureVal_1 = require("./FeatureVal");
+// A ScalarKind for integers. Number includes floats.
+class Integer {
+}
+exports.Integer = Integer;
+// A ScalarKind for null.
+class Null {
+}
+exports.Null = Null;
+// class ScalarKindVal extends BaseVal {
+class ScalarKindVal extends FeatureVal_1.FeatureVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isScalarKind = true;
+        if (null == this.peg) {
+            throw new err_1.AontuError('ScalarKindVal spec.peg undefined');
+        }
+        this.dc = type_1.DONE;
+    }
+    unify(peer, ctx) {
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'ScalarKind', this, peer);
+        const peerIsScalarVal = peer.isScalar;
+        const peerIsScalarKind = peer.isScalarKind;
+        let out = this;
+        if (peerIsScalarVal) {
+            let peerKind = peer.kind;
+            if (peerKind === this.peg) {
+                out = peer;
+            }
+            else if (Number === this.peg && Integer === peerKind) {
+                out = peer;
+            }
+            else {
+                out = (0, err_1.makeNilErr)(ctx, 'no-scalar-unify', this, peer);
+            }
+        }
+        else if (peerIsScalarKind) {
+            if (Number === this.peg && Integer === peer.peg) {
+                out = peer;
+            }
+            else if (Number === peer.peg && Integer === this.peg) {
+                out = this;
+            }
+            else if (this.peg === peer.peg) {
+                out = this;
+            }
+            else {
+                out = (0, err_1.makeNilErr)(ctx, 'scalar-type', this, peer);
+            }
+        }
+        else {
+            out = (0, err_1.makeNilErr)(ctx, 'not-scalar-type', this, peer);
+        }
+        ctx.explain && (0, utility_1.explainClose)(te, out);
+        // console.log('SCALARKINDVAL', this.canon.peer.canon, '->', out.canon)
+        return out;
+    }
+    get canon() {
+        let ctor = this.peg;
+        return ctor.name.toLowerCase();
+    }
+    same(peer) {
+        let out = peer?.isScalarKind ? this.peg === peer?.peg : super.same(peer);
+        return out;
+    }
+}
+exports.ScalarKindVal = ScalarKindVal;
+//# sourceMappingURL=ScalarKindVal.js.map

package/dist/val/ScalarKindVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScalarKindVal.js","sourceRoot":"","sources":["../../src/val/ScalarKindVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAOzD,kCAEgB;AAMhB,wCAGmB;AAEnB,gCAA+C;AAE/C,sCAAsC;AACtC,6CAAyC;AAGzC,qDAAqD;AACrD,MAAM,OAAO;CAAI;AA6Ff,0BAAO;AA3FT,yBAAyB;AACzB,MAAM,IAAI;CAAI;AA2FZ,oBAAI;AAjFN,wCAAwC;AACxC,MAAM,aAAc,SAAQ,uBAAU;IAGpC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,iBAAY,GAAG,IAAI,CAAA;QAQjB,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,gBAAU,CAAC,kCAAkC,CAAC,CAAA;QAC1D,CAAC;QAED,IAAI,CAAC,EAAE,GAAG,WAAI,CAAA;IAChB,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAEjF,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAA;QACrC,MAAM,gBAAgB,GAAI,IAAsB,CAAC,YAAY,CAAA;QAE7D,IAAI,GAAG,GAAQ,IAAI,CAAA;QAEnB,IAAI,eAAe,EAAE,CAAC;YACpB,IAAI,QAAQ,GAAI,IAAY,CAAC,IAAI,CAAA;YAEjC,IAAI,QAAQ,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACrD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACtD,CAAC;QACH,CAAC;aACI,IAAI,gBAAgB,EAAE,CAAC;YAC1B,IAAI,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBAChD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBACrD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC/B,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YAClD,CAAC;QACH,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACtD,CAAC;QAED,GAAG,CAAC,OAAO,IAAI,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAEpC,uEAAuE;QACvE,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,IAAI,IAAI,GAAI,IAAI,CAAC,GAAW,CAAA;QAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;IAChC,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,IAAI,GAAG,GAAG,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxE,OAAO,GAAG,CAAA;IACZ,CAAC;CAGF;AAOC,sCAAa"}

package/dist/val/ScalarVal.d.ts

@@ -0,0 +1,16 @@
+import type { ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { Val } from './Val';
+declare class ScalarVal extends Val {
+    kind: any;
+    isScalar: boolean;
+    src: string;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    unify(peer: Val, ctx: AontuContext): Val;
+    get canon(): any;
+    same(peer: any): boolean;
+    gen(_ctx?: AontuContext): any;
+    superior(): Val;
+}
+export { ScalarVal, };

package/dist/val/ScalarVal.js

@@ -0,0 +1,61 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ScalarVal = void 0;
+const type_1 = require("../type");
+const utility_1 = require("../utility");
+const err_1 = require("../err");
+const Val_1 = require("./Val");
+const ScalarKindVal_1 = require("./ScalarKindVal");
+class ScalarVal extends Val_1.Val {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isScalar = true;
+        this.kind = spec.kind;
+        this.src = spec.src ?? '';
+        this.dc = type_1.DONE;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, {
+            peg: this.peg,
+            kind: this.kind,
+            ...(spec || {})
+        });
+        return out;
+    }
+    unify(peer, ctx) {
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Scalar', this, peer);
+        let out;
+        // Exactly equal scalars are handled in unify.unite
+        if (peer.isScalarKind) {
+            out = peer.unify(this, ctx);
+        }
+        else if (peer.isTop) {
+            out = this;
+        }
+        else {
+            out = (0, err_1.makeNilErr)(ctx, 'scalar_' +
+                (peer.kind === this.kind ? 'value' : 'kind'), this, peer);
+        }
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    get canon() {
+        return null === this.peg ? 'null' :
+            undefined === this.peg ? 'undefined' :
+                this.peg.toString();
+    }
+    same(peer) {
+        return peer?.isScalar ? peer.peg === this.peg : super.same(peer);
+    }
+    gen(_ctx) {
+        return this.peg;
+    }
+    superior() {
+        return this.place(new ScalarKindVal_1.ScalarKindVal({
+            peg: this.kind
+        }));
+    }
+}
+exports.ScalarVal = ScalarVal;
+//# sourceMappingURL=ScalarVal.js.map

package/dist/val/ScalarVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScalarVal.js","sourceRoot":"","sources":["../../src/val/ScalarVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAMzD,kCAEgB;AAMhB,wCAGmB;AAEnB,gCAAmC;AAEnC,+BAA2B;AAC3B,mDAA+C;AAI/C,MAAM,SAAU,SAAQ,SAAG;IAKzB,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAPlB,aAAQ,GAAG,IAAI,CAAA;QAQb,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACrB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,CAAA;QACzB,IAAI,CAAC,EAAE,GAAG,WAAI,CAAA;IAChB,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE;YACzB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;SAChB,CAAC,CAAA;QAEF,OAAO,GAAG,CAAA;IACZ,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,GAAQ,CAAA;QAEZ,mDAAmD;QACnD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACtB,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC7B,CAAC;aACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACpB,GAAG,GAAG,IAAI,CAAA;QACZ,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,SAAS;gBAC7B,CAAE,IAAY,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACtE,CAAC;QAED,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,OAAO,IAAI,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACjC,SAAS,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBACnC,IAAI,CAAC,GAAW,CAAC,QAAQ,EAAE,CAAA;IAClC,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClE,CAAC;IAGD,GAAG,CAAC,IAAmB;QACrB,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;IAGD,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,6BAAa,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,IAAI;SACf,CAAC,CAAC,CAAA;IACL,CAAC;CAEF;AAIC,8BAAS"}

package/dist/val/StringVal.d.ts

@@ -0,0 +1,10 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { ScalarVal } from './ScalarVal';
+declare class StringVal extends ScalarVal {
+    isString: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    unify(peer: Val, ctx: AontuContext): Val;
+    get canon(): string;
+}
+export { StringVal, };

package/dist/val/StringVal.js

@@ -0,0 +1,19 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.StringVal = void 0;
+const ScalarVal_1 = require("./ScalarVal");
+class StringVal extends ScalarVal_1.ScalarVal {
+    constructor(spec, ctx) {
+        super({ peg: spec.peg, kind: String }, ctx);
+        this.isString = true;
+    }
+    unify(peer, ctx) {
+        return super.unify(peer, ctx);
+    }
+    get canon() {
+        return JSON.stringify(this.peg);
+    }
+}
+exports.StringVal = StringVal;
+//# sourceMappingURL=StringVal.js.map

package/dist/val/StringVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StringVal.js","sourceRoot":"","sources":["../../src/val/StringVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAWzD,2CAAuC;AAGvC,MAAM,SAAU,SAAQ,qBAAS;IAG/B,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAA;QAN7C,aAAQ,GAAG,IAAI,CAAA;IAOf,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC;CAEF;AAGC,8BAAS"}

package/dist/val/SuperFuncVal.d.ts

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

package/dist/val/SuperFuncVal.js

@@ -0,0 +1,22 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SuperFuncVal = void 0;
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class SuperFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isSuperFunc = true;
+    }
+    make(_ctx, spec) {
+        return new SuperFuncVal(spec);
+    }
+    funcname() {
+        return 'super';
+    }
+    resolve(_ctx, _args) {
+        return this.place(this.superior());
+    }
+}
+exports.SuperFuncVal = SuperFuncVal;
+//# sourceMappingURL=SuperFuncVal.js.map

package/dist/val/SuperFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SuperFuncVal.js","sourceRoot":"","sources":["../../src/val/SuperFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAazD,+CAA2C;AAG3C,MAAM,YAAa,SAAQ,yBAAW;IAGpC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,gBAAW,GAAG,IAAI,CAAA;IAOlB,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,IAAkB,EAAE,KAAY;QACtC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpC,CAAC;CAEF;AAIC,oCAAY"}

package/dist/val/TopVal.d.ts

@@ -0,0 +1,16 @@
+import type { ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { Val } from './Val';
+declare class TopVal extends Val {
+    isTop: boolean;
+    id: number;
+    dc: number;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    same(peer: Val): boolean;
+    unify(peer: Val, _ctx?: AontuContext): Val;
+    get canon(): string;
+    superior(): Val;
+    clone(_ctx: AontuContext, _spec?: ValSpec): this;
+    gen(_ctx?: AontuContext): undefined;
+}
+export { TopVal, };

package/dist/val/TopVal.js

@@ -0,0 +1,38 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TopVal = void 0;
+const type_1 = require("../type");
+const Val_1 = require("./Val");
+// There can be only one.
+class TopVal extends Val_1.Val {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isTop = true;
+        this.id = 0;
+        this.dc = type_1.DONE;
+        // TOP is always DONE, by definition.
+        this.dc = type_1.DONE;
+        this.mark.type = false;
+        this.mark.hide = false;
+    }
+    same(peer) {
+        // return this === peer
+        return peer.isTop;
+    }
+    unify(peer, _ctx) {
+        return peer;
+    }
+    get canon() { return 'top'; }
+    superior() {
+        return this;
+    }
+    clone(_ctx, _spec) {
+        return this;
+    }
+    gen(_ctx) {
+        return undefined;
+    }
+}
+exports.TopVal = TopVal;
+//# sourceMappingURL=TopVal.js.map

package/dist/val/TopVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TopVal.js","sourceRoot":"","sources":["../../src/val/TopVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAQzD,kCAEgB;AAMhB,+BAEc;AAGd,yBAAyB;AACzB,MAAM,MAAO,SAAQ,SAAG;IAMtB,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QATlB,UAAK,GAAG,IAAI,CAAA;QAEZ,OAAE,GAAG,CAAC,CAAA;QACN,OAAE,GAAG,WAAI,CAAA;QAQP,qCAAqC;QACrC,IAAI,CAAC,EAAE,GAAG,WAAI,CAAA;QACd,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;QACtB,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;IACxB,CAAC;IAED,IAAI,CAAC,IAAS;QACZ,uBAAuB;QACvB,OAAO,IAAI,CAAC,KAAK,CAAA;IACnB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,IAAmB;QAClC,OAAO,IAAI,CAAA;IACb,CAAC;IAED,IAAI,KAAK,KAAK,OAAO,KAAK,CAAA,CAAC,CAAC;IAE5B,QAAQ;QACN,OAAO,IAAI,CAAA;IACb,CAAC;IAED,KAAK,CAAC,IAAkB,EAAE,KAAe;QACvC,OAAO,IAAI,CAAA;IACb,CAAC;IAED,GAAG,CAAC,IAAmB;QACrB,OAAO,SAAS,CAAA;IAClB,CAAC;CAEF;AAIC,wBAAM"}

package/dist/val/TypeFuncVal.d.ts

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

package/dist/val/TypeFuncVal.js

@@ -0,0 +1,35 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeFuncVal = void 0;
+const err_1 = require("../err");
+const utility_1 = require("../utility");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class TypeFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isTypeFunc = true;
+        // The function does not mark itself!
+        this.mark.type = false;
+        this.mark.hide = false;
+    }
+    make(_ctx, spec) {
+        return new TypeFuncVal(spec);
+    }
+    funcname() {
+        return 'type';
+    }
+    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.type = true;
+                return val;
+            });
+        }
+        return out;
+    }
+}
+exports.TypeFuncVal = TypeFuncVal;
+//# sourceMappingURL=TypeFuncVal.js.map