aontu 0.29.0 → 0.30.2

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

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

package/dist/lib/val/ListVal.js

@@ -1,120 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2022 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ListVal = 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 { MapVal } from '../val/MapVal'
-const Nil_1 = require("../val/Nil");
-// import { PrefVal } from '../val/PrefVal'
-// import { RefVal } from '../val/RefVal'
-const ValBase_1 = require("../val/ValBase");
-class ListVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isListVal = true;
-        this.spread = {
-            cj: undefined,
-        };
-        if (null == this.peg) {
-            throw new Error('ListVal spec.peg undefined');
-        }
-        let spread = this.peg[ListVal.SPREAD];
-        delete this.peg[ListVal.SPREAD];
-        if (spread) {
-            if ('&' === spread.o) {
-                // TODO: handle existing spread!
-                this.spread.cj =
-                    Array.isArray(spread.v) ?
-                        1 < spread.v.length ?
-                            new ConjunctVal_1.ConjunctVal({ peg: spread.v }, ctx) :
-                            spread.v :
-                        spread.v;
-                // let tmv = Array.isArray(spread.v) ? spread.v : [spread.v]
-                // this.spread.cj = new ConjunctVal({ peg: tmv }, ctx)
-            }
-        }
-    }
-    // NOTE: order of keys is not preserved!
-    // not possible in any case - consider {a,b} unify {b,a}
-    unify(peer, ctx) {
-        let done = true;
-        let out = val_1.TOP === peer ? this : new ListVal({ peg: [] }, ctx);
-        out.spread.cj = this.spread.cj;
-        if (peer instanceof ListVal) {
-            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;
-        // if (this.spread.cj) {
-        //   out.spread.cj =
-        //     DONE !== this.spread.cj.done ? unite(ctx, this.spread.cj) :
-        //       this.spread.cj
-        // }
-        let spread_cj = out.spread.cj || val_1.TOP;
-        // Always unify children first
-        for (let key in this.peg) {
-            let keyctx = ctx.descend(key);
-            let key_spread_cj = spread_cj.clone(null, keyctx);
-            out.peg[key] = (0, op_1.unite)(keyctx, this.peg[key], key_spread_cj, 'list-own');
-            done = (done && type_1.DONE === out.peg[key].done);
-        }
-        if (peer instanceof ListVal) {
-            let upeer = (0, op_1.unite)(ctx, peer, undefined, 'list-peer-list');
-            // NOTE: peerkey is the index
-            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, 'list-peer');
-                if (this.spread.cj) {
-                    let key_ctx = ctx.descend(peerkey);
-                    let key_spread_cj = spread_cj.clone(null, key_ctx);
-                    // out.peg[peerkey] = unite(ctx, out.peg[peerkey], spread_cj)
-                    oval = out.peg[peerkey] =
-                        // new ConjunctVal({ peg: [out.peg[peerkey], key_spread_cj] }, key_ctx)
-                        // done = false
-                        (0, op_1.unite)(key_ctx, out.peg[peerkey], key_spread_cj);
-                }
-                done = (done && type_1.DONE === oval.done);
-            }
-        }
-        else if (val_1.TOP !== peer) {
-            return Nil_1.Nil.make(ctx, 'map', this, peer);
-        }
-        out.done = done ? type_1.DONE : out.done;
-        return out;
-    }
-    clone(spec, ctx) {
-        let out = super.clone(spec, ctx);
-        out.peg = this.peg.map((entry) => entry.clone(null, ctx));
-        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
-                // NOTE: handle array non-index key vals
-                .map(k => [this.peg[k].canon]).join(',') +
-            ']';
-    }
-    gen(ctx) {
-        let out = this.peg.map((v) => v.gen(ctx));
-        return out;
-    }
-}
-exports.ListVal = ListVal;
-ListVal.SPREAD = Symbol('spread');
-//# sourceMappingURL=ListVal.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"ListVal.js","sourceRoot":"","sources":["../../../lib/val/ListVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AASzD,kCAEgB;AAYhB,iCAEiB;AAKjB,gCAA4B;AAC5B,oDAAgD;AAChD,mDAAmD;AACnD,yCAAyC;AACzC,oCAAgC;AAChC,2CAA2C;AAC3C,yCAAyC;AACzC,4CAAwC;AAMxC,MAAM,OAAQ,SAAQ,iBAAO;IAS3B,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAdlB,cAAS,GAAG,IAAI,CAAA;QAIhB,WAAM,GAAG;YACP,EAAE,EAAG,SAA6B;SACnC,CAAA;QAUC,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAA;QAC/C,CAAC;QAED,IAAI,MAAM,GAAI,IAAI,CAAC,GAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC9C,OAAQ,IAAI,CAAC,GAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAExC,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,GAAG,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC;gBAErB,gCAAgC;gBAChC,IAAI,CAAC,MAAM,CAAC,EAAE;oBACZ,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;wBACvB,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;4BACnB,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;4BACzC,MAAM,CAAC,CAAC,CAAC,CAAC;wBACZ,MAAM,CAAC,CAAC,CAAA;gBAEZ,4DAA4D;gBAC5D,sDAAsD;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAGD,wCAAwC;IACxC,wDAAwD;IACxD,KAAK,CAAC,IAAS,EAAE,GAAY;QAC3B,IAAI,IAAI,GAAY,IAAI,CAAA;QACxB,IAAI,GAAG,GAAY,SAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QAEtE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;QAE9B,IAAI,IAAI,YAAY,OAAO,EAAE,CAAC;YAC5B,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,wBAAwB;QACxB,oBAAoB;QACpB,kEAAkE;QAClE,uBAAuB;QACvB,IAAI;QAEJ,IAAI,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,SAAG,CAAA;QAEpC,8BAA8B;QAC9B,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,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAA,UAAK,EAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,UAAU,CAAC,CAAA;YACtE,IAAI,GAAG,CAAC,IAAI,IAAI,WAAI,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;QAC7C,CAAC;QAGD,IAAI,IAAI,YAAY,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,GAAa,IAAA,UAAK,EAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,gBAAgB,CAAa,CAAA;YAE/E,6BAA6B;YAC7B,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,WAAW,CAAC,CAAA;gBAElE,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACnB,IAAI,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;oBAClC,IAAI,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;oBAElD,6DAA6D;oBAC7D,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBACrB,uEAAuE;wBACvE,eAAe;wBACf,IAAA,UAAK,EAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,CAAA;gBACnD,CAAC;gBAED,IAAI,GAAG,CAAC,IAAI,IAAI,WAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAA;YAErC,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,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,CAAa,CAAA;QAC7C,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;QAC9D,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;gBACF,wCAAwC;iBACvC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1C,GAAG,CAAA;IACP,CAAC;IAED,GAAG,CAAC,GAAa;QACf,IAAI,GAAG,GAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAEnD,OAAO,GAAG,CAAA;IACZ,CAAC;;AAOD,0BAAO;AApJA,cAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,AAAnB,CAAmB"}

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,117 +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) {
-                // 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()
-        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);
-            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);
-                    let key_spread_cj = spread_cj.clone(null, key_ctx);
-                    oval = out.peg[peerkey] =
-                        (0, op_1.unite)(key_ctx, out.peg[peerkey], key_spread_cj);
-                }
-                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,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,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,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,IAAI,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;oBAClD,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBACrB,IAAA,UAAK,EAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,CAAA;gBACnD,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;AA5IC,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.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,38 +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;
-        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,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