aontu 0.28.0 → 0.30.1

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

@@ -1,18 +0,0 @@
-import type { Val, ValMap, ValSpec } from '../type';
-import { Context } from '../unify';
-import { ValBase } from '../val/ValBase';
-declare class MapVal extends ValBase {
-    isMapVal: boolean;
-    static SPREAD: symbol;
-    spread: {
-        cj: Val | undefined;
-    };
-    constructor(spec: {
-        peg: ValMap;
-    }, ctx?: Context);
-    unify(peer: Val, ctx: Context): Val;
-    clone(spec?: ValSpec, ctx?: Context): Val;
-    get canon(): string;
-    gen(ctx?: Context): any;
-}
-export { MapVal };

package/dist/lib/val/MapVal.js

@@ -1,144 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.MapVal = void 0;
-const type_1 = require("../type");
-const op_1 = require("../op/op");
-const val_1 = require("../val");
-const ConjunctVal_1 = require("../val/ConjunctVal");
-// import { DisjunctVal } from '../val/DisjunctVal'
-// import { ListVal } from '../val/ListVal'
-const Nil_1 = require("../val/Nil");
-// import { PrefVal } from '../val/PrefVal'
-// import { RefVal } from '../val/RefVal'
-const ValBase_1 = require("../val/ValBase");
-class MapVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isMapVal = true;
-        this.spread = {
-            cj: undefined,
-        };
-        if (null == this.peg) {
-            throw new Error('MapVal spec.peg undefined');
-        }
-        let spread = this.peg[MapVal.SPREAD];
-        delete this.peg[MapVal.SPREAD];
-        if (spread) {
-            if ('&' === spread.o) {
-                // console.log('MapVal.ctor', this.id, this.path.join('.'),
-                //   'SPREAD', spread.v[0] && spread.v[0].id)
-                // 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;
-            }
-        }
-    }
-    // NOTE: order of keys is not preserved!
-    // not possible in any case - consider {a,b} unify {b,a}
-    unify(peer, ctx) {
-        // let mark = Math.random()
-        // console.log(
-        //   'MapVal.unify',
-        //   this.id, '=' + this.uh, this.path.join('.'),
-        //   (this.spread.cj ?
-        //     'spread:' + this.spread.cj.id + ':' + this.spread.cj.path.join('.') : ''),
-        //   peer.constructor.name, peer.id, peer.path.join('.'))
-        let done = true;
-        let out = val_1.TOP === peer ? this : new MapVal({ peg: {} }, ctx);
-        out.spread.cj = this.spread.cj;
-        if (peer instanceof MapVal) {
-            out.spread.cj = null == out.spread.cj ? peer.spread.cj : (null == peer.spread.cj ? out.spread.cj : (out.spread.cj =
-                // new ConjunctVal({ peg: [out.spread.cj, peer.spread.cj] }, ctx)
-                (0, op_1.unite)(ctx, out.spread.cj, peer.spread.cj)));
-        }
-        out.done = this.done + 1;
-        let spread_cj = out.spread.cj || val_1.TOP;
-        // Always unify own children first
-        for (let key in this.peg) {
-            let keyctx = ctx.descend(key);
-            let key_spread_cj = spread_cj.clone(null, keyctx);
-            // console.log('M0', this.id, mark, Object.keys(this.peg).join('~'),
-            //   'p=', this.path.join('.'),
-            //   'k=', key, peer.top || peer.constructor.name,
-            //   'pp=', this.peg[key].path.join('.'),
-            //   this.peg[key].canon,
-            //   'sp=', key_spread_cj.path.join('.'),
-            //   key_spread_cj.canon)
-            // if (1000000000 === this.id) {
-            //   console.dir(key_spread_cj, { depth: null })
-            // }
-            out.peg[key] = (0, op_1.unite)(keyctx, this.peg[key], key_spread_cj, 'map-own');
-            done = (done && type_1.DONE === out.peg[key].done);
-        }
-        if (peer instanceof MapVal) {
-            let upeer = (0, op_1.unite)(ctx, peer, undefined, 'map-peer-map');
-            for (let peerkey in upeer.peg) {
-                let peerchild = upeer.peg[peerkey];
-                let child = out.peg[peerkey];
-                let oval = out.peg[peerkey] =
-                    undefined === child ? peerchild :
-                        child instanceof Nil_1.Nil ? child :
-                            peerchild instanceof Nil_1.Nil ? peerchild :
-                                (0, op_1.unite)(ctx.descend(peerkey), child, peerchild, 'map-peer');
-                if (this.spread.cj) {
-                    let key_ctx = ctx.descend(peerkey);
-                    // console.log('KEY_CTX', peerkey, key_ctx)
-                    let key_spread_cj = spread_cj.clone(null, key_ctx);
-                    // console.log('MapVal.unify.spread', this.id, '=' + this.uh, this.path.join('.'),
-                    //   key_spread_cj.id, key_spread_cj.path.join('.'))
-                    // console.log('ORIG')
-                    // console.dir(out.peg[peerkey], { depth: null })
-                    // console.log('SPREAD')
-                    // console.dir(this.spread.cj, { depth: null })
-                    oval = out.peg[peerkey] =
-                        (0, op_1.unite)(key_ctx, out.peg[peerkey], key_spread_cj);
-                    // console.log('OVAL')
-                    // console.dir(oval, { depth: null })
-                }
-                done = (done && type_1.DONE === oval.done);
-            }
-        }
-        else if (val_1.TOP !== peer) {
-            return Nil_1.Nil.make(ctx, 'map', this, peer);
-        }
-        out.uh.push(peer.id);
-        out.done = done ? type_1.DONE : out.done;
-        return out;
-    }
-    clone(spec, ctx) {
-        let out = super.clone(spec, ctx);
-        out.peg = {};
-        for (let entry of Object.entries(this.peg)) {
-            out.peg[entry[0]] =
-                entry[1] instanceof ValBase_1.ValBase ? entry[1].clone(null, ctx) : entry[1];
-        }
-        if (this.spread.cj) {
-            out.spread.cj = this.spread.cj.clone(null, ctx);
-        }
-        return out;
-    }
-    get canon() {
-        let keys = Object.keys(this.peg);
-        return '{' +
-            (this.spread.cj ? '&:' + this.spread.cj.canon +
-                (0 < keys.length ? ',' : '') : '') +
-            keys
-                .map(k => [JSON.stringify(k) + ':' + this.peg[k].canon]).join(',') +
-            '}';
-    }
-    gen(ctx) {
-        let out = {};
-        for (let p in this.peg) {
-            out[p] = this.peg[p].gen(ctx);
-        }
-        return out;
-    }
-}
-exports.MapVal = MapVal;
-MapVal.SPREAD = Symbol('spread');
-//# sourceMappingURL=MapVal.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"MapVal.js","sourceRoot":"","sources":["../../../lib/val/MapVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAUzD,kCAEgB;AAQhB,iCAEiB;AAIjB,gCAA4B;AAC5B,oDAAgD;AAChD,mDAAmD;AACnD,2CAA2C;AAC3C,oCAAgC;AAChC,2CAA2C;AAC3C,yCAAyC;AACzC,4CAAwC;AAGxC,MAAM,MAAO,SAAQ,iBAAO;IAS1B,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAdlB,aAAQ,GAAG,IAAI,CAAA;QAIf,WAAM,GAAG;YACP,EAAE,EAAG,SAA6B;SACnC,CAAA;QAUC,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAA;QAC9C,CAAC;QAED,IAAI,MAAM,GAAI,IAAI,CAAC,GAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAC7C,OAAQ,IAAI,CAAC,GAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAEvC,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,GAAG,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC;gBACrB,2DAA2D;gBAC3D,6CAA6C;gBAC7C,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;IACH,CAAC;IAGD,wCAAwC;IACxC,wDAAwD;IACxD,KAAK,CAAC,IAAS,EAAE,GAAY;QAC3B,2BAA2B;QAE3B,eAAe;QACf,oBAAoB;QACpB,iDAAiD;QACjD,sBAAsB;QACtB,iFAAiF;QACjF,yDAAyD;QAEzD,IAAI,IAAI,GAAY,IAAI,CAAA;QACxB,IAAI,GAAG,GAAW,SAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QAEpE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;QAE9B,IAAI,IAAI,YAAY,MAAM,EAAE,CAAC;YAC3B,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;gBACb,iEAAiE;gBACjE,IAAA,UAAK,EAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAC1C,CACF,CAAA;QACH,CAAC;QAGD,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;QAExB,IAAI,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,SAAG,CAAA;QAEpC,kCAAkC;QAClC,KAAK,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAC7B,IAAI,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAEjD,oEAAoE;YACpE,+BAA+B;YAC/B,kDAAkD;YAClD,yCAAyC;YACzC,yBAAyB;YACzB,yCAAyC;YACzC,yBAAyB;YAEzB,gCAAgC;YAChC,gDAAgD;YAChD,IAAI;YAEJ,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAA,UAAK,EAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,CAAA;YACrE,IAAI,GAAG,CAAC,IAAI,IAAI,WAAI,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;QAC7C,CAAC;QAGD,IAAI,IAAI,YAAY,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,GAAY,IAAA,UAAK,EAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc,CAAY,CAAA;YAE3E,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC9B,IAAI,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAClC,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAE5B,IAAI,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;oBACzB,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;wBAC/B,KAAK,YAAY,SAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;4BAC5B,SAAS,YAAY,SAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gCACpC,IAAA,UAAK,EAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAA;gBAEjE,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACnB,IAAI,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;oBAClC,2CAA2C;oBAE3C,IAAI,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;oBAElD,kFAAkF;oBAClF,oDAAoD;oBAGpD,sBAAsB;oBACtB,iDAAiD;oBACjD,wBAAwB;oBACxB,+CAA+C;oBAE/C,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBACrB,IAAA,UAAK,EAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,CAAA;oBAEjD,sBAAsB;oBACtB,qCAAqC;gBACvC,CAAC;gBAED,IAAI,GAAG,CAAC,IAAI,IAAI,WAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAA;YACrC,CAAC;QACH,CAAC;aACI,IAAI,SAAG,KAAK,IAAI,EAAE,CAAC;YACtB,OAAO,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACzC,CAAC;QAED,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAEpB,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAA;QACjC,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,KAAK,CAAC,IAAc,EAAE,GAAa;QACjC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,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;gBACf,KAAK,CAAC,CAAC,CAAC,YAAY,iBAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACtE,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,IAAI,EAAE,GAAG,CAAC,CAAA;QACjD,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChC,OAAO,GAAG;YACR,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,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACpE,GAAG,CAAA;IACP,CAAC;IAGD,GAAG,CAAC,GAAa;QACf,IAAI,GAAG,GAAQ,EAAE,CAAA;QACjB,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;;AAKD,wBAAM;AAhLC,aAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,AAAnB,CAAmB"}

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

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

package/dist/lib/val/Nil.js

@@ -1,84 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Nil = void 0;
-const type_1 = require("../type");
-const err_1 = require("../err");
-const ValBase_1 = require("../val/ValBase");
-class Nil extends ValBase_1.ValBase {
-    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 === null || spec === void 0 ? void 0 : spec.why;
-            this.msg = 'string' === typeof (spec === null || spec === void 0 ? void 0 : spec.msg) ? spec.msg : this.msg;
-            this.err = spec ? (Array.isArray(spec.err) ? [...spec.err] : [spec.err]) : [];
-        }
-        // Nil is always DONE, by definition.
-        this.done = type_1.DONE;
-    }
-    unify(_peer, _ctx) {
-        return this;
-    }
-    clone(spec, ctx) {
-        let out = super.clone(spec, ctx);
-        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;
-    }
-    get canon() {
-        return 'nil';
-    }
-    gen(ctx) {
-        // Unresolved nil cannot be generated, so always an error.
-        (0, err_1.descErr)(this, ctx);
-        if (Array.isArray(ctx === null || ctx === void 0 ? void 0 : ctx.err)) {
-            ctx.err.push(this);
-        }
-        else {
-            const err = new Error(this.msg);
-            err.aontu = true;
-            throw err;
-        }
-        return undefined;
-    }
-}
-exports.Nil = Nil;
-// TODO: include Val generating nil, thus capture type
-// A Nil is an error - should not happen - unify failed
-// refactor ,make(spec,ctx)
-Nil.make = (ctx, why, av, bv) => {
-    let nil = new Nil({ why }, ctx);
-    // TODO: this should be done lazily, for multiple terms
-    // Terms later in same file are considered the primary error location.
-    if (null != av) {
-        nil.row = av.row;
-        nil.col = av.col;
-        nil.url = av.url;
-        nil.primary = av;
-        if (null != bv) {
-            nil.secondary = bv;
-            let bv_loc_wins = (nil.url === bv.url) && ((nil.row < bv.row) ||
-                (nil.row === bv.row && nil.col < bv.col));
-            if (bv_loc_wins) {
-                nil.row = bv.row;
-                nil.col = bv.col;
-                nil.url = bv.url;
-                nil.primary = bv;
-                nil.secondary = av;
-            }
-        }
-    }
-    if (ctx) {
-        ctx.err.push(nil);
-    }
-    return nil;
-};
-//# sourceMappingURL=Nil.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Nil.js","sourceRoot":"","sources":["../../../lib/val/Nil.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAQzD,kCAEgB;AAEhB,gCAEe;AAOf,4CAAwC;AAGxC,MAAM,GAAI,SAAQ,iBAAO;IAqDvB,YACE,IAIU,EACV,GAAa;QAEb,KAAK,CAAC,IAAI,IAAI,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QA5D1D,UAAK,GAAG,IAAI,CAAA;QAEZ,QAAG,GAAG,IAAI,CAAA;QAIV,QAAG,GAAW,EAAE,CAAA;QAwDd,IAAI,IAAI,IAAI,QAAQ,KAAK,OAAO,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,GAAG,GAAG,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,GAAG,CAAA;YACpB,IAAI,CAAC,GAAG,GAAG,QAAQ,KAAK,OAAO,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,GAAG,CAAA,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAA;YAC9D,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QAC/E,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,IAAI,GAAG,WAAI,CAAA;IAClB,CAAC;IAGD,KAAK,CAAC,KAAU,EAAE,IAAa;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,KAAK,CAAC,IAAc,EAAE,GAAa;QACjC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAS,CAAA;QACzC,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,IAAI,KAAK;QACP,OAAO,KAAK,CAAA;IACd,CAAC;IAED,GAAG,CAAC,GAAa;QACf,0DAA0D;QAE1D,IAAA,aAAO,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAElB,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,GAAG,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;aACI,CAAC;YACJ,MAAM,GAAG,GAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACpC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAA;YAChB,MAAM,GAAG,CAAA;QACX,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;;AAKD,kBAAG;AA7GH,sDAAsD;AAEtD,uDAAuD;AACvD,2BAA2B;AACpB,QAAI,GAAG,CAAC,GAAa,EAAE,GAAS,EAAE,EAAQ,EAAE,EAAQ,EAAE,EAAE;IAC7D,IAAI,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;IAE/B,uDAAuD;IAEvD,sEAAsE;IACtE,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;QACf,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;QAChB,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;QAChB,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;QAEhB,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,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,CACtB,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;gBAClB,CAAC,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CACzC,CAAA;YAEH,IAAI,WAAW,EAAE,CAAC;gBAChB,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;gBAChB,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;gBAChB,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;gBAChB,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,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACnB,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC,AArCU,CAqCV"}

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

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

package/dist/lib/val/NullVal.js

@@ -1,39 +0,0 @@
-"use strict";
-/* Copyright (c) 2025 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.NullVal = void 0;
-const Nil_1 = require("../val/Nil");
-const ValBase_1 = require("../val/ValBase");
-class NullVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isNullVal = true;
-        this.peg = null;
-    }
-    unify(peer, ctx) {
-        let out;
-        // console.log('NULLVAL-U', peer)
-        if (peer.isTop || peer.isNullVal) {
-            out = this;
-        }
-        else {
-            out = Nil_1.Nil.make(ctx, 'null', this, peer);
-        }
-        return out;
-    }
-    same(peer) {
-        return null == peer ? false : peer instanceof NullVal && this.peg === peer.peg;
-    }
-    clone(spec, ctx) {
-        let out = super.clone(spec, ctx);
-        return out;
-    }
-    get canon() {
-        return '' + this.peg;
-    }
-    gen(_ctx) {
-        return null;
-    }
-}
-exports.NullVal = NullVal;
-//# sourceMappingURL=NullVal.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"NullVal.js","sourceRoot":"","sources":["../../../lib/val/NullVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAepD,oCAAgC;AAChC,4CAAwC;AAGxC,MAAM,OAAQ,SAAQ,iBAAO;IAG3B,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,cAAS,GAAG,IAAI,CAAA;QASd,IAAI,CAAC,GAAG,GAAG,IAAI,CAAA;IACjB,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAY;QAC3B,IAAI,GAAQ,CAAA;QAEZ,iCAAiC;QAEjC,IAAK,IAAY,CAAC,KAAK,IAAK,IAAgB,CAAC,SAAS,EAAE,CAAC;YACvD,GAAG,GAAG,IAAI,CAAA;QACZ,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACzC,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,OAAO,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAA;IAChF,CAAC;IAGD,KAAK,CAAC,IAAc,EAAE,GAAa;QACjC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAa,CAAA;QAC7C,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAA;IACtB,CAAC;IAGD,GAAG,CAAC,IAAc;QAChB,OAAO,IAAI,CAAA;IACb,CAAC;CACF;AAIC,0BAAO"}

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

@@ -1,17 +0,0 @@
-import type { Val, ValSpec } from '../type';
-import { Context } from '../unify';
-import { ValBase } from '../val/ValBase';
-declare class OpVal extends ValBase {
-    isOpVal: boolean;
-    constructor(spec: {
-        peg: any[];
-    }, ctx?: Context);
-    append(part: any): void;
-    unify(peer: Val, ctx: Context): Val;
-    same(peer: Val): boolean;
-    clone(_spec?: ValSpec, ctx?: Context): Val;
-    operate(ctx: Context): Val | undefined;
-    get canon(): string;
-    gen(ctx?: Context): undefined;
-}
-export { OpVal, };

package/dist/lib/val/OpVal.js

@@ -1,89 +0,0 @@
-"use strict";
-/* Copyright (c) 2024 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.OpVal = 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 Nil_1 = require("../val/Nil");
-const ValBase_1 = require("../val/ValBase");
-class OpVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isOpVal = true;
-        this.peg = [];
-        for (let pI = 0; pI < spec.peg.length; pI++) {
-            this.append(spec.peg[pI]);
-        }
-    }
-    append(part) {
-        this.peg.push(part);
-    }
-    unify(peer, ctx) {
-        let out = this;
-        if (this.id !== peer.id) {
-            let result = null == ctx ? this : this.operate(ctx);
-            result = result || this;
-            if (null == result && this.canon === peer.canon) {
-                out = this;
-            }
-            else if (result instanceof OpVal) {
-                if (val_1.TOP === peer) {
-                    out = this;
-                }
-                else if (peer instanceof Nil_1.Nil) {
-                    out = Nil_1.Nil.make(ctx, 'op[' + this.peg + ']', this, peer);
-                }
-                else if (this.canon === peer.canon) {
-                    out = this;
-                }
-                else {
-                    this.done = type_1.DONE === this.done ? type_1.DONE : this.done + 1;
-                    out = new ConjunctVal_1.ConjunctVal({ peg: [this, peer] }, ctx);
-                }
-            }
-            else {
-                out = (0, op_1.unite)(ctx, result, peer, 'op');
-            }
-            out.done = type_1.DONE === out.done ? type_1.DONE : this.done + 1;
-        }
-        return out;
-    }
-    same(peer) {
-        return null == peer ? false : this.peg === peer.peg;
-    }
-    clone(_spec, ctx) {
-        let out = super.clone({
-            peg: this.peg,
-        }, ctx);
-        return out;
-    }
-    operate(ctx) {
-        this.peg = this.peg.map((v) => v.isRefVal ? v.unify(val_1.TOP, ctx) : v);
-        return undefined;
-    }
-    get canon() {
-        return '';
-    }
-    gen(ctx) {
-        // Unresolved op cannot be generated, so always an error.
-        let nil = Nil_1.Nil.make(ctx, 'op', 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.OpVal = OpVal;
-//# sourceMappingURL=OpVal.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"OpVal.js","sourceRoot":"","sources":["../../../lib/val/OpVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAQpD,kCAEgB;AAEhB,gCAEe;AAMf,iCAEiB;AAEjB,gCAGe;AAGf,oDAAgD;AAEhD,oCAAgC;AAEhC,4CAAwC;AAMxC,MAAM,KAAM,SAAQ,iBAAO;IAGzB,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,YAAO,GAAG,IAAI,CAAA;QASZ,IAAI,CAAC,GAAG,GAAG,EAAE,CAAA;QAEb,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,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAY;QAC3B,IAAI,GAAG,GAAQ,IAAI,CAAA;QAEnB,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YACxB,IAAI,MAAM,GAAoB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAEpE,MAAM,GAAG,MAAM,IAAI,IAAI,CAAA;YAEvB,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,MAAM,YAAY,KAAK,EAAE,CAAC;gBACjC,IAAI,SAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBACI,IAAI,IAAI,YAAY,SAAG,EAAE,CAAC;oBAC7B,GAAG,GAAG,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;gBACzD,CAAC;qBAEI,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;oBACnC,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBAEI,CAAC;oBACJ,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;gBACnD,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,UAAK,EAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACtC,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,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,KAAe,EAAE,GAAa;QAClC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC;YACrB,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,EAAE,GAAG,CAAW,CAAA;QACjB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,OAAO,CAAC,GAAY;QAClB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACvE,OAAO,SAAS,CAAA;IAClB,CAAC;IAID,IAAI,KAAK;QACP,OAAO,EAAE,CAAA;IACX,CAAC;IAGD,GAAG,CAAC,GAAa;QACf,yDAAyD;QACzD,IAAI,GAAG,GAAG,SAAG,CAAC,IAAI,CAChB,GAAG,EACH,IAAI,EACJ,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,sBAAK"}

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

@@ -1,12 +0,0 @@
-import { Context } from '../unify';
-import { IntegerVal, NumberVal, StringVal } from '../val';
-import { OpVal } from '../val/OpVal';
-declare class PlusVal extends OpVal {
-    isOpVal: boolean;
-    constructor(spec: {
-        peg: any[];
-    }, ctx?: Context);
-    operate(ctx: Context): StringVal | IntegerVal | NumberVal | undefined;
-    get canon(): string;
-}
-export { PlusVal, };

package/dist/lib/val/PlusVal.js

@@ -1,32 +0,0 @@
-"use strict";
-/* Copyright (c) 2024 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PlusVal = void 0;
-const val_1 = require("../val");
-const OpVal_1 = require("../val/OpVal");
-class PlusVal extends OpVal_1.OpVal {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isOpVal = true;
-    }
-    operate(ctx) {
-        super.operate(ctx);
-        if (this.peg.find((v) => v.isRefVal)) {
-            return undefined;
-        }
-        let peg = this.peg[0].peg + this.peg[1].peg;
-        let pegtype = typeof peg;
-        if ('string' === pegtype) {
-            return new val_1.StringVal({ peg });
-        }
-        else if ('number' === pegtype) {
-            return Number.isInteger(peg) ? new val_1.IntegerVal({ peg }) : new val_1.NumberVal({ peg });
-        }
-        return undefined;
-    }
-    get canon() {
-        return this.peg[0].canon + '+' + this.peg[1].canon;
-    }
-}
-exports.PlusVal = PlusVal;
-//# sourceMappingURL=PlusVal.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"PlusVal.js","sourceRoot":"","sources":["../../../lib/val/PlusVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAyBpD,gCAA8D;AAE9D,wCAAoC;AAMpC,MAAM,OAAQ,SAAQ,aAAK;IAGzB,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,YAAO,GAAG,IAAI,CAAA;IASd,CAAC;IAGD,OAAO,CAAC,GAAY;QAClB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAElB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,OAAO,SAAS,CAAA;QAClB,CAAC;QAED,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;QAC3C,IAAI,OAAO,GAAG,OAAO,GAAG,CAAA;QACxB,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,IAAI,eAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QAC/B,CAAC;aACI,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,gBAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,eAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QACjF,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;IAGD,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IACpD,CAAC;CAEF;AAIC,0BAAO"}

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

@@ -1,17 +0,0 @@
-import type { Val, ValSpec } from '../type';
-import { Context } from '../unify';
-import { ValBase } from '../val/ValBase';
-declare class PrefVal extends ValBase {
-    isPrefVal: boolean;
-    pref: Val;
-    constructor(spec: {
-        peg: any;
-        pref?: any;
-    }, ctx?: Context);
-    unify(peer: Val, ctx: Context): Val;
-    same(peer: Val): boolean;
-    clone(spec?: ValSpec, ctx?: Context): Val;
-    get canon(): any;
-    gen(ctx?: Context): any;
-}
-export { PrefVal, };

package/dist/lib/val/PrefVal.js

@@ -1,87 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PrefVal = void 0;
-const type_1 = require("../type");
-const err_1 = require("../err");
-const op_1 = require("../op/op");
-// import { TOP } from '../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");
-// import { RefVal } from '../val/RefVal'
-const ValBase_1 = require("../val/ValBase");
-class PrefVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isPrefVal = true;
-        this.pref = spec.pref || spec.peg;
-    }
-    // PrefVal unify always returns a PrefVal
-    // PrefVals can only be removed by becoming Nil in a Disjunct
-    unify(peer, ctx) {
-        let done = true;
-        let out;
-        if (peer instanceof PrefVal) {
-            out = new PrefVal({
-                peg: (0, op_1.unite)(ctx, this.peg, peer.peg, 'Pref000'),
-                pref: (0, op_1.unite)(ctx, this.pref, peer.pref, 'Pref010'),
-            }, ctx);
-        }
-        else {
-            out = new PrefVal({
-                // TODO: find a better way to drop Nil non-errors
-                peg: (0, op_1.unite)(ctx === null || ctx === void 0 ? void 0 : ctx.clone({ err: [] }), this.peg, peer, 'Pref020'),
-                pref: (0, op_1.unite)(ctx === null || ctx === void 0 ? void 0 : ctx.clone({ err: [] }), this.pref, peer, 'Pref030'),
-            }, ctx);
-        }
-        done = done && type_1.DONE === out.peg.done &&
-            (null != out.pref ? type_1.DONE === out.pref.done : true);
-        if (out.peg instanceof Nil_1.Nil) {
-            out = out.pref;
-        }
-        else if (out.pref instanceof Nil_1.Nil) {
-            out = out.peg;
-        }
-        out.done = done ? type_1.DONE : this.done + 1;
-        return out;
-    }
-    same(peer) {
-        if (null == peer) {
-            return false;
-        }
-        let pegsame = (this.peg === peer.peg) ||
-            (this.peg instanceof ValBase_1.ValBase && this.peg.same(peer.peg));
-        let prefsame = peer instanceof PrefVal &&
-            ((this.pref === peer.pref) ||
-                (this.pref instanceof ValBase_1.ValBase && this.pref.same(peer.pref)));
-        return pegsame && prefsame;
-    }
-    clone(spec, ctx) {
-        let out = super.clone(spec, ctx);
-        out.pref = this.pref.clone(null, ctx);
-        return out;
-    }
-    get canon() {
-        return this.pref instanceof Nil_1.Nil ? this.peg.canon : '*' + this.pref.canon;
-    }
-    gen(ctx) {
-        let val = !(this.pref instanceof Nil_1.Nil) ? this.pref :
-            (!(this.peg instanceof Nil_1.Nil) ? this.peg :
-                this.pref);
-        if (val instanceof Nil_1.Nil) {
-            (0, err_1.descErr)(val, ctx);
-            if (ctx) {
-                ctx.err.push(val);
-            }
-            else {
-                throw new Error(val.msg);
-            }
-        }
-        return val.gen(ctx);
-    }
-}
-exports.PrefVal = PrefVal;
-//# sourceMappingURL=PrefVal.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"PrefVal.js","sourceRoot":"","sources":["../../../lib/val/PrefVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AASzD,kCAEgB;AAEhB,gCAEe;AAYf,iCAEiB;AAIjB,+BAA+B;AAC/B,mDAAmD;AACnD,mDAAmD;AACnD,2CAA2C;AAC3C,yCAAyC;AACzC,oCAAgC;AAChC,yCAAyC;AACzC,4CAAwC;AAGxC,MAAM,OAAQ,SAAQ,iBAAO;IAK3B,YACE,IAGC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAXlB,cAAS,GAAG,IAAI,CAAA;QAYd,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAA;IACnC,CAAC;IAED,yCAAyC;IACzC,6DAA6D;IAC7D,KAAK,CAAC,IAAS,EAAE,GAAY;QAC3B,IAAI,IAAI,GAAG,IAAI,CAAA;QACf,IAAI,GAAQ,CAAA;QAEZ,IAAI,IAAI,YAAY,OAAO,EAAE,CAAC;YAC5B,GAAG,GAAG,IAAI,OAAO,CACf;gBACE,GAAG,EAAE,IAAA,UAAK,EAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC;gBAC9C,IAAI,EAAE,IAAA,UAAK,EAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;aAClD,EACD,GAAG,CACJ,CAAA;QACH,CAAC;aAEI,CAAC;YACJ,GAAG,GAAG,IAAI,OAAO,CACf;gBACE,iDAAiD;gBACjD,GAAG,EAAE,IAAA,UAAK,EAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC;gBAC9D,IAAI,EAAE,IAAA,UAAK,EAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC;aACjE,EACD,GAAG,CACJ,CAAA;QACH,CAAC;QAED,IAAI,GAAG,IAAI,IAAI,WAAI,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI;YAClC,CAAC,IAAI,IAAK,GAAe,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,KAAM,GAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QAE9E,IAAI,GAAG,CAAC,GAAG,YAAY,SAAG,EAAE,CAAC;YAC3B,GAAG,GAAI,GAAe,CAAC,IAAI,CAAA;QAC7B,CAAC;aACI,IAAK,GAAe,CAAC,IAAI,YAAY,SAAG,EAAE,CAAC;YAC9C,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;QACf,CAAC;QAED,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;QAEtC,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC;YACnC,CAAC,IAAI,CAAC,GAAG,YAAY,iBAAO,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAE1D,IAAI,QAAQ,GAAG,IAAI,YAAY,OAAO;YACpC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC;gBACxB,CAAC,IAAI,CAAC,IAAI,YAAY,iBAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAEhE,OAAO,OAAO,IAAI,QAAQ,CAAA;IAC5B,CAAC;IAGD,KAAK,CAAC,IAAc,EAAE,GAAa;QACjC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAa,CAAA;QAC7C,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACrC,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,IAAI,YAAY,SAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAA;IAC1E,CAAC;IAED,GAAG,CAAC,GAAa;QACf,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,YAAY,SAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,SAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEd,IAAI,GAAG,YAAY,SAAG,EAAE,CAAC;YACvB,IAAA,aAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YAEjB,IAAI,GAAG,EAAE,CAAC;gBACR,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACnB,CAAC;iBACI,CAAC;gBACJ,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC1B,CAAC;QACH,CAAC;QAED,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACrB,CAAC;CACF;AAKC,0BAAO"}

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

@@ -1,22 +0,0 @@
-import type { Val, ValSpec } from '../type';
-import { Context } from '../unify';
-import { StringVal } from '../val';
-import { ValBase } from '../val/ValBase';
-declare class RefVal extends ValBase {
-    isRefVal: boolean;
-    absolute: boolean;
-    prefix: boolean;
-    constructor(spec: {
-        peg: any[];
-        absolute?: boolean;
-        prefix?: boolean;
-    }, ctx?: Context);
-    append(part: any): void;
-    unify(peer: Val, ctx: Context): Val;
-    find(ctx: Context): Val | StringVal | undefined;
-    same(peer: Val): boolean;
-    clone(spec?: ValSpec, ctx?: Context): Val;
-    get canon(): string;
-    gen(ctx?: Context): undefined;
-}
-export { RefVal, };