aontu 0.29.0 → 0.30.1

package/dist/lib/val/RefVal.js

@@ -1,247 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.RefVal = void 0;
-const type_1 = require("../type");
-const err_1 = require("../err");
-const op_1 = require("../op/op");
-const val_1 = require("../val");
-const ConjunctVal_1 = require("../val/ConjunctVal");
-const MapVal_1 = require("../val/MapVal");
-const Nil_1 = require("../val/Nil");
-const VarVal_1 = require("../val/VarVal");
-const ValBase_1 = require("../val/ValBase");
-class RefVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isRefVal = 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]);
-        }
-    }
-    append(part) {
-        let partval;
-        if ('string' === typeof part) {
-            partval = part;
-            this.peg.push(partval);
-        }
-        else if (part instanceof val_1.StringVal) {
-            partval = part.peg;
-            this.peg.push(partval);
-        }
-        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) {
-        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 resolved = null == ctx ? this : this.find(ctx);
-            resolved = resolved || this;
-            if (null == resolved && this.canon === peer.canon) {
-                out = this;
-            }
-            else if (resolved instanceof RefVal) {
-                if (val_1.TOP === peer) {
-                    out = this;
-                    // why = 'pt'
-                }
-                else if (peer instanceof Nil_1.Nil) {
-                    out = Nil_1.Nil.make(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.done = type_1.DONE === this.done ? type_1.DONE : this.done + 1;
-                    out = new ConjunctVal_1.ConjunctVal({ peg: [this, peer] }, ctx);
-                    // why = 'cj'
-                }
-            }
-            else {
-                out = (0, op_1.unite)(ctx, resolved, peer, 'ref');
-                // why = 'u'
-            }
-            out.done = type_1.DONE === out.done ? type_1.DONE : this.done + 1;
-        }
-        return out;
-    }
-    find(ctx) {
-        // TODO: relative paths
-        // if (this.root instanceof MapVal && ref.absolute) {
-        // NOTE: path *to* the ref, not the ref itself!
-        let fullpath = this.path;
-        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(val_1.TOP, ctx);
-                    if (part instanceof Nil_1.Nil) {
-                        // TODO: var not found, so can't find path
-                        return;
-                    }
-                    else {
-                        part = '' + part.peg;
-                    }
-                }
-            }
-            else {
-                parts.push(part);
-            }
-        }
-        if (this.absolute) {
-            fullpath = parts;
-        }
-        else {
-            fullpath = fullpath.slice(0, (modes.includes('SELF') ? 0 :
-                modes.includes('PARENT') ? -1 :
-                    -1 // siblings
-            )).concat(parts);
-        }
-        let sep = '.';
-        fullpath = fullpath
-            .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 val_1.StringVal({ peg: null == key ? '' : key }, ctx);
-            // TODO: other props?
-            sv.done = type_1.DONE;
-            sv.path = this.path;
-            return sv;
-        }
-        let node = ctx.root;
-        let pI = 0;
-        for (; pI < fullpath.length; pI++) {
-            let part = fullpath[pI];
-            if (node instanceof MapVal_1.MapVal) {
-                node = node.peg[part];
-            }
-            else {
-                break;
-            }
-        }
-        if (pI === fullpath.length) {
-            // if (this.attr && 'KEY' === this.attr.kind) {
-            // if (modes.includes('KEY')) {
-            //   let key = fullpath[fullpath.length - 1]
-            //   let sv = new StringVal({ peg: null == key ? '' : key }, ctx)
-            //   // TODO: other props?
-            //   sv.done = DONE
-            //   sv.path = this.path
-            //   return sv
-            // }
-            // else {
-            // console.log('REF', this.id, this.path, this.done, 'FOUND', node.canon)
-            return node;
-            // }
-        }
-    }
-    same(peer) {
-        return null == peer ? false : this.peg === peer.peg;
-    }
-    clone(spec, ctx) {
-        let out = super.clone({
-            peg: this.peg,
-            absolute: this.absolute,
-            ...(spec || {})
-        }, ctx);
-        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 = Nil_1.Nil.make(ctx, 'ref', this, // (formatPath(this.peg, this.absolute) as any),
-        undefined);
-        // TODO: refactor to use Site
-        nil.path = this.path;
-        nil.url = this.url;
-        nil.row = this.row;
-        nil.col = this.col;
-        (0, err_1.descErr)(nil, ctx);
-        if (ctx) {
-            ctx.err.push(nil);
-        }
-        else {
-            throw new Error(nil.msg);
-        }
-        return undefined;
-    }
-}
-exports.RefVal = RefVal;
-//# sourceMappingURL=RefVal.js.map

package/dist/lib/val/RefVal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"RefVal.js","sourceRoot":"","sources":["../../../lib/val/RefVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAoBzD,kCAEgB;AAEhB,gCAEe;AAMf,iCAEiB;AAEjB,gCAGe;AAGf,oDAAgD;AAChD,0CAAsC;AACtC,oCAAgC;AAChC,0CAAsC;AACtC,4CAAwC;AAMxC,MAAM,MAAO,SAAQ,iBAAO;IAM1B,YACE,IAIC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAblB,aAAQ,GAAG,IAAI,CAAA;QAEf,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;IACH,CAAC;IAGD,MAAM,CAAC,IAAS;QACd,IAAI,OAAO,CAAA;QAEX,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,eAAS,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,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,GAAY;QAC3B,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,QAAQ,GAAoB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAEnE,QAAQ,GAAG,QAAQ,IAAI,IAAI,CAAA;YAE3B,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,SAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,GAAG,GAAG,IAAI,CAAA;oBACV,aAAa;gBACf,CAAC;qBACI,IAAI,IAAI,YAAY,SAAG,EAAE,CAAC;oBAC7B,GAAG,GAAG,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;oBACxD,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,IAAI,GAAG,WAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;oBACrD,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,UAAK,EAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;gBACvC,YAAY;YACd,CAAC;YAED,GAAG,CAAC,IAAI,GAAG,WAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;QACrD,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,GAAY;QACf,uBAAuB;QACvB,qDAAqD;QAErD,+CAA+C;QAC/C,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAA;QAExB,IAAI,KAAK,GAAa,EAAE,CAAA;QAExB,IAAI,KAAK,GAAa,EAAE,CAAA;QAExB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACvB,IAAI,IAAI,YAAY,eAAM,EAAE,CAAC;gBAC3B,IAAI,MAAM,GAAI,IAAe,CAAC,GAAG,CAAA;gBACjC,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;gBAExC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBACnB,IAAI,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAClB,CAAC;yBACI,CAAC;wBACJ,sCAAsC;wBACtC,OAAM;oBACR,CAAC;gBACH,CAAC;gBAED,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;wBACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAClB,CAAC;yBACI,CAAC;wBACJ,sCAAsC;wBACtC,OAAM;oBACR,CAAC;gBACH,CAAC;qBACI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;oBAC3B,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;wBACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAClB,CAAC;yBACI,CAAC;wBACJ,sCAAsC;wBACtC,OAAM;oBACR,CAAC;gBACH,CAAC;qBACI,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5B,IAAI,GAAI,IAAe,CAAC,KAAK,CAAC,SAAG,EAAE,GAAG,CAAC,CAAA;oBACvC,IAAI,IAAI,YAAY,SAAG,EAAE,CAAC;wBACxB,0CAA0C;wBAC1C,OAAM;oBACR,CAAC;yBACI,CAAC;wBACJ,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAA;oBACtB,CAAC;gBACH,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,QAAQ,GAAG,KAAK,CAAA;QAClB,CAAC;aACI,CAAC;YACJ,QAAQ,GAAG,QAAQ,CAAC,KAAK,CACvB,CAAC,EACD,CACE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC7B,CAAC,CAAC,CAAC,WAAW;aACnB,CACF,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACjB,CAAC;QAED,IAAI,GAAG,GAAG,GAAG,CAAA;QACb,QAAQ,GAAG,QAAQ;aAChB,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;QAE9D,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACzC,IAAI,EAAE,GAAG,IAAI,eAAS,CAAC,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;YAE5D,qBAAqB;YACrB,EAAE,CAAC,IAAI,GAAG,WAAI,CAAA;YACd,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;YAEnB,OAAO,EAAE,CAAA;QACX,CAAC;QAID,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,CAAA;QACnB,IAAI,EAAE,GAAG,CAAC,CAAA;QACV,OAAO,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAA;YAEvB,IAAI,IAAI,YAAY,eAAM,EAAE,CAAC;gBAC3B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACvB,CAAC;iBACI,CAAC;gBACJ,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,EAAE,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC3B,+CAA+C;YAC/C,+BAA+B;YAC/B,4CAA4C;YAC5C,iEAAiE;YAEjE,0BAA0B;YAC1B,mBAAmB;YACnB,wBAAwB;YAExB,cAAc;YACd,IAAI;YACJ,SAAS;YACT,yEAAyE;YACzE,OAAO,IAAI,CAAA;YACX,IAAI;QACN,CAAC;IACH,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,IAAc,EAAE,GAAa;QACjC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC;YACrB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;SAChB,EAAE,GAAG,CAAY,CAAA;QAClB,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,GAAa;QACf,0DAA0D;QAC1D,IAAI,GAAG,GAAG,SAAG,CAAC,IAAI,CAChB,GAAG,EACH,KAAK,EACL,IAAI,EAAE,gDAAgD;QACtD,SAAS,CACV,CAAA;QAED,6BAA6B;QAC7B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAClB,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAClB,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAElB,IAAA,aAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAEjB,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;aACI,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC1B,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;AAIC,wBAAM"}

package/dist/lib/val/ValBase.d.ts

@@ -1,26 +0,0 @@
-import type { Val, ValSpec } from '../type';
-import { Context } from '../unify';
-import { Site } from '../lang';
-declare class ValBase implements Val {
-    #private;
-    isVal: boolean;
-    id: number;
-    done: number;
-    path: string[];
-    row: number;
-    col: number;
-    url: string;
-    top: boolean;
-    peg: any;
-    err: any[];
-    uh: number[];
-    constructor(spec: ValSpec, ctx?: Context);
-    ctx(): any;
-    same(peer: Val): boolean;
-    clone(spec?: ValSpec, ctx?: Context): Val;
-    get site(): Site;
-    unify(_peer: Val, _ctx?: Context): Val;
-    get canon(): string;
-    gen(_ctx?: Context): any;
-}
-export { ValBase, };

package/dist/lib/val/ValBase.js

@@ -1,77 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2024 Richard Rodger, MIT License */
-var __classPrivateFieldSet = (this && this.__classPrivateFieldSet) || function (receiver, state, value, kind, f) {
-    if (kind === "m") throw new TypeError("Private method is not writable");
-    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a setter");
-    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot write private member to an object whose class did not declare it");
-    return (kind === "a" ? f.call(receiver, value) : f ? f.value = value : state.set(receiver, value)), value;
-};
-var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (receiver, state, kind, f) {
-    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a getter");
-    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot read private member from an object whose class did not declare it");
-    return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
-};
-var _ValBase_ctx;
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ValBase = void 0;
-const lang_1 = require("../lang");
-let ID = 0;
-class ValBase {
-    // TODO: Site needed in ctor
-    constructor(spec, ctx) {
-        this.isVal = true;
-        this.done = 0;
-        this.path = [];
-        this.row = -1;
-        this.col = -1;
-        this.url = '';
-        this.top = false;
-        // Actual native value.
-        this.peg = undefined;
-        // TODO: used for top level result - not great
-        this.err = [];
-        // TODO: implement!
-        // site: Site
-        _ValBase_ctx.set(this, void 0);
-        __classPrivateFieldSet(this, _ValBase_ctx, ctx, "f");
-        this.peg = spec === null || spec === void 0 ? void 0 : spec.peg;
-        this.path = (ctx === null || ctx === void 0 ? void 0 : ctx.path) || [];
-        // this.id = (9e9 + Math.floor(Math.random() * (1e9)))
-        this.id = ++ID; // (9e9 + Math.floor(Math.random() * (1e5)))
-        this.uh = [];
-    }
-    ctx() {
-        return __classPrivateFieldGet(this, _ValBase_ctx, "f");
-    }
-    same(peer) {
-        return null == peer ? false : this.id === peer.id;
-    }
-    clone(spec, ctx) {
-        let cloneCtx;
-        if (ctx) {
-            let cut = this.path.indexOf('&');
-            cut = -1 < cut ? cut + 1 : ctx.path.length;
-            cloneCtx = ctx.clone({
-                path: ctx.path.concat(this.path.slice(cut))
-            });
-        }
-        let out = new this
-            .constructor(spec || { peg: this.peg }, cloneCtx);
-        out.row = (spec === null || spec === void 0 ? void 0 : spec.row) || this.row || -1;
-        out.col = (spec === null || spec === void 0 ? void 0 : spec.col) || this.col || -1;
-        out.url = (spec === null || spec === void 0 ? void 0 : spec.url) || this.url || '';
-        if (null == cloneCtx) {
-            out.path = this.path.slice(0);
-        }
-        return out;
-    }
-    get site() {
-        return new lang_1.Site(this);
-    }
-    unify(_peer, _ctx) { return this; }
-    get canon() { return ''; }
-    gen(_ctx) { return null; }
-}
-exports.ValBase = ValBase;
-_ValBase_ctx = new WeakMap();
-//# sourceMappingURL=ValBase.js.map

package/dist/lib/val/ValBase.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ValBase.js","sourceRoot":"","sources":["../../../lib/val/ValBase.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;;;;;;;;;;;;;AAezD,kCAEgB;AAGhB,IAAI,EAAE,GAAG,CAAC,CAAA;AAGV,MAAM,OAAO;IA0BX,4BAA4B;IAC5B,YAAY,IAAa,EAAE,GAAa;QA1BxC,UAAK,GAAG,IAAI,CAAA;QAGZ,SAAI,GAAW,CAAC,CAAA;QAChB,SAAI,GAAa,EAAE,CAAA;QACnB,QAAG,GAAW,CAAC,CAAC,CAAA;QAChB,QAAG,GAAW,CAAC,CAAC,CAAA;QAChB,QAAG,GAAW,EAAE,CAAA;QAEhB,QAAG,GAAY,KAAK,CAAA;QAEpB,uBAAuB;QACvB,QAAG,GAAQ,SAAS,CAAA;QAEpB,8CAA8C;QAC9C,QAAG,GAAU,EAAE,CAAA;QAKf,mBAAmB;QACnB,aAAa;QAEb,+BAAS;QAIP,uBAAA,IAAI,gBAAQ,GAAG,MAAA,CAAA;QAEf,IAAI,CAAC,GAAG,GAAG,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,GAAG,CAAA;QACpB,IAAI,CAAC,IAAI,GAAG,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,IAAI,KAAI,EAAE,CAAA;QAC3B,sDAAsD;QACtD,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAA,CAAC,4CAA4C;QAC3D,IAAI,CAAC,EAAE,GAAG,EAAE,CAAA;IACd,CAAC;IAGD,GAAG;QACD,OAAO,uBAAA,IAAI,oBAAK,CAAA;IAClB,CAAC;IAED,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAA;IACnD,CAAC;IAGD,KAAK,CAAC,IAAc,EAAE,GAAa;QACjC,IAAI,QAAQ,CAAA;QAEZ,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAChC,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAA;YAC1C,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC;gBACnB,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;aAC5C,CAAC,CAAA;QACJ,CAAC;QAED,IAAI,GAAG,GAAG,IAAK,IAAY;aACxB,WAAW,CAAC,IAAI,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAA;QAEnD,GAAG,CAAC,GAAG,GAAG,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,GAAG,KAAI,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;QACrC,GAAG,CAAC,GAAG,GAAG,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,GAAG,KAAI,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;QACrC,GAAG,CAAC,GAAG,GAAG,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,GAAG,KAAI,IAAI,CAAC,GAAG,IAAI,EAAE,CAAA;QAErC,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC/B,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,IAAI;QACN,OAAO,IAAI,WAAI,CAAC,IAAI,CAAC,CAAA;IACvB,CAAC;IAED,KAAK,CAAC,KAAU,EAAE,IAAc,IAAS,OAAO,IAAI,CAAA,CAAC,CAAC;IACtD,IAAI,KAAK,KAAa,OAAO,EAAE,CAAA,CAAC,CAAC;IACjC,GAAG,CAAC,IAAc,IAAS,OAAO,IAAI,CAAA,CAAC,CAAC;CAEzC;AAGC,0BAAO"}

package/dist/lib/val/VarVal.d.ts

@@ -1,15 +0,0 @@
-import type { Val, ValSpec } from '../type';
-import { Context } from '../unify';
-import { ValBase } from '../val/ValBase';
-declare class VarVal extends ValBase {
-    isVarVal: boolean;
-    constructor(spec: {
-        peg: string | Val;
-    }, ctx?: Context);
-    unify(peer: Val, ctx: Context): Val;
-    same(peer: Val): boolean;
-    clone(spec?: ValSpec, ctx?: Context): Val;
-    get canon(): string;
-    gen(ctx?: Context): undefined;
-}
-export { VarVal, };

package/dist/lib/val/VarVal.js

@@ -1,84 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.VarVal = void 0;
-const type_1 = require("../type");
-const err_1 = require("../err");
-const val_1 = require("../val");
-// import { ConjunctVal } from '../val/ConjunctVal'
-// import { DisjunctVal } from '../val/DisjunctVal'
-// import { ListVal } from '../val/ListVal'
-// import { MapVal } from '../val/MapVal'
-const Nil_1 = require("../val/Nil");
-const RefVal_1 = require("../val/RefVal");
-const ValBase_1 = require("../val/ValBase");
-// TODO: KEY, SELF, PARENT are reserved names - error
-class VarVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isVarVal = true;
-    }
-    unify(peer, ctx) {
-        let out;
-        let nameVal;
-        if (this.peg.isVal) {
-            // $.a.b.c - convert path to absolute
-            if (this.peg instanceof RefVal_1.RefVal) {
-                this.peg.absolute = true;
-                nameVal = this.peg;
-            }
-            else {
-                nameVal = this.peg.unify(peer);
-            }
-        }
-        else {
-            // TODO: how to pass row+col?
-            nameVal = new val_1.StringVal({ peg: '' + this.peg }, ctx);
-        }
-        if (!(nameVal instanceof RefVal_1.RefVal) && type_1.DONE === nameVal.done) {
-            if (nameVal instanceof val_1.StringVal) {
-                out = ctx.var[nameVal.peg];
-                if (null == out) {
-                    out = Nil_1.Nil.make(ctx, 'var[' + nameVal.peg + ']', this, peer);
-                }
-            }
-            else {
-                out = Nil_1.Nil.make(ctx, 'var[' + typeof nameVal + ']', this, peer);
-            }
-        }
-        else {
-            out = nameVal;
-        }
-        return out;
-    }
-    same(peer) {
-        return null == peer ? false : peer instanceof VarVal && this.peg === peer.peg;
-    }
-    clone(spec, ctx) {
-        let out = super.clone(spec, ctx);
-        return out;
-    }
-    get canon() {
-        var _a;
-        return '$' + (((_a = this.peg) === null || _a === void 0 ? void 0 : _a.isVal) ? this.peg.canon : '' + this.peg);
-    }
-    gen(ctx) {
-        // Unresolved var cannot be generated, so always an error.
-        let nil = Nil_1.Nil.make(ctx, 'var', this, undefined);
-        // TODO: refactor to use Site
-        nil.path = this.path;
-        nil.url = this.url;
-        nil.row = this.row;
-        nil.col = this.col;
-        (0, err_1.descErr)(nil, ctx);
-        if (ctx) {
-            ctx.err.push(nil);
-        }
-        else {
-            throw new Error(nil.msg);
-        }
-        return undefined;
-    }
-}
-exports.VarVal = VarVal;
-//# sourceMappingURL=VarVal.js.map

package/dist/lib/val/VarVal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"VarVal.js","sourceRoot":"","sources":["../../../lib/val/VarVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAoBzD,kCAEgB;AAEhB,gCAEe;AAcf,gCAGe;AAEf,mDAAmD;AACnD,mDAAmD;AACnD,2CAA2C;AAC3C,yCAAyC;AACzC,oCAAgC;AAChC,0CAAsC;AACtC,4CAAwC;AAIxC,qDAAqD;AAErD,MAAM,MAAO,SAAQ,iBAAO;IAG1B,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,aAAQ,GAAG,IAAI,CAAA;IASf,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAY;QAC3B,IAAI,GAAQ,CAAA;QAEZ,IAAI,OAAO,CAAA;QAEX,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACnB,qCAAqC;YACrC,IAAI,IAAI,CAAC,GAAG,YAAY,eAAM,EAAE,CAAC;gBAC/B,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAA;gBACxB,OAAO,GAAG,IAAI,CAAC,GAAG,CAAA;YACpB,CAAC;iBACI,CAAC;gBACJ,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAChC,CAAC;QACH,CAAC;aACI,CAAC;YACJ,6BAA6B;YAC7B,OAAO,GAAG,IAAI,eAAS,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;QACtD,CAAC;QAED,IAAI,CAAC,CAAC,OAAO,YAAY,eAAM,CAAC,IAAI,WAAI,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;YAC1D,IAAI,OAAO,YAAY,eAAS,EAAE,CAAC;gBACjC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;gBAC1B,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;oBAChB,GAAG,GAAG,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC7D,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,OAAO,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YAChE,CAAC;QACH,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,OAAO,CAAA;QACf,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,YAAY,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAA;IAC/E,CAAC;IAGD,KAAK,CAAC,IAAc,EAAE,GAAa;QACjC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAY,CAAA;QAC5C,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;;QACP,OAAO,GAAG,GAAG,CAAC,CAAA,MAAA,IAAI,CAAC,GAAG,0CAAE,KAAK,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;IACjE,CAAC;IAGD,GAAG,CAAC,GAAa;QACf,0DAA0D;QAC1D,IAAI,GAAG,GAAG,SAAG,CAAC,IAAI,CAChB,GAAG,EACH,KAAK,EACL,IAAI,EACJ,SAAS,CACV,CAAA;QAED,6BAA6B;QAC7B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAClB,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAClB,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAElB,IAAA,aAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAEjB,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;aACI,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC1B,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;AAIC,wBAAM"}

package/dist/lib/val.d.ts

@@ -1,81 +0,0 @@
-import type { Val, ValSpec } from './type';
-import { Context } from './unify';
-import { Site } from './lang';
-import { ValBase } from './val/ValBase';
-declare class TopVal extends ValBase {
-    isTop: boolean;
-    id: number;
-    top: boolean;
-    peg: undefined;
-    done: number;
-    path: never[];
-    row: number;
-    col: number;
-    url: string;
-    constructor();
-    unify(peer: Val, _ctx?: Context): Val;
-    get canon(): string;
-    get site(): Site;
-    same(peer: Val): boolean;
-    clone(): this;
-    gen(_ctx?: Context): undefined;
-}
-declare const TOP: TopVal;
-declare class Integer {
-}
-type ScalarConstructor = StringConstructor | NumberConstructor | BooleanConstructor | (typeof Integer.constructor);
-declare class ScalarTypeVal extends ValBase {
-    isScalarTypeVal: boolean;
-    constructor(spec: {
-        peg: ScalarConstructor;
-    }, ctx?: Context);
-    unify(peer: any, ctx?: Context): Val;
-    get canon(): any;
-    same(peer: any): boolean;
-    gen(_ctx?: Context): undefined;
-}
-declare class ScalarVal<T> extends ValBase {
-    type: any;
-    isScalarVal: boolean;
-    constructor(spec: {
-        peg: T;
-        type: ScalarConstructor;
-    }, ctx?: Context);
-    clone(spec?: ValSpec, ctx?: Context): Val;
-    unify(peer: any, ctx?: Context): Val;
-    get canon(): any;
-    same(peer: any): boolean;
-    gen(_ctx?: Context): any;
-}
-declare class NumberVal extends ScalarVal<number> {
-    isNumberVal: boolean;
-    constructor(spec: {
-        peg: number;
-    }, ctx?: Context);
-    unify(peer: any, ctx?: Context): Val;
-}
-declare class IntegerVal extends ScalarVal<number> {
-    isIntegerVal: boolean;
-    constructor(spec: {
-        peg: number;
-    }, ctx?: Context);
-    unify(peer: any, ctx?: Context): Val;
-}
-declare class StringVal extends ScalarVal<string> {
-    isStringVal: boolean;
-    constructor(spec: {
-        peg: string;
-    }, ctx?: Context);
-    unify(peer: Val, ctx?: Context): Val;
-    get canon(): string;
-}
-declare class BooleanVal extends ScalarVal<boolean> {
-    isBooleanVal: boolean;
-    constructor(spec: {
-        peg: boolean;
-    }, ctx?: Context);
-    unify(peer: Val, ctx?: Context): Val;
-    static TRUE: BooleanVal;
-    static FALSE: BooleanVal;
-}
-export { TOP, Integer, ScalarTypeVal, NumberVal, StringVal, BooleanVal, IntegerVal, };