@fncts/base 0.0.17 → 0.0.19

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