@fncts/base 0.0.18 → 0.0.19

Sign up to get free protection for your applications and to get access to all the features.
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
  "./*": {