@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.
Files changed (40) hide show
  1. package/_cjs/collection/compat/Record/instances.cjs +1 -1
  2. package/_cjs/collection/weak/IterableWeakMap.cjs +7 -1
  3. package/_cjs/collection/weak/IterableWeakMap.cjs.map +1 -1
  4. package/_cjs/data/Branded/definition.cjs +10 -9
  5. package/_cjs/data/Branded/definition.cjs.map +1 -1
  6. package/_cjs/data/Decoder/api.cjs.map +1 -1
  7. package/_cjs/data/Decoder/definition.cjs +1 -0
  8. package/_cjs/data/Decoder/definition.cjs.map +1 -1
  9. package/_mjs/collection/compat/Record/instances.mjs +1 -1
  10. package/_mjs/collection/weak/IterableWeakMap.mjs +3 -1
  11. package/_mjs/collection/weak/IterableWeakMap.mjs.map +1 -1
  12. package/_mjs/data/Branded/definition.mjs +7 -6
  13. package/_mjs/data/Branded/definition.mjs.map +1 -1
  14. package/_mjs/data/Decoder/api.mjs.map +1 -1
  15. package/_mjs/data/Decoder/definition.mjs +1 -0
  16. package/_mjs/data/Decoder/definition.mjs.map +1 -1
  17. package/_src/collection/weak/IterableWeakMap.ts +1 -1
  18. package/_src/data/Branded/definition.ts +27 -24
  19. package/_src/data/Branded/derivations.ts +10 -10
  20. package/_src/data/Decoder/api.ts +1 -1
  21. package/_src/data/Decoder/definition.ts +2 -2
  22. package/_src/global.ts +1 -1
  23. package/collection/compat/Array/derivations.d.ts +1 -1
  24. package/collection/compat/Record/instances.d.ts +1 -1
  25. package/collection/immutable/Conc/derivations.d.ts +1 -1
  26. package/collection/immutable/ImmutableArray/derivations.d.ts +1 -1
  27. package/collection/immutable/ImmutableNonEmptyArray/derivations.d.ts +1 -1
  28. package/collection/weak/IterableWeakMap.d.ts +1 -1
  29. package/data/Branded/definition.d.ts +25 -22
  30. package/data/Branded/derivations.d.ts +7 -7
  31. package/data/Decoder/api.d.ts +1 -1
  32. package/data/Decoder/definition.d.ts +2 -2
  33. package/data/Either/instances.d.ts +1 -1
  34. package/data/Maybe/instances.d.ts +1 -1
  35. package/data/These/instances.d.ts +1 -1
  36. package/global.d.ts +1 -1
  37. package/json/EitherJson.d.ts +1 -1
  38. package/json/MaybeJson.d.ts +1 -1
  39. package/json/TheseJson.d.ts +1 -1
  40. 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.string.decode(u);
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":";;;;;;;AAAA;;;AAGM,MAAOA,eAAP,CAAsB;EAW1BC,YAAYC,QAAZ,EAA+C;IAVvC,eAAoB,IAAIC,OAAJ,EAApB;IACA,cAAoB,IAAIC,GAAJ,EAApB;IACA,yBAAoB,IAAIC,oBAAJ,CAC1BL,eAAe,CAACM,OADU,CAApB;;IASN,KAAK,MAAM,CAACC,GAAD,EAAMC,KAAN,CAAX,IAA2BN,QAA3B,EAAqC;MACnC,KAAKO,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","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
+ {"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.Brand = void 0;
7
- exports.makeBrand = makeBrand;
6
+ exports.Validation = void 0;
7
+ exports.makeValidation = makeValidation;
8
8
 
9
9
  /**
10
- * @tsplus type fncts.Brand
11
- * @tsplus companion fncts.BrandOps
10
+ * @tsplus type fncts.Validation
11
+ * @tsplus companion fncts.ValidationOps
12
+ * @tsplus derive nominal
12
13
  */
13
- class Brand {
14
+ class Validation {
14
15
  constructor(validate) {
15
16
  this.validate = validate;
16
17
  }
17
18
 
18
19
  }
19
20
  /**
20
- * @tsplus static fncts.BrandOps __call
21
+ * @tsplus static fncts.ValidationOps __call
21
22
  */
22
23
 
23
24
 
24
- exports.Brand = Brand;
25
+ exports.Validation = Validation;
25
26
 
26
- function makeBrand(p) {
27
- return new Brand(p);
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":";;;;;;;;AAqCA;;;;AAIM,MAAOA,KAAP,CAAY;EAChBC,YAAqBC,QAArB,EAAqE;IAAhD;EAAoD;;AADzD;AAIlB;;;;;;;AAGM,SAAUC,SAAV,CAAyCC,CAAzC,EAAwD;EAC5D,OAAO,IAAIJ,KAAJ,CAAUI,CAAV,CAAP;AACD","names":["Brand","constructor","validate","makeBrand","p"],"sourceRoot":"","sources":["../../../_src/data/Branded/definition.ts"],"sourcesContent":[null]}
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,CAA0BC,IAA1B,EAA4CC,KAA5C,EAA0D;EAC9D,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
+ {"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]}
@@ -9,6 +9,7 @@ const DecoderTypeId = /*#__PURE__*/Symbol.for("fncts.Decoder");
9
9
  /**
10
10
  * @tsplus type fncts.Decoder
11
11
  * @tsplus companion fncts.DecoderOps
12
+ * @tsplus derive nominal
12
13
  */
13
14
 
14
15
  exports.DecoderTypeId = DecoderTypeId;
@@ -1 +1 @@
1
- {"version":3,"file":"definition.cjs","mappings":";;;;;;;AAEO,MAAMA,aAAa,gBAAGC,MAAM,CAACC,GAAP,CAAW,eAAX,CAAtB;AAUP;;;;;;;AAIM,MAAOC,OAAP,CAAc;EAGlBC,YAAqBC,MAArB,EAAiFC,KAAjF,EAA8F;IAAzE;IAA4D;IAFxE,eAAyBN,aAAzB;EAEyF;;AAHhF;AAMpB;;;;;;;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]}
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.string.decode(u);
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;;;AAGA,OAAM,MAAOA,eAAP,CAAsB;EAW1BC,YAAYC,QAAZ,EAA+C;IAVvC,eAAoB,IAAIC,OAAJ,EAApB;IACA,cAAoB,IAAIC,GAAJ,EAApB;IACA,yBAAoB,IAAIC,oBAAJ,CAC1BL,eAAe,CAACM,OADU,CAApB;;IASN,KAAK,MAAM,CAACC,GAAD,EAAMC,KAAN,CAAX,IAA2BN,QAA3B,EAAqC;MACnC,KAAKO,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","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
+ {"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.Brand
3
- * @tsplus companion fncts.BrandOps
2
+ * @tsplus type fncts.Validation
3
+ * @tsplus companion fncts.ValidationOps
4
+ * @tsplus derive nominal
4
5
  */
5
- export class Brand {
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.BrandOps __call
13
+ * @tsplus static fncts.ValidationOps __call
13
14
  */
14
15
 
15
- export function makeBrand(p) {
16
- return new Brand(p);
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":"AAqCA;;;;AAIA,OAAM,MAAOA,KAAP,CAAY;EAChBC,YAAqBC,QAArB,EAAqE;IAAhD;EAAoD;;AADzD;AAIlB;;;;AAGA,OAAM,SAAUC,SAAV,CAAyCC,CAAzC,EAAwD;EAC5D,OAAO,IAAIJ,KAAJ,CAAUI,CAAV,CAAP;AACD","names":["Brand","constructor","validate","makeBrand","p"],"sourceRoot":"","sources":["../../../_src/data/Branded/definition.ts"],"sourcesContent":[null]}
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,CAA0BC,IAA1B,EAA4CC,KAA5C,EAA0D;EAC9D,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
+ {"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]}
@@ -2,6 +2,7 @@ export const DecoderTypeId = /*#__PURE__*/Symbol.for("fncts.Decoder");
2
2
  /**
3
3
  * @tsplus type fncts.Decoder
4
4
  * @tsplus companion fncts.DecoderOps
5
+ * @tsplus derive nominal
5
6
  */
6
7
 
7
8
  export class Decoder {
@@ -1 +1 @@
1
- {"version":3,"file":"definition.mjs","mappings":"AAEA,OAAO,MAAMA,aAAa,gBAAGC,MAAM,CAACC,GAAP,CAAW,eAAX,CAAtB;AAUP;;;;;AAIA,OAAM,MAAOC,OAAP,CAAc;EAGlBC,YAAqBC,MAArB,EAAiFC,KAAjF,EAA8F;IAAzE;IAA4D;IAFxE,eAAyBN,aAAzB;EAEyF;;AAHhF;AAMpB;;;;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]}
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
- type Brand_<A, K extends string> = Brand<A, K>;
3
+ declare const validSym: unique symbol;
4
4
 
5
- export declare namespace Branded {
6
- const Symbol: unique symbol;
7
- export type Symbol = typeof Symbol;
5
+ export declare namespace Brand {
6
+ export type valid = typeof validSym;
8
7
 
9
- export interface Brand<A, K extends string> {
10
- readonly [Branded.Symbol]: {
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 Brand_<any, any>> = [A] extends [Brand_<infer A, infer K>] ? Validated<A, K> : never;
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 Brand<any, any>> = {
20
- [K in keyof P[Branded.Symbol]]: P extends P[Branded.Symbol][K] ? 0 : 1;
21
- }[keyof P[Branded.Symbol]] extends 0
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 Unbrand<P extends Brand<any, any>> = P extends infer Q & Brands<P> ? Q : P;
27
+ export type Unbranded<P> = P extends infer Q & Brands<P> ? Q : P;
26
28
 
27
- export type Brands<P extends Brand<any, any>> = Union.IntersectionOf<
29
+ export type Brands<P> = P extends Valid<any, any> ? Union.IntersectionOf<
28
30
  {
29
- [K in keyof P[Branded.Symbol]]: P extends P[Branded.Symbol][K]
31
+ [K in keyof P[Brand.valid]]: P extends P[Brand.valid][K]
30
32
  ? K extends string
31
- ? Brand<P[Branded.Symbol][K], K>
33
+ ? Valid<P[Brand.valid][K], K>
32
34
  : never
33
35
  : never;
34
- }[keyof P[Branded.Symbol]]
35
- >;
36
+ }[keyof P[Brand.valid]]
37
+ > : unknown;
36
38
  }
37
39
 
38
40
  /**
39
- * @tsplus type fncts.Brand
40
- * @tsplus companion fncts.BrandOps
41
+ * @tsplus type fncts.Validation
42
+ * @tsplus companion fncts.ValidationOps
43
+ * @tsplus derive nominal
41
44
  */
42
- export class Brand<A, K extends string> {
43
- constructor(readonly validate: Refinement<A, A & Branded.Brand<A, K>>) {}
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.BrandOps __call
50
+ * @tsplus static fncts.ValidationOps __call
48
51
  */
49
- export function makeBrand<A, K extends string>(p: Predicate<A>): Brand<A, K> {
50
- return new Brand(p as Refinement<A, A & Branded.Brand<A, K>>);
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 { Brand, Branded } from "@fncts/base/data/Branded/definition";
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 Branded.Brand<any, any>>(
11
- ...[base, brands]: Check<Branded.IsValidated<A>> extends Check.True
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<Branded.Unbrand<A>>,
13
+ base: Guard<Brand.Unbranded<A>>,
14
14
  brands: {
15
- [K in keyof A[Branded.Symbol] & string]: Brand<A[Branded.Symbol][K], K>;
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<Brand<A, any>>;
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 Branded.Brand<any, any>>(
28
- ...[base, brands]: Check<Branded.IsValidated<A>> extends Check.True
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<Branded.Unbrand<A>>,
30
+ base: Decoder<Brand.Unbranded<A>>,
31
31
  brands: {
32
- [K in keyof A[Branded.Symbol] & string]: Brand<A[Branded.Symbol][K], K>;
32
+ [K in (keyof A[Brand.valid]) & string]: Validation<A[Brand.valid][K], K>;
33
33
  },
34
34
  ]
35
35
  : never
@@ -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<I, E, A>(self: Decoder<A>, input: unknown): These<DecodeError, A> {
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,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 type { Check } from "@fncts/typelevel/Check";
4
4
  /**
5
5
  * @tsplus derive fncts.Guard<_> 15
@@ -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: Iterable<readonly [K, V]>);
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
- type Brand_<A, K extends string> = Brand<A, K>;
5
- export declare namespace Branded {
6
- const Symbol: unique symbol;
7
- type Symbol = typeof Symbol;
8
- interface Brand<A, K extends string> {
9
- readonly [Branded.Symbol]: {
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 Brand_<any, any>> = [A] extends [Brand_<infer A, infer K>] ? Validated<A, K> : never;
14
- type Validated<A, K extends string> = A & Brand<A, K>;
15
- type IsValidated<P extends Brand<any, any>> = {
16
- [K in keyof P[Branded.Symbol]]: P extends P[Branded.Symbol][K] ? 0 : 1;
17
- }[keyof P[Branded.Symbol]] extends 0 ? unknown : never;
18
- type Unbrand<P extends Brand<any, any>> = P extends infer Q & Brands<P> ? Q : P;
19
- type Brands<P extends Brand<any, any>> = Union.IntersectionOf<{
20
- [K in keyof P[Branded.Symbol]]: P extends P[Branded.Symbol][K] ? K extends string ? Brand<P[Branded.Symbol][K], K> : never : never;
21
- }[keyof P[Branded.Symbol]]>;
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.Brand
25
- * @tsplus companion fncts.BrandOps
26
+ * @tsplus type fncts.Validation
27
+ * @tsplus companion fncts.ValidationOps
28
+ * @tsplus derive nominal
26
29
  */
27
- export declare class Brand<A, K extends string> {
28
- readonly validate: Refinement<A, A & Branded.Brand<A, K>>;
29
- constructor(validate: Refinement<A, A & Branded.Brand<A, K>>);
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.BrandOps __call
35
+ * @tsplus static fncts.ValidationOps __call
33
36
  * @tsplus location "@fncts/base/data/Branded/definition"
34
37
  */
35
- export declare function makeBrand<A, K extends string>(p: Predicate<A>): Brand<A, K>;
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 { Brand, Branded } from "@fncts/base/data/Branded/definition";
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 Branded.Brand<any, any>>(...[base, brands]: Check<Branded.IsValidated<A>> extends Check.True ? [
10
- base: Guard<Branded.Unbrand<A>>,
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[Branded.Symbol] & string]: Brand<A[Branded.Symbol][K], K>;
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 Branded.Brand<any, any>>(...[base, brands]: Check<Branded.IsValidated<A>> extends Check.True ? [
20
- base: Decoder<Branded.Unbrand<A>>,
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[Branded.Symbol] & string]: Brand<A[Branded.Symbol][K], K>;
22
+ [K in (keyof A[Brand.valid]) & string]: Validation<A[Brand.valid][K], K>;
23
23
  }
24
24
  ] : never): Decoder<A>;
@@ -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<I, E, A>(self: Decoder<A>, input: unknown): These<DecodeError, A>;
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
  */
@@ -1,4 +1,4 @@
1
- import { Decoder } from "@fncts/base/data/Decoder";
1
+ import { Decoder } from "@fncts/base/data/Decoder/definition";
2
2
  export interface RightJson<A> {
3
3
  readonly _tag: "Right";
4
4
  readonly right: A;
@@ -1,4 +1,4 @@
1
- import { Decoder } from "@fncts/base/data/Decoder";
1
+ import { Decoder } from "@fncts/base/data/Decoder/definition";
2
2
  export interface NothingJson {
3
3
  readonly _tag: "Nothing";
4
4
  }
@@ -1,4 +1,4 @@
1
- import { Decoder } from "@fncts/base/data/Decoder";
1
+ import { Decoder } from "@fncts/base/data/Decoder/definition";
2
2
  export interface LeftJson<E> {
3
3
  readonly _tag: "Left";
4
4
  readonly left: E;
package/package.json CHANGED
@@ -1,9 +1,9 @@
1
1
  {
2
2
  "name": "@fncts/base",
3
- "version": "0.0.18",
3
+ "version": "0.0.19",
4
4
  "dependencies": {
5
5
  "@fncts/typelevel": "0.0.14",
6
- "uuid": "^8.3.2"
6
+ "uuid": "^9.0.0"
7
7
  },
8
8
  "exports": {
9
9
  "./*": {