aontu 0.50.1 → 0.52.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.
- package/bin/aontu-lsp.js +6 -0
- package/bin/aontu.js +7 -0
- package/dist/aontu.d.ts +4 -2
- package/dist/aontu.js +21 -8
- package/dist/aontu.js.map +1 -1
- package/dist/cli.d.ts +0 -1
- package/dist/cli.js +43 -53
- package/dist/cli.js.map +1 -1
- package/dist/ctx.js +1 -1
- package/dist/ctx.js.map +1 -1
- package/dist/err.js +3 -2
- package/dist/err.js.map +1 -1
- package/dist/exactjson.d.ts +37 -0
- package/dist/exactjson.js +228 -0
- package/dist/exactjson.js.map +1 -0
- package/dist/hints.d.ts +3 -1
- package/dist/hints.js +187 -5
- package/dist/hints.js.map +1 -1
- package/dist/keyorder.d.ts +9 -0
- package/dist/keyorder.js +65 -0
- package/dist/keyorder.js.map +1 -0
- package/dist/lang.js +263 -30
- package/dist/lang.js.map +1 -1
- package/dist/lsp-server.d.ts +2 -2
- package/dist/lsp-server.js +10 -10
- package/dist/lsp-server.js.map +1 -1
- package/dist/lsp.js +39 -21
- package/dist/lsp.js.map +1 -1
- package/dist/site.js +1 -1
- package/dist/site.js.map +1 -1
- package/dist/tsconfig.tsbuildinfo +1 -1
- package/dist/unify.js +48 -1
- package/dist/unify.js.map +1 -1
- package/dist/utility.js +3 -8
- package/dist/utility.js.map +1 -1
- package/dist/val/BagVal.js +9 -6
- package/dist/val/BagVal.js.map +1 -1
- package/dist/val/BigDecimalVal.d.ts +13 -0
- package/dist/val/BigDecimalVal.js +80 -0
- package/dist/val/BigDecimalVal.js.map +1 -0
- package/dist/val/BigIntegerVal.d.ts +11 -0
- package/dist/val/BigIntegerVal.js +75 -0
- package/dist/val/BigIntegerVal.js.map +1 -0
- package/dist/val/BooleanVal.js +1 -1
- package/dist/val/BooleanVal.js.map +1 -1
- package/dist/val/CloseFuncVal.js +1 -1
- package/dist/val/CloseFuncVal.js.map +1 -1
- package/dist/val/ConjunctVal.js +1 -1
- package/dist/val/ConjunctVal.js.map +1 -1
- package/dist/val/ConstraintVal.d.ts +56 -0
- package/dist/val/ConstraintVal.js +407 -0
- package/dist/val/ConstraintVal.js.map +1 -0
- package/dist/val/CopyFuncVal.js +1 -1
- package/dist/val/CopyFuncVal.js.map +1 -1
- package/dist/val/Decimal.d.ts +32 -0
- package/dist/val/Decimal.js +318 -0
- package/dist/val/Decimal.js.map +1 -0
- package/dist/val/DisjunctVal.js +1 -29
- package/dist/val/DisjunctVal.js.map +1 -1
- package/dist/val/ExpectVal.js +1 -1
- package/dist/val/ExpectVal.js.map +1 -1
- package/dist/val/FeatureVal.js +1 -1
- package/dist/val/FeatureVal.js.map +1 -1
- package/dist/val/FuncBaseVal.js +1 -1
- package/dist/val/FuncBaseVal.js.map +1 -1
- package/dist/val/HideFuncVal.js +1 -1
- package/dist/val/HideFuncVal.js.map +1 -1
- package/dist/val/IntegerVal.d.ts +2 -0
- package/dist/val/IntegerVal.js +77 -5
- package/dist/val/IntegerVal.js.map +1 -1
- package/dist/val/JunctionVal.js +1 -1
- package/dist/val/JunctionVal.js.map +1 -1
- package/dist/val/KeyFuncVal.d.ts +1 -1
- package/dist/val/KeyFuncVal.js +34 -4
- package/dist/val/KeyFuncVal.js.map +1 -1
- package/dist/val/ListVal.js +7 -7
- package/dist/val/ListVal.js.map +1 -1
- package/dist/val/LowerFuncVal.js +21 -4
- package/dist/val/LowerFuncVal.js.map +1 -1
- package/dist/val/MapVal.js +17 -13
- package/dist/val/MapVal.js.map +1 -1
- package/dist/val/MoveFuncVal.js +26 -9
- package/dist/val/MoveFuncVal.js.map +1 -1
- package/dist/val/NilVal.d.ts +1 -0
- package/dist/val/NilVal.js +10 -3
- package/dist/val/NilVal.js.map +1 -1
- package/dist/val/NullVal.js +1 -1
- package/dist/val/NullVal.js.map +1 -1
- package/dist/val/NumberVal.d.ts +1 -0
- package/dist/val/NumberVal.js +25 -4
- package/dist/val/NumberVal.js.map +1 -1
- package/dist/val/OpBaseVal.js +10 -8
- package/dist/val/OpBaseVal.js.map +1 -1
- package/dist/val/OpenFuncVal.js +1 -1
- package/dist/val/OpenFuncVal.js.map +1 -1
- package/dist/val/PathFuncVal.js +10 -2
- package/dist/val/PathFuncVal.js.map +1 -1
- package/dist/val/PlusOpVal.d.ts +3 -1
- package/dist/val/PlusOpVal.js +140 -29
- package/dist/val/PlusOpVal.js.map +1 -1
- package/dist/val/PrefFuncVal.js +1 -1
- package/dist/val/PrefFuncVal.js.map +1 -1
- package/dist/val/PrefVal.d.ts +2 -0
- package/dist/val/PrefVal.js +44 -7
- package/dist/val/PrefVal.js.map +1 -1
- package/dist/val/RefVal.d.ts +2 -0
- package/dist/val/RefVal.js +135 -11
- package/dist/val/RefVal.js.map +1 -1
- package/dist/val/ScalarKindVal.d.ts +12 -2
- package/dist/val/ScalarKindVal.js +108 -13
- package/dist/val/ScalarKindVal.js.map +1 -1
- package/dist/val/ScalarVal.d.ts +1 -0
- package/dist/val/ScalarVal.js +18 -3
- package/dist/val/ScalarVal.js.map +1 -1
- package/dist/val/StringVal.js +1 -1
- package/dist/val/StringVal.js.map +1 -1
- package/dist/val/SuperFuncVal.d.ts +1 -1
- package/dist/val/SuperFuncVal.js +15 -2
- package/dist/val/SuperFuncVal.js.map +1 -1
- package/dist/val/TopVal.js +1 -1
- package/dist/val/TopVal.js.map +1 -1
- package/dist/val/TypeFuncVal.js +1 -1
- package/dist/val/TypeFuncVal.js.map +1 -1
- package/dist/val/UpperFuncVal.js +21 -4
- package/dist/val/UpperFuncVal.js.map +1 -1
- package/dist/val/Val.d.ts +1 -1
- package/dist/val/Val.js +11 -21
- package/dist/val/Val.js.map +1 -1
- package/dist/val/VarVal.js +8 -2
- package/dist/val/VarVal.js.map +1 -1
- package/dist/val/numcmp.d.ts +14 -0
- package/dist/val/numcmp.js +134 -0
- package/dist/val/numcmp.js.map +1 -0
- package/dist/val/numkind.d.ts +6 -0
- package/dist/val/numkind.js +224 -0
- package/dist/val/numkind.js.map +1 -0
- package/dist/val/valutil.d.ts +1 -0
- package/dist/val/valutil.js +35 -0
- package/dist/val/valutil.js.map +1 -1
- package/package.json +7 -5
- package/src/aontu.ts +26 -9
- package/src/cli.ts +48 -21
- package/src/ctx.ts +1 -1
- package/src/err.ts +3 -2
- package/src/exactjson.ts +254 -0
- package/src/hints.ts +213 -4
- package/src/keyorder.ts +73 -0
- package/src/lang.ts +303 -31
- package/src/lsp-server.ts +17 -15
- package/src/lsp.ts +37 -14
- package/src/site.ts +1 -1
- package/src/type.ts +1 -1
- package/src/unify.ts +52 -1
- package/src/utility.ts +3 -9
- package/src/val/BagVal.ts +9 -6
- package/src/val/BigDecimalVal.ts +117 -0
- package/src/val/BigIntegerVal.ts +110 -0
- package/src/val/BooleanVal.ts +1 -1
- package/src/val/CloseFuncVal.ts +1 -1
- package/src/val/ConjunctVal.ts +1 -1
- package/src/val/ConstraintVal.ts +561 -0
- package/src/val/CopyFuncVal.ts +1 -1
- package/src/val/Decimal.ts +385 -0
- package/src/val/DisjunctVal.ts +1 -37
- package/src/val/ExpectVal.ts +1 -1
- package/src/val/FeatureVal.ts +1 -1
- package/src/val/FuncBaseVal.ts +1 -1
- package/src/val/HideFuncVal.ts +1 -1
- package/src/val/IntegerVal.ts +81 -5
- package/src/val/JunctionVal.ts +1 -1
- package/src/val/KeyFuncVal.ts +36 -4
- package/src/val/ListVal.ts +3 -5
- package/src/val/LowerFuncVal.ts +22 -5
- package/src/val/MapVal.ts +13 -9
- package/src/val/MoveFuncVal.ts +27 -10
- package/src/val/NilVal.ts +13 -3
- package/src/val/NullVal.ts +1 -1
- package/src/val/NumberVal.ts +27 -4
- package/src/val/OpBaseVal.ts +10 -10
- package/src/val/OpenFuncVal.ts +1 -1
- package/src/val/PathFuncVal.ts +10 -2
- package/src/val/PlusOpVal.ts +168 -32
- package/src/val/PrefFuncVal.ts +1 -1
- package/src/val/PrefVal.ts +70 -8
- package/src/val/RefVal.ts +143 -11
- package/src/val/ScalarKindVal.ts +123 -12
- package/src/val/ScalarVal.ts +20 -3
- package/src/val/StringVal.ts +1 -1
- package/src/val/SuperFuncVal.ts +15 -2
- package/src/val/TopVal.ts +1 -1
- package/src/val/TypeFuncVal.ts +1 -1
- package/src/val/UpperFuncVal.ts +22 -5
- package/src/val/Val.ts +13 -8
- package/src/val/VarVal.ts +8 -2
- package/src/val/numcmp.ts +189 -0
- package/src/val/numkind.ts +256 -0
- package/src/val/valutil.ts +36 -0
|
@@ -0,0 +1,75 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/* Copyright (c) 2025 Richard Rodger, MIT License */
|
|
3
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
4
|
+
exports.BigIntegerVal = void 0;
|
|
5
|
+
const err_1 = require("../err");
|
|
6
|
+
const ScalarVal_1 = require("./ScalarVal");
|
|
7
|
+
const ScalarKindVal_1 = require("./ScalarKindVal");
|
|
8
|
+
const utility_1 = require("../utility");
|
|
9
|
+
// The unbounded exact integer leaf of the number tower, reached only by
|
|
10
|
+
// a `0d` literal with no fraction and no exponent (`0d5`, `-0d5`,
|
|
11
|
+
// `0d123456789012345678901234567890`) or by direct construction.
|
|
12
|
+
//
|
|
13
|
+
// Its peg is a native bigint: exact at any magnitude, immutable, and
|
|
14
|
+
// compared by VALUE with `===` (D2 -- two separately built bigints
|
|
15
|
+
// holding the same number are `===`, which is exactly the property the
|
|
16
|
+
// Go port has to reproduce by hand for `*big.Int`).
|
|
17
|
+
//
|
|
18
|
+
// `biginteger` is DISJOINT from `integer`: `5 & 0d5` is an error, since
|
|
19
|
+
// a successful meet would have to pick one of the two kinds and either
|
|
20
|
+
// choice makes `&` asymmetric in kind.
|
|
21
|
+
class BigIntegerVal extends ScalarVal_1.ScalarVal {
|
|
22
|
+
constructor(spec, ctx) {
|
|
23
|
+
// Exact-input construction (D8): a bigint, or the digits as text. A
|
|
24
|
+
// JS `number` is deliberately NOT accepted -- it has already been
|
|
25
|
+
// rounded before this library could inspect it, so an exact value
|
|
26
|
+
// above 2^53 could never arrive that way intact.
|
|
27
|
+
let peg = spec.peg;
|
|
28
|
+
if ('string' === typeof peg) {
|
|
29
|
+
if (!/^[-+]?[0-9]+$/.test(peg)) {
|
|
30
|
+
throw new err_1.AontuError('not-biginteger: ' + peg);
|
|
31
|
+
}
|
|
32
|
+
peg = BigInt(peg);
|
|
33
|
+
}
|
|
34
|
+
if ('bigint' !== typeof peg) {
|
|
35
|
+
throw new err_1.AontuError('not-biginteger: ' + peg);
|
|
36
|
+
}
|
|
37
|
+
super({ ...spec, peg, kind: ScalarKindVal_1.BigInteger }, ctx);
|
|
38
|
+
this.isBigInteger = true;
|
|
39
|
+
}
|
|
40
|
+
unify(peer, ctx) {
|
|
41
|
+
const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'BigInteger', this, peer);
|
|
42
|
+
let out = this;
|
|
43
|
+
if (null != peer) {
|
|
44
|
+
if (peer.isScalarKind || peer.isConstraint) {
|
|
45
|
+
out = peer.unify(this, te ? ctx.clone({ explain: (0, utility_1.ec)(te, 'KND') }) : ctx);
|
|
46
|
+
}
|
|
47
|
+
else if (peer.isScalar &&
|
|
48
|
+
peer.kind === this.kind &&
|
|
49
|
+
peer.peg === this.peg) {
|
|
50
|
+
// Same kind and equal NUMBER (bigint `===` is value equality).
|
|
51
|
+
out = this;
|
|
52
|
+
}
|
|
53
|
+
else if (peer.isTop) {
|
|
54
|
+
out = this;
|
|
55
|
+
}
|
|
56
|
+
else {
|
|
57
|
+
out = (0, err_1.makeNilErr)(ctx, 'scalar_' +
|
|
58
|
+
(peer.kind === this.kind ? 'value' : 'kind'), this, peer);
|
|
59
|
+
}
|
|
60
|
+
}
|
|
61
|
+
else {
|
|
62
|
+
out = super.unify(peer, ctx);
|
|
63
|
+
}
|
|
64
|
+
(0, utility_1.explainClose)(te, out);
|
|
65
|
+
return out;
|
|
66
|
+
}
|
|
67
|
+
// The sign renders BEFORE the marker (`-0d5`): `0d-5` is not a literal
|
|
68
|
+
// this language accepts, so canon must not produce it.
|
|
69
|
+
get canon() {
|
|
70
|
+
const neg = this.peg < 0n;
|
|
71
|
+
return (neg ? '-0d' : '0d') + (neg ? -this.peg : this.peg).toString();
|
|
72
|
+
}
|
|
73
|
+
} /* node:coverage ignore next 6 */
|
|
74
|
+
exports.BigIntegerVal = BigIntegerVal;
|
|
75
|
+
//# sourceMappingURL=BigIntegerVal.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BigIntegerVal.js","sourceRoot":"","sources":["../../src/val/BigIntegerVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAWpD,gCAA+C;AAE/C,2CAAuC;AACvC,mDAA4C;AAE5C,wCAImB;AAGnB,wEAAwE;AACxE,kEAAkE;AAClE,iEAAiE;AACjE,EAAE;AACF,qEAAqE;AACrE,mEAAmE;AACnE,uEAAuE;AACvE,oDAAoD;AACpD,EAAE;AACF,wEAAwE;AACxE,uEAAuE;AACvE,uCAAuC;AACvC,MAAM,aAAc,SAAQ,qBAAS;IAKnC,YACE,IAAa,EACb,GAAkB;QAElB,oEAAoE;QACpE,kEAAkE;QAClE,kEAAkE;QAClE,iDAAiD;QACjD,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QAClB,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;YAC5B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,gBAAU,CAAC,kBAAkB,GAAG,GAAG,CAAC,CAAA;YAChD,CAAC;YACD,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;QACD,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;YAC5B,MAAM,IAAI,gBAAU,CAAC,kBAAkB,GAAG,GAAG,CAAC,CAAA;QAChD,CAAC;QAED,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,0BAAU,EAAE,EAAE,GAAG,CAAC,CAAA;QAvBhD,iBAAY,GAAG,IAAI,CAAA;IAwBnB,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAEjF,IAAI,GAAG,GAAQ,IAAI,CAAA;QAEnB,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,IAAI,IAAI,CAAC,YAAY,IAAK,IAAY,CAAC,YAAY,EAAE,CAAC;gBACpD,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;YAC1E,CAAC;iBACI,IACH,IAAI,CAAC,QAAQ;gBACb,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBACvB,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,EACrB,CAAC;gBACD,+DAA+D;gBAC/D,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,SAAS;oBAC7B,CAAE,IAAY,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACtE,CAAC;QACH,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC9B,CAAC;QAED,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,uEAAuE;IACvE,uDAAuD;IACvD,IAAI,KAAK;QACP,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,EAAE,CAAA;QACzB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAA;IACvE,CAAC;CACF,CAAC,iCAAiC;QAIjC,aAAa"}
|
package/dist/val/BooleanVal.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"BooleanVal.js","sourceRoot":"","sources":["../../src/val/BooleanVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAWzD,2CAAuC;AAEvC,MAAM,UAAW,SAAQ,qBAAS;IAGhC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;QAN9C,cAAS,GAAG,IAAI,CAAA;IAOhB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;CACF;
|
|
1
|
+
{"version":3,"file":"BooleanVal.js","sourceRoot":"","sources":["../../src/val/BooleanVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAWzD,2CAAuC;AAEvC,MAAM,UAAW,SAAQ,qBAAS;IAGhC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;QAN9C,cAAS,GAAG,IAAI,CAAA;IAOhB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;CACF,CAAC,iCAAiC;QAIjC,UAAU"}
|
package/dist/val/CloseFuncVal.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"CloseFuncVal.js","sourceRoot":"","sources":["../../src/val/CloseFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAGnC,+CAA2C;AAI3C,MAAM,YAAa,SAAQ,yBAAW;IAGpC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,gBAAW,GAAG,IAAI,CAAA;QAOhB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IAChC,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;IAC/B,CAAC;IAED,QAAQ;QACN,OAAO,OAAO,CAAA;IAChB,CAAC;IAGD,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,MAAM,MAAM,GAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;QAE3B,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YACjC,MAAiB,CAAC,MAAM,GAAG,IAAI,CAAA;YAChC,sCAAsC;QACxC,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC;CAEF;
|
|
1
|
+
{"version":3,"file":"CloseFuncVal.js","sourceRoot":"","sources":["../../src/val/CloseFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAGnC,+CAA2C;AAI3C,MAAM,YAAa,SAAQ,yBAAW;IAGpC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,gBAAW,GAAG,IAAI,CAAA;QAOhB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IAChC,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;IAC/B,CAAC;IAED,QAAQ;QACN,OAAO,OAAO,CAAA;IAChB,CAAC;IAGD,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,MAAM,MAAM,GAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;QAE3B,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YACjC,MAAiB,CAAC,MAAM,GAAG,IAAI,CAAA;YAChC,sCAAsC;QACxC,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC;CAEF,CAAC,iCAAiC;QAIjC,YAAY"}
|
package/dist/val/ConjunctVal.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ConjunctVal.js","sourceRoot":"","sources":["../../src/val/ConjunctVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;QA6RvD,IAAI;AApRN,kCAEgB;AAIhB,gCAAmC;AACnC,oCAAgC;AAEhC,gCAEe;AAGf,+CAA2C;AAE3C,wCAKmB;AAInB,+BAEc;AAId,uCAAuC;AACvC,MAAM,WAAY,SAAQ,yBAAW;IAKnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,eAAU,GAAG,IAAI,CAAA;QACjB,cAAS,GAAG,IAAI,CAAA;QAChB,QAAG,GAAG,KAAK,CAAA;QAOT,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAClC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAClC,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;aACjD,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAA;QAC3C,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;YACvB,IAAA,wBAAc,EAAC,IAAI,EAAE,CAAC,CAAC,CAAA;YACvB,OAAO,CAAC,CAAA;QACV,CAAC,CAAC,CAAA;QACF,kEAAkE;IACpE,CAAC;IAED,kBAAkB;IAClB,MAAM,CAAC,IAAS;QACd,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAClB,IAAA,wBAAc,EAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1B,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,IAAI,GAAG,IAAI,IAAI,IAAA,SAAG,GAAE,CAAA;QAEpB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE/E,IAAI,IAAI,GAAG,IAAI,CAAA;QAEf,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAEzB,8EAA8E;QAE9E,2CAA2C;QAC3C,IAAI,KAAK,GAAU,EAAE,CAAA;QAErB,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAC9C,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAE9C,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,yEAAyE;YACzE,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAA;YAC3C,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAA;QAC7C,CAAC;QAED,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YAChC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YAChC,gEAAgE;YAEhE,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5D,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;YAEvF,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,GAAG,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;YAC9D,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,GAAG,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;YAE9D,sBAAsB;YACtB,IAAI,GAAG,IAAI,IAAI,CAAC,WAAI,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YAEtC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC,EAAE,CAAC,CAAA;gBAChB,mBAAmB;gBACnB,SAAS;gBACT,yDAAyD;gBACzD,kBAAkB;gBAClB,SAAS;gBACT,IAAI;YACN,CAAC;QACH,CAAC;QAED,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACnB,yEAAyE;QAEzE,iCAAiC;QAEjC,IAAI,OAAO,GAAU,EAAE,CAAA;QACvB,IAAI,GAAQ,CAAA;QAGZ,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QAEjB,aAAa;QACb,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YACzC,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;YAEtB,oIAAoI;YAEpI,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;gBACxC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;YAC1C,CAAC;YAED,kEAAkE;YAClE,8DAA8D;iBACzD,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,EAAE,GAAG,EAAE,CAAA;YACT,CAAC;iBAEI,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,EAAE,GAAG,EAAE,CAAA;YACT,CAAC;iBAGI,CAAC;gBACJ,GAAG,GAAG,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,CAAC,CAAA;gBACrF,kEAAkE;gBAClE,IAAI,GAAG,IAAI,IAAI,WAAI,KAAK,GAAG,CAAC,EAAE,CAAA;gBAC9B,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAA;gBACzC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAA;gBAEzC,+CAA+C;gBAC/C,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;oBACnB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAChB,EAAE,GAAG,EAAE,CAAA;gBACT,CAAC;qBACI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBACnB,OAAO,GAAG,CAAA;gBACZ,CAAC;qBACI,CAAC;oBACJ,EAAE,GAAG,GAAG,CAAA;gBACV,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,GAAQ,CAAA;QAEZ,4EAA4E;QAE5E,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAEzB,6BAA6B;YAC7B,GAAG,GAAG,IAAA,SAAG,GAAE,CAAA;QACb,CAAC;QAED,iEAAiE;aAC5D,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9B,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;YAChB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YACvB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;QACzB,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,IAAI,WAAW,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QACtF,CAAC;QAED,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAElC,iGAAiG;QAEjG,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAiB,CAAA;QACjD,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,iBAAiB;QACf,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,GAAG,CAAC,GAAkB;QACpB,+DAA+D;QAC/D,IAAI,GAAG,GAAG,IAAA,gBAAU,EAClB,GAAG,EACH,UAAU,EACV,IAAI,EAAE,gDAAgD;QACtD,SAAS,CACV,CAAA;QAED,6BAA6B;QAC7B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAE5B,oBAAoB;QAEpB,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;YAChB,MAAM,IAAI,gBAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;QA+CC,WAAW;AA3Cb,sBAAsB;AACtB,4BAA4B;AAC5B,gCAAgC;AAChC,SAAS,IAAI,CAAC,KAAY;IAExB,IAAI,MAAM,GAAU,EAAE,CAAA;IACtB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACvD,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAA;YAC5B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAA;YAC9B,CAAC;YACD,EAAE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;QACzB,CAAC;aACI,CAAC;YACJ,MAAM,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IAGD,6DAA6D;IAC7D,iDAAiD;IACjD,IAAI,MAAM,GAAG,IAAI,CAAA;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACtC,MAAM,GAAG,KAAK,CAAA;YACd,MAAK;QACP,CAAC;IACH,CAAC;IAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IAChD,CAAC;IAED,2DAA2D;IAG3D,OAAO,MAAM,CAAA;AACf,CAAC"}
|
|
1
|
+
{"version":3,"file":"ConjunctVal.js","sourceRoot":"","sources":["../../src/val/ConjunctVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;QA6RvD,IAAI;AApRN,kCAEgB;AAIhB,gCAAmC;AACnC,oCAAgC;AAEhC,gCAEe;AAGf,+CAA2C;AAE3C,wCAKmB;AAInB,+BAEc;AAId,uCAAuC;AACvC,MAAM,WAAY,SAAQ,yBAAW;IAKnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,eAAU,GAAG,IAAI,CAAA;QACjB,cAAS,GAAG,IAAI,CAAA;QAChB,QAAG,GAAG,KAAK,CAAA;QAOT,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAClC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAClC,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;aACjD,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAA;QAC3C,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;YACvB,IAAA,wBAAc,EAAC,IAAI,EAAE,CAAC,CAAC,CAAA;YACvB,OAAO,CAAC,CAAA;QACV,CAAC,CAAC,CAAA;QACF,kEAAkE;IACpE,CAAC;IAED,kBAAkB;IAClB,MAAM,CAAC,IAAS;QACd,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAClB,IAAA,wBAAc,EAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1B,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,IAAI,GAAG,IAAI,IAAI,IAAA,SAAG,GAAE,CAAA;QAEpB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE/E,IAAI,IAAI,GAAG,IAAI,CAAA;QAEf,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAEzB,8EAA8E;QAE9E,2CAA2C;QAC3C,IAAI,KAAK,GAAU,EAAE,CAAA;QAErB,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAC9C,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAE9C,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,yEAAyE;YACzE,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAA;YAC3C,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAA;QAC7C,CAAC;QAED,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YAChC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YAChC,gEAAgE;YAEhE,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5D,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;YAEvF,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,GAAG,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;YAC9D,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,GAAG,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;YAE9D,sBAAsB;YACtB,IAAI,GAAG,IAAI,IAAI,CAAC,WAAI,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YAEtC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC,EAAE,CAAC,CAAA;gBAChB,mBAAmB;gBACnB,SAAS;gBACT,yDAAyD;gBACzD,kBAAkB;gBAClB,SAAS;gBACT,IAAI;YACN,CAAC;QACH,CAAC;QAED,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACnB,yEAAyE;QAEzE,iCAAiC;QAEjC,IAAI,OAAO,GAAU,EAAE,CAAA;QACvB,IAAI,GAAQ,CAAA;QAGZ,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QAEjB,aAAa;QACb,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YACzC,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;YAEtB,oIAAoI;YAEpI,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;gBACxC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;YAC1C,CAAC;YAED,kEAAkE;YAClE,8DAA8D;iBACzD,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,EAAE,GAAG,EAAE,CAAA;YACT,CAAC;iBAEI,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,EAAE,GAAG,EAAE,CAAA;YACT,CAAC;iBAGI,CAAC;gBACJ,GAAG,GAAG,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,CAAC,CAAA;gBACrF,kEAAkE;gBAClE,IAAI,GAAG,IAAI,IAAI,WAAI,KAAK,GAAG,CAAC,EAAE,CAAA;gBAC9B,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAA;gBACzC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAA;gBAEzC,+CAA+C;gBAC/C,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;oBACnB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAChB,EAAE,GAAG,EAAE,CAAA;gBACT,CAAC;qBACI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBACnB,OAAO,GAAG,CAAA;gBACZ,CAAC;qBACI,CAAC;oBACJ,EAAE,GAAG,GAAG,CAAA;gBACV,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,GAAQ,CAAA;QAEZ,4EAA4E;QAE5E,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAEzB,6BAA6B;YAC7B,GAAG,GAAG,IAAA,SAAG,GAAE,CAAA;QACb,CAAC;QAED,iEAAiE;aAC5D,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9B,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;YAChB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YACvB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;QACzB,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,IAAI,WAAW,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QACtF,CAAC;QAED,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAElC,iGAAiG;QAEjG,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAiB,CAAA;QACjD,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,iBAAiB;QACf,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,GAAG,CAAC,GAAkB;QACpB,+DAA+D;QAC/D,IAAI,GAAG,GAAG,IAAA,gBAAU,EAClB,GAAG,EACH,UAAU,EACV,IAAI,EAAE,gDAAgD;QACtD,SAAS,CACV,CAAA;QAED,6BAA6B;QAC7B,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAE5B,oBAAoB;QAEpB,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;YAChB,MAAM,IAAI,gBAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;QA+CC,WAAW;AA3Cb,sBAAsB;AACtB,4BAA4B;AAC5B,gCAAgC;AAChC,SAAS,IAAI,CAAC,KAAY;IAExB,IAAI,MAAM,GAAU,EAAE,CAAA;IACtB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACvD,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAA;YAC5B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAA;YAC9B,CAAC;YACD,EAAE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;QACzB,CAAC;aACI,CAAC;YACJ,MAAM,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IAGD,6DAA6D;IAC7D,iDAAiD;IACjD,IAAI,MAAM,GAAG,IAAI,CAAA;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACtC,MAAM,GAAG,KAAK,CAAA;YACd,MAAK;QACP,CAAC;IACH,CAAC;IAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IAChD,CAAC;IAED,2DAA2D;IAG3D,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,iCAAiC"}
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
import type { Val, ValSpec } from '../type';
|
|
2
|
+
import { AontuContext } from '../ctx';
|
|
3
|
+
import { FeatureVal } from './FeatureVal';
|
|
4
|
+
type Bound = {
|
|
5
|
+
v: any;
|
|
6
|
+
open: boolean;
|
|
7
|
+
};
|
|
8
|
+
type ConstraintState = {
|
|
9
|
+
domain?: 'number' | 'string';
|
|
10
|
+
kind?: any;
|
|
11
|
+
lo?: Bound;
|
|
12
|
+
hi?: Bound;
|
|
13
|
+
neqs: any[];
|
|
14
|
+
invalid?: string;
|
|
15
|
+
};
|
|
16
|
+
declare class ConstraintVal extends FeatureVal {
|
|
17
|
+
isConstraint: boolean;
|
|
18
|
+
cjo: number;
|
|
19
|
+
domain?: 'number' | 'string';
|
|
20
|
+
kind?: any;
|
|
21
|
+
lo?: Bound;
|
|
22
|
+
hi?: Bound;
|
|
23
|
+
neqs: any[];
|
|
24
|
+
invalid?: string;
|
|
25
|
+
constructor(spec: ValSpec & {
|
|
26
|
+
atom?: string;
|
|
27
|
+
state?: ConstraintState;
|
|
28
|
+
}, ctx?: AontuContext);
|
|
29
|
+
private fromAtom;
|
|
30
|
+
unify(peer: Val, ctx: AontuContext): Val;
|
|
31
|
+
private admit;
|
|
32
|
+
private meetKind;
|
|
33
|
+
private meetConstraint;
|
|
34
|
+
private finish;
|
|
35
|
+
private fail;
|
|
36
|
+
private cloneState;
|
|
37
|
+
clone(ctx: AontuContext, spec?: ValSpec): Val;
|
|
38
|
+
get canon(): string;
|
|
39
|
+
same(peer: any): boolean;
|
|
40
|
+
}
|
|
41
|
+
declare class MinConstraintVal extends ConstraintVal {
|
|
42
|
+
constructor(spec: ValSpec, ctx?: AontuContext);
|
|
43
|
+
}
|
|
44
|
+
declare class MaxConstraintVal extends ConstraintVal {
|
|
45
|
+
constructor(spec: ValSpec, ctx?: AontuContext);
|
|
46
|
+
}
|
|
47
|
+
declare class AboveConstraintVal extends ConstraintVal {
|
|
48
|
+
constructor(spec: ValSpec, ctx?: AontuContext);
|
|
49
|
+
}
|
|
50
|
+
declare class BelowConstraintVal extends ConstraintVal {
|
|
51
|
+
constructor(spec: ValSpec, ctx?: AontuContext);
|
|
52
|
+
}
|
|
53
|
+
declare class NeqConstraintVal extends ConstraintVal {
|
|
54
|
+
constructor(spec: ValSpec, ctx?: AontuContext);
|
|
55
|
+
}
|
|
56
|
+
export { ConstraintVal, MinConstraintVal, MaxConstraintVal, AboveConstraintVal, BelowConstraintVal, NeqConstraintVal, };
|
|
@@ -0,0 +1,407 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/* Copyright (c) 2025 Richard Rodger, MIT License */
|
|
3
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
4
|
+
exports.NeqConstraintVal = exports.BelowConstraintVal = exports.AboveConstraintVal = exports.MaxConstraintVal = exports.MinConstraintVal = exports.ConstraintVal = void 0;
|
|
5
|
+
const type_1 = require("../type");
|
|
6
|
+
const utility_1 = require("../utility");
|
|
7
|
+
const err_1 = require("../err");
|
|
8
|
+
const FeatureVal_1 = require("./FeatureVal");
|
|
9
|
+
const ScalarKindVal_1 = require("./ScalarKindVal");
|
|
10
|
+
const numcmp_1 = require("./numcmp");
|
|
11
|
+
// True for a scalar Val the algebra can order: a numeric leaf or a
|
|
12
|
+
// string. (Booleans and null have no order and no bounds.)
|
|
13
|
+
function numericLeaf(v) {
|
|
14
|
+
return true === v?.isScalar &&
|
|
15
|
+
(v.isInteger || v.isNumber || v.isBigInteger || v.isBigDecimal) &&
|
|
16
|
+
!(v.isNumber && Number.isNaN(v.peg));
|
|
17
|
+
}
|
|
18
|
+
function stringLeaf(v) {
|
|
19
|
+
return true === v?.isScalar && 'string' === typeof v.peg && v.isString;
|
|
20
|
+
}
|
|
21
|
+
// Scalar identity: leaf AND value, the lattice's own rule (1 and 1.0
|
|
22
|
+
// are different scalars). Exact numeric comparison decides the value
|
|
23
|
+
// half for numeric leaves.
|
|
24
|
+
function sameScalar(a, b) {
|
|
25
|
+
if (numericLeaf(a) && numericLeaf(b)) {
|
|
26
|
+
return (0, numcmp_1.towerRank)(a) === (0, numcmp_1.towerRank)(b) && 0 === (0, numcmp_1.cmpNumeric)(a, b);
|
|
27
|
+
}
|
|
28
|
+
if (stringLeaf(a) && stringLeaf(b)) {
|
|
29
|
+
return a.peg === b.peg;
|
|
30
|
+
}
|
|
31
|
+
return false;
|
|
32
|
+
}
|
|
33
|
+
// Domain-aware value comparison for bounds and neq ordering.
|
|
34
|
+
function cmpVal(domain, a, b) {
|
|
35
|
+
return 'number' === domain ? (0, numcmp_1.cmpNumeric)(a, b) : (0, numcmp_1.cmpCodePoints)(a.peg, b.peg);
|
|
36
|
+
}
|
|
37
|
+
// The numeric leaf marker a concrete scalar carries, for the kind
|
|
38
|
+
// narrowing check.
|
|
39
|
+
function leafMarker(v) {
|
|
40
|
+
return v.isBigDecimal ? ScalarKindVal_1.BigDecimal : v.isBigInteger ? ScalarKindVal_1.BigInteger :
|
|
41
|
+
v.isInteger ? ScalarKindVal_1.Integer : ScalarKindVal_1.Float;
|
|
42
|
+
}
|
|
43
|
+
class ConstraintVal extends FeatureVal_1.FeatureVal {
|
|
44
|
+
constructor(spec, ctx) {
|
|
45
|
+
super({ ...spec, peg: spec.peg ?? [] }, ctx);
|
|
46
|
+
this.isConstraint = true;
|
|
47
|
+
this.cjo = 50000;
|
|
48
|
+
this.neqs = [];
|
|
49
|
+
if (spec.state) {
|
|
50
|
+
this.domain = spec.state.domain;
|
|
51
|
+
this.kind = spec.state.kind;
|
|
52
|
+
this.lo = spec.state.lo;
|
|
53
|
+
this.hi = spec.state.hi;
|
|
54
|
+
this.neqs = spec.state.neqs;
|
|
55
|
+
this.invalid = spec.state.invalid;
|
|
56
|
+
}
|
|
57
|
+
else if (spec.atom) {
|
|
58
|
+
this.fromAtom(spec.atom, spec.peg ?? []);
|
|
59
|
+
}
|
|
60
|
+
// A residual constraint is stable, like a ScalarKindVal.
|
|
61
|
+
this.dc = type_1.DONE;
|
|
62
|
+
}
|
|
63
|
+
// Normalise one atom call (min/max/above/below/neq) into state.
|
|
64
|
+
// Arguments must be concrete orderable scalars in phase 1;
|
|
65
|
+
// reference-valued arguments are phase 4 (residuation).
|
|
66
|
+
fromAtom(atom, args) {
|
|
67
|
+
// Mark the residual invalid and report so (a plain boolean, so no
|
|
68
|
+
// void value is consumed by the callers' `return` statements).
|
|
69
|
+
const bad = (why) => {
|
|
70
|
+
this.invalid = why;
|
|
71
|
+
return true;
|
|
72
|
+
};
|
|
73
|
+
if ('neq' === atom) {
|
|
74
|
+
// Multiple arguments arrive from the func-paren grammar as one
|
|
75
|
+
// entry holding the comma group: a raw array of Vals (or an
|
|
76
|
+
// implicit ListVal via some spellings). `neq(3,1,2)` therefore
|
|
77
|
+
// has peg [[3,1,2]], and `neq([3,1,2])` means the same thing.
|
|
78
|
+
if (1 === args.length && Array.isArray(args[0])) {
|
|
79
|
+
args = args[0];
|
|
80
|
+
}
|
|
81
|
+
else if (1 === args.length && true === args[0]?.isList) {
|
|
82
|
+
args = args[0].peg;
|
|
83
|
+
}
|
|
84
|
+
if (0 === args.length) {
|
|
85
|
+
return bad('arg');
|
|
86
|
+
}
|
|
87
|
+
let domain = undefined;
|
|
88
|
+
for (const a of args) {
|
|
89
|
+
const d = numericLeaf(a) ? 'number' : stringLeaf(a) ? 'string' : undefined;
|
|
90
|
+
if (null == d || (null != domain && d !== domain)) {
|
|
91
|
+
return bad('invalid-arg');
|
|
92
|
+
}
|
|
93
|
+
domain = d;
|
|
94
|
+
}
|
|
95
|
+
this.domain = domain;
|
|
96
|
+
this.neqs = dedupSorted(domain, args);
|
|
97
|
+
return;
|
|
98
|
+
}
|
|
99
|
+
if (1 !== args.length) {
|
|
100
|
+
return bad('arg');
|
|
101
|
+
}
|
|
102
|
+
const a = args[0];
|
|
103
|
+
const domain = numericLeaf(a) ? 'number' : stringLeaf(a) ? 'string' : undefined;
|
|
104
|
+
if (null == domain) {
|
|
105
|
+
return bad('invalid-arg');
|
|
106
|
+
}
|
|
107
|
+
this.domain = domain;
|
|
108
|
+
const open = 'above' === atom || 'below' === atom;
|
|
109
|
+
const bound = { v: a, open };
|
|
110
|
+
if ('min' === atom || 'above' === atom) {
|
|
111
|
+
this.lo = bound;
|
|
112
|
+
}
|
|
113
|
+
else {
|
|
114
|
+
this.hi = bound;
|
|
115
|
+
}
|
|
116
|
+
}
|
|
117
|
+
unify(peer, ctx) {
|
|
118
|
+
const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Constraint', this, peer);
|
|
119
|
+
// Every branch of the ladder assigns, so no initialiser: a
|
|
120
|
+
// residual is stable and the ladder is total.
|
|
121
|
+
let out;
|
|
122
|
+
if (null != this.invalid) {
|
|
123
|
+
out = (0, err_1.makeNilErr)(ctx, this.invalid, this, undefined, 'constrain');
|
|
124
|
+
}
|
|
125
|
+
else if (null == peer || peer.isTop) {
|
|
126
|
+
out = this;
|
|
127
|
+
}
|
|
128
|
+
else if (peer.isNil) {
|
|
129
|
+
out = peer;
|
|
130
|
+
}
|
|
131
|
+
else if (peer.isConstraint) {
|
|
132
|
+
out = this.meetConstraint(peer, ctx);
|
|
133
|
+
}
|
|
134
|
+
else if (peer.isScalarKind) {
|
|
135
|
+
out = this.meetKind(peer, ctx);
|
|
136
|
+
}
|
|
137
|
+
else if (peer.isScalar) {
|
|
138
|
+
out = this.admit(peer, ctx);
|
|
139
|
+
}
|
|
140
|
+
else {
|
|
141
|
+
// Maps, lists, and every other non-scalar shape: no order, no
|
|
142
|
+
// membership — a conflict of the constraint family.
|
|
143
|
+
out = this.fail(ctx, peer);
|
|
144
|
+
}
|
|
145
|
+
ctx.explain && (0, utility_1.explainClose)(te, out);
|
|
146
|
+
return out;
|
|
147
|
+
}
|
|
148
|
+
// Membership: the peer scalar passes every part of the residual, or
|
|
149
|
+
// the whole meet is a located conflict.
|
|
150
|
+
admit(peer, ctx) {
|
|
151
|
+
const domainOf = numericLeaf(peer) ? 'number' :
|
|
152
|
+
stringLeaf(peer) ? 'string' : undefined;
|
|
153
|
+
if (domainOf !== this.domain) {
|
|
154
|
+
return this.fail(ctx, peer);
|
|
155
|
+
}
|
|
156
|
+
if (null != this.kind && leafMarker(peer) !== this.kind) {
|
|
157
|
+
return this.fail(ctx, peer);
|
|
158
|
+
}
|
|
159
|
+
const d = this.domain;
|
|
160
|
+
if (null != this.lo) {
|
|
161
|
+
const c = cmpVal(d, peer, this.lo.v);
|
|
162
|
+
if (c < 0 || (0 === c && this.lo.open)) {
|
|
163
|
+
return this.fail(ctx, peer);
|
|
164
|
+
}
|
|
165
|
+
}
|
|
166
|
+
if (null != this.hi) {
|
|
167
|
+
const c = cmpVal(d, peer, this.hi.v);
|
|
168
|
+
if (c > 0 || (0 === c && this.hi.open)) {
|
|
169
|
+
return this.fail(ctx, peer);
|
|
170
|
+
}
|
|
171
|
+
}
|
|
172
|
+
for (const n of this.neqs) {
|
|
173
|
+
if (sameScalar(peer, n)) {
|
|
174
|
+
return this.fail(ctx, peer);
|
|
175
|
+
}
|
|
176
|
+
}
|
|
177
|
+
return peer;
|
|
178
|
+
}
|
|
179
|
+
// Meet with a kind: `number` (or `string` on the string domain) is
|
|
180
|
+
// already implied; a numeric LEAF narrows the residual; anything
|
|
181
|
+
// else has an empty intersection with the constraint's domain.
|
|
182
|
+
meetKind(peer, ctx) {
|
|
183
|
+
const marker = peer.peg;
|
|
184
|
+
if (Number === marker) {
|
|
185
|
+
return 'number' === this.domain ? this : this.fail(ctx, peer);
|
|
186
|
+
}
|
|
187
|
+
if (String === marker) {
|
|
188
|
+
return 'string' === this.domain ? this : this.fail(ctx, peer);
|
|
189
|
+
}
|
|
190
|
+
const isLeaf = ScalarKindVal_1.Integer === marker || ScalarKindVal_1.Float === marker ||
|
|
191
|
+
ScalarKindVal_1.BigInteger === marker || ScalarKindVal_1.BigDecimal === marker;
|
|
192
|
+
if (!isLeaf || 'number' !== this.domain) {
|
|
193
|
+
return this.fail(ctx, peer);
|
|
194
|
+
}
|
|
195
|
+
if (null != this.kind && this.kind !== marker) {
|
|
196
|
+
return this.fail(ctx, peer);
|
|
197
|
+
}
|
|
198
|
+
const merged = this.cloneState();
|
|
199
|
+
merged.kind = marker;
|
|
200
|
+
return this.finish(merged, ctx, peer);
|
|
201
|
+
}
|
|
202
|
+
// Meet with another residual: interval intersection, exclusion
|
|
203
|
+
// union, kind union — then the eager emptiness rules.
|
|
204
|
+
meetConstraint(peer, ctx) {
|
|
205
|
+
if (null != peer.invalid) {
|
|
206
|
+
return (0, err_1.makeNilErr)(ctx, peer.invalid, peer, undefined, 'constrain');
|
|
207
|
+
}
|
|
208
|
+
if (null != this.domain && null != peer.domain && this.domain !== peer.domain) {
|
|
209
|
+
return this.fail(ctx, peer);
|
|
210
|
+
}
|
|
211
|
+
if (null != this.kind && null != peer.kind && this.kind !== peer.kind) {
|
|
212
|
+
return this.fail(ctx, peer);
|
|
213
|
+
}
|
|
214
|
+
const d = (this.domain ?? peer.domain);
|
|
215
|
+
const merged = this.cloneState();
|
|
216
|
+
merged.domain = d;
|
|
217
|
+
merged.kind = this.kind ?? peer.kind;
|
|
218
|
+
merged.lo = tighter(d, this.lo, peer.lo, true);
|
|
219
|
+
merged.hi = tighter(d, this.hi, peer.hi, false);
|
|
220
|
+
merged.neqs = dedupSorted(d, [...this.neqs, ...peer.neqs]);
|
|
221
|
+
return this.finish(merged, ctx, peer);
|
|
222
|
+
}
|
|
223
|
+
// Build the merged residual, applying the eager emptiness rules.
|
|
224
|
+
finish(state, ctx, peer) {
|
|
225
|
+
const d = state.domain;
|
|
226
|
+
if (null != state.lo && null != state.hi) {
|
|
227
|
+
const c = cmpVal(d, state.hi.v, state.lo.v);
|
|
228
|
+
if (c < 0 || (0 === c && (state.lo.open || state.hi.open))) {
|
|
229
|
+
return this.fail(ctx, peer);
|
|
230
|
+
}
|
|
231
|
+
}
|
|
232
|
+
const integral = ScalarKindVal_1.Integer === state.kind || ScalarKindVal_1.BigInteger === state.kind;
|
|
233
|
+
// Integral gap: an integer-narrowed interval containing no whole
|
|
234
|
+
// number is empty (integer & above(1) & below(2)).
|
|
235
|
+
if (integral && null != state.lo && null != state.hi) {
|
|
236
|
+
const lo = (0, numcmp_1.scaledOfNumeric)(state.lo.v);
|
|
237
|
+
const hi = (0, numcmp_1.scaledOfNumeric)(state.hi.v);
|
|
238
|
+
if (!lo.inf && !hi.inf) {
|
|
239
|
+
// Smallest admissible integer above/at the lower bound.
|
|
240
|
+
let n = (0, numcmp_1.scaledFloor)(lo);
|
|
241
|
+
if (!(0, numcmp_1.scaledIsIntegral)(lo) || state.lo.open) {
|
|
242
|
+
n += 1n;
|
|
243
|
+
}
|
|
244
|
+
// Largest admissible integer below/at the upper bound.
|
|
245
|
+
let m = (0, numcmp_1.scaledFloor)(hi);
|
|
246
|
+
if (state.hi.open && (0, numcmp_1.scaledIsIntegral)(hi)) {
|
|
247
|
+
m -= 1n;
|
|
248
|
+
}
|
|
249
|
+
if (m < n) {
|
|
250
|
+
return this.fail(ctx, peer);
|
|
251
|
+
}
|
|
252
|
+
}
|
|
253
|
+
}
|
|
254
|
+
// Point deletion under a narrowed leaf: a closed point interval
|
|
255
|
+
// whose single value of the narrowed leaf is excluded is empty
|
|
256
|
+
// (integer & min(3) & max(3) & neq(3)). Without a narrowing the
|
|
257
|
+
// point survives in the other leaves.
|
|
258
|
+
if (null != state.kind && null != state.lo && null != state.hi &&
|
|
259
|
+
!state.lo.open && !state.hi.open &&
|
|
260
|
+
0 === cmpVal(d, state.lo.v, state.hi.v)) {
|
|
261
|
+
for (const n of state.neqs) {
|
|
262
|
+
if (leafMarker(n) === state.kind && 0 === (0, numcmp_1.cmpNumeric)(n, state.lo.v)) {
|
|
263
|
+
return this.fail(ctx, peer);
|
|
264
|
+
}
|
|
265
|
+
}
|
|
266
|
+
}
|
|
267
|
+
const out = new ConstraintVal({ peg: [], state }, ctx);
|
|
268
|
+
out.path = this.path;
|
|
269
|
+
out.site.row = this.site.row;
|
|
270
|
+
out.site.col = this.site.col;
|
|
271
|
+
out.site.url = this.site.url;
|
|
272
|
+
// Marks ratchet across a meet (the propagateMarks rule): a fresh
|
|
273
|
+
// residual must carry both operands' type/hide marks, or a
|
|
274
|
+
// `type(min(0)) & max(10)` merge would silently unmark the field
|
|
275
|
+
// (the Go fold re-ratchets from its terms; this is the TS twin).
|
|
276
|
+
(0, utility_1.propagateMarks)(this, out);
|
|
277
|
+
(0, utility_1.propagateMarks)(peer, out);
|
|
278
|
+
return out;
|
|
279
|
+
}
|
|
280
|
+
fail(ctx, peer) {
|
|
281
|
+
return (0, err_1.makeNilErr)(ctx, 'constraint', this, peer, undefined, {
|
|
282
|
+
expected: this.canon,
|
|
283
|
+
actual: peer?.canon,
|
|
284
|
+
});
|
|
285
|
+
}
|
|
286
|
+
cloneState() {
|
|
287
|
+
return {
|
|
288
|
+
domain: this.domain,
|
|
289
|
+
kind: this.kind,
|
|
290
|
+
lo: this.lo,
|
|
291
|
+
hi: this.hi,
|
|
292
|
+
neqs: [...this.neqs],
|
|
293
|
+
invalid: this.invalid,
|
|
294
|
+
};
|
|
295
|
+
}
|
|
296
|
+
clone(ctx, spec) {
|
|
297
|
+
let out = super.clone(ctx, {
|
|
298
|
+
...(spec || {}),
|
|
299
|
+
peg: this.peg,
|
|
300
|
+
});
|
|
301
|
+
out.domain = this.domain;
|
|
302
|
+
out.kind = this.kind;
|
|
303
|
+
out.lo = this.lo;
|
|
304
|
+
out.hi = this.hi;
|
|
305
|
+
out.neqs = [...this.neqs];
|
|
306
|
+
out.invalid = this.invalid;
|
|
307
|
+
return out;
|
|
308
|
+
}
|
|
309
|
+
// The fixed canonical atom order: kind, lower, upper, neq (arguments
|
|
310
|
+
// sorted). No spaces; reparses to a conjunct that normalises back to
|
|
311
|
+
// this exact residual.
|
|
312
|
+
get canon() {
|
|
313
|
+
const parts = [];
|
|
314
|
+
if (null != this.kind) {
|
|
315
|
+
parts.push(this.kind.name.toLowerCase());
|
|
316
|
+
}
|
|
317
|
+
if (null != this.lo) {
|
|
318
|
+
parts.push((this.lo.open ? 'above(' : 'min(') + this.lo.v.canon + ')');
|
|
319
|
+
}
|
|
320
|
+
if (null != this.hi) {
|
|
321
|
+
parts.push((this.hi.open ? 'below(' : 'max(') + this.hi.v.canon + ')');
|
|
322
|
+
}
|
|
323
|
+
if (0 < this.neqs.length) {
|
|
324
|
+
parts.push('neq(' + this.neqs.map((n) => n.canon).join(',') + ')');
|
|
325
|
+
}
|
|
326
|
+
if (0 === parts.length) {
|
|
327
|
+
// Raw invalid atom: render the call so the error frame shows it.
|
|
328
|
+
return 'constraint()';
|
|
329
|
+
}
|
|
330
|
+
return parts.join('&');
|
|
331
|
+
}
|
|
332
|
+
same(peer) {
|
|
333
|
+
return true === peer?.isConstraint && this.canon === peer.canon;
|
|
334
|
+
}
|
|
335
|
+
}
|
|
336
|
+
exports.ConstraintVal = ConstraintVal;
|
|
337
|
+
// The tighter of two like-direction bounds: the higher lower bound (or
|
|
338
|
+
// lower upper bound); on the same point the OPEN bound wins, and on a
|
|
339
|
+
// full tie the tower-lowest endpoint spelling survives.
|
|
340
|
+
function tighter(domain, a, b, lower) {
|
|
341
|
+
if (null == a)
|
|
342
|
+
return b;
|
|
343
|
+
if (null == b)
|
|
344
|
+
return a;
|
|
345
|
+
const c = cmpVal(domain, a.v, b.v);
|
|
346
|
+
if (0 !== c) {
|
|
347
|
+
return (lower ? 0 < c : c < 0) ? a : b;
|
|
348
|
+
}
|
|
349
|
+
if (a.open !== b.open) {
|
|
350
|
+
return a.open ? a : b;
|
|
351
|
+
}
|
|
352
|
+
if ('number' === domain && (0, numcmp_1.towerRank)(b.v) < (0, numcmp_1.towerRank)(a.v)) {
|
|
353
|
+
return b;
|
|
354
|
+
}
|
|
355
|
+
return a;
|
|
356
|
+
}
|
|
357
|
+
// Sort excluded scalars for canon (numeric: by point then tower rank;
|
|
358
|
+
// string: code-point order) and drop identity duplicates.
|
|
359
|
+
function dedupSorted(domain, neqs) {
|
|
360
|
+
const sorted = [...neqs].sort((a, b) => {
|
|
361
|
+
const c = cmpVal(domain, a, b);
|
|
362
|
+
if (0 !== c)
|
|
363
|
+
return c;
|
|
364
|
+
return 'number' === domain ? (0, numcmp_1.towerRank)(a) - (0, numcmp_1.towerRank)(b) : 0;
|
|
365
|
+
});
|
|
366
|
+
const out = [];
|
|
367
|
+
for (const n of sorted) {
|
|
368
|
+
if (0 === out.length || !sameScalar(out[out.length - 1], n)) {
|
|
369
|
+
out.push(n);
|
|
370
|
+
}
|
|
371
|
+
}
|
|
372
|
+
return out;
|
|
373
|
+
}
|
|
374
|
+
// The five atom classes registered in the parser's funcMap: each is a
|
|
375
|
+
// ConstraintVal that knows its atom name. Constructed by the
|
|
376
|
+
// func-paren handler as `new funcval({peg: args})`.
|
|
377
|
+
class MinConstraintVal extends ConstraintVal {
|
|
378
|
+
constructor(spec, ctx) {
|
|
379
|
+
super({ ...spec, atom: 'min' }, ctx);
|
|
380
|
+
}
|
|
381
|
+
}
|
|
382
|
+
exports.MinConstraintVal = MinConstraintVal;
|
|
383
|
+
class MaxConstraintVal extends ConstraintVal {
|
|
384
|
+
constructor(spec, ctx) {
|
|
385
|
+
super({ ...spec, atom: 'max' }, ctx);
|
|
386
|
+
}
|
|
387
|
+
}
|
|
388
|
+
exports.MaxConstraintVal = MaxConstraintVal;
|
|
389
|
+
class AboveConstraintVal extends ConstraintVal {
|
|
390
|
+
constructor(spec, ctx) {
|
|
391
|
+
super({ ...spec, atom: 'above' }, ctx);
|
|
392
|
+
}
|
|
393
|
+
}
|
|
394
|
+
exports.AboveConstraintVal = AboveConstraintVal;
|
|
395
|
+
class BelowConstraintVal extends ConstraintVal {
|
|
396
|
+
constructor(spec, ctx) {
|
|
397
|
+
super({ ...spec, atom: 'below' }, ctx);
|
|
398
|
+
}
|
|
399
|
+
}
|
|
400
|
+
exports.BelowConstraintVal = BelowConstraintVal;
|
|
401
|
+
class NeqConstraintVal extends ConstraintVal {
|
|
402
|
+
constructor(spec, ctx) {
|
|
403
|
+
super({ ...spec, atom: 'neq' }, ctx);
|
|
404
|
+
}
|
|
405
|
+
} /* node:coverage ignore next 11 */
|
|
406
|
+
exports.NeqConstraintVal = NeqConstraintVal;
|
|
407
|
+
//# sourceMappingURL=ConstraintVal.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ConstraintVal.js","sourceRoot":"","sources":["../../src/val/ConstraintVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAuCpD,kCAEgB;AAMhB,wCAImB;AAEnB,gCAAmC;AAEnC,6CAAyC;AAEzC,mDAKwB;AAExB,qCAOiB;AAkBjB,mEAAmE;AACnE,2DAA2D;AAC3D,SAAS,WAAW,CAAC,CAAM;IACzB,OAAO,IAAI,KAAK,CAAC,EAAE,QAAQ;QACzB,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,CAAC;QAC/D,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,UAAU,CAAC,CAAM;IACxB,OAAO,IAAI,KAAK,CAAC,EAAE,QAAQ,IAAI,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAA;AACxE,CAAC;AAGD,qEAAqE;AACrE,qEAAqE;AACrE,2BAA2B;AAC3B,SAAS,UAAU,CAAC,CAAM,EAAE,CAAM;IAChC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO,IAAA,kBAAS,EAAC,CAAC,CAAC,KAAK,IAAA,kBAAS,EAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAA,mBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAChE,CAAC;IACD,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA;IACxB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAGD,6DAA6D;AAC7D,SAAS,MAAM,CAAC,MAA2B,EAAE,CAAM,EAAE,CAAM;IACzD,OAAO,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,IAAA,mBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,sBAAa,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;AAC7E,CAAC;AAGD,kEAAkE;AAClE,mBAAmB;AACnB,SAAS,UAAU,CAAC,CAAM;IACxB,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,0BAAU,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,0BAAU,CAAC,CAAC;QAChE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAO,CAAC,CAAC,CAAC,qBAAK,CAAA;AACjC,CAAC;AAGD,MAAM,aAAc,SAAQ,uBAAU;IAWpC,YACE,IAA0D,EAC1D,GAAkB;QAElB,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QAd9C,iBAAY,GAAG,IAAI,CAAA;QACnB,QAAG,GAAG,KAAK,CAAA;QAMX,SAAI,GAAU,EAAE,CAAA;QASd,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;YAC/B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAA;YAC3B,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAA;YACvB,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAA;YACvB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAA;YAC3B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAA;QACnC,CAAC;aACI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAG,IAAI,CAAC,GAAa,IAAI,EAAE,CAAC,CAAA;QACrD,CAAC;QAED,yDAAyD;QACzD,IAAI,CAAC,EAAE,GAAG,WAAI,CAAA;IAChB,CAAC;IAGD,gEAAgE;IAChE,2DAA2D;IAC3D,wDAAwD;IAChD,QAAQ,CAAC,IAAY,EAAE,IAAW;QACxC,kEAAkE;QAClE,+DAA+D;QAC/D,MAAM,GAAG,GAAG,CAAC,GAAW,EAAW,EAAE;YACnC,IAAI,CAAC,OAAO,GAAG,GAAG,CAAA;YAClB,OAAO,IAAI,CAAA;QACb,CAAC,CAAA;QAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,+DAA+D;YAC/D,4DAA4D;YAC5D,+DAA+D;YAC/D,8DAA8D;YAC9D,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChD,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;iBACI,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,KAAM,IAAI,CAAC,CAAC,CAAS,EAAE,MAAM,EAAE,CAAC;gBAChE,IAAI,GAAI,IAAI,CAAC,CAAC,CAAS,CAAC,GAAG,CAAA;YAC7B,CAAC;YACD,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACtB,OAAO,GAAG,CAAC,KAAK,CAAC,CAAA;YACnB,CAAC;YACD,IAAI,MAAM,GAAoC,SAAS,CAAA;YACvD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;gBAC1E,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,MAAM,IAAI,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;oBAClD,OAAO,GAAG,CAAC,aAAa,CAAC,CAAA;gBAC3B,CAAC;gBACD,MAAM,GAAG,CAAC,CAAA;YACZ,CAAC;YACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;YACpB,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC,MAAa,EAAE,IAAI,CAAC,CAAA;YAC5C,OAAM;QACR,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACtB,OAAO,GAAG,CAAC,KAAK,CAAC,CAAA;QACnB,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACjB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;QAC/E,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,OAAO,GAAG,CAAC,aAAa,CAAC,CAAA;QAC3B,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QAEpB,MAAM,IAAI,GAAG,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,CAAA;QACjD,MAAM,KAAK,GAAU,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAA;QACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACvC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAA;QACjB,CAAC;aACI,CAAC;YACJ,IAAI,CAAC,EAAE,GAAG,KAAK,CAAA;QACjB,CAAC;IACH,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAEjF,2DAA2D;QAC3D,8CAA8C;QAC9C,IAAI,GAAQ,CAAA;QAEZ,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACzB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;QACnE,CAAC;aACI,IAAI,IAAI,IAAI,IAAI,IAAK,IAAY,CAAC,KAAK,EAAE,CAAC;YAC7C,GAAG,GAAG,IAAI,CAAA;QACZ,CAAC;aACI,IAAK,IAAY,CAAC,KAAK,EAAE,CAAC;YAC7B,GAAG,GAAG,IAAI,CAAA;QACZ,CAAC;aACI,IAAK,IAAY,CAAC,YAAY,EAAE,CAAC;YACpC,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,IAAqB,EAAE,GAAG,CAAC,CAAA;QACvD,CAAC;aACI,IAAK,IAAY,CAAC,YAAY,EAAE,CAAC;YACpC,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAChC,CAAC;aACI,IAAK,IAAY,CAAC,QAAQ,EAAE,CAAC;YAChC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC7B,CAAC;aACI,CAAC;YACJ,8DAA8D;YAC9D,oDAAoD;YACpD,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC5B,CAAC;QAED,GAAG,CAAC,OAAO,IAAI,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAEpC,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,oEAAoE;IACpE,wCAAwC;IAChC,KAAK,CAAC,IAAS,EAAE,GAAiB;QACxC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;QAEzC,IAAI,QAAQ,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC7B,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC7B,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,MAA6B,CAAA;QAC5C,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YACpC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YACpC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBACxB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAGD,mEAAmE;IACnE,iEAAiE;IACjE,+DAA+D;IACvD,QAAQ,CAAC,IAAS,EAAE,GAAiB;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAA;QAEvB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,OAAO,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC/D,CAAC;QACD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,OAAO,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC/D,CAAC;QACD,MAAM,MAAM,GAAG,uBAAO,KAAK,MAAM,IAAI,qBAAK,KAAK,MAAM;YACnD,0BAAU,KAAK,MAAM,IAAI,0BAAU,KAAK,MAAM,CAAA;QAChD,IAAI,CAAC,MAAM,IAAI,QAAQ,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC7B,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9C,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC7B,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;QAChC,MAAM,CAAC,IAAI,GAAG,MAAM,CAAA;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IACvC,CAAC;IAGD,+DAA+D;IAC/D,sDAAsD;IAC9C,cAAc,CAAC,IAAmB,EAAE,GAAiB;QAC3D,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACzB,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;QACpE,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC9E,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC7B,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACtE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC7B,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAwB,CAAA;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;QAChC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;QACjB,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAA;QACpC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QAC9C,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAC/C,MAAM,CAAC,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAE1D,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IACvC,CAAC;IAGD,iEAAiE;IACzD,MAAM,CAAC,KAAsB,EAAE,GAAiB,EAAE,IAAS;QACjE,MAAM,CAAC,GAAG,KAAK,CAAC,MAA6B,CAAA;QAE7C,IAAI,IAAI,IAAI,KAAK,CAAC,EAAE,IAAI,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YAC3C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,uBAAO,KAAK,KAAK,CAAC,IAAI,IAAI,0BAAU,KAAK,KAAK,CAAC,IAAI,CAAA;QAEpE,iEAAiE;QACjE,mDAAmD;QACnD,IAAI,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,EAAE,IAAI,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;YACrD,MAAM,EAAE,GAAG,IAAA,wBAAe,EAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YACtC,MAAM,EAAE,GAAG,IAAA,wBAAe,EAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YACtC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;gBACvB,wDAAwD;gBACxD,IAAI,CAAC,GAAG,IAAA,oBAAW,EAAC,EAAE,CAAC,CAAA;gBACvB,IAAI,CAAC,IAAA,yBAAgB,EAAC,EAAE,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;oBAC3C,CAAC,IAAI,EAAE,CAAA;gBACT,CAAC;gBACD,uDAAuD;gBACvD,IAAI,CAAC,GAAG,IAAA,oBAAW,EAAC,EAAE,CAAC,CAAA;gBACvB,IAAI,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,IAAA,yBAAgB,EAAC,EAAE,CAAC,EAAE,CAAC;oBAC1C,CAAC,IAAI,EAAE,CAAA;gBACT,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACV,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,+DAA+D;QAC/D,gEAAgE;QAChE,sCAAsC;QACtC,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,IAAI,IAAI,KAAK,CAAC,EAAE,IAAI,IAAI,IAAI,KAAK,CAAC,EAAE;YAC5D,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI;YAChC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC3B,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,IAAA,mBAAU,EAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,aAAa,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,CAAA;QACtD,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,iEAAiE;QACjE,2DAA2D;QAC3D,iEAAiE;QACjE,iEAAiE;QACjE,IAAA,wBAAc,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACzB,IAAA,wBAAc,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACzB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGO,IAAI,CAAC,GAAiB,EAAE,IAAS;QACvC,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1D,QAAQ,EAAE,IAAI,CAAC,KAAK;YACpB,MAAM,EAAG,IAAY,EAAE,KAAK;SAC7B,CAAC,CAAA;IACJ,CAAC;IAGO,UAAU;QAChB,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YACpB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAA;IACH,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE;YAC1B,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;YACf,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAmB,CAAA;QACpB,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QACxB,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAA;QAChB,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAA;QAChB,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;QACzB,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;QAC1B,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,qEAAqE;IACrE,qEAAqE;IACrE,uBAAuB;IACvB,IAAI,KAAK;QACP,MAAM,KAAK,GAAa,EAAE,CAAA;QAC1B,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAE,IAAI,CAAC,IAAY,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;QACnD,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAA;QACzE,CAAC;QACD,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACvB,iEAAiE;YACjE,OAAO,cAAc,CAAA;QACvB,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxB,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,KAAK,IAAI,EAAE,YAAY,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAA;IACjE,CAAC;CAEF;QAiFC,aAAa;AA9Ef,uEAAuE;AACvE,sEAAsE;AACtE,wDAAwD;AACxD,SAAS,OAAO,CACd,MAA2B,EAC3B,CAAoB,EACpB,CAAoB,EACpB,KAAc;IAEd,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,CAAC,CAAA;IACvB,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,CAAC,CAAA;IACvB,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvB,CAAC;IACD,IAAI,QAAQ,KAAK,MAAM,IAAI,IAAA,kBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAA,kBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,OAAO,CAAC,CAAA;IACV,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAGD,sEAAsE;AACtE,0DAA0D;AAC1D,SAAS,WAAW,CAAC,MAA2B,EAAE,IAAW;IAC3D,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE;QAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9B,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QACrB,OAAO,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,IAAA,kBAAS,EAAC,CAAC,CAAC,GAAG,IAAA,kBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAU,EAAE,CAAA;IACrB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,KAAK,GAAG,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5D,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,sEAAsE;AACtE,6DAA6D;AAC7D,oDAAoD;AACpD,MAAM,gBAAiB,SAAQ,aAAa;IAC1C,YAAY,IAAa,EAAE,GAAkB;QAC3C,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;CACF;QA6BC,gBAAgB;AA3BlB,MAAM,gBAAiB,SAAQ,aAAa;IAC1C,YAAY,IAAa,EAAE,GAAkB;QAC3C,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;CACF;QAwBC,gBAAgB;AAtBlB,MAAM,kBAAmB,SAAQ,aAAa;IAC5C,YAAY,IAAa,EAAE,GAAkB;QAC3C,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;IACxC,CAAC;CACF;QAmBC,kBAAkB;AAjBpB,MAAM,kBAAmB,SAAQ,aAAa;IAC5C,YAAY,IAAa,EAAE,GAAkB;QAC3C,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;IACxC,CAAC;CACF;QAcC,kBAAkB;AAZpB,MAAM,gBAAiB,SAAQ,aAAa;IAC1C,YAAY,IAAa,EAAE,GAAkB;QAC3C,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;CACF,CAAC,kCAAkC;QASlC,gBAAgB"}
|
package/dist/val/CopyFuncVal.js
CHANGED