aontu 0.29.0 → 0.30.2

package/dist/lib/val.js

@@ -1,191 +0,0 @@
-"use strict";
-/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.IntegerVal = exports.BooleanVal = exports.StringVal = exports.NumberVal = exports.ScalarTypeVal = exports.Integer = exports.TOP = void 0;
-const type_1 = require("./type");
-const unify_1 = require("./unify");
-const lang_1 = require("./lang");
-const Nil_1 = require("./val/Nil");
-const ValBase_1 = require("./val/ValBase");
-// There can be only one.
-class TopVal extends ValBase_1.ValBase {
-    constructor() {
-        super(null);
-        this.isTop = true;
-        this.id = 0;
-        this.top = true;
-        this.peg = undefined;
-        this.done = type_1.DONE;
-        this.path = [];
-        this.row = -1;
-        this.col = -1;
-        this.url = '';
-        // TOP is always DONE, by definition.
-        this.done = type_1.DONE;
-    }
-    unify(peer, _ctx) {
-        return peer;
-    }
-    get canon() { return 'top'; }
-    get site() { return new lang_1.Site(this); }
-    same(peer) {
-        return this === peer;
-    }
-    clone() {
-        return this;
-    }
-    gen(_ctx) {
-        return undefined;
-    }
-}
-const TOP = new TopVal();
-exports.TOP = TOP;
-// A ScalarType for integers. Number includes floats.
-class Integer {
-}
-exports.Integer = Integer;
-class ScalarTypeVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isScalarTypeVal = true;
-        this.done = type_1.DONE;
-    }
-    unify(peer, ctx) {
-        if (peer === null || peer === void 0 ? void 0 : peer.isScalarVal) {
-            if (peer.type === this.peg) {
-                return peer;
-            }
-            else if (Number === this.peg && Integer === peer.type) {
-                return peer;
-            }
-            return Nil_1.Nil.make(ctx, 'no-scalar-unify', this, peer);
-        }
-        else {
-            if (peer === null || peer === void 0 ? void 0 : peer.isScalarTypeVal) {
-                if (Number === this.peg && Integer === peer.peg) {
-                    return peer;
-                }
-                else if (Number === peer.peg && Integer === this.peg) {
-                    return this;
-                }
-            }
-            return Nil_1.Nil.make(ctx, 'scalar-type', this, peer);
-        }
-    }
-    get canon() {
-        let ctor = this.peg;
-        return ctor.name.toLowerCase();
-    }
-    same(peer) {
-        let out = (peer === null || peer === void 0 ? void 0 : peer.isScalarTypeVal) ? this.peg === (peer === null || peer === void 0 ? void 0 : peer.peg) : super.same(peer);
-        return out;
-    }
-    gen(_ctx) {
-        return undefined;
-    }
-}
-exports.ScalarTypeVal = ScalarTypeVal;
-class ScalarVal extends ValBase_1.ValBase {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isScalarVal = true;
-        this.type = spec.type;
-        this.done = type_1.DONE;
-    }
-    clone(spec, ctx) {
-        let out = super.clone({
-            peg: this.peg,
-            type: this.type,
-            ...(spec || {})
-        }, ctx);
-        return out;
-    }
-    unify(peer, ctx) {
-        // Exactly equal scalars are handled in op/unite
-        if (peer === null || peer === void 0 ? void 0 : peer.isScalarTypeVal) {
-            return peer.unify(this, ctx);
-        }
-        else if (peer.top) {
-            return this;
-        }
-        return Nil_1.Nil.make(ctx, 'scalar', this, peer);
-    }
-    get canon() {
-        return this.peg.toString();
-    }
-    same(peer) {
-        return (peer === null || peer === void 0 ? void 0 : peer.isScalarVal) ? peer.peg === this.peg : super.same(peer);
-    }
-    gen(_ctx) {
-        return this.peg;
-    }
-}
-class NumberVal extends ScalarVal {
-    constructor(spec, ctx) {
-        super({ peg: spec.peg, type: Number }, ctx);
-        this.isNumberVal = true;
-    }
-    unify(peer, ctx) {
-        if (null != peer) {
-            if (peer.isScalarTypeVal && peer.type === Number) {
-                return this;
-            }
-            else if (peer.isScalarVal &&
-                peer.peg === this.peg) {
-                return peer.isIntegerVal ? peer : this;
-            }
-        }
-        return super.unify(peer, ctx);
-    }
-}
-exports.NumberVal = NumberVal;
-class IntegerVal extends ScalarVal {
-    constructor(spec, ctx) {
-        if (!Number.isInteger(spec.peg)) {
-            // TODO: use Nil?
-            throw new Error('not-integer');
-        }
-        super({ peg: spec.peg, type: Integer }, ctx);
-        this.isIntegerVal = true;
-    }
-    unify(peer, ctx) {
-        if (null != peer) {
-            if (peer.isScalarTypeVal && (peer.peg === Number || peer.peg === Integer)) {
-                return this;
-            }
-            else if (peer.isScalarVal &&
-                // peer.type === Number &&
-                peer.peg === this.peg) {
-                return this;
-            }
-        }
-        return super.unify(peer, ctx);
-    }
-}
-exports.IntegerVal = IntegerVal;
-class StringVal extends ScalarVal {
-    constructor(spec, ctx) {
-        super({ peg: spec.peg, type: String }, ctx);
-        this.isStringVal = true;
-    }
-    unify(peer, ctx) {
-        return super.unify(peer, ctx);
-    }
-    get canon() {
-        return JSON.stringify(this.peg);
-    }
-}
-exports.StringVal = StringVal;
-class BooleanVal extends ScalarVal {
-    constructor(spec, ctx) {
-        super({ peg: spec.peg, type: Boolean }, ctx);
-        this.isBooleanVal = true;
-    }
-    unify(peer, ctx) {
-        return super.unify(peer, ctx);
-    }
-}
-exports.BooleanVal = BooleanVal;
-BooleanVal.TRUE = new BooleanVal({ peg: true }, new unify_1.Context({ vc: 1, root: TOP }));
-BooleanVal.FALSE = new BooleanVal({ peg: false }, new unify_1.Context({ vc: 2, root: TOP }));
-//# sourceMappingURL=val.js.map

package/dist/lib/val.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"val.js","sourceRoot":"","sources":["../../lib/val.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AA6BzD,iCAEe;AAEf,mCAEgB;AAGhB,iCAEe;AAIf,mCAA+B;AAE/B,2CAAuC;AAGvC,yBAAyB;AACzB,MAAM,MAAO,SAAQ,iBAAO;IAY1B;QACE,KAAK,CAAC,IAAI,CAAC,CAAA;QAZb,UAAK,GAAG,IAAI,CAAA;QAEZ,OAAE,GAAG,CAAC,CAAA;QACN,QAAG,GAAG,IAAI,CAAA;QACV,QAAG,GAAG,SAAS,CAAA;QACf,SAAI,GAAG,WAAI,CAAA;QACX,SAAI,GAAG,EAAE,CAAA;QACT,QAAG,GAAG,CAAC,CAAC,CAAA;QACR,QAAG,GAAG,CAAC,CAAC,CAAA;QACR,QAAG,GAAG,EAAE,CAAA;QAKN,qCAAqC;QACrC,IAAI,CAAC,IAAI,GAAG,WAAI,CAAA;IAClB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,IAAc;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,IAAI,KAAK,KAAK,OAAO,KAAK,CAAA,CAAC,CAAC;IAE5B,IAAI,IAAI,KAAW,OAAO,IAAI,WAAI,CAAC,IAAI,CAAC,CAAA,CAAC,CAAC;IAE1C,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,KAAK,IAAI,CAAA;IACtB,CAAC;IAED,KAAK;QACH,OAAO,IAAI,CAAA;IACb,CAAC;IAED,GAAG,CAAC,IAAc;QAChB,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;AAID,MAAM,GAAG,GAAG,IAAI,MAAM,EAAE,CAAA;AAmOtB,kBAAG;AAhOL,qDAAqD;AACrD,MAAM,OAAO;CAAI;AAgOf,0BAAO;AArNT,MAAM,aAAc,SAAQ,iBAAO;IAGjC,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,oBAAe,GAAG,IAAI,CAAA;QASpB,IAAI,CAAC,IAAI,GAAG,WAAI,CAAA;IAClB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAa;QAC5B,IAAI,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,WAAW,EAAE,CAAC;YACtB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC3B,OAAO,IAAI,CAAA;YACb,CAAC;iBACI,IAAI,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBACtD,OAAO,IAAI,CAAA;YACb,CAAC;YACD,OAAO,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACrD,CAAC;aACI,CAAC;YACJ,IAAI,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,eAAe,EAAE,CAAC;gBAC1B,IAAI,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;oBAChD,OAAO,IAAI,CAAA;gBACb,CAAC;qBACI,IAAI,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;oBACrD,OAAO,IAAI,CAAA;gBACb,CAAC;YACH,CAAC;YACD,OAAO,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACjD,CAAC;IACH,CAAC;IAED,IAAI,KAAK;QACP,IAAI,IAAI,GAAI,IAAI,CAAC,GAAW,CAAA;QAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;IAChC,CAAC;IAED,IAAI,CAAC,IAAS;QACZ,IAAI,GAAG,GAAG,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,eAAe,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAK,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,GAAG,CAAA,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3E,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,GAAG,CAAC,IAAc;QAChB,OAAO,SAAS,CAAA;IAClB,CAAC;CAEF;AAoKC,sCAAa;AAhKf,MAAM,SAAa,SAAQ,iBAAO;IAIhC,YACE,IAGC,EACD,GAAa;QAEb,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QATlB,gBAAW,GAAG,IAAI,CAAA;QAUhB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACrB,IAAI,CAAC,IAAI,GAAG,WAAI,CAAA;IAClB,CAAC;IAED,KAAK,CAAC,IAAc,EAAE,GAAa;QACjC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC;YACrB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;SAChB,EAAE,GAAG,CAAY,CAAA;QAClB,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAa;QAC5B,gDAAgD;QAChD,IAAI,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,eAAe,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC9B,CAAC;aACI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YAClB,OAAO,IAAI,CAAA;QACb,CAAC;QACD,OAAO,SAAG,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC5C,CAAC;IAED,IAAI,KAAK;QACP,OAAQ,IAAI,CAAC,GAAW,CAAC,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,IAAI,CAAC,IAAS;QACZ,OAAO,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,WAAW,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrE,CAAC;IAED,GAAG,CAAC,IAAc;QAChB,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;CACF;AAGD,MAAM,SAAU,SAAQ,SAAiB;IAGvC,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAA;QAR7C,gBAAW,GAAG,IAAI,CAAA;IASlB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAa;QAC5B,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjD,OAAO,IAAI,CAAA;YACb,CAAC;iBACI,IACH,IAAI,CAAC,WAAW;gBAChB,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,EACrB,CAAC;gBACD,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;YACxC,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;CACF;AAoFC,8BAAS;AAjFX,MAAM,UAAW,SAAQ,SAAiB;IAGxC,YACE,IAEC,EACD,GAAa;QAEb,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,iBAAiB;YACjB,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAA;QAChC,CAAC;QACD,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;QAZ9C,iBAAY,GAAG,IAAI,CAAA;IAanB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAa;QAC5B,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,IAAI,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO,CAAC,EAAE,CAAC;gBAC1E,OAAO,IAAI,CAAA;YACb,CAAC;iBACI,IACH,IAAI,CAAC,WAAW;gBAChB,0BAA0B;gBAC1B,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,EACrB,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;CACF;AAoDC,gCAAU;AAjDZ,MAAM,SAAU,SAAQ,SAAiB;IAGvC,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAA;QAR7C,gBAAW,GAAG,IAAI,CAAA;IASlB,CAAC;IACD,KAAK,CAAC,IAAS,EAAE,GAAa;QAC5B,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC;CAEF;AA6BC,8BAAS;AA1BX,MAAM,UAAW,SAAQ,SAAkB;IAGzC,YACE,IAEC,EACD,GAAa;QAEb,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;QAR9C,iBAAY,GAAG,IAAI,CAAA;IASnB,CAAC;IACD,KAAK,CAAC,IAAS,EAAE,GAAa;QAC5B,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;;AAcD,gCAAU;AAZH,eAAI,GAAG,IAAI,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,eAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,AAAnE,CAAmE;AACvE,gBAAK,GAAG,IAAI,UAAU,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,eAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,AAApE,CAAoE"}

package/lib/err.ts

@@ -1,83 +0,0 @@
-/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
-
-
-import { util } from 'jsonic'
-
-import { Val, ErrContext } from './type'
-import { Nil } from './val/Nil'
-
-
-const { errmsg } = util
-
-
-// TODO: move to utility?
-function descErr<NILS extends Nil | Nil[]>(
-  err: NILS | any,
-  errctx?: ErrContext,
-): any {
-  if (err?.isNil) {
-    // console.trace()
-
-    if (null == err.msg || '' === err.msg) {
-      let v1: any = err.primary
-      let v2: any = err.secondary
-
-      let v1src = resolveSrc(v1, errctx)
-      let v2src = resolveSrc(v2, errctx)
-
-      let valpath = (0 < err.path?.length ? err.path.join('.') : '')
-      let attempt = (null == v2 ? 'resolve' : 'unify')
-
-      err.msg = [
-        errmsg({
-          color: true,
-          name: 'aontu',
-          code: err.why,
-          msg: 'Cannot ' +
-            attempt +
-            ' path $.' + valpath + ' value' + (null == v2 ? '' : 's'),
-        }),
-
-        (null != v1 && errmsg({
-          color: true,
-          msg: 'Cannot ' + attempt + ' value: ' + v1.canon +
-            (null == v2 ? '' : ' with value: ' + v2.canon),
-          smsg: 'value was: ' + v1.canon,
-          file: v1.url?.replace(process.cwd() + '/', ''),
-          src: v1src,
-          row: v1.row,
-          col: v1.col,
-        })),
-
-        (null != v2 && errmsg({
-          color: true,
-          msg: 'Cannot ' + attempt + ' value: ' + v2.canon + ' with value: ' + v1.canon,
-          smsg: 'value was: ' + v2.canon,
-          file: v2.url?.replace(process.cwd() + '/', ''),
-          src: v2src,
-          row: v2.row,
-          col: v2.col,
-        })),
-
-
-      ].filter(n => null != n && false !== n).join('\n')
-
-    }
-    return err
-  }
-  else {
-    return err.map((n: any) => descErr(n, errctx))
-  }
-}
-
-
-function resolveSrc(v: Val, errctx?: ErrContext) {
-  let src = null == v || null == v.url ? errctx?.src :
-    errctx?.fs?.existsSync(v.url) ? errctx.fs.readFileSync(v.url, 'utf8') : ''
-  return src
-}
-
-
-export {
-  descErr
-}