@fncts/base 0.0.18 → 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/derivations.d.ts +1 -1
- package/collection/compat/Record/instances.d.ts +1 -1
- package/collection/immutable/Conc/derivations.d.ts +1 -1
- package/collection/immutable/ImmutableArray/derivations.d.ts +1 -1
- package/collection/immutable/ImmutableNonEmptyArray/derivations.d.ts +1 -1
- package/collection/weak/IterableWeakMap.d.ts +1 -1
- package/data/Branded/definition.d.ts +25 -22
- package/data/Branded/derivations.d.ts +7 -7
- package/data/Decoder/api.d.ts +1 -1
- package/data/Decoder/definition.d.ts +2 -2
- package/data/Either/instances.d.ts +1 -1
- package/data/Maybe/instances.d.ts +1 -1
- package/data/These/instances.d.ts +1 -1
- package/global.d.ts +1 -1
- package/json/EitherJson.d.ts +1 -1
- package/json/MaybeJson.d.ts +1 -1
- package/json/TheseJson.d.ts +1 -1
- package/package.json +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
|
*/
|
@@ -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
|
/**
|
@@ -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
|
@@ -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
|
@@ -6,7 +6,7 @@ export declare class IterableWeakMap<K extends object, V> implements Iterable<re
|
|
6
6
|
private refSet;
|
7
7
|
private finalizationGroup;
|
8
8
|
private static cleanup;
|
9
|
-
constructor(iterable
|
9
|
+
constructor(iterable?: Iterable<readonly [K, V]>);
|
10
10
|
set(this: this, key: K, value: V): this;
|
11
11
|
get(this: this, key: K): V | undefined;
|
12
12
|
delete(this: this, key: K): boolean;
|
@@ -1,36 +1,39 @@
|
|
1
1
|
import { Refinement } from "@fncts/base/data/Refinement/definition";
|
2
2
|
import { Predicate } from "@fncts/base/data/Predicate/definition";
|
3
3
|
import type { Union } from "@fncts/typelevel";
|
4
|
-
|
5
|
-
export declare namespace
|
6
|
-
|
7
|
-
|
8
|
-
|
9
|
-
|
4
|
+
declare const validSym: unique symbol;
|
5
|
+
export declare namespace Brand {
|
6
|
+
type valid = typeof validSym;
|
7
|
+
/**
|
8
|
+
* @tsplus derive nominal
|
9
|
+
*/
|
10
|
+
interface Valid<in out A, in out K extends string> {
|
11
|
+
[validSym]: {
|
10
12
|
[_ in K]: A;
|
11
13
|
};
|
12
14
|
}
|
13
|
-
type Type<A extends
|
14
|
-
type Validated<A, K extends string> = A & Brand<A, K>;
|
15
|
-
type IsValidated<P extends
|
16
|
-
[K in keyof P[
|
17
|
-
}[keyof P[
|
18
|
-
type
|
19
|
-
type Brands<P extends
|
20
|
-
[K in keyof P[
|
21
|
-
}[keyof P[
|
15
|
+
type Type<A extends Validation<any, any>> = A extends Validation<infer A, infer K> ? Validated<A, K> : never;
|
16
|
+
type Validated<A, K extends string> = A & Brand.Valid<A, K>;
|
17
|
+
type IsValidated<P extends Valid<any, any>> = {
|
18
|
+
[K in keyof P[Brand.valid]]: P extends P[Brand.valid][K] ? 0 : 1;
|
19
|
+
}[keyof P[Brand.valid]] extends 0 ? unknown : never;
|
20
|
+
type Unbranded<P> = P extends infer Q & Brands<P> ? Q : P;
|
21
|
+
type Brands<P> = P extends Valid<any, any> ? Union.IntersectionOf<{
|
22
|
+
[K in keyof P[Brand.valid]]: P extends P[Brand.valid][K] ? K extends string ? Valid<P[Brand.valid][K], K> : never : never;
|
23
|
+
}[keyof P[Brand.valid]]> : unknown;
|
22
24
|
}
|
23
25
|
/**
|
24
|
-
* @tsplus type fncts.
|
25
|
-
* @tsplus companion fncts.
|
26
|
+
* @tsplus type fncts.Validation
|
27
|
+
* @tsplus companion fncts.ValidationOps
|
28
|
+
* @tsplus derive nominal
|
26
29
|
*/
|
27
|
-
export declare class
|
28
|
-
readonly validate: Refinement<A, A &
|
29
|
-
constructor(validate: Refinement<A, A &
|
30
|
+
export declare class Validation<in out A, in out K extends string> {
|
31
|
+
readonly validate: Refinement<A, A & Brand.Valid<A, K>>;
|
32
|
+
constructor(validate: Refinement<A, A & Brand.Valid<A, K>>);
|
30
33
|
}
|
31
34
|
/**
|
32
|
-
* @tsplus static fncts.
|
35
|
+
* @tsplus static fncts.ValidationOps __call
|
33
36
|
* @tsplus location "@fncts/base/data/Branded/definition"
|
34
37
|
*/
|
35
|
-
export declare function
|
38
|
+
export declare function makeValidation<A, K extends string>(p: Predicate<A>): Validation<A, K>;
|
36
39
|
export {};
|
@@ -1,24 +1,24 @@
|
|
1
1
|
import { Guard } from "@fncts/base/typeclass/Guard";
|
2
|
-
import type {
|
2
|
+
import type { Validation, Brand } from "@fncts/base/data/Branded/definition";
|
3
3
|
import type { Check } from "@fncts/typelevel/Check";
|
4
4
|
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
5
5
|
/**
|
6
6
|
* @tsplus derive fncts.Guard<_> 10
|
7
7
|
* @tsplus location "@fncts/base/data/Branded/derivations"
|
8
8
|
*/
|
9
|
-
export declare function deriveGuard<A extends
|
10
|
-
base: Guard<
|
9
|
+
export declare function deriveGuard<A extends Brand.Valid<any, any>>(...[base, brands]: Check<Brand.IsValidated<A>> extends Check.True ? [
|
10
|
+
base: Guard<Brand.Unbranded<A>>,
|
11
11
|
brands: {
|
12
|
-
[K in keyof A[
|
12
|
+
[K in keyof A[Brand.valid] & string]: Validation<A[Brand.valid][K], K>;
|
13
13
|
}
|
14
14
|
] : never): Guard<A>;
|
15
15
|
/**
|
16
16
|
* @tsplus derive fncts.Decoder<_> 10
|
17
17
|
* @tsplus location "@fncts/base/data/Branded/derivations"
|
18
18
|
*/
|
19
|
-
export declare function deriveDecoder<A extends
|
20
|
-
base: Decoder<
|
19
|
+
export declare function deriveDecoder<A extends Brand.Valid<any, any>>(...[base, brands]: Check<Brand.IsValidated<A>> extends Check.True ? [
|
20
|
+
base: Decoder<Brand.Unbranded<A>>,
|
21
21
|
brands: {
|
22
|
-
[K in keyof A[
|
22
|
+
[K in (keyof A[Brand.valid]) & string]: Validation<A[Brand.valid][K], K>;
|
23
23
|
}
|
24
24
|
] : never): Decoder<A>;
|
package/data/Decoder/api.d.ts
CHANGED
@@ -8,7 +8,7 @@ import { Decoder } from "@fncts/base/data/Decoder/definition";
|
|
8
8
|
* @tsplus fluent fncts.Decoder __call
|
9
9
|
* @tsplus location "@fncts/base/data/Decoder/api"
|
10
10
|
*/
|
11
|
-
export declare function decode<
|
11
|
+
export declare function decode<A>(self: Decoder<A>, input: unknown): These<DecodeError, A>;
|
12
12
|
export declare function fromGuard<A>(guard: Guard<A>, onFalse: (i: unknown) => DecodeError, label: string): Decoder<A>;
|
13
13
|
/**
|
14
14
|
* @tsplus implicit
|
@@ -12,12 +12,12 @@ export interface DecoderF extends HKT {
|
|
12
12
|
/**
|
13
13
|
* @tsplus type fncts.Decoder
|
14
14
|
* @tsplus companion fncts.DecoderOps
|
15
|
+
* @tsplus derive nominal
|
15
16
|
*/
|
16
|
-
export declare class Decoder<A> {
|
17
|
+
export declare class Decoder<in out A> {
|
17
18
|
readonly decode: (input: unknown) => These<DecodeError, A>;
|
18
19
|
readonly label: string;
|
19
20
|
readonly _typeId: DecoderTypeId;
|
20
|
-
readonly _A: () => A;
|
21
21
|
constructor(decode: (input: unknown) => These<DecodeError, A>, label: string);
|
22
22
|
}
|
23
23
|
/**
|
@@ -1,7 +1,7 @@
|
|
1
1
|
import { HKT } from "@fncts/typelevel/HKT";
|
2
2
|
import { Predicate } from "@fncts/base/data/Predicate/definition";
|
3
3
|
import { Guard } from "@fncts/base/typeclass/Guard";
|
4
|
-
import { Decoder } from "@fncts/base/data/Decoder";
|
4
|
+
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
5
5
|
import type { EitherF } from "@fncts/base/data/Either/definition.js";
|
6
6
|
import { Either } from "@fncts/base/data/Either/definition";
|
7
7
|
import * as P from "../../typeclass.js";
|
@@ -1,6 +1,6 @@
|
|
1
1
|
import { Maybe } from "@fncts/base/data/Maybe/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 * as P from "../../typeclass.js";
|
5
5
|
import type { MaybeF } from "@fncts/base/data/Maybe/definition";
|
6
6
|
export declare const Functor: P.Functor<MaybeF, import("@fncts/typelevel/HKT.js").HKT.None>;
|
@@ -1,6 +1,6 @@
|
|
1
1
|
import { These } from "@fncts/base/data/These";
|
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
|
/**
|
5
5
|
* @tsplus derive fncts.Guard[fncts.These]<_> 10
|
6
6
|
* @tsplus location "@fncts/base/data/These/instances"
|
package/global.d.ts
CHANGED
@@ -105,7 +105,7 @@ import { DatumEither } from "@fncts/base/data/DatumEither/definition";
|
|
105
105
|
/**
|
106
106
|
* @tsplus global
|
107
107
|
*/
|
108
|
-
import { Decoder } from "@fncts/base/data/Decoder";
|
108
|
+
import { Decoder } from "@fncts/base/data/Decoder/definition";
|
109
109
|
/**
|
110
110
|
* @tsplus global
|
111
111
|
*/
|
package/json/EitherJson.d.ts
CHANGED
package/json/MaybeJson.d.ts
CHANGED
package/json/TheseJson.d.ts
CHANGED