@fncts/base 0.0.17 → 0.0.19
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/_cjs/collection/compat/Record/instances.cjs +1 -1
- package/_cjs/collection/weak/IterableWeakMap.cjs +7 -1
- package/_cjs/collection/weak/IterableWeakMap.cjs.map +1 -1
- package/_cjs/data/Branded/definition.cjs +10 -9
- package/_cjs/data/Branded/definition.cjs.map +1 -1
- package/_cjs/data/Decoder/api.cjs.map +1 -1
- package/_cjs/data/Decoder/definition.cjs +1 -0
- package/_cjs/data/Decoder/definition.cjs.map +1 -1
- package/_mjs/collection/compat/Record/instances.mjs +1 -1
- package/_mjs/collection/weak/IterableWeakMap.mjs +3 -1
- package/_mjs/collection/weak/IterableWeakMap.mjs.map +1 -1
- package/_mjs/data/Branded/definition.mjs +7 -6
- package/_mjs/data/Branded/definition.mjs.map +1 -1
- package/_mjs/data/Decoder/api.mjs.map +1 -1
- package/_mjs/data/Decoder/definition.mjs +1 -0
- package/_mjs/data/Decoder/definition.mjs.map +1 -1
- package/_src/collection/weak/IterableWeakMap.ts +1 -1
- package/_src/data/Branded/definition.ts +27 -24
- package/_src/data/Branded/derivations.ts +10 -10
- package/_src/data/Decoder/api.ts +1 -1
- package/_src/data/Decoder/definition.ts +2 -2
- package/_src/global.ts +1 -1
- package/collection/compat/Array/definition.d.ts +2 -2
- package/collection/compat/Array/derivations.d.ts +1 -1
- package/collection/compat/Record/instances.d.ts +1 -1
- package/collection/immutable/Conc/definition.d.ts +1 -1
- package/collection/immutable/Conc/derivations.d.ts +1 -1
- package/collection/immutable/HashMap/definition.d.ts +1 -1
- package/collection/immutable/HashMap/internal.d.ts +3 -3
- package/collection/immutable/HashSet/definition.d.ts +1 -1
- package/collection/immutable/ImmutableArray/definition.d.ts +1 -1
- package/collection/immutable/ImmutableArray/derivations.d.ts +1 -1
- package/collection/immutable/ImmutableNonEmptyArray/derivations.d.ts +1 -1
- package/collection/immutable/List/definition.d.ts +1 -1
- package/collection/immutable/RoseTree/definition.d.ts +1 -1
- package/collection/immutable/SortedMap/node.d.ts +2 -2
- package/collection/immutable/Vector/definition.d.ts +1 -1
- package/collection/immutable/Vector/internal.d.ts +2 -2
- package/collection/weak/IterableWeakMap.d.ts +1 -1
- package/control/Eval/definition.d.ts +2 -2
- package/control/Z/definition.d.ts +3 -3
- package/data/Branded/definition.d.ts +25 -22
- package/data/Branded/derivations.d.ts +7 -7
- package/data/Byte.d.ts +1 -1
- package/data/CaseClass.d.ts +1 -1
- package/data/Cause/definition.d.ts +2 -2
- package/data/Datum/definition.d.ts +2 -2
- package/data/DatumEither/definition.d.ts +1 -1
- package/data/DecodeError/definition.d.ts +1 -1
- package/data/Decoder/api.d.ts +1 -1
- package/data/Decoder/definition.d.ts +3 -3
- package/data/Duration/definition.d.ts +1 -1
- package/data/Either/definition.d.ts +1 -1
- package/data/Either/instances.d.ts +1 -1
- package/data/EitherT/definition.d.ts +1 -1
- package/data/Environment/api.d.ts +1 -1
- package/data/Environment/definition.d.ts +1 -1
- package/data/ExecutionStrategy.d.ts +1 -1
- package/data/Exit/definition.d.ts +2 -2
- package/data/FiberId/definition.d.ts +3 -3
- package/data/Maybe/definition.d.ts +1 -1
- package/data/Maybe/instances.d.ts +1 -1
- package/data/Patch/definition.d.ts +2 -2
- package/data/Struct/api.d.ts +5 -5
- package/data/Tag/definition.d.ts +1 -1
- package/data/These/definition.d.ts +2 -2
- package/data/These/instances.d.ts +1 -1
- package/data/TraceElement/definition.d.ts +1 -1
- package/data/Zipped.d.ts +2 -2
- package/data/exceptions/InterruptedException.d.ts +1 -1
- package/global.d.ts +1 -1
- package/json/EitherJson.d.ts +2 -2
- package/json/MaybeJson.d.ts +2 -2
- package/json/TheseJson.d.ts +2 -2
- package/optics/At/definition.d.ts +1 -1
- package/optics/Index/definition.d.ts +1 -1
- package/package.json +3 -3
- package/typeclass/Applicative.d.ts +1 -1
- package/typeclass/Apply.d.ts +2 -2
- package/typeclass/Equatable/fast-equals.d.ts +4 -4
- package/typeclass/Guard/definition.d.ts +1 -1
- package/typeclass/Has.d.ts +1 -1
- package/typeclass/HashEq.d.ts +1 -1
- package/typeclass/Monoid.d.ts +1 -1
- package/typeclass/Ordering.d.ts +1 -1
- package/typeclass/Showable/show.d.ts +4 -4
- package/typeclass/Showable/styles.d.ts +5 -5
- package/types/extractions.d.ts +8 -8
- package/types/utility.d.ts +4 -4
- package/util/PCGRandom.d.ts +2 -2
- package/util/predicates.d.ts +1 -1
- package/util/rand/distribution/Distribution.d.ts +1 -1
- package/util/rand/distribution/internals/ArrayInt.d.ts +2 -2
|
@@ -81,7 +81,7 @@ function deriveGuard(...[key, value, requiredKeys]) {
|
|
|
81
81
|
|
|
82
82
|
function deriveDecoder(...[keyGuard, valueDecoder, requiredKeysRecord]) {
|
|
83
83
|
return tsplus_module_8.makeDecoder(u => {
|
|
84
|
-
const recordResult = tsplus_module_2.
|
|
84
|
+
const recordResult = tsplus_module_2.record.decode(u);
|
|
85
85
|
|
|
86
86
|
if (tsplus_module_3.isLeft(recordResult)) {
|
|
87
87
|
return recordResult;
|
|
@@ -5,11 +5,17 @@ Object.defineProperty(exports, "__esModule", {
|
|
|
5
5
|
});
|
|
6
6
|
exports.IterableWeakMap = void 0;
|
|
7
7
|
|
|
8
|
+
var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/Iterable/constructors"));
|
|
9
|
+
|
|
10
|
+
function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
|
|
11
|
+
|
|
12
|
+
function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
|
|
13
|
+
|
|
8
14
|
/**
|
|
9
15
|
* @tsplus type fncts.IterableWeakMap
|
|
10
16
|
*/
|
|
11
17
|
class IterableWeakMap {
|
|
12
|
-
constructor(iterable) {
|
|
18
|
+
constructor(iterable = tsplus_module_1.empty()) {
|
|
13
19
|
this.weakMap = new WeakMap();
|
|
14
20
|
this.refSet = new Set();
|
|
15
21
|
this.finalizationGroup = new FinalizationRegistry(IterableWeakMap.cleanup);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"IterableWeakMap.cjs","mappings":"
|
|
1
|
+
{"version":3,"file":"IterableWeakMap.cjs","mappings":";;;;;;;;;;;;;AAAA;;;AAGM,MAAOA,eAAP,CAAsB;EAW1BC,YAAYC,WAAsCC,uBAAlD,EAAkE;IAV1D,eAAoB,IAAIC,OAAJ,EAApB;IACA,cAAoB,IAAIC,GAAJ,EAApB;IACA,yBAAoB,IAAIC,oBAAJ,CAC1BN,eAAe,CAACO,OADU,CAApB;;IASN,KAAK,MAAM,CAACC,GAAD,EAAMC,KAAN,CAAX,IAA2BP,QAA3B,EAAqC;MACnC,KAAKQ,GAAL,CAASF,GAAT,EAAcC,KAAd;IACD;EACF;;EARqB,OAAPF,OAAO,CAAmB;IAAEI,GAAF;IAAOD;EAAP,CAAnB,EAA0E;IAC9FA,GAAG,CAACE,MAAJ,CAAWD,GAAX;EACD;;EAQDD,GAAG,CAAaF,GAAb,EAAqBC,KAArB,EAA6B;IAC9B,MAAME,GAAG,GAAG,IAAIE,OAAJ,CAAYL,GAAZ,CAAZ;IAEA,KAAKM,OAAL,CAAaJ,GAAb,CAAiBF,GAAjB,EAAsB;MAAEC,KAAF;MAASE;IAAT,CAAtB;IACA,KAAKI,MAAL,CAAYC,GAAZ,CAAgBL,GAAhB;IACA,KAAKM,iBAAL,CAAuBC,QAAvB,CAAgCV,GAAhC,EAAqC;MAAEE,GAAG,EAAE,KAAKK,MAAZ;MAAoBJ;IAApB,CAArC,EAAgEA,GAAhE;IACA,OAAO,IAAP;EACD;;EAEDQ,GAAG,CAAaX,GAAb,EAAmB;IACpB,MAAMY,KAAK,GAAG,KAAKN,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAd;IACA,OAAOY,KAAK,IAAIA,KAAK,CAACX,KAAtB;EACD;;EAEDG,MAAM,CAAaJ,GAAb,EAAmB;IACvB,MAAMY,KAAK,GAAG,KAAKN,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAd;;IACA,IAAI,CAACY,KAAL,EAAY;MACV,OAAO,KAAP;IACD;;IAED,KAAKN,OAAL,CAAaF,MAAb,CAAoBJ,GAApB;IACA,KAAKO,MAAL,CAAYH,MAAZ,CAAmBQ,KAAK,CAACT,GAAzB;IACA,KAAKM,iBAAL,CAAuBI,UAAvB,CAAkCD,KAAK,CAACT,GAAxC;IACA,OAAO,IAAP;EACD;;EAEDW,GAAG,CAAad,GAAb,EAAmB;IACpB,OAAO,KAAKM,OAAL,CAAaQ,GAAb,CAAiBd,GAAjB,CAAP;EACD;;EAEDe,KAAK;IACH,KAAK,MAAMZ,GAAX,IAAkB,KAAKI,MAAvB,EAA+B;MAC7B,MAAMP,GAAG,GAAGG,GAAG,CAACa,KAAJ,EAAZ;MACA,IAAI,CAAChB,GAAL,EAAU;MACV,MAAMY,KAAK,GAAG,KAAKN,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAd;MACA,KAAKM,OAAL,CAAaF,MAAb,CAAoBJ,GAApB;MACA,KAAKO,MAAL,CAAYH,MAAZ,CAAmBQ,KAAK,CAACT,GAAzB;MACA,KAAKM,iBAAL,CAAuBI,UAAvB,CAAkCD,KAAK,CAACT,GAAxC;IACD;;IACD,KAAKI,MAAL,CAAYQ,KAAZ;EACD;;EAEDE,OAAO,CAACC,UAAD,EAAyDC,OAAzD,EAAwF;IAC7FA,OAAO,GAAGA,OAAO,IAAI,IAArB;;IACA,KAAK,MAAMC,EAAX,IAAiB,IAAjB,EAAuB;MACrBF,UAAU,CAACE,EAAE,CAAC,CAAD,CAAH,EAAQA,EAAE,CAAC,CAAD,CAAV,EAAeD,OAAf,CAAV;IACD;EACF;;EAEO,IAAJE,IAAI;IACN,IAAIC,CAAC,GAAG,CAAR;;IACA,KAAK,MAAMnB,GAAX,IAAkB,KAAKI,MAAvB,EAA+B;MAC7B,MAAMP,GAAG,GAAGG,GAAG,CAACa,KAAJ,EAAZ;MACA,IAAI,CAAChB,GAAL,EAAU;MACVsB,CAAC;IACF;;IACD,OAAOA,CAAP;EACD;;EAEe,CAAfC,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,KAAKC,OAAL,EAAP;EACD;;EAEsB,KAAlBF,MAAM,CAACG,WAAW,IAAC;IACtB,OAAO,KAAKpB,OAAL,CAAaiB,MAAM,CAACG,WAApB,CAAP;EACD;;EAEO,CAAPD,OAAO;IACN,KAAK,MAAMtB,GAAX,IAAkB,KAAKI,MAAvB,EAA+B;MAC7B,MAAMP,GAAG,GAAGG,GAAG,CAACa,KAAJ,EAAZ;MACA,IAAI,CAAChB,GAAL,EAAU;MACV,MAAM;QAAEC;MAAF,IAAY,KAAKK,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAlB;MACA,MAAM,CAACA,GAAD,EAAMC,KAAN,CAAN;IACD;EACF;;EAEI,CAAJ0B,IAAI;IACH,KAAK,MAAM,CAAC3B,GAAD,CAAX,IAAoB,IAApB,EAA0B;MACxB,MAAMA,GAAN;IACD;EACF;;EAEM,CAAN4B,MAAM;IACL,KAAK,MAAM,GAAG3B,KAAH,CAAX,IAAwB,IAAxB,EAA8B;MAC5B,MAAMA,KAAN;IACD;EACF;;AAvGyB","names":["IterableWeakMap","constructor","iterable","tsplus_module_1","WeakMap","Set","FinalizationRegistry","cleanup","key","value","set","ref","delete","WeakRef","weakMap","refSet","add","finalizationGroup","register","get","entry","unregister","has","clear","deref","forEach","callbackfn","thisArg","kv","size","n","Symbol","iterator","entries","toStringTag","keys","values"],"sourceRoot":"","sources":["../../../_src/collection/weak/IterableWeakMap.ts"],"sourcesContent":[null]}
|
|
@@ -3,27 +3,28 @@
|
|
|
3
3
|
Object.defineProperty(exports, "__esModule", {
|
|
4
4
|
value: true
|
|
5
5
|
});
|
|
6
|
-
exports.
|
|
7
|
-
exports.
|
|
6
|
+
exports.Validation = void 0;
|
|
7
|
+
exports.makeValidation = makeValidation;
|
|
8
8
|
|
|
9
9
|
/**
|
|
10
|
-
* @tsplus type fncts.
|
|
11
|
-
* @tsplus companion fncts.
|
|
10
|
+
* @tsplus type fncts.Validation
|
|
11
|
+
* @tsplus companion fncts.ValidationOps
|
|
12
|
+
* @tsplus derive nominal
|
|
12
13
|
*/
|
|
13
|
-
class
|
|
14
|
+
class Validation {
|
|
14
15
|
constructor(validate) {
|
|
15
16
|
this.validate = validate;
|
|
16
17
|
}
|
|
17
18
|
|
|
18
19
|
}
|
|
19
20
|
/**
|
|
20
|
-
* @tsplus static fncts.
|
|
21
|
+
* @tsplus static fncts.ValidationOps __call
|
|
21
22
|
*/
|
|
22
23
|
|
|
23
24
|
|
|
24
|
-
exports.
|
|
25
|
+
exports.Validation = Validation;
|
|
25
26
|
|
|
26
|
-
function
|
|
27
|
-
return new
|
|
27
|
+
function makeValidation(p) {
|
|
28
|
+
return new Validation(p);
|
|
28
29
|
}
|
|
29
30
|
//# sourceMappingURL=definition.cjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.cjs","mappings":";;;;;;;;
|
|
1
|
+
{"version":3,"file":"definition.cjs","mappings":";;;;;;;;AAuCA;;;;;AAKM,MAAOA,UAAP,CAAiB;EACrBC,YAAqBC,QAArB,EAAmE;IAA9C;EAAkD;;AADlD;AAIvB;;;;;;;AAGM,SAAUC,cAAV,CAA8CC,CAA9C,EAA6D;EACjE,OAAO,IAAIJ,UAAJ,CAAeI,CAAf,CAAP;AACD","names":["Validation","constructor","validate","makeValidation","p"],"sourceRoot":"","sources":["../../../_src/data/Branded/definition.ts"],"sourcesContent":[null]}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA;;;;;;AAYA;;;AAGM,SAAUA,MAAV,
|
|
1
|
+
{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA;;;;;;AAYA;;;AAGM,SAAUA,MAAV,CAAoBC,IAApB,EAAsCC,KAAtC,EAAoD;EACxD,OAAOD,IAAI,CAACD,MAAL,CAAYE,KAAZ,CAAP;AACD;;AAEK,SAAUC,SAAV,CAAuBC,KAAvB,EAAwCC,OAAxC,EAA8EC,KAA9E,EAA2F;EAC/F,OAAOC,4BAASC,CAAD,IAAQJ,KAAK,CAACK,EAAN,CAASD,CAAT,IAAcE,sBAAYF,CAAZ,CAAd,GAA+BE,qBAAWL,OAAO,CAACG,CAAD,CAAlB,CAA/C,EAAwEF,KAAxE,CAAP;AACD;AAED;;;;;AAGO,MAAMK,MAAM,gBAAoBR,SAAS,wBAAgBS,CAAD,IAAO,IAAIC,2BAAJ,CAAmBD,CAAnB,EAAsB,QAAtB,CAAtB,EAAuD,QAAvD,CAAzC;AAEP;;;;;AAGO,MAAME,MAAM,gBAAoBX,SAAS,wBAAgBS,CAAD,IAAO,IAAIC,2BAAJ,CAAmBD,CAAnB,EAAsB,QAAtB,CAAtB,EAAuD,QAAvD,CAAzC;AAEP;;;;;AAGO,MAAMG,OAAO,gBAAqBZ,SAAS,wBAAiBS,CAAD,IAAO,IAAIC,2BAAJ,CAAmBD,CAAnB,EAAsB,SAAtB,CAAvB,EAAyD,SAAzD,CAA3C;AAEP;;;;;;AAIO,MAAMI,wBAAsBb,SAAS,wBAAgBS,CAAD,IAAO,IAAIC,2BAAJ,CAAmBD,CAAnB,EAAsB,IAAtB,CAAtB,EAAmD,IAAnD,CAArC;MAAMK,MAAM;AAEnB;;;;;;AAGM,SAAUC,UAAV,CAAwBC,CAAxB,EAAwD;EAC5D,IAAIC,MAAJ;EACA,MAAMC,OAAO,GAAed,4BAASK,CAAD,IAAM;IACxC,IAAI,CAACQ,MAAL,EAAa;MACXA,MAAM,GAAGD,CAAC,CAACE,OAAD,CAAV;IACD;;IACD,OAAOD,MAAM,CAACpB,MAAP,CAAcY,CAAd,CAAP;EACD,CAL2B,EAKzB,aALyB,CAA5B;EAMA,OAAOS,OAAP;AACD;AAED;;;;;AAGM,SAAUC,aAAV,CACJ,GAAG,CAACC,KAAD,CADC,EACuG;EAE3G,OAAOhB,4BACJK,CAAD,IAAQA,CAAC,KAAKW,KAAN,GAAcb,sBAAYE,CAAZ,CAAd,GAAoCF,qBAAW,IAAIc,yBAAJ,CAAiBZ,CAAjB,EAAoBa,uBAAOF,KAAP,CAApB,CAAX,CADvC,EAELA,KAAK,CAACG,QAAN,EAFK,CAAP;AAID;AAED;;;;;AAGM,SAAUC,WAAV,CACJ,GAAGC,QADC,EAGH;EAED,MAAMtB,KAAK,GAAGsB,QAAQ,CAACC,GAAT,CAAcR,OAAD,IAAaA,OAAO,CAACf,KAAlC,EAAyCwB,IAAzC,CAA8C,KAA9C,CAAd;EACA,OAAOvB,4BAASK,CAAD,IAAM;IACnB,MAAMmB,MAAM,GAAuB,EAAnC;;IACA,KAAK,MAAMV,OAAX,IAAsBO,QAAtB,EAAgC;MAC9B,MAAMI,MAAM,GAAGX,OAAO,CAACrB,MAAR,CAAeY,CAAf,CAAf;;MACA,IAAIqB,8BAAJ,EAAqB;QACnBF,MAAM,CAACG,IAAP,CAAY,IAAIC,wBAAJ,CAAgBd,OAAO,CAACf,KAAxB,EAA+B0B,MAAM,CAACI,IAAtC,CAAZ;MACD,CAFD,MAEO;QACL,OAAO1B,sDAAkBsB,MAAlB,GAAoCA,MAAM,CAACK,KAA3C,CAAP;MACD;IACF;;IACD,OAAO3B,qBAAW,IAAI4B,uBAAJ,CAAehC,KAAf,EAAsBmB,qBAAYM,MAAZ,CAAtB,CAAX,CAAP;EACD,CAXM,EAWJzB,KAXI,CAAP;AAYD;AAED;;;;;AAGM,SAAUiC,YAAV,CACJ,GAAG,CAACC,cAAD,EAAiBC,cAAjB,CADC,EAgBK;EAET,IAAInC,KAAK,GAAG,GAAZ;EACA,IAAIoC,KAAK,GAAG,IAAZ;;EACA,KAAK,MAAMC,CAAX,IAAgBH,cAAhB,EAAgC;IAC9B,IAAIE,KAAJ,EAAW;MACTpC,KAAK,IAAI,IAAIqC,CAAC,KAAMH,cAAc,CAACG,CAAD,CAAd,CAAmCrC,KAAK,EAA5D;IACD,CAFD,MAEO;MACLA,KAAK,IAAI,KAAKqC,CAAC,KAAMH,cAAc,CAACG,CAAD,CAAd,CAAmCrC,KAAK,EAA7D;IACD;;IACDoC,KAAK,GAAG,KAAR;EACD;;EACD,IAAID,cAAJ,EAAoB;IAClB,KAAK,MAAME,CAAX,IAAgBF,cAAhB,EAAgC;MAC9B,IAAIC,KAAJ,EAAW;QACTpC,KAAK,IAAI,IAAIqC,CAAC,MAAOF,cAAc,CAACE,CAAD,CAAd,CAAmCrC,KAAK,EAA7D;MACD,CAFD,MAEO;QACLA,KAAK,IAAI,KAAKqC,CAAC,MAAOF,cAAc,CAACE,CAAD,CAAd,CAAmCrC,KAAK,EAA9D;MACD;IACF;EACF;;EACD,IAAIA,KAAK,CAACsC,MAAN,GAAe,CAAnB,EAAsB;IACpBtC,KAAK,IAAI,GAAT;EACD;;EACDA,KAAK,IAAI,GAAT;EAEA,OAAOC,4BAASK,CAAD,IAAM;IACnB,MAAMiC,YAAY,GAAG7B,SAAOhB,MAAP,CAAcY,CAAd,CAArB;;IACA,IAAIqB,oCAAJ,EAA2B;MACzB,OAAOY,YAAP;IACD;;IACD,MAAM3C,KAAK,GAAG2C,YAAY,CAACR,KAA3B;IACA,IAAIS,OAAO,GAAG,KAAd;IACA,MAAMf,MAAM,GAA+C,EAA3D;IACA,MAAMgB,OAAO,GAAG,EAAhB;;IACA,KAAK,MAAMC,GAAX,IAAkBR,cAAlB,EAAkC;MAChC,IAAI,EAAEQ,GAAG,IAAI9C,KAAT,CAAJ,EAAqB;QACnB6B,MAAM,CAACG,IAAP,CAAY,IAAIe,6BAAJ,CAAqBD,GAArB,EAA0B,IAAIE,4BAAJ,CAAoBF,GAApB,CAA1B,CAAZ;QACAF,OAAO,GAAG,IAAV;MACD,CAHD,MAGO;QACL,MAAMK,GAAG,GAAIX,cAAc,CAACQ,GAAD,CAAd,CAAqChD,MAArC,CAA4CE,KAAK,CAAC8C,GAAD,CAAjD,CAAb;QACAI,4BACGC,CAAD,IAAM;UACJP,OAAO,GAAG,IAAV;UACAf,MAAM,CAACG,IAAP,CAAY,IAAIe,6BAAJ,CAAqBD,GAArB,EAA0BK,CAA1B,CAAZ;QACD,CAJH,EAKE,CAACC,OAAD,EAAU9C,CAAV,KAAe;UACbuC,OAAO,CAACC,GAAD,CAAP,GAA0BxC,CAA1B;;UACA,IAAI+C,gCAAJ,EAAsB;YACpBxB,MAAM,CAACG,IAAP,CAAY,IAAIe,6BAAJ,CAAqBD,GAArB,EAA0BM,OAAO,CAAC/B,KAAlC,CAAZ;UACD;QACF,CAVH;MAYD;IACF;;IACD,IAAIkB,cAAJ,EAAoB;MAClB,KAAK,MAAMO,GAAX,IAAkBP,cAAlB,EAAkC;QAChC,IAAIO,GAAG,IAAI9C,KAAP,IAAgB,OAAOA,KAAK,CAAC8C,GAAD,CAAZ,KAAgC,WAApD,EAAiE;UAC/D,MAAMG,GAAG,GAAIV,cAAc,CAACO,GAAD,CAAd,CAAqChD,MAArC,CAA4CE,KAAK,CAAC8C,GAAD,CAAjD,CAAb;UACAI,4BACGC,CAAD,IAAM;YACJP,OAAO,GAAG,IAAV;YACAf,MAAM,CAACG,IAAP,CAAY,IAAIsB,6BAAJ,CAAqBR,GAArB,EAA0BK,CAA1B,CAAZ;UACD,CAJH,EAKE,CAACC,OAAD,EAAU9C,CAAV,KAAe;YACbuC,OAAO,CAACC,GAAD,CAAP,GAA0BxC,CAA1B;;YACA,IAAI+C,gCAAJ,EAAsB;cACpBxB,MAAM,CAACG,IAAP,CAAY,IAAIe,6BAAJ,CAAqBD,GAArB,EAA0BM,OAAO,CAAC/B,KAAlC,CAAZ;YACD;UACF,CAVH;QAYD;MACF;IACF;;IACD,IAAIuB,OAAJ,EAAa;MACX,OAAOpC,qBAAW,IAAI+C,0BAAJ,CAAkB,QAAlB,EAA4BhC,qBAAYM,MAAZ,CAA5B,CAAX,CAAP;IACD;;IACD,IAAIA,MAAM,CAACa,MAAP,KAAkB,CAAtB,EAAyB;MACvB,OAAOlC,qBAAW,IAAI+C,0BAAJ,CAAkB,QAAlB,EAA4BhC,qBAAYM,MAAZ,CAA5B,CAAX,EAA6DgB,OAA7D,CAAP;IACD;;IACD,OAAOrC,sBAAYqC,OAAZ,CAAP;EACD,CAvDM,EAuDJzC,KAvDI,CAAP;AAwDD","names":["decode","self","input","fromGuard","guard","onFalse","label","tsplus_module_2","a","is","tsplus_module_1","string","u","PrimitiveError","number","boolean","record_1","record","deriveLazy","f","cached","decoder","deriveLiteral","value","LiteralError","tsplus_module_7","toString","deriveUnion","elements","map","join","errors","result","tsplus_module_8","push","MemberError","left","right","UnionError","deriveStruct","requiredFields","optionalFields","first","k","length","recordResult","errored","decoded","key","RequiredKeyError","MissingKeyError","res","tsplus_module_9","e","warning","tsplus_module_10","OptionalKeyError","CompoundError"],"sourceRoot":"","sources":["../../../_src/data/Decoder/api.ts"],"sourcesContent":[null]}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAEO,MAAMA,aAAa,gBAAGC,MAAM,CAACC,GAAP,CAAW,eAAX,CAAtB;AAUP
|
|
1
|
+
{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAEO,MAAMA,aAAa,gBAAGC,MAAM,CAACC,GAAP,CAAW,eAAX,CAAtB;AAUP;;;;;;;;AAKM,MAAOC,OAAP,CAAc;EAElBC,YAAqBC,MAArB,EAAiFC,KAAjF,EAA8F;IAAzE;IAA4D;IADxE,eAAyBN,aAAzB;EACyF;;AAFhF;AAKpB;;;;;;;AAGM,SAAUO,WAAV,CAAyBF,MAAzB,EAA4EC,KAA5E,EAAyF;EAC7F,OAAO,IAAIH,OAAJ,CAAYE,MAAZ,EAAoBC,KAApB,CAAP;AACD","names":["DecoderTypeId","Symbol","for","Decoder","constructor","decode","label","makeDecoder"],"sourceRoot":"","sources":["../../../_src/data/Decoder/definition.ts"],"sourcesContent":[null]}
|
|
@@ -58,7 +58,7 @@ export function deriveGuard(...[key, value, requiredKeys]) {
|
|
|
58
58
|
|
|
59
59
|
export function deriveDecoder(...[keyGuard, valueDecoder, requiredKeysRecord]) {
|
|
60
60
|
return tsplus_module_8.makeDecoder(u => {
|
|
61
|
-
const recordResult = tsplus_module_2.
|
|
61
|
+
const recordResult = tsplus_module_2.record.decode(u);
|
|
62
62
|
|
|
63
63
|
if (tsplus_module_3.isLeft(recordResult)) {
|
|
64
64
|
return recordResult;
|
|
@@ -1,8 +1,10 @@
|
|
|
1
|
+
import * as tsplus_module_1 from "@fncts/base/collection/Iterable/constructors";
|
|
1
2
|
/**
|
|
2
3
|
* @tsplus type fncts.IterableWeakMap
|
|
3
4
|
*/
|
|
5
|
+
|
|
4
6
|
export class IterableWeakMap {
|
|
5
|
-
constructor(iterable) {
|
|
7
|
+
constructor(iterable = tsplus_module_1.empty()) {
|
|
6
8
|
this.weakMap = new WeakMap();
|
|
7
9
|
this.refSet = new Set();
|
|
8
10
|
this.finalizationGroup = new FinalizationRegistry(IterableWeakMap.cleanup);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"IterableWeakMap.mjs","mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"IterableWeakMap.mjs","mappings":";AAAA;;;;AAGA,OAAM,MAAOA,eAAP,CAAsB;EAW1BC,YAAYC,WAAsCC,uBAAlD,EAAkE;IAV1D,eAAoB,IAAIC,OAAJ,EAApB;IACA,cAAoB,IAAIC,GAAJ,EAApB;IACA,yBAAoB,IAAIC,oBAAJ,CAC1BN,eAAe,CAACO,OADU,CAApB;;IASN,KAAK,MAAM,CAACC,GAAD,EAAMC,KAAN,CAAX,IAA2BP,QAA3B,EAAqC;MACnC,KAAKQ,GAAL,CAASF,GAAT,EAAcC,KAAd;IACD;EACF;;EARqB,OAAPF,OAAO,CAAmB;IAAEI,GAAF;IAAOD;EAAP,CAAnB,EAA0E;IAC9FA,GAAG,CAACE,MAAJ,CAAWD,GAAX;EACD;;EAQDD,GAAG,CAAaF,GAAb,EAAqBC,KAArB,EAA6B;IAC9B,MAAME,GAAG,GAAG,IAAIE,OAAJ,CAAYL,GAAZ,CAAZ;IAEA,KAAKM,OAAL,CAAaJ,GAAb,CAAiBF,GAAjB,EAAsB;MAAEC,KAAF;MAASE;IAAT,CAAtB;IACA,KAAKI,MAAL,CAAYC,GAAZ,CAAgBL,GAAhB;IACA,KAAKM,iBAAL,CAAuBC,QAAvB,CAAgCV,GAAhC,EAAqC;MAAEE,GAAG,EAAE,KAAKK,MAAZ;MAAoBJ;IAApB,CAArC,EAAgEA,GAAhE;IACA,OAAO,IAAP;EACD;;EAEDQ,GAAG,CAAaX,GAAb,EAAmB;IACpB,MAAMY,KAAK,GAAG,KAAKN,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAd;IACA,OAAOY,KAAK,IAAIA,KAAK,CAACX,KAAtB;EACD;;EAEDG,MAAM,CAAaJ,GAAb,EAAmB;IACvB,MAAMY,KAAK,GAAG,KAAKN,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAd;;IACA,IAAI,CAACY,KAAL,EAAY;MACV,OAAO,KAAP;IACD;;IAED,KAAKN,OAAL,CAAaF,MAAb,CAAoBJ,GAApB;IACA,KAAKO,MAAL,CAAYH,MAAZ,CAAmBQ,KAAK,CAACT,GAAzB;IACA,KAAKM,iBAAL,CAAuBI,UAAvB,CAAkCD,KAAK,CAACT,GAAxC;IACA,OAAO,IAAP;EACD;;EAEDW,GAAG,CAAad,GAAb,EAAmB;IACpB,OAAO,KAAKM,OAAL,CAAaQ,GAAb,CAAiBd,GAAjB,CAAP;EACD;;EAEDe,KAAK;IACH,KAAK,MAAMZ,GAAX,IAAkB,KAAKI,MAAvB,EAA+B;MAC7B,MAAMP,GAAG,GAAGG,GAAG,CAACa,KAAJ,EAAZ;MACA,IAAI,CAAChB,GAAL,EAAU;MACV,MAAMY,KAAK,GAAG,KAAKN,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAd;MACA,KAAKM,OAAL,CAAaF,MAAb,CAAoBJ,GAApB;MACA,KAAKO,MAAL,CAAYH,MAAZ,CAAmBQ,KAAK,CAACT,GAAzB;MACA,KAAKM,iBAAL,CAAuBI,UAAvB,CAAkCD,KAAK,CAACT,GAAxC;IACD;;IACD,KAAKI,MAAL,CAAYQ,KAAZ;EACD;;EAEDE,OAAO,CAACC,UAAD,EAAyDC,OAAzD,EAAwF;IAC7FA,OAAO,GAAGA,OAAO,IAAI,IAArB;;IACA,KAAK,MAAMC,EAAX,IAAiB,IAAjB,EAAuB;MACrBF,UAAU,CAACE,EAAE,CAAC,CAAD,CAAH,EAAQA,EAAE,CAAC,CAAD,CAAV,EAAeD,OAAf,CAAV;IACD;EACF;;EAEO,IAAJE,IAAI;IACN,IAAIC,CAAC,GAAG,CAAR;;IACA,KAAK,MAAMnB,GAAX,IAAkB,KAAKI,MAAvB,EAA+B;MAC7B,MAAMP,GAAG,GAAGG,GAAG,CAACa,KAAJ,EAAZ;MACA,IAAI,CAAChB,GAAL,EAAU;MACVsB,CAAC;IACF;;IACD,OAAOA,CAAP;EACD;;EAEe,CAAfC,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,KAAKC,OAAL,EAAP;EACD;;EAEsB,KAAlBF,MAAM,CAACG,WAAW,IAAC;IACtB,OAAO,KAAKpB,OAAL,CAAaiB,MAAM,CAACG,WAApB,CAAP;EACD;;EAEO,CAAPD,OAAO;IACN,KAAK,MAAMtB,GAAX,IAAkB,KAAKI,MAAvB,EAA+B;MAC7B,MAAMP,GAAG,GAAGG,GAAG,CAACa,KAAJ,EAAZ;MACA,IAAI,CAAChB,GAAL,EAAU;MACV,MAAM;QAAEC;MAAF,IAAY,KAAKK,OAAL,CAAaK,GAAb,CAAiBX,GAAjB,CAAlB;MACA,MAAM,CAACA,GAAD,EAAMC,KAAN,CAAN;IACD;EACF;;EAEI,CAAJ0B,IAAI;IACH,KAAK,MAAM,CAAC3B,GAAD,CAAX,IAAoB,IAApB,EAA0B;MACxB,MAAMA,GAAN;IACD;EACF;;EAEM,CAAN4B,MAAM;IACL,KAAK,MAAM,GAAG3B,KAAH,CAAX,IAAwB,IAAxB,EAA8B;MAC5B,MAAMA,KAAN;IACD;EACF;;AAvGyB","names":["IterableWeakMap","constructor","iterable","tsplus_module_1","WeakMap","Set","FinalizationRegistry","cleanup","key","value","set","ref","delete","WeakRef","weakMap","refSet","add","finalizationGroup","register","get","entry","unregister","has","clear","deref","forEach","callbackfn","thisArg","kv","size","n","Symbol","iterator","entries","toStringTag","keys","values"],"sourceRoot":"","sources":["../../../_src/collection/weak/IterableWeakMap.ts"],"sourcesContent":[null]}
|
|
@@ -1,18 +1,19 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* @tsplus type fncts.
|
|
3
|
-
* @tsplus companion fncts.
|
|
2
|
+
* @tsplus type fncts.Validation
|
|
3
|
+
* @tsplus companion fncts.ValidationOps
|
|
4
|
+
* @tsplus derive nominal
|
|
4
5
|
*/
|
|
5
|
-
export class
|
|
6
|
+
export class Validation {
|
|
6
7
|
constructor(validate) {
|
|
7
8
|
this.validate = validate;
|
|
8
9
|
}
|
|
9
10
|
|
|
10
11
|
}
|
|
11
12
|
/**
|
|
12
|
-
* @tsplus static fncts.
|
|
13
|
+
* @tsplus static fncts.ValidationOps __call
|
|
13
14
|
*/
|
|
14
15
|
|
|
15
|
-
export function
|
|
16
|
-
return new
|
|
16
|
+
export function makeValidation(p) {
|
|
17
|
+
return new Validation(p);
|
|
17
18
|
}
|
|
18
19
|
//# sourceMappingURL=definition.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"definition.mjs","mappings":"AAuCA;;;;;AAKA,OAAM,MAAOA,UAAP,CAAiB;EACrBC,YAAqBC,QAArB,EAAmE;IAA9C;EAAkD;;AADlD;AAIvB;;;;AAGA,OAAM,SAAUC,cAAV,CAA8CC,CAA9C,EAA6D;EACjE,OAAO,IAAIJ,UAAJ,CAAeI,CAAf,CAAP;AACD","names":["Validation","constructor","validate","makeValidation","p"],"sourceRoot":"","sources":["../../../_src/data/Branded/definition.ts"],"sourcesContent":[null]}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;AAIA,SACEA,aADF,EAEEC,YAFF,EAGEC,WAHF,EAIEC,eAJF,EAKEC,gBALF,EAMEC,cANF,EAOEC,gBAPF,EAQEC,UARF,QASO,8BATP;AAUA,SAASC,OAAT,QAAwB,qCAAxB;AAEA;;;;AAGA,OAAM,SAAUC,MAAV,
|
|
1
|
+
{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;AAIA,SACEA,aADF,EAEEC,YAFF,EAGEC,WAHF,EAIEC,eAJF,EAKEC,gBALF,EAMEC,cANF,EAOEC,gBAPF,EAQEC,UARF,QASO,8BATP;AAUA,SAASC,OAAT,QAAwB,qCAAxB;AAEA;;;;AAGA,OAAM,SAAUC,MAAV,CAAoBC,IAApB,EAAsCC,KAAtC,EAAoD;EACxD,OAAOD,IAAI,CAACD,MAAL,CAAYE,KAAZ,CAAP;AACD;AAED,OAAM,SAAUC,SAAV,CAAuBC,KAAvB,EAAwCC,OAAxC,EAA8EC,KAA9E,EAA2F;EAC/F,OAAOC,4BAASC,CAAD,IAAQJ,KAAK,CAACK,EAAN,CAASD,CAAT,IAAcE,sBAAYF,CAAZ,CAAd,GAA+BE,qBAAWL,OAAO,CAACG,CAAD,CAAlB,CAA/C,EAAwEF,KAAxE,CAAP;AACD;AAED;;;;AAGA,OAAO,MAAMK,MAAM,gBAAoBR,SAAS,wBAAgBS,CAAD,IAAO,IAAIhB,cAAJ,CAAmBgB,CAAnB,EAAsB,QAAtB,CAAtB,EAAuD,QAAvD,CAAzC;AAEP;;;;AAGA,OAAO,MAAMC,MAAM,gBAAoBV,SAAS,wBAAgBS,CAAD,IAAO,IAAIhB,cAAJ,CAAmBgB,CAAnB,EAAsB,QAAtB,CAAtB,EAAuD,QAAvD,CAAzC;AAEP;;;;AAGA,OAAO,MAAME,OAAO,gBAAqBX,SAAS,wBAAiBS,CAAD,IAAO,IAAIhB,cAAJ,CAAmBgB,CAAnB,EAAsB,SAAtB,CAAvB,EAAyD,SAAzD,CAA3C;AAEP;;;;;AAIO,MAAMG,wBAAsBZ,SAAS,wBAAgBS,CAAD,IAAO,IAAIhB,cAAJ,CAAmBgB,CAAnB,EAAsB,IAAtB,CAAtB,EAAmD,IAAnD,CAArC;aAAMI,MAAM;AAEnB;;;;AAGA,OAAM,SAAUC,UAAV,CAAwBC,CAAxB,EAAwD;EAC5D,IAAIC,MAAJ;EACA,MAAMC,OAAO,GAAeb,4BAASK,CAAD,IAAM;IACxC,IAAI,CAACO,MAAL,EAAa;MACXA,MAAM,GAAGD,CAAC,CAACE,OAAD,CAAV;IACD;;IACD,OAAOD,MAAM,CAACnB,MAAP,CAAcY,CAAd,CAAP;EACD,CAL2B,EAKzB,aALyB,CAA5B;EAMA,OAAOQ,OAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,aAAV,CACJ,GAAG,CAACC,KAAD,CADC,EACuG;EAE3G,OAAOf,4BACJK,CAAD,IAAQA,CAAC,KAAKU,KAAN,GAAcZ,sBAAYE,CAAZ,CAAd,GAAoCF,qBAAW,IAAIlB,YAAJ,CAAiBoB,CAAjB,EAAoBW,uBAAOD,KAAP,CAApB,CAAX,CADvC,EAELA,KAAK,CAACE,QAAN,EAFK,CAAP;AAID;AAED;;;;AAGA,OAAM,SAAUC,WAAV,CACJ,GAAGC,QADC,EAGH;EAED,MAAMpB,KAAK,GAAGoB,QAAQ,CAACC,GAAT,CAAcP,OAAD,IAAaA,OAAO,CAACd,KAAlC,EAAyCsB,IAAzC,CAA8C,KAA9C,CAAd;EACA,OAAOrB,4BAASK,CAAD,IAAM;IACnB,MAAMiB,MAAM,GAAuB,EAAnC;;IACA,KAAK,MAAMT,OAAX,IAAsBM,QAAtB,EAAgC;MAC9B,MAAMI,MAAM,GAAGV,OAAO,CAACpB,MAAR,CAAeY,CAAf,CAAf;;MACA,IAAImB,8BAAJ,EAAqB;QACnBF,MAAM,CAACG,IAAP,CAAY,IAAIvC,WAAJ,CAAgB2B,OAAO,CAACd,KAAxB,EAA+BwB,MAAM,CAACG,IAAtC,CAAZ;MACD,CAFD,MAEO;QACL,OAAOvB,sDAAkBoB,MAAlB,GAAoCA,MAAM,CAACI,KAA3C,CAAP;MACD;IACF;;IACD,OAAOxB,qBAAW,IAAIZ,UAAJ,CAAeQ,KAAf,EAAsBiB,qBAAYM,MAAZ,CAAtB,CAAX,CAAP;EACD,CAXM,EAWJvB,KAXI,CAAP;AAYD;AAED;;;;AAGA,OAAM,SAAU6B,YAAV,CACJ,GAAG,CAACC,cAAD,EAAiBC,cAAjB,CADC,EAgBK;EAET,IAAI/B,KAAK,GAAG,GAAZ;EACA,IAAIgC,KAAK,GAAG,IAAZ;;EACA,KAAK,MAAMC,CAAX,IAAgBH,cAAhB,EAAgC;IAC9B,IAAIE,KAAJ,EAAW;MACThC,KAAK,IAAI,IAAIiC,CAAC,KAAMH,cAAc,CAACG,CAAD,CAAd,CAAmCjC,KAAK,EAA5D;IACD,CAFD,MAEO;MACLA,KAAK,IAAI,KAAKiC,CAAC,KAAMH,cAAc,CAACG,CAAD,CAAd,CAAmCjC,KAAK,EAA7D;IACD;;IACDgC,KAAK,GAAG,KAAR;EACD;;EACD,IAAID,cAAJ,EAAoB;IAClB,KAAK,MAAME,CAAX,IAAgBF,cAAhB,EAAgC;MAC9B,IAAIC,KAAJ,EAAW;QACThC,KAAK,IAAI,IAAIiC,CAAC,MAAOF,cAAc,CAACE,CAAD,CAAd,CAAmCjC,KAAK,EAA7D;MACD,CAFD,MAEO;QACLA,KAAK,IAAI,KAAKiC,CAAC,MAAOF,cAAc,CAACE,CAAD,CAAd,CAAmCjC,KAAK,EAA9D;MACD;IACF;EACF;;EACD,IAAIA,KAAK,CAACkC,MAAN,GAAe,CAAnB,EAAsB;IACpBlC,KAAK,IAAI,GAAT;EACD;;EACDA,KAAK,IAAI,GAAT;EAEA,OAAOC,4BAASK,CAAD,IAAM;IACnB,MAAM6B,YAAY,GAAG1B,SAAOf,MAAP,CAAcY,CAAd,CAArB;;IACA,IAAImB,oCAAJ,EAA2B;MACzB,OAAOU,YAAP;IACD;;IACD,MAAMvC,KAAK,GAAGuC,YAAY,CAACP,KAA3B;IACA,IAAIQ,OAAO,GAAG,KAAd;IACA,MAAMb,MAAM,GAA+C,EAA3D;IACA,MAAMc,OAAO,GAAG,EAAhB;;IACA,KAAK,MAAMC,GAAX,IAAkBR,cAAlB,EAAkC;MAChC,IAAI,EAAEQ,GAAG,IAAI1C,KAAT,CAAJ,EAAqB;QACnB2B,MAAM,CAACG,IAAP,CAAY,IAAInC,gBAAJ,CAAqB+C,GAArB,EAA0B,IAAIlD,eAAJ,CAAoBkD,GAApB,CAA1B,CAAZ;QACAF,OAAO,GAAG,IAAV;MACD,CAHD,MAGO;QACL,MAAMG,GAAG,GAAIT,cAAc,CAACQ,GAAD,CAAd,CAAqC5C,MAArC,CAA4CE,KAAK,CAAC0C,GAAD,CAAjD,CAAb;QACAE,4BACGC,CAAD,IAAM;UACJL,OAAO,GAAG,IAAV;UACAb,MAAM,CAACG,IAAP,CAAY,IAAInC,gBAAJ,CAAqB+C,GAArB,EAA0BG,CAA1B,CAAZ;QACD,CAJH,EAKE,CAACC,OAAD,EAAUxC,CAAV,KAAe;UACbmC,OAAO,CAACC,GAAD,CAAP,GAA0BpC,CAA1B;;UACA,IAAIyC,gCAAJ,EAAsB;YACpBpB,MAAM,CAACG,IAAP,CAAY,IAAInC,gBAAJ,CAAqB+C,GAArB,EAA0BI,OAAO,CAAC1B,KAAlC,CAAZ;UACD;QACF,CAVH;MAYD;IACF;;IACD,IAAIe,cAAJ,EAAoB;MAClB,KAAK,MAAMO,GAAX,IAAkBP,cAAlB,EAAkC;QAChC,IAAIO,GAAG,IAAI1C,KAAP,IAAgB,OAAOA,KAAK,CAAC0C,GAAD,CAAZ,KAAgC,WAApD,EAAiE;UAC/D,MAAMC,GAAG,GAAIR,cAAc,CAACO,GAAD,CAAd,CAAqC5C,MAArC,CAA4CE,KAAK,CAAC0C,GAAD,CAAjD,CAAb;UACAE,4BACGC,CAAD,IAAM;YACJL,OAAO,GAAG,IAAV;YACAb,MAAM,CAACG,IAAP,CAAY,IAAIrC,gBAAJ,CAAqBiD,GAArB,EAA0BG,CAA1B,CAAZ;UACD,CAJH,EAKE,CAACC,OAAD,EAAUxC,CAAV,KAAe;YACbmC,OAAO,CAACC,GAAD,CAAP,GAA0BpC,CAA1B;;YACA,IAAIyC,gCAAJ,EAAsB;cACpBpB,MAAM,CAACG,IAAP,CAAY,IAAInC,gBAAJ,CAAqB+C,GAArB,EAA0BI,OAAO,CAAC1B,KAAlC,CAAZ;YACD;UACF,CAVH;QAYD;MACF;IACF;;IACD,IAAIoB,OAAJ,EAAa;MACX,OAAOhC,qBAAW,IAAInB,aAAJ,CAAkB,QAAlB,EAA4BgC,qBAAYM,MAAZ,CAA5B,CAAX,CAAP;IACD;;IACD,IAAIA,MAAM,CAACW,MAAP,KAAkB,CAAtB,EAAyB;MACvB,OAAO9B,qBAAW,IAAInB,aAAJ,CAAkB,QAAlB,EAA4BgC,qBAAYM,MAAZ,CAA5B,CAAX,EAA6Dc,OAA7D,CAAP;IACD;;IACD,OAAOjC,sBAAYiC,OAAZ,CAAP;EACD,CAvDM,EAuDJrC,KAvDI,CAAP;AAwDD","names":["CompoundError","LiteralError","MemberError","MissingKeyError","OptionalKeyError","PrimitiveError","RequiredKeyError","UnionError","Decoder","decode","self","input","fromGuard","guard","onFalse","label","tsplus_module_2","a","is","tsplus_module_1","string","u","number","boolean","record_1","record","deriveLazy","f","cached","decoder","deriveLiteral","value","tsplus_module_7","toString","deriveUnion","elements","map","join","errors","result","tsplus_module_8","push","left","right","deriveStruct","requiredFields","optionalFields","first","k","length","recordResult","errored","decoded","key","res","tsplus_module_9","e","warning","tsplus_module_10"],"sourceRoot":"","sources":["../../../_src/data/Decoder/api.ts"],"sourcesContent":[null]}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","mappings":"AAEA,OAAO,MAAMA,aAAa,gBAAGC,MAAM,CAACC,GAAP,CAAW,eAAX,CAAtB;AAUP
|
|
1
|
+
{"version":3,"file":"definition.mjs","mappings":"AAEA,OAAO,MAAMA,aAAa,gBAAGC,MAAM,CAACC,GAAP,CAAW,eAAX,CAAtB;AAUP;;;;;;AAKA,OAAM,MAAOC,OAAP,CAAc;EAElBC,YAAqBC,MAArB,EAAiFC,KAAjF,EAA8F;IAAzE;IAA4D;IADxE,eAAyBN,aAAzB;EACyF;;AAFhF;AAKpB;;;;AAGA,OAAM,SAAUO,WAAV,CAAyBF,MAAzB,EAA4EC,KAA5E,EAAyF;EAC7F,OAAO,IAAIH,OAAJ,CAAYE,MAAZ,EAAoBC,KAApB,CAAP;AACD","names":["DecoderTypeId","Symbol","for","Decoder","constructor","decode","label","makeDecoder"],"sourceRoot":"","sources":["../../../_src/data/Decoder/definition.ts"],"sourcesContent":[null]}
|
|
@@ -12,7 +12,7 @@ export class IterableWeakMap<K extends object, V> implements Iterable<readonly [
|
|
|
12
12
|
set.delete(ref);
|
|
13
13
|
}
|
|
14
14
|
|
|
15
|
-
constructor(iterable: Iterable<readonly [K, V]>) {
|
|
15
|
+
constructor(iterable: Iterable<readonly [K, V]> = Iterable.empty()) {
|
|
16
16
|
for (const [key, value] of iterable) {
|
|
17
17
|
this.set(key, value);
|
|
18
18
|
}
|
|
@@ -1,51 +1,54 @@
|
|
|
1
1
|
import type { Union } from "@fncts/typelevel";
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
declare const validSym: unique symbol;
|
|
4
4
|
|
|
5
|
-
export declare namespace
|
|
6
|
-
|
|
7
|
-
export type Symbol = typeof Symbol;
|
|
5
|
+
export declare namespace Brand {
|
|
6
|
+
export type valid = typeof validSym;
|
|
8
7
|
|
|
9
|
-
|
|
10
|
-
|
|
8
|
+
/**
|
|
9
|
+
* @tsplus derive nominal
|
|
10
|
+
*/
|
|
11
|
+
export interface Valid<in out A, in out K extends string> {
|
|
12
|
+
[validSym]: {
|
|
11
13
|
[_ in K]: A;
|
|
12
14
|
};
|
|
13
15
|
}
|
|
14
16
|
|
|
15
|
-
export type Type<A extends
|
|
17
|
+
export type Type<A extends Validation<any, any>> = A extends Validation<infer A, infer K> ? Validated<A, K> : never;
|
|
16
18
|
|
|
17
|
-
export type Validated<A, K extends string> = A & Brand<A, K>;
|
|
19
|
+
export type Validated<A, K extends string> = A & Brand.Valid<A, K>;
|
|
18
20
|
|
|
19
|
-
export type IsValidated<P extends
|
|
20
|
-
[K in keyof P[
|
|
21
|
-
}[keyof P[
|
|
21
|
+
export type IsValidated<P extends Valid<any, any>> = {
|
|
22
|
+
[K in keyof P[Brand.valid]]: P extends P[Brand.valid][K] ? 0 : 1;
|
|
23
|
+
}[keyof P[Brand.valid]] extends 0
|
|
22
24
|
? unknown
|
|
23
25
|
: never;
|
|
24
26
|
|
|
25
|
-
export type
|
|
27
|
+
export type Unbranded<P> = P extends infer Q & Brands<P> ? Q : P;
|
|
26
28
|
|
|
27
|
-
export type Brands<P extends
|
|
29
|
+
export type Brands<P> = P extends Valid<any, any> ? Union.IntersectionOf<
|
|
28
30
|
{
|
|
29
|
-
[K in keyof P[
|
|
31
|
+
[K in keyof P[Brand.valid]]: P extends P[Brand.valid][K]
|
|
30
32
|
? K extends string
|
|
31
|
-
?
|
|
33
|
+
? Valid<P[Brand.valid][K], K>
|
|
32
34
|
: never
|
|
33
35
|
: never;
|
|
34
|
-
}[keyof P[
|
|
35
|
-
|
|
36
|
+
}[keyof P[Brand.valid]]
|
|
37
|
+
> : unknown;
|
|
36
38
|
}
|
|
37
39
|
|
|
38
40
|
/**
|
|
39
|
-
* @tsplus type fncts.
|
|
40
|
-
* @tsplus companion fncts.
|
|
41
|
+
* @tsplus type fncts.Validation
|
|
42
|
+
* @tsplus companion fncts.ValidationOps
|
|
43
|
+
* @tsplus derive nominal
|
|
41
44
|
*/
|
|
42
|
-
export class
|
|
43
|
-
constructor(readonly validate: Refinement<A, A &
|
|
45
|
+
export class Validation<in out A, in out K extends string> {
|
|
46
|
+
constructor(readonly validate: Refinement<A, A & Brand.Valid<A, K>>) {}
|
|
44
47
|
}
|
|
45
48
|
|
|
46
49
|
/**
|
|
47
|
-
* @tsplus static fncts.
|
|
50
|
+
* @tsplus static fncts.ValidationOps __call
|
|
48
51
|
*/
|
|
49
|
-
export function
|
|
50
|
-
return new
|
|
52
|
+
export function makeValidation<A, K extends string>(p: Predicate<A>): Validation<A, K> {
|
|
53
|
+
return new Validation(p as Refinement<A, A & Brand.Valid<A, K>>);
|
|
51
54
|
}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { Validation, Brand } from "@fncts/base/data/Branded/definition";
|
|
2
2
|
import type { Check } from "@fncts/typelevel/Check";
|
|
3
3
|
|
|
4
4
|
import { BrandedError, CompoundError } from "@fncts/base/data/DecodeError";
|
|
@@ -7,29 +7,29 @@ import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
|
7
7
|
/**
|
|
8
8
|
* @tsplus derive fncts.Guard<_> 10
|
|
9
9
|
*/
|
|
10
|
-
export function deriveGuard<A extends
|
|
11
|
-
...[base, brands]: Check<
|
|
10
|
+
export function deriveGuard<A extends Brand.Valid<any, any>>(
|
|
11
|
+
...[base, brands]: Check<Brand.IsValidated<A>> extends Check.True
|
|
12
12
|
? [
|
|
13
|
-
base: Guard<
|
|
13
|
+
base: Guard<Brand.Unbranded<A>>,
|
|
14
14
|
brands: {
|
|
15
|
-
[K in keyof A[
|
|
15
|
+
[K in keyof A[Brand.valid] & string]: Validation<A[Brand.valid][K], K>;
|
|
16
16
|
},
|
|
17
17
|
]
|
|
18
18
|
: never
|
|
19
19
|
): Guard<A> {
|
|
20
|
-
const validations = Object.values(brands) as ReadonlyArray<
|
|
20
|
+
const validations = Object.values(brands) as ReadonlyArray<Validation<A, any>>;
|
|
21
21
|
return Guard((u): u is A => base.is(u) && validations.every((brand) => brand.validate(u)));
|
|
22
22
|
}
|
|
23
23
|
|
|
24
24
|
/**
|
|
25
25
|
* @tsplus derive fncts.Decoder<_> 10
|
|
26
26
|
*/
|
|
27
|
-
export function deriveDecoder<A extends
|
|
28
|
-
...[base, brands]: Check<
|
|
27
|
+
export function deriveDecoder<A extends Brand.Valid<any, any>>(
|
|
28
|
+
...[base, brands]: Check<Brand.IsValidated<A>> extends Check.True
|
|
29
29
|
? [
|
|
30
|
-
base: Decoder<
|
|
30
|
+
base: Decoder<Brand.Unbranded<A>>,
|
|
31
31
|
brands: {
|
|
32
|
-
[K in keyof A[
|
|
32
|
+
[K in (keyof A[Brand.valid]) & string]: Validation<A[Brand.valid][K], K>;
|
|
33
33
|
},
|
|
34
34
|
]
|
|
35
35
|
: never
|
package/_src/data/Decoder/api.ts
CHANGED
|
@@ -17,7 +17,7 @@ import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
|
17
17
|
/**
|
|
18
18
|
* @tsplus fluent fncts.Decoder __call
|
|
19
19
|
*/
|
|
20
|
-
export function decode<
|
|
20
|
+
export function decode<A>(self: Decoder<A>, input: unknown): These<DecodeError, A> {
|
|
21
21
|
return self.decode(input);
|
|
22
22
|
}
|
|
23
23
|
|
|
@@ -13,10 +13,10 @@ export interface DecoderF extends HKT {
|
|
|
13
13
|
/**
|
|
14
14
|
* @tsplus type fncts.Decoder
|
|
15
15
|
* @tsplus companion fncts.DecoderOps
|
|
16
|
+
* @tsplus derive nominal
|
|
16
17
|
*/
|
|
17
|
-
export class Decoder<A> {
|
|
18
|
+
export class Decoder<in out A> {
|
|
18
19
|
readonly _typeId: DecoderTypeId = DecoderTypeId;
|
|
19
|
-
readonly _A!: () => A;
|
|
20
20
|
constructor(readonly decode: (input: unknown) => These<DecodeError, A>, readonly label: string) {}
|
|
21
21
|
}
|
|
22
22
|
|
package/_src/global.ts
CHANGED
|
@@ -110,7 +110,7 @@ import { DatumEither } from "@fncts/base/data/DatumEither/definition";
|
|
|
110
110
|
/**
|
|
111
111
|
* @tsplus global
|
|
112
112
|
*/
|
|
113
|
-
import { Decoder } from "@fncts/base/data/Decoder";
|
|
113
|
+
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
114
114
|
/**
|
|
115
115
|
* @tsplus global
|
|
116
116
|
*/
|
|
@@ -15,6 +15,6 @@ declare global {
|
|
|
15
15
|
export interface ArrayConstructor {
|
|
16
16
|
}
|
|
17
17
|
}
|
|
18
|
-
export
|
|
19
|
-
export
|
|
18
|
+
export type ESArray<A> = globalThis.Array<A>;
|
|
19
|
+
export type ESReadonlyArray<A> = globalThis.ReadonlyArray<A>;
|
|
20
20
|
export declare const ESArray: ArrayConstructor;
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { Guard } from "@fncts/base/typeclass/Guard";
|
|
2
|
-
import { Decoder } from "@fncts/base/data/Decoder";
|
|
2
|
+
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
3
3
|
import { These } from "@fncts/base/data/These";
|
|
4
4
|
import type { Check } from "@fncts/typelevel/Check";
|
|
5
5
|
/**
|
|
@@ -7,7 +7,7 @@ import { unsafeCoerce } from "@fncts/base/data/function/api";
|
|
|
7
7
|
export declare const BUFFER_SIZE = 64;
|
|
8
8
|
export declare const UPDATE_BUFFER_SIZE = 256;
|
|
9
9
|
export declare const ConcTypeId: unique symbol;
|
|
10
|
-
export
|
|
10
|
+
export type ConcTypeId = typeof ConcTypeId;
|
|
11
11
|
export declare const enum ConcTag {
|
|
12
12
|
Empty = "Empty",
|
|
13
13
|
Concat = "Concat",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { Conc } from "@fncts/base/collection/immutable/Conc";
|
|
2
2
|
import { Guard } from "@fncts/base/typeclass/Guard";
|
|
3
|
-
import { Decoder } from "@fncts/base/data/Decoder";
|
|
3
|
+
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
4
4
|
import type { Check } from "@fncts/typelevel/Check";
|
|
5
5
|
/**
|
|
6
6
|
* @tsplus derive fncts.Guard[fncts.Conc]<_> 10
|
|
@@ -37,7 +37,7 @@ export declare class HashMapIterator<K, V, T> implements IterableIterator<T> {
|
|
|
37
37
|
next(): IteratorResult<T>;
|
|
38
38
|
[Symbol.iterator](): IterableIterator<T>;
|
|
39
39
|
}
|
|
40
|
-
|
|
40
|
+
type Cont<K, V, A> = [len: number, children: Node<K, V>[], i: number, f: (node: readonly [K, V]) => A, cont: Cont<K, V, A>] | undefined;
|
|
41
41
|
interface VisitResult<K, V, A> {
|
|
42
42
|
value: A;
|
|
43
43
|
cont: Cont<K, V, A>;
|
|
@@ -17,7 +17,7 @@ export declare function popcount(x: number): number;
|
|
|
17
17
|
export declare function hashFragment(shift: number, h: number): number;
|
|
18
18
|
export declare function toBitmap(x: number): number;
|
|
19
19
|
export declare function fromBitmap(bitmap: number, bit: number): number;
|
|
20
|
-
export
|
|
20
|
+
export type Node<K, V> = LeafNode<K, V> | CollisionNode<K, V> | IndexedNode<K, V> | ArrayNode<K, V> | EmptyNode<K, V>;
|
|
21
21
|
export interface SizeRef {
|
|
22
22
|
value: number;
|
|
23
23
|
}
|
|
@@ -29,8 +29,8 @@ export declare const _EmptyNode: EmptyNode<never, never>;
|
|
|
29
29
|
export declare function isEmptyNode(a: unknown): a is EmptyNode<unknown, unknown>;
|
|
30
30
|
export declare function isLeaf<K, V>(node: Node<K, V>): node is EmptyNode<K, V> | LeafNode<K, V> | CollisionNode<K, V>;
|
|
31
31
|
export declare function canEditNode<K, V>(edit: number, node: Node<K, V>): boolean;
|
|
32
|
-
export
|
|
33
|
-
export
|
|
32
|
+
export type KeyEq<K> = Eq<K>["equals"];
|
|
33
|
+
export type UpdateFn<V> = (v: Maybe<V>) => Maybe<V>;
|
|
34
34
|
export declare class LeafNode<K, V> {
|
|
35
35
|
readonly edit: number;
|
|
36
36
|
readonly hash: number;
|
|
@@ -55,7 +55,7 @@ interface SizeRef {
|
|
|
55
55
|
value: number;
|
|
56
56
|
}
|
|
57
57
|
export declare function canEditNode<A>(edit: number, node: Node<A>): boolean;
|
|
58
|
-
export
|
|
58
|
+
export type Node<A> = EmptyNode<A> | LeafNode<A> | CollisionNode<A> | IndexedNode<A> | ArrayNode<A>;
|
|
59
59
|
export declare class EmptyNode<A> {
|
|
60
60
|
readonly _tag = "EmptyNode";
|
|
61
61
|
modify(remove: boolean, edit: number, eq: (x: A, y: A) => boolean, shift: number, hash: number, value: A, size: SizeRef): this | LeafNode<A>;
|
|
@@ -2,7 +2,7 @@ import { HKT } from "@fncts/typelevel/HKT";
|
|
|
2
2
|
import { Equatable } from "@fncts/base/typeclass/Equatable";
|
|
3
3
|
import { Hashable } from "@fncts/base/typeclass/Hashable";
|
|
4
4
|
export declare const ImmutableArrayTypeId: unique symbol;
|
|
5
|
-
export
|
|
5
|
+
export type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
|
|
6
6
|
export interface ImmutableArrayF extends HKT {
|
|
7
7
|
type: ImmutableArray<this["A"]>;
|
|
8
8
|
variance: {
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { ImmutableArray } from "@fncts/base/collection/immutable/ImmutableArray/definition";
|
|
2
2
|
import { Guard } from "@fncts/base/typeclass/Guard";
|
|
3
|
-
import { Decoder } from "@fncts/base/data/Decoder";
|
|
3
|
+
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
4
4
|
import type { Check } from "@fncts/typelevel/Check";
|
|
5
5
|
/**
|
|
6
6
|
* @tsplus derive fncts.Guard[fncts.ImmutableArray]<_> 10
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { ImmutableNonEmptyArray } from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/definition";
|
|
2
2
|
import { Guard } from "@fncts/base/typeclass/Guard";
|
|
3
|
-
import { Decoder } from "@fncts/base/data/Decoder";
|
|
3
|
+
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
4
4
|
import type { Check } from "@fncts/typelevel/Check";
|
|
5
5
|
/**
|
|
6
6
|
* @tsplus derive fncts.Guard[fncts.ImmutableNonEmptyArray]<_> 10
|
|
@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
|
|
|
3
3
|
import { Equatable } from "@fncts/base/typeclass/Equatable";
|
|
4
4
|
import { Vector } from "@fncts/base/collection/immutable/Vector";
|
|
5
5
|
export declare const RoseTreeTypeId: unique symbol;
|
|
6
|
-
export
|
|
6
|
+
export type RoseTreeTypeId = typeof RoseTreeTypeId;
|
|
7
7
|
export interface RoseTreeF extends HKT {
|
|
8
8
|
type: RoseTree<this["A"]>;
|
|
9
9
|
variance: {
|
|
@@ -2,7 +2,7 @@ export declare const enum Color {
|
|
|
2
2
|
R = 0,
|
|
3
3
|
B = 1
|
|
4
4
|
}
|
|
5
|
-
export
|
|
5
|
+
export type Leaf = null;
|
|
6
6
|
export declare class Node<K, V> {
|
|
7
7
|
color: Color;
|
|
8
8
|
left: RBNode<K, V>;
|
|
@@ -13,4 +13,4 @@ export declare class Node<K, V> {
|
|
|
13
13
|
constructor(color: Color, left: RBNode<K, V>, key: K, value: V, right: RBNode<K, V>, count: number);
|
|
14
14
|
}
|
|
15
15
|
export declare const Leaf: null;
|
|
16
|
-
export
|
|
16
|
+
export type RBNode<K, V> = Node<K, V> | Leaf;
|
|
@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
|
|
|
3
3
|
import { Equatable } from "@fncts/base/typeclass/Equatable";
|
|
4
4
|
import type { Node } from "@fncts/base/collection/immutable/Vector/internal";
|
|
5
5
|
export declare const VectorTypeId: unique symbol;
|
|
6
|
-
export
|
|
6
|
+
export type VectorTypeId = typeof VectorTypeId;
|
|
7
7
|
export interface VectorF extends HKT {
|
|
8
8
|
type: Vector<this["A"]>;
|
|
9
9
|
variance: {
|