@fncts/base 0.0.17 → 0.0.19

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (93) 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/definition.d.ts +2 -2
  24. package/collection/compat/Array/derivations.d.ts +1 -1
  25. package/collection/compat/Record/instances.d.ts +1 -1
  26. package/collection/immutable/Conc/definition.d.ts +1 -1
  27. package/collection/immutable/Conc/derivations.d.ts +1 -1
  28. package/collection/immutable/HashMap/definition.d.ts +1 -1
  29. package/collection/immutable/HashMap/internal.d.ts +3 -3
  30. package/collection/immutable/HashSet/definition.d.ts +1 -1
  31. package/collection/immutable/ImmutableArray/definition.d.ts +1 -1
  32. package/collection/immutable/ImmutableArray/derivations.d.ts +1 -1
  33. package/collection/immutable/ImmutableNonEmptyArray/derivations.d.ts +1 -1
  34. package/collection/immutable/List/definition.d.ts +1 -1
  35. package/collection/immutable/RoseTree/definition.d.ts +1 -1
  36. package/collection/immutable/SortedMap/node.d.ts +2 -2
  37. package/collection/immutable/Vector/definition.d.ts +1 -1
  38. package/collection/immutable/Vector/internal.d.ts +2 -2
  39. package/collection/weak/IterableWeakMap.d.ts +1 -1
  40. package/control/Eval/definition.d.ts +2 -2
  41. package/control/Z/definition.d.ts +3 -3
  42. package/data/Branded/definition.d.ts +25 -22
  43. package/data/Branded/derivations.d.ts +7 -7
  44. package/data/Byte.d.ts +1 -1
  45. package/data/CaseClass.d.ts +1 -1
  46. package/data/Cause/definition.d.ts +2 -2
  47. package/data/Datum/definition.d.ts +2 -2
  48. package/data/DatumEither/definition.d.ts +1 -1
  49. package/data/DecodeError/definition.d.ts +1 -1
  50. package/data/Decoder/api.d.ts +1 -1
  51. package/data/Decoder/definition.d.ts +3 -3
  52. package/data/Duration/definition.d.ts +1 -1
  53. package/data/Either/definition.d.ts +1 -1
  54. package/data/Either/instances.d.ts +1 -1
  55. package/data/EitherT/definition.d.ts +1 -1
  56. package/data/Environment/api.d.ts +1 -1
  57. package/data/Environment/definition.d.ts +1 -1
  58. package/data/ExecutionStrategy.d.ts +1 -1
  59. package/data/Exit/definition.d.ts +2 -2
  60. package/data/FiberId/definition.d.ts +3 -3
  61. package/data/Maybe/definition.d.ts +1 -1
  62. package/data/Maybe/instances.d.ts +1 -1
  63. package/data/Patch/definition.d.ts +2 -2
  64. package/data/Struct/api.d.ts +5 -5
  65. package/data/Tag/definition.d.ts +1 -1
  66. package/data/These/definition.d.ts +2 -2
  67. package/data/These/instances.d.ts +1 -1
  68. package/data/TraceElement/definition.d.ts +1 -1
  69. package/data/Zipped.d.ts +2 -2
  70. package/data/exceptions/InterruptedException.d.ts +1 -1
  71. package/global.d.ts +1 -1
  72. package/json/EitherJson.d.ts +2 -2
  73. package/json/MaybeJson.d.ts +2 -2
  74. package/json/TheseJson.d.ts +2 -2
  75. package/optics/At/definition.d.ts +1 -1
  76. package/optics/Index/definition.d.ts +1 -1
  77. package/package.json +3 -3
  78. package/typeclass/Applicative.d.ts +1 -1
  79. package/typeclass/Apply.d.ts +2 -2
  80. package/typeclass/Equatable/fast-equals.d.ts +4 -4
  81. package/typeclass/Guard/definition.d.ts +1 -1
  82. package/typeclass/Has.d.ts +1 -1
  83. package/typeclass/HashEq.d.ts +1 -1
  84. package/typeclass/Monoid.d.ts +1 -1
  85. package/typeclass/Ordering.d.ts +1 -1
  86. package/typeclass/Showable/show.d.ts +4 -4
  87. package/typeclass/Showable/styles.d.ts +5 -5
  88. package/types/extractions.d.ts +8 -8
  89. package/types/utility.d.ts +4 -4
  90. package/util/PCGRandom.d.ts +2 -2
  91. package/util/predicates.d.ts +1 -1
  92. package/util/rand/distribution/Distribution.d.ts +1 -1
  93. package/util/rand/distribution/internals/ArrayInt.d.ts +2 -2
@@ -81,7 +81,7 @@ function deriveGuard(...[key, value, requiredKeys]) {
81
81
 
82
82
  function deriveDecoder(...[keyGuard, valueDecoder, requiredKeysRecord]) {
83
83
  return tsplus_module_8.makeDecoder(u => {
84
- const recordResult = tsplus_module_2.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
  */
@@ -15,6 +15,6 @@ declare global {
15
15
  export interface ArrayConstructor {
16
16
  }
17
17
  }
18
- export declare type ESArray<A> = globalThis.Array<A>;
19
- export declare type ESReadonlyArray<A> = globalThis.ReadonlyArray<A>;
18
+ export type ESArray<A> = globalThis.Array<A>;
19
+ export type ESReadonlyArray<A> = globalThis.ReadonlyArray<A>;
20
20
  export declare const ESArray: ArrayConstructor;
@@ -1,5 +1,5 @@
1
1
  import { Guard } from "@fncts/base/typeclass/Guard";
2
- import { Decoder } from "@fncts/base/data/Decoder";
2
+ import { Decoder } from "@fncts/base/data/Decoder/definition";
3
3
  import { These } from "@fncts/base/data/These";
4
4
  import type { Check } from "@fncts/typelevel/Check";
5
5
  /**
@@ -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
@@ -7,7 +7,7 @@ import { unsafeCoerce } from "@fncts/base/data/function/api";
7
7
  export declare const BUFFER_SIZE = 64;
8
8
  export declare const UPDATE_BUFFER_SIZE = 256;
9
9
  export declare const ConcTypeId: unique symbol;
10
- export declare type ConcTypeId = typeof ConcTypeId;
10
+ export type ConcTypeId = typeof ConcTypeId;
11
11
  export declare const enum ConcTag {
12
12
  Empty = "Empty",
13
13
  Concat = "Concat",
@@ -1,6 +1,6 @@
1
1
  import { Conc } from "@fncts/base/collection/immutable/Conc";
2
2
  import { Guard } from "@fncts/base/typeclass/Guard";
3
- import { Decoder } from "@fncts/base/data/Decoder";
3
+ import { Decoder } from "@fncts/base/data/Decoder/definition";
4
4
  import type { Check } from "@fncts/typelevel/Check";
5
5
  /**
6
6
  * @tsplus derive fncts.Guard[fncts.Conc]<_> 10
@@ -37,7 +37,7 @@ export declare class HashMapIterator<K, V, T> implements IterableIterator<T> {
37
37
  next(): IteratorResult<T>;
38
38
  [Symbol.iterator](): IterableIterator<T>;
39
39
  }
40
- declare type Cont<K, V, A> = [len: number, children: Node<K, V>[], i: number, f: (node: readonly [K, V]) => A, cont: Cont<K, V, A>] | undefined;
40
+ type Cont<K, V, A> = [len: number, children: Node<K, V>[], i: number, f: (node: readonly [K, V]) => A, cont: Cont<K, V, A>] | undefined;
41
41
  interface VisitResult<K, V, A> {
42
42
  value: A;
43
43
  cont: Cont<K, V, A>;
@@ -17,7 +17,7 @@ export declare function popcount(x: number): number;
17
17
  export declare function hashFragment(shift: number, h: number): number;
18
18
  export declare function toBitmap(x: number): number;
19
19
  export declare function fromBitmap(bitmap: number, bit: number): number;
20
- export declare type Node<K, V> = LeafNode<K, V> | CollisionNode<K, V> | IndexedNode<K, V> | ArrayNode<K, V> | EmptyNode<K, V>;
20
+ export type Node<K, V> = LeafNode<K, V> | CollisionNode<K, V> | IndexedNode<K, V> | ArrayNode<K, V> | EmptyNode<K, V>;
21
21
  export interface SizeRef {
22
22
  value: number;
23
23
  }
@@ -29,8 +29,8 @@ export declare const _EmptyNode: EmptyNode<never, never>;
29
29
  export declare function isEmptyNode(a: unknown): a is EmptyNode<unknown, unknown>;
30
30
  export declare function isLeaf<K, V>(node: Node<K, V>): node is EmptyNode<K, V> | LeafNode<K, V> | CollisionNode<K, V>;
31
31
  export declare function canEditNode<K, V>(edit: number, node: Node<K, V>): boolean;
32
- export declare type KeyEq<K> = Eq<K>["equals"];
33
- export declare type UpdateFn<V> = (v: Maybe<V>) => Maybe<V>;
32
+ export type KeyEq<K> = Eq<K>["equals"];
33
+ export type UpdateFn<V> = (v: Maybe<V>) => Maybe<V>;
34
34
  export declare class LeafNode<K, V> {
35
35
  readonly edit: number;
36
36
  readonly hash: number;
@@ -55,7 +55,7 @@ interface SizeRef {
55
55
  value: number;
56
56
  }
57
57
  export declare function canEditNode<A>(edit: number, node: Node<A>): boolean;
58
- export declare type Node<A> = EmptyNode<A> | LeafNode<A> | CollisionNode<A> | IndexedNode<A> | ArrayNode<A>;
58
+ export type Node<A> = EmptyNode<A> | LeafNode<A> | CollisionNode<A> | IndexedNode<A> | ArrayNode<A>;
59
59
  export declare class EmptyNode<A> {
60
60
  readonly _tag = "EmptyNode";
61
61
  modify(remove: boolean, edit: number, eq: (x: A, y: A) => boolean, shift: number, hash: number, value: A, size: SizeRef): this | LeafNode<A>;
@@ -2,7 +2,7 @@ import { HKT } from "@fncts/typelevel/HKT";
2
2
  import { Equatable } from "@fncts/base/typeclass/Equatable";
3
3
  import { Hashable } from "@fncts/base/typeclass/Hashable";
4
4
  export declare const ImmutableArrayTypeId: unique symbol;
5
- export declare type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
5
+ export type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
6
6
  export interface ImmutableArrayF extends HKT {
7
7
  type: ImmutableArray<this["A"]>;
8
8
  variance: {
@@ -1,6 +1,6 @@
1
1
  import { ImmutableArray } from "@fncts/base/collection/immutable/ImmutableArray/definition";
2
2
  import { Guard } from "@fncts/base/typeclass/Guard";
3
- import { Decoder } from "@fncts/base/data/Decoder";
3
+ import { Decoder } from "@fncts/base/data/Decoder/definition";
4
4
  import type { Check } from "@fncts/typelevel/Check";
5
5
  /**
6
6
  * @tsplus derive fncts.Guard[fncts.ImmutableArray]<_> 10
@@ -1,6 +1,6 @@
1
1
  import { ImmutableNonEmptyArray } from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/definition";
2
2
  import { Guard } from "@fncts/base/typeclass/Guard";
3
- import { Decoder } from "@fncts/base/data/Decoder";
3
+ import { Decoder } from "@fncts/base/data/Decoder/definition";
4
4
  import type { Check } from "@fncts/typelevel/Check";
5
5
  /**
6
6
  * @tsplus derive fncts.Guard[fncts.ImmutableNonEmptyArray]<_> 10
@@ -21,7 +21,7 @@ export declare const _Nil: Nil<never>;
21
21
  /**
22
22
  * @tsplus type fncts.List
23
23
  */
24
- export declare type List<A> = Cons<A> | Nil<A>;
24
+ export type List<A> = Cons<A> | Nil<A>;
25
25
  /**
26
26
  * @tsplus type fncts.ListOps
27
27
  */
@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
3
3
  import { Equatable } from "@fncts/base/typeclass/Equatable";
4
4
  import { Vector } from "@fncts/base/collection/immutable/Vector";
5
5
  export declare const RoseTreeTypeId: unique symbol;
6
- export declare type RoseTreeTypeId = typeof RoseTreeTypeId;
6
+ export type RoseTreeTypeId = typeof RoseTreeTypeId;
7
7
  export interface RoseTreeF extends HKT {
8
8
  type: RoseTree<this["A"]>;
9
9
  variance: {
@@ -2,7 +2,7 @@ export declare const enum Color {
2
2
  R = 0,
3
3
  B = 1
4
4
  }
5
- export declare type Leaf = null;
5
+ export type Leaf = null;
6
6
  export declare class Node<K, V> {
7
7
  color: Color;
8
8
  left: RBNode<K, V>;
@@ -13,4 +13,4 @@ export declare class Node<K, V> {
13
13
  constructor(color: Color, left: RBNode<K, V>, key: K, value: V, right: RBNode<K, V>, count: number);
14
14
  }
15
15
  export declare const Leaf: null;
16
- export declare type RBNode<K, V> = Node<K, V> | Leaf;
16
+ export type RBNode<K, V> = Node<K, V> | Leaf;
@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
3
3
  import { Equatable } from "@fncts/base/typeclass/Equatable";
4
4
  import type { Node } from "@fncts/base/collection/immutable/Vector/internal";
5
5
  export declare const VectorTypeId: unique symbol;
6
- export declare type VectorTypeId = typeof VectorTypeId;
6
+ export type VectorTypeId = typeof VectorTypeId;
7
7
  export interface VectorF extends HKT {
8
8
  type: Vector<this["A"]>;
9
9
  variance: {