aontu 0.5.0 → 0.7.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"Nil.js","sourceRoot":"","sources":["../../../lib/val/Nil.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAOzD,kCAEgB;AAOhB,4CAEuB;AAMvB,MAAM,GAAI,SAAQ,iBAAO;IA8CvB,YAAY,GAAS,EAAE,GAAa;QAClC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QA9ClB,QAAG,GAAG,IAAI,CAAA;QA+CR,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;QAEd,qCAAqC;QACrC,IAAI,CAAC,IAAI,GAAG,WAAI,CAAA;IAClB,CAAC;IAED,KAAK,CAAC,KAAU,EAAE,IAAa;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,IAAI,KAAK;QACP,OAAO,KAAK,CAAA;IACd,CAAC;IAED,GAAG,CAAC,IAAc;QAChB,OAAO,SAAS,CAAA;IAClB,CAAC;;AAID,kBAAG;AA9DH,sDAAsD;AAC/C,QAAI,GAAG,CAAC,GAAa,EAAE,GAAS,EAAE,EAAQ,EAAE,EAAQ,EAAE,EAAE;IAC7D,IAAI,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAE3B,uDAAuD;IAEvD,sEAAsE;IACtE,IAAI,IAAI,IAAI,EAAE,EAAE;QACd,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;YACd,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;gBACf,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;aACnB;SACF;KACF;IAED,IAAI,GAAG,EAAE;QACP,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;KAClB;IAED,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA"}

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

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

package/dist/lib/val/PrefVal.js

@@ -0,0 +1,60 @@
+"use strict";
+/* Copyright (c) 2021-2022 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PrefVal = void 0;
+const type_1 = require("../type");
+const op_1 = require("../op/op");
+const Nil_1 = require("../val/Nil");
+const ValBase_1 = require("../val/ValBase");
+class PrefVal extends ValBase_1.ValBase {
+    constructor(peg, pref, ctx) {
+        super(peg, ctx);
+        this.pref = pref || 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((0, op_1.unite)(ctx, this.peg, peer.peg, 'Pref000'), (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
+            (0, op_1.unite)(ctx === null || ctx === void 0 ? void 0 : ctx.clone({ err: [] }), this.peg, peer, 'Pref020'), (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;
+    }
+    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 :
+                undefined;
+        return undefined === val ? undefined : val.gen(ctx);
+    }
+}
+exports.PrefVal = PrefVal;
+//# sourceMappingURL=PrefVal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PrefVal.js","sourceRoot":"","sources":["../../../lib/val/PrefVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAOzD,kCAEgB;AAYhB,iCAEiB;AAEjB,oCAAgC;AAEhC,4CAEuB;AAIvB,MAAM,OAAQ,SAAQ,iBAAO;IAE3B,YAAY,GAAQ,EAAE,IAAU,EAAE,GAAa;QAC7C,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,GAAG,CAAA;IACzB,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;YAC3B,GAAG,GAAG,IAAI,OAAO,CACf,IAAA,UAAK,EAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EACzC,IAAA,UAAK,EAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,EAC3C,GAAG,CACJ,CAAA;SAEF;aACI;YACH,GAAG,GAAG,IAAI,OAAO;YACf,iDAAiD;YACjD,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,EACzD,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,EAC1D,GAAG,CACJ,CAAA;SACF;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;YAC1B,GAAG,GAAI,GAAe,CAAC,IAAI,CAAA;SAC5B;aACI,IAAK,GAAe,CAAC,IAAI,YAAY,SAAG,EAAE;YAC7C,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;SACd;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;YAChB,OAAO,KAAK,CAAA;SACb;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,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,IAAI,CAAC,GAAG,YAAY,SAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACrC,SAAS,CAAA;QAEb,OAAO,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACrD,CAAC;CACF;AAKC,0BAAO"}

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

@@ -0,0 +1,15 @@
+import type { Val } from '../type';
+import { Context } from '../unify';
+import { ValBase } from '../val/ValBase';
+declare class RefVal extends ValBase {
+    parts: string[];
+    absolute: boolean;
+    sep: string;
+    constructor(peg: any[], abs?: boolean);
+    append(part: any): void;
+    unify(peer: Val, ctx: Context): Val;
+    same(peer: Val): boolean;
+    get canon(): any;
+    gen(_ctx?: Context): undefined;
+}
+export { RefVal, };

package/dist/lib/val/RefVal.js

@@ -0,0 +1,73 @@
+"use strict";
+/* Copyright (c) 2021 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RefVal = void 0;
+const type_1 = require("../type");
+const op_1 = require("../op/op");
+const Nil_1 = require("../val/Nil");
+const ValBase_1 = require("../val/ValBase");
+const ConjunctVal_1 = require("../val/ConjunctVal");
+const val_1 = require("../val");
+class RefVal extends ValBase_1.ValBase {
+    constructor(peg, abs) {
+        super('');
+        this.sep = '.';
+        this.absolute = true === abs;
+        this.parts = [];
+        for (let part of peg) {
+            this.append(part);
+        }
+    }
+    append(part) {
+        //console.log('APPEND 0', part)
+        if ('string' === typeof part) {
+            this.parts.push(part);
+        }
+        else if (part instanceof val_1.StringVal) {
+            this.parts.push(part.peg);
+        }
+        else if (part instanceof RefVal) {
+            this.parts.push(...part.parts);
+            if (part.absolute) {
+                this.absolute = true;
+            }
+        }
+        this.peg = (this.absolute ? this.sep : '') + this.parts.join(this.sep);
+    }
+    unify(peer, ctx) {
+        let resolved = null == ctx ? this : ctx.find(this);
+        // TODO: large amount of reruns needed? why?
+        resolved = null == resolved && 999 < this.done ?
+            Nil_1.Nil.make(ctx, 'no-path', this, peer) : (resolved || this);
+        let out;
+        if (resolved instanceof RefVal) {
+            if (type_1.TOP === peer) {
+                out = this;
+            }
+            else if (peer instanceof Nil_1.Nil) {
+                out = Nil_1.Nil.make(ctx, 'ref[' + this.peg + ']', this, peer);
+            }
+            else {
+                // Ensure RefVal done is incremented
+                this.done = type_1.DONE === this.done ? type_1.DONE : this.done + 1;
+                out = new ConjunctVal_1.ConjunctVal([this, peer], ctx);
+            }
+        }
+        else {
+            out = (0, op_1.unite)(ctx, resolved, peer);
+        }
+        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;
+    }
+    get canon() {
+        return this.peg;
+    }
+    gen(_ctx) {
+        return undefined;
+    }
+}
+exports.RefVal = RefVal;
+//# sourceMappingURL=RefVal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RefVal.js","sourceRoot":"","sources":["../../../lib/val/RefVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAUpD,kCAGgB;AAYhB,iCAEiB;AAEjB,oCAAgC;AAEhC,4CAAwC;AACxC,oDAAgD;AAEhD,gCAAkC;AAIlC,MAAM,MAAO,SAAQ,iBAAO;IAK1B,YAAY,GAAU,EAAE,GAAa;QACnC,KAAK,CAAC,EAAE,CAAC,CAAA;QAHX,QAAG,GAAG,GAAG,CAAA;QAIP,IAAI,CAAC,QAAQ,GAAG,IAAI,KAAK,GAAG,CAAA;QAC5B,IAAI,CAAC,KAAK,GAAG,EAAE,CAAA;QAEf,KAAK,IAAI,IAAI,IAAI,GAAG,EAAE;YACpB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;SAClB;IACH,CAAC;IAGD,MAAM,CAAC,IAAS;QACd,+BAA+B;QAE/B,IAAI,QAAQ,KAAK,OAAO,IAAI,EAAE;YAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;SACtB;aAEI,IAAI,IAAI,YAAY,eAAS,EAAE;YAClC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;SAC1B;aAEI,IAAI,IAAI,YAAY,MAAM,EAAE;YAC/B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;YAE9B,IAAI,IAAI,CAAC,QAAQ,EAAE;gBACjB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;aACrB;SACF;QAED,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxE,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAY;QAC3B,IAAI,QAAQ,GAAoB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEnE,4CAA4C;QAC5C,QAAQ,GAAG,IAAI,IAAI,QAAQ,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAA;QAC3D,IAAI,GAAQ,CAAA;QAEZ,IAAI,QAAQ,YAAY,MAAM,EAAE;YAC9B,IAAI,UAAG,KAAK,IAAI,EAAE;gBAChB,GAAG,GAAG,IAAI,CAAA;aACX;iBACI,IAAI,IAAI,YAAY,SAAG,EAAE;gBAC5B,GAAG,GAAG,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;aACzD;iBACI;gBACH,oCAAoC;gBACpC,IAAI,CAAC,IAAI,GAAG,WAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;gBACrD,GAAG,GAAG,IAAI,yBAAW,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;aACzC;SACF;aACI;YACH,GAAG,GAAG,IAAA,UAAK,EAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;SACjC;QAED,GAAG,CAAC,IAAI,GAAG,WAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;QAEnD,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,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;IAGD,GAAG,CAAC,IAAc;QAChB,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;AAIC,wBAAM"}

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

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

package/dist/lib/val/ValBase.js

@@ -0,0 +1,27 @@
+"use strict";
+/* Copyright (c) 2021-2022 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ValBase = void 0;
+const lang_1 = require("../lang");
+class ValBase {
+    // deps?: any
+    constructor(peg, ctx) {
+        this.isVal = true;
+        this.done = 0;
+        this.row = -1;
+        this.col = -1;
+        this.url = '';
+        this.peg = peg;
+        this.path = (ctx && ctx.path) || [];
+        this.id = (ctx && ctx.vc++) || (9e9 + Math.floor(Math.random() * (1e9)));
+    }
+    same(peer) {
+        // return this === peer
+        return null == peer ? false : this.id === peer.id;
+    }
+    get site() {
+        return new lang_1.Site(this);
+    }
+}
+exports.ValBase = ValBase;
+//# sourceMappingURL=ValBase.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ValBase.js","sourceRoot":"","sources":["../../../lib/val/ValBase.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAkBzD,kCAEgB;AAWhB,MAAe,OAAO;IAiBpB,aAAa;IAEb,YAAY,GAAS,EAAE,GAAa;QAlBpC,UAAK,GAAG,IAAI,CAAA;QAGZ,SAAI,GAAW,CAAC,CAAA;QAEhB,QAAG,GAAW,CAAC,CAAC,CAAA;QAChB,QAAG,GAAW,CAAC,CAAC,CAAA;QAChB,QAAG,GAAW,EAAE,CAAA;QAYd,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;QACnC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC1E,CAAC;IAED,IAAI,CAAC,IAAS;QACZ,uBAAuB;QACvB,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAA;IACnD,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,WAAI,CAAC,IAAI,CAAC,CAAA;IACvB,CAAC;CAOF;AAMC,0BAAO"}

package/dist/lib/val.d.ts

@@ -1,51 +1,17 @@
+import type { Val } from './type';
 import { Context } from './unify';
-import { Site } from './lang';
-declare type ValMap = {
-    [key: string]: Val;
-};
-declare type ValList = Val[];
-declare const DONE = -1;
-declare const TOP: Val;
-declare abstract class Val {
-    id: number;
-    done: number;
-    path: string[];
-    row: number;
-    col: number;
-    url: string;
-    top?: boolean;
-    peg?: any;
-    err?: any[];
-    deps?: any;
-    constructor(peg?: any, ctx?: Context);
-    same(peer: Val): boolean;
-    get site(): Site;
-    abstract unify(peer: Val, ctx: Context): Val;
-    abstract get canon(): string;
-    abstract gen(ctx?: Context): any;
-}
-declare class Nil extends Val {
-    nil: boolean;
-    why: any;
-    primary?: Val;
-    secondary?: Val;
-    static make: (ctx?: Context, why?: any, av?: Val, bv?: Val) => Nil;
-    constructor(why?: any, ctx?: Context);
-    unify(_peer: Val, _ctx: Context): this;
-    get canon(): string;
-    gen(_ctx?: Context): undefined;
-}
+import { ValBase } from './val/ValBase';
 declare class Integer {
 }
-declare type ScalarConstructor = StringConstructor | NumberConstructor | BooleanConstructor | (typeof Integer.constructor);
-declare class ScalarTypeVal extends Val {
+type ScalarConstructor = StringConstructor | NumberConstructor | BooleanConstructor | (typeof Integer.constructor);
+declare class ScalarTypeVal extends ValBase {
     constructor(peg: ScalarConstructor, ctx?: Context);
     unify(peer: Val, ctx: Context): Val;
     get canon(): any;
     same(peer: Val): boolean;
     gen(_ctx?: Context): undefined;
 }
-declare class ScalarVal<T> extends Val {
+declare class ScalarVal<T> extends ValBase {
     type: any;
     constructor(peg: T, type: ScalarConstructor, ctx?: Context);
     unify(peer: Val, ctx: Context): Val;
@@ -72,57 +38,4 @@ declare class BooleanVal extends ScalarVal<boolean> {
     static TRUE: BooleanVal;
     static FALSE: BooleanVal;
 }
-declare class MapVal extends Val {
-    static SPREAD: symbol;
-    spread: {
-        cj: Val | undefined;
-    };
-    constructor(peg: ValMap, ctx?: Context);
-    unify(peer: Val, ctx: Context): Val;
-    get canon(): string;
-    gen(ctx?: Context): any;
-}
-declare class ListVal extends Val {
-    static SPREAD: symbol;
-    spread: {
-        cj: Val | undefined;
-    };
-    constructor(peg: ValList, ctx?: Context);
-    unify(peer: Val, ctx: Context): Val;
-    get canon(): string;
-    gen(ctx?: Context): any;
-}
-declare class ConjunctVal extends Val {
-    constructor(peg: Val[], ctx?: Context);
-    append(peer: Val): ConjunctVal;
-    unify(peer: Val, ctx: Context): Val;
-    get canon(): any;
-    gen(ctx?: Context): any;
-}
-declare class DisjunctVal extends Val {
-    constructor(peg: Val[], ctx?: Context, _sites?: Site[]);
-    append(peer: Val): DisjunctVal;
-    unify(peer: Val, ctx: Context): Val;
-    get canon(): any;
-    gen(ctx?: Context): any;
-}
-declare class RefVal extends Val {
-    parts: string[];
-    absolute: boolean;
-    sep: string;
-    constructor(peg: any[], abs?: boolean);
-    append(part: any): void;
-    unify(peer: Val, ctx: Context): Val;
-    same(peer: Val): boolean;
-    get canon(): any;
-    gen(_ctx?: Context): undefined;
-}
-declare class PrefVal extends Val {
-    pref: Val;
-    constructor(peg: any, pref?: any, ctx?: Context);
-    unify(peer: Val, ctx: Context): Val;
-    same(peer: Val): boolean;
-    get canon(): any;
-    gen(ctx?: Context): any;
-}
-export { DONE, Integer, Val, TOP, Nil, ScalarTypeVal, NumberVal, StringVal, BooleanVal, IntegerVal, MapVal, ListVal, ConjunctVal, DisjunctVal, RefVal, PrefVal, };
+export { Integer, ScalarTypeVal, NumberVal, StringVal, BooleanVal, IntegerVal, };