aontu 0.11.0 → 0.13.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (73) hide show
  1. package/aontu.ts +13 -6
  2. package/dist/aontu.d.ts +3 -0
  3. package/dist/aontu.js +10 -4
  4. package/dist/aontu.js.map +1 -1
  5. package/dist/aontu.min.js +1 -1
  6. package/dist/lib/err.js +1 -1
  7. package/dist/lib/err.js.map +1 -1
  8. package/dist/lib/lang.d.ts +1 -2
  9. package/dist/lib/lang.js +130 -38
  10. package/dist/lib/lang.js.map +1 -1
  11. package/dist/lib/op/disjunct.js +2 -2
  12. package/dist/lib/op/disjunct.js.map +1 -1
  13. package/dist/lib/op/op.js +1 -1
  14. package/dist/lib/op/op.js.map +1 -1
  15. package/dist/lib/op/unite.js +36 -6
  16. package/dist/lib/op/unite.js.map +1 -1
  17. package/dist/lib/type.d.ts +10 -8
  18. package/dist/lib/type.js +2 -27
  19. package/dist/lib/type.js.map +1 -1
  20. package/dist/lib/unify.d.ts +7 -4
  21. package/dist/lib/unify.js +17 -29
  22. package/dist/lib/unify.js.map +1 -1
  23. package/dist/lib/val/ConjunctVal.d.ts +7 -4
  24. package/dist/lib/val/ConjunctVal.js +62 -31
  25. package/dist/lib/val/ConjunctVal.js.map +1 -1
  26. package/dist/lib/val/DisjunctVal.d.ts +5 -2
  27. package/dist/lib/val/DisjunctVal.js +15 -7
  28. package/dist/lib/val/DisjunctVal.js.map +1 -1
  29. package/dist/lib/val/ListVal.d.ts +5 -2
  30. package/dist/lib/val/ListVal.js +39 -19
  31. package/dist/lib/val/ListVal.js.map +1 -1
  32. package/dist/lib/val/MapVal.d.ts +5 -2
  33. package/dist/lib/val/MapVal.js +59 -30
  34. package/dist/lib/val/MapVal.js.map +1 -1
  35. package/dist/lib/val/Nil.d.ts +3 -2
  36. package/dist/lib/val/Nil.js +19 -5
  37. package/dist/lib/val/Nil.js.map +1 -1
  38. package/dist/lib/val/PrefVal.d.ts +6 -2
  39. package/dist/lib/val/PrefVal.js +18 -8
  40. package/dist/lib/val/PrefVal.js.map +1 -1
  41. package/dist/lib/val/RefVal.d.ts +11 -5
  42. package/dist/lib/val/RefVal.js +187 -39
  43. package/dist/lib/val/RefVal.js.map +1 -1
  44. package/dist/lib/val/ValBase.d.ts +10 -9
  45. package/dist/lib/val/ValBase.js +25 -6
  46. package/dist/lib/val/ValBase.js.map +1 -1
  47. package/dist/lib/val/VarVal.d.ts +14 -0
  48. package/dist/lib/val/VarVal.js +68 -0
  49. package/dist/lib/val/VarVal.js.map +1 -0
  50. package/dist/lib/val.d.ts +42 -8
  51. package/dist/lib/val.js +64 -18
  52. package/dist/lib/val.js.map +1 -1
  53. package/lib/err.ts +1 -1
  54. package/lib/lang.ts +168 -43
  55. package/lib/op/disjunct.ts +10 -3
  56. package/lib/op/op.ts +1 -1
  57. package/lib/op/unite.ts +44 -4
  58. package/lib/type.ts +12 -40
  59. package/lib/unify.ts +70 -29
  60. package/lib/val/ConjunctVal.ts +83 -46
  61. package/lib/val/DisjunctVal.ts +35 -12
  62. package/lib/val/ListVal.ts +57 -22
  63. package/lib/val/MapVal.ts +82 -51
  64. package/lib/val/Nil.ts +29 -9
  65. package/lib/val/PrefVal.ts +38 -14
  66. package/lib/val/RefVal.ts +254 -55
  67. package/lib/val/ValBase.ts +33 -28
  68. package/lib/val/VarVal.ts +139 -0
  69. package/lib/val.ts +116 -25
  70. package/package.json +8 -8
  71. package/dist/lib/common.d.ts +0 -8
  72. package/dist/lib/common.js +0 -3
  73. package/dist/lib/common.js.map +0 -1
package/aontu.ts CHANGED
@@ -1,12 +1,14 @@
1
- /* Copyright (c) 2021-2022 Richard Rodger, MIT License */
1
+ /* Copyright (c) 2021-2023 Richard Rodger, MIT License */
2
2
 
3
3
  import type { Val, Options } from './lib/type'
4
4
 
5
- import { Lang, includeFileResolver } from './lib/lang'
5
+ // import { Lang, includeFileResolver } from './lib/lang'
6
+ import { Lang } from './lib/lang'
6
7
  import { Unify, Context } from './lib/unify'
7
8
  import { Nil } from './lib/val/Nil'
8
9
  import { descErr } from './lib/err'
9
10
 
11
+ // TODO: exclude tests from dist!!!
10
12
  // TODO: propogate property path and url properly over unification, and multisource
11
13
 
12
14
  /*
@@ -36,10 +38,9 @@ also trace deps into top val and watch via model
36
38
  */
37
39
  function Aontu(src: string | Partial<Options>, popts?: Partial<Options>): Val {
38
40
  let opts = util.options(src, popts)
39
-
40
- let lang = new Lang(opts)
41
41
  let deps = {}
42
- let val = lang.parse(opts.src, { deps: deps })
42
+
43
+ let val = util.parse(opts, { deps })
43
44
  let uni = new Unify(val as unknown as Val)
44
45
  let res = uni.res
45
46
  let err = uni.err
@@ -64,13 +65,19 @@ const util = {
64
65
  ...{
65
66
  src: '',
66
67
  print: 0,
67
- resolver: includeFileResolver,
68
+ // resolver: includeFileResolver,
68
69
  },
69
70
  ...srcopts,
70
71
  ...(popts || {}),
71
72
  }
72
73
  return opts
73
74
  },
75
+
76
+ parse(opts: Options, ctx: { deps: any }): Val {
77
+ let lang = new Lang(opts)
78
+ let val = lang.parse(opts.src, { deps: ctx.deps })
79
+ return val
80
+ },
74
81
  }
75
82
 
76
83
  export { Aontu, Val, Nil, Lang, Context, util }
package/dist/aontu.d.ts CHANGED
@@ -5,6 +5,9 @@ import { Nil } from './lib/val/Nil';
5
5
  declare function Aontu(src: string | Partial<Options>, popts?: Partial<Options>): Val;
6
6
  declare const util: {
7
7
  options: (src: string | Partial<Options>, popts?: Partial<Options>) => Options;
8
+ parse(opts: Options, ctx: {
9
+ deps: any;
10
+ }): Val;
8
11
  };
9
12
  export { Aontu, Val, Nil, Lang, Context, util };
10
13
  export default Aontu;
package/dist/aontu.js CHANGED
@@ -1,7 +1,8 @@
1
1
  "use strict";
2
- /* Copyright (c) 2021-2022 Richard Rodger, MIT License */
2
+ /* Copyright (c) 2021-2023 Richard Rodger, MIT License */
3
3
  Object.defineProperty(exports, "__esModule", { value: true });
4
4
  exports.util = exports.Context = exports.Lang = exports.Nil = exports.Aontu = void 0;
5
+ // import { Lang, includeFileResolver } from './lib/lang'
5
6
  const lang_1 = require("./lib/lang");
6
7
  Object.defineProperty(exports, "Lang", { enumerable: true, get: function () { return lang_1.Lang; } });
7
8
  const unify_1 = require("./lib/unify");
@@ -9,6 +10,7 @@ Object.defineProperty(exports, "Context", { enumerable: true, get: function () {
9
10
  const Nil_1 = require("./lib/val/Nil");
10
11
  Object.defineProperty(exports, "Nil", { enumerable: true, get: function () { return Nil_1.Nil; } });
11
12
  const err_1 = require("./lib/err");
13
+ // TODO: exclude tests from dist!!!
12
14
  // TODO: propogate property path and url properly over unification, and multisource
13
15
  /*
14
16
  NEXT:
@@ -33,9 +35,8 @@ also trace deps into top val and watch via model
33
35
  */
34
36
  function Aontu(src, popts) {
35
37
  let opts = util.options(src, popts);
36
- let lang = new lang_1.Lang(opts);
37
38
  let deps = {};
38
- let val = lang.parse(opts.src, { deps: deps });
39
+ let val = util.parse(opts, { deps });
39
40
  let uni = new unify_1.Unify(val);
40
41
  let res = uni.res;
41
42
  let err = uni.err;
@@ -53,13 +54,18 @@ const util = {
53
54
  ...{
54
55
  src: '',
55
56
  print: 0,
56
- resolver: lang_1.includeFileResolver,
57
+ // resolver: includeFileResolver,
57
58
  },
58
59
  ...srcopts,
59
60
  ...(popts || {}),
60
61
  };
61
62
  return opts;
62
63
  },
64
+ parse(opts, ctx) {
65
+ let lang = new lang_1.Lang(opts);
66
+ let val = lang.parse(opts.src, { deps: ctx.deps });
67
+ return val;
68
+ },
63
69
  };
64
70
  exports.util = util;
65
71
  exports.default = Aontu;
package/dist/aontu.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"aontu.js","sourceRoot":"","sources":["../aontu.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAIzD,qCAAsD;AAuE5B,qFAvEjB,WAAI,OAuEiB;AAtE9B,uCAA4C;AAsEZ,wFAtEhB,eAAO,OAsEgB;AArEvC,uCAAmC;AAqEd,oFArEZ,SAAG,OAqEY;AApExB,mCAAmC;AAEnC,mFAAmF;AAEnF;;;;;EAKE;AAEF,wBAAwB;AAExB,sBAAsB;AACtB,gDAAgD;AAEhD,wCAAwC;AACxC,uBAAuB;AACvB,uBAAuB;AACvB,uBAAuB;AACvB,uBAAuB;AACvB,eAAe;AACf,kBAAkB;AAClB,KAAK;AAEL;;;GAGG;AACH,SAAS,KAAK,CAAC,GAA8B,EAAE,KAAwB;IACrE,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAEnC,IAAI,IAAI,GAAG,IAAI,WAAI,CAAC,IAAI,CAAC,CAAA;IACzB,IAAI,IAAI,GAAG,EAAE,CAAA;IACb,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IAC9C,IAAI,GAAG,GAAG,IAAI,aAAK,CAAC,GAAqB,CAAC,CAAA;IAC1C,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;IACjB,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;IAEjB,IAAA,aAAO,EAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAEhB,GAAG,CAAC,IAAI,GAAG,IAAI,CAAA;IACf,GAAG,CAAC,GAAG,GAAG,GAAG,CAAA;IAEb,OAAO,GAAG,CAAA;AACZ,CAAC;AAuBQ,sBAAK;AArBd,MAAM,IAAI,GAAG;IACX,OAAO,EAAE,CACP,GAA8B,EAC9B,KAAwB,EACf,EAAE;QACX,mDAAmD;QACnD,IAAI,OAAO,GAAqB,QAAQ,KAAK,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAA;QAEvE,IAAI,IAAI,GAAY;YAClB,GAAG;gBACD,GAAG,EAAE,EAAE;gBACP,KAAK,EAAE,CAAC;gBACR,QAAQ,EAAE,0BAAmB;aAC9B;YACD,GAAG,OAAO;YACV,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;SACjB,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;CACF,CAAA;AAEwC,oBAAI;AAC7C,kBAAe,KAAK,CAAA"}
1
+ {"version":3,"file":"aontu.js","sourceRoot":"","sources":["../aontu.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAIzD,yDAAyD;AACzD,qCAAiC;AA6EP,qFA7EjB,WAAI,OA6EiB;AA5E9B,uCAA4C;AA4EZ,wFA5EhB,eAAO,OA4EgB;AA3EvC,uCAAmC;AA2Ed,oFA3EZ,SAAG,OA2EY;AA1ExB,mCAAmC;AAEnC,mCAAmC;AACnC,mFAAmF;AAEnF;;;;;EAKE;AAEF,wBAAwB;AAExB,sBAAsB;AACtB,gDAAgD;AAEhD,wCAAwC;AACxC,uBAAuB;AACvB,uBAAuB;AACvB,uBAAuB;AACvB,uBAAuB;AACvB,eAAe;AACf,kBAAkB;AAClB,KAAK;AAEL;;;GAGG;AACH,SAAS,KAAK,CAAC,GAA8B,EAAE,KAAwB;IACrE,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACnC,IAAI,IAAI,GAAG,EAAE,CAAA;IAEb,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IACpC,IAAI,GAAG,GAAG,IAAI,aAAK,CAAC,GAAqB,CAAC,CAAA;IAC1C,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;IACjB,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;IAEjB,IAAA,aAAO,EAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAEhB,GAAG,CAAC,IAAI,GAAG,IAAI,CAAA;IACf,GAAG,CAAC,GAAG,GAAG,GAAG,CAAA;IAEb,OAAO,GAAG,CAAA;AACZ,CAAC;AA6BQ,sBAAK;AA3Bd,MAAM,IAAI,GAAG;IACX,OAAO,EAAE,CACP,GAA8B,EAC9B,KAAwB,EACf,EAAE;QACX,mDAAmD;QACnD,IAAI,OAAO,GAAqB,QAAQ,KAAK,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAA;QAEvE,IAAI,IAAI,GAAY;YAClB,GAAG;gBACD,GAAG,EAAE,EAAE;gBACP,KAAK,EAAE,CAAC;gBACR,iCAAiC;aAClC;YACD,GAAG,OAAO;YACV,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;SACjB,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,GAAkB;QACrC,IAAI,IAAI,GAAG,IAAI,WAAI,CAAC,IAAI,CAAC,CAAA;QACzB,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;QAClD,OAAO,GAAG,CAAA;IACZ,CAAC;CACF,CAAA;AAEwC,oBAAI;AAC7C,kBAAe,KAAK,CAAA"}