@fncts/schema 0.0.23 → 0.0.25

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 (146) hide show
  1. package/AST.d.ts +60 -29
  2. package/ASTAnnotationMap.d.ts +4 -1
  3. package/LICENSE +26 -0
  4. package/ParseError/ParseError.d.ts +28 -13
  5. package/_cjs/AST.cjs +1096 -1087
  6. package/_cjs/AST.cjs.map +1 -1
  7. package/_cjs/ASTAnnotation.cjs +114 -83
  8. package/_cjs/ASTAnnotation.cjs.map +1 -1
  9. package/_cjs/ASTAnnotationMap.cjs +43 -32
  10. package/_cjs/ASTAnnotationMap.cjs.map +1 -1
  11. package/_cjs/Eq.cjs +113 -145
  12. package/_cjs/Eq.cjs.map +1 -1
  13. package/_cjs/Gen.cjs +131 -167
  14. package/_cjs/Gen.cjs.map +1 -1
  15. package/_cjs/Guard.cjs +167 -267
  16. package/_cjs/Guard.cjs.map +1 -1
  17. package/_cjs/InvalidInterpretationError.cjs +9 -15
  18. package/_cjs/InvalidInterpretationError.cjs.map +1 -1
  19. package/_cjs/ParseError/ParseError.cjs +285 -209
  20. package/_cjs/ParseError/ParseError.cjs.map +1 -1
  21. package/_cjs/ParseError/ParseErrorFormatter.cjs +0 -2
  22. package/_cjs/ParseError/PathFormatter.cjs +55 -87
  23. package/_cjs/ParseError/PathFormatter.cjs.map +1 -1
  24. package/_cjs/ParseError/TreeFormatter.cjs +70 -102
  25. package/_cjs/ParseError/TreeFormatter.cjs.map +1 -1
  26. package/_cjs/ParseError.cjs +35 -50
  27. package/_cjs/ParseResult.cjs +15 -15
  28. package/_cjs/ParseResult.cjs.map +1 -1
  29. package/_cjs/Parser/api.cjs +54 -50
  30. package/_cjs/Parser/api.cjs.map +1 -1
  31. package/_cjs/Parser/definition.cjs +17 -16
  32. package/_cjs/Parser/definition.cjs.map +1 -1
  33. package/_cjs/Parser/interpreter.cjs +276 -358
  34. package/_cjs/Parser/interpreter.cjs.map +1 -1
  35. package/_cjs/Parser.cjs +12 -39
  36. package/_cjs/Schema/api/conc.cjs +64 -59
  37. package/_cjs/Schema/api/conc.cjs.map +1 -1
  38. package/_cjs/Schema/api/either.cjs +73 -72
  39. package/_cjs/Schema/api/either.cjs.map +1 -1
  40. package/_cjs/Schema/api/hashMap.cjs +85 -85
  41. package/_cjs/Schema/api/hashMap.cjs.map +1 -1
  42. package/_cjs/Schema/api/hashSet.cjs +75 -69
  43. package/_cjs/Schema/api/hashSet.cjs.map +1 -1
  44. package/_cjs/Schema/api/list.cjs +74 -64
  45. package/_cjs/Schema/api/list.cjs.map +1 -1
  46. package/_cjs/Schema/api/map.cjs +81 -83
  47. package/_cjs/Schema/api/map.cjs.map +1 -1
  48. package/_cjs/Schema/api/maybe.cjs +56 -49
  49. package/_cjs/Schema/api/maybe.cjs.map +1 -1
  50. package/_cjs/Schema/api/set.cjs +68 -61
  51. package/_cjs/Schema/api/set.cjs.map +1 -1
  52. package/_cjs/Schema/api.cjs +332 -350
  53. package/_cjs/Schema/api.cjs.map +1 -1
  54. package/_cjs/Schema/definition.cjs +28 -27
  55. package/_cjs/Schema/definition.cjs.map +1 -1
  56. package/_cjs/Schema/derivations.cjs +85 -100
  57. package/_cjs/Schema/derivations.cjs.map +1 -1
  58. package/_cjs/Schema.cjs +95 -127
  59. package/_cjs/Show.cjs +91 -151
  60. package/_cjs/Show.cjs.map +1 -1
  61. package/_cjs/chunk.cjs +28 -0
  62. package/_cjs/global.cjs +0 -2
  63. package/_cjs/index.cjs +0 -2
  64. package/_cjs/utils.cjs +41 -46
  65. package/_cjs/utils.cjs.map +1 -1
  66. package/_mjs/AST.mjs +1007 -1031
  67. package/_mjs/AST.mjs.map +1 -1
  68. package/_mjs/ASTAnnotation.mjs +77 -71
  69. package/_mjs/ASTAnnotation.mjs.map +1 -1
  70. package/_mjs/ASTAnnotationMap.mjs +36 -25
  71. package/_mjs/ASTAnnotationMap.mjs.map +1 -1
  72. package/_mjs/Eq.mjs +101 -134
  73. package/_mjs/Eq.mjs.map +1 -1
  74. package/_mjs/Gen.mjs +117 -157
  75. package/_mjs/Gen.mjs.map +1 -1
  76. package/_mjs/Guard.mjs +154 -257
  77. package/_mjs/Guard.mjs.map +1 -1
  78. package/_mjs/InvalidInterpretationError.mjs +8 -9
  79. package/_mjs/InvalidInterpretationError.mjs.map +1 -1
  80. package/_mjs/ParseError/ParseError.mjs +270 -190
  81. package/_mjs/ParseError/ParseError.mjs.map +1 -1
  82. package/_mjs/ParseError/ParseErrorFormatter.mjs +0 -2
  83. package/_mjs/ParseError/PathFormatter.mjs +51 -80
  84. package/_mjs/ParseError/PathFormatter.mjs.map +1 -1
  85. package/_mjs/ParseError/TreeFormatter.mjs +62 -94
  86. package/_mjs/ParseError/TreeFormatter.mjs.map +1 -1
  87. package/_mjs/ParseError.mjs +5 -6
  88. package/_mjs/ParseResult.mjs +13 -9
  89. package/_mjs/ParseResult.mjs.map +1 -1
  90. package/_mjs/Parser/api.mjs +43 -39
  91. package/_mjs/Parser/api.mjs.map +1 -1
  92. package/_mjs/Parser/definition.mjs +12 -8
  93. package/_mjs/Parser/definition.mjs.map +1 -1
  94. package/_mjs/Parser/interpreter.mjs +262 -348
  95. package/_mjs/Parser/interpreter.mjs.map +1 -1
  96. package/_mjs/Parser.mjs +4 -5
  97. package/_mjs/Schema/api/conc.mjs +41 -45
  98. package/_mjs/Schema/api/conc.mjs.map +1 -1
  99. package/_mjs/Schema/api/either.mjs +55 -61
  100. package/_mjs/Schema/api/either.mjs.map +1 -1
  101. package/_mjs/Schema/api/hashMap.mjs +61 -71
  102. package/_mjs/Schema/api/hashMap.mjs.map +1 -1
  103. package/_mjs/Schema/api/hashSet.mjs +53 -56
  104. package/_mjs/Schema/api/hashSet.mjs.map +1 -1
  105. package/_mjs/Schema/api/list.mjs +50 -51
  106. package/_mjs/Schema/api/list.mjs.map +1 -1
  107. package/_mjs/Schema/api/map.mjs +59 -69
  108. package/_mjs/Schema/api/map.mjs.map +1 -1
  109. package/_mjs/Schema/api/maybe.mjs +34 -36
  110. package/_mjs/Schema/api/maybe.mjs.map +1 -1
  111. package/_mjs/Schema/api/set.mjs +47 -48
  112. package/_mjs/Schema/api/set.mjs.map +1 -1
  113. package/_mjs/Schema/api.mjs +304 -346
  114. package/_mjs/Schema/api.mjs.map +1 -1
  115. package/_mjs/Schema/definition.mjs +21 -18
  116. package/_mjs/Schema/definition.mjs.map +1 -1
  117. package/_mjs/Schema/derivations.mjs +71 -90
  118. package/_mjs/Schema/derivations.mjs.map +1 -1
  119. package/_mjs/Schema.mjs +12 -15
  120. package/_mjs/Show.mjs +79 -139
  121. package/_mjs/Show.mjs.map +1 -1
  122. package/_mjs/global.mjs +0 -2
  123. package/_mjs/index.mjs +0 -2
  124. package/_mjs/utils.mjs +35 -37
  125. package/_mjs/utils.mjs.map +1 -1
  126. package/_src/AST.ts +226 -28
  127. package/_src/ASTAnnotationMap.ts +14 -1
  128. package/_src/ParseError/ParseError.ts +128 -13
  129. package/_src/Schema/api/hashMap.ts +1 -1
  130. package/_src/Schema/api/hashSet.ts +1 -1
  131. package/_src/Schema/api/list.ts +3 -1
  132. package/_src/Schema/api/map.ts +1 -1
  133. package/_src/Schema/api/set.ts +1 -1
  134. package/package.json +7 -3
  135. package/_cjs/ParseError/ParseErrorFormatter.cjs.map +0 -1
  136. package/_cjs/ParseError.cjs.map +0 -1
  137. package/_cjs/Parser.cjs.map +0 -1
  138. package/_cjs/Schema.cjs.map +0 -1
  139. package/_cjs/global.cjs.map +0 -1
  140. package/_cjs/index.cjs.map +0 -1
  141. package/_mjs/ParseError/ParseErrorFormatter.mjs.map +0 -1
  142. package/_mjs/ParseError.mjs.map +0 -1
  143. package/_mjs/Parser.mjs.map +0 -1
  144. package/_mjs/Schema.mjs.map +0 -1
  145. package/_mjs/global.mjs.map +0 -1
  146. package/_mjs/index.mjs.map +0 -1
@@ -1,86 +1,57 @@
1
- import * as tsplus_module_1 from "@fncts/base/collection/Iterable/api";
2
- import * as tsplus_module_2 from "@fncts/base/data/Maybe/destructors";
3
1
  import { formatTypeError, getMessage } from "./TreeFormatter.mjs";
2
+ import * as tsplus_module_2 from "@fncts/base/data/Maybe/destructors";
3
+ import * as tsplus_module_1 from "@fncts/base/collection/Iterable/api";
4
+ //#region build/esm/ParseError/PathFormatter.js
4
5
  /**
5
- * @tsplus getter fncts.schema.ParseError flatten
6
- */
7
- export function flatten(error) {
8
- return go(error, []);
9
- function go(error, path) {
10
- switch (error._tag) {
11
- case 10 /* ParseErrorTag.Tuple */:
12
- {
13
- return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(error => go(error.error, path.concat(error.index)))(error.errors)));
14
- }
15
- case 11 /* ParseErrorTag.Union */:
16
- {
17
- return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(error => {
18
- if (error._tag === 6 /* ParseErrorTag.UnionMember */) {
19
- return go(error.error, path);
20
- } else {
21
- return go(error, path);
22
- }
23
- })(error.errors)));
24
- }
25
- case 9 /* ParseErrorTag.TypeLiteral */:
26
- {
27
- return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(key => go(key.error, path.concat(key.key)))(error.errors)));
28
- }
29
- case 4 /* ParseErrorTag.Missing */:
30
- {
31
- return [{
32
- type: error._tag,
33
- path: path,
34
- message: "is missing"
35
- }];
36
- }
37
- case 5 /* ParseErrorTag.Unexpected */:
38
- {
39
- return [{
40
- type: error._tag,
41
- path: path,
42
- message: "is unexpected"
43
- }];
44
- }
45
- case 1 /* ParseErrorTag.Type */:
46
- {
47
- return [{
48
- type: error._tag,
49
- path: path,
50
- message: formatTypeError(error)
51
- }];
52
- }
53
- case 0 /* ParseErrorTag.Declaration */:
54
- case 8 /* ParseErrorTag.Transformation */:
55
- case 7 /* ParseErrorTag.Refinement */:
56
- {
57
- return getFlattenedParseError(error, path, () => go(error.error, path));
58
- }
59
- case 12 /* ParseErrorTag.Iterable */:
60
- {
61
- return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(error => {
62
- switch (error._tag) {
63
- case 3 /* ParseErrorTag.Key */:
64
- {
65
- return go(error.error, path.concat(error.key));
66
- }
67
- case 2 /* ParseErrorTag.Index */:
68
- {
69
- return go(error.error, path.concat(error.index));
70
- }
71
- }
72
- })(error.errors)));
73
- }
74
- }
75
- }
6
+ * @tsplus getter fncts.schema.ParseError flatten
7
+ */
8
+ function flatten(error) {
9
+ return go(error, []);
10
+ function go(error, path) {
11
+ switch (error._tag) {
12
+ case 10: return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((error) => go(error.error, path.concat(error.index)))(error.errors)));
13
+ case 11: return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((error) => {
14
+ if (error._tag === 6) return go(error.error, path);
15
+ else return go(error, path);
16
+ })(error.errors)));
17
+ case 9: return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((key) => go(key.error, path.concat(key.key)))(error.errors)));
18
+ case 4: return [{
19
+ type: error._tag,
20
+ path,
21
+ message: "is missing"
22
+ }];
23
+ case 5: return [{
24
+ type: error._tag,
25
+ path,
26
+ message: "is unexpected"
27
+ }];
28
+ case 1: return [{
29
+ type: error._tag,
30
+ path,
31
+ message: formatTypeError(error)
32
+ }];
33
+ case 0:
34
+ case 8:
35
+ case 7: return getFlattenedParseError(error, path, () => go(error.error, path));
36
+ case 12: return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((error) => {
37
+ switch (error._tag) {
38
+ case 3: return go(error.error, path.concat(error.key));
39
+ case 2: return go(error.error, path.concat(error.index));
40
+ }
41
+ })(error.errors)));
42
+ }
43
+ }
76
44
  }
77
45
  function getFlattenedParseError(error, path, orElse) {
78
- return tsplus_module_2.match(() => orElse(), message => {
79
- return [{
80
- type: error._tag,
81
- path,
82
- message
83
- }];
84
- })(getMessage(error));
46
+ return tsplus_module_2.match(() => orElse(), (message) => {
47
+ return [{
48
+ type: error._tag,
49
+ path,
50
+ message
51
+ }];
52
+ })(getMessage(error));
85
53
  }
54
+ //#endregion
55
+ export { flatten };
56
+
86
57
  //# sourceMappingURL=PathFormatter.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"PathFormatter.mjs","names":["formatTypeError","getMessage","flatten","error","go","path","_tag","getFlattenedParseError","tsplus_module_1","toArray","flatMap","concat","index","errors","key","type","message","orElse","tsplus_module_2","match"],"sources":["../../_src/ParseError/PathFormatter.ts"],"sourcesContent":[null],"mappings":";;AAGA,SAASA,eAAe,EAAEC,UAAU,QAAQ,qBAAoB;AAQhE;;;AAGA,OAAM,SAAUC,OAAOA,CAACC,KAAiB;EACvC,OAAOC,EAAE,CAACD,KAAK,EAAE,EAAE,CAAC;EAEpB,SAASC,EAAEA,CAACD,KAAkD,EAAEE,IAAwB;IACtF,QAAQF,KAAK,CAACG,IAAI;MAChB;QAA0B;UACxB,OAAOC,sBAAsB,CAC3BJ,KAAK,EACLE,IAAI,QAAAG,eAAA,CAAAC,OAAA,CACJD,eAAA,CAAAE,OAAA,CAAsBP,KAAK,IAAKC,EAAE,CAACD,KAAK,CAACA,KAAK,EAAEE,IAAI,CAACM,MAAM,CAACR,KAAK,CAACS,KAAK,CAAC,CAAC,EAAzET,KAAK,CAACU,MAAM,CAA8D,EAC3E;QACH;MACA;QAA0B;UACxB,OAAON,sBAAsB,CAC3BJ,KAAK,EACLE,IAAI,QAAAG,eAAA,CAAAC,OAAA,CAEJD,eAAA,CAAAE,OAAA,CAAsBP,KAAK,IAAI;YAC7B,IAAIA,KAAK,CAACG,IAAI,wCAAgC;cAC5C,OAAOF,EAAE,CAACD,KAAK,CAACA,KAAK,EAAEE,IAAI,CAAC;YAC9B,CAAC,MAAM;cACL,OAAOD,EAAE,CAACD,KAAK,EAAEE,IAAI,CAAC;YACxB;UACF,CAAC,EANDF,KAAK,CAACU,MAAM,CAMV,EACH;QACH;MACA;QAAgC;UAC9B,OAAON,sBAAsB,CAC3BJ,KAAK,EACLE,IAAI,QAAAG,eAAA,CAAAC,OAAA,CACJD,eAAA,CAAAE,OAAA,CAAsBI,GAAG,IAAKV,EAAE,CAACU,GAAG,CAACX,KAAK,EAAEE,IAAI,CAACM,MAAM,CAACG,GAAG,CAACA,GAAG,CAAC,CAAC,EAAjEX,KAAK,CAACU,MAAM,CAAsD,EACnE;QACH;MACA;QAA4B;UAC1B,OAAO,CACL;YACEE,IAAI,EAAEZ,KAAK,CAACG,IAAI;YAChBD,IAAI,EAAEA,IAAI;YACVW,OAAO,EAAE;WACD,CACX;QACH;MACA;QAA+B;UAC7B,OAAO,CACL;YACED,IAAI,EAAEZ,KAAK,CAACG,IAAI;YAChBD,IAAI,EAAEA,IAAI;YACVW,OAAO,EAAE;WACD,CACX;QACH;MACA;QAAyB;UACvB,OAAO,CACL;YACED,IAAI,EAAEZ,KAAK,CAACG,IAAI;YAChBD,IAAI,EAAEA,IAAI;YACVW,OAAO,EAAEhB,eAAe,CAACG,KAAK;WACtB,CACX;QACH;MACA;MACA;MACA;QAA+B;UAC7B,OAAOI,sBAAsB,CAACJ,KAAK,EAAEE,IAAI,QAAED,EAAE,CAACD,KAAK,CAACA,KAAK,EAAEE,IAAI,CAAC,CAAC;QACnE;MACA;QAA6B;UAC3B,OAAOE,sBAAsB,CAC3BJ,KAAK,EACLE,IAAI,QAAAG,eAAA,CAAAC,OAAA,CACJD,eAAA,CAAAE,OAAA,CAAsBP,KAAK,IAAI;YAC7B,QAAQA,KAAK,CAACG,IAAI;cAChB;gBAAwB;kBACtB,OAAOF,EAAE,CAACD,KAAK,CAACA,KAAK,EAAEE,IAAI,CAACM,MAAM,CAACR,KAAK,CAACW,GAAG,CAAC,CAAC;gBAChD;cACA;gBAA0B;kBACxB,OAAOV,EAAE,CAACD,KAAK,CAACA,KAAK,EAAEE,IAAI,CAACM,MAAM,CAACR,KAAK,CAACS,KAAK,CAAC,CAAC;gBAClD;YACF;UACF,CAAC,EATDT,KAAK,CAACU,MAAM,CASV,EACH;QACH;IACF;EACF;AACF;AAEA,SAASN,sBAAsBA,CAC7BJ,KAAiB,EACjBE,IAAwB,EACxBY,MAAmC;EAEnC,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMF,MAAM,EAAE,EACbD,OAAO,IAAI;IACV,OAAO,CACL;MACED,IAAI,EAAEZ,KAAK,CAACG,IAAI;MAChBD,IAAI;MACJW;KACD,CACF;EACH,CAAC,EAVIf,UAAU,CAACE,KAAK,CAAC,CAWvB;AACH","ignoreList":[]}
1
+ {"version":3,"file":"PathFormatter.mjs","names":[],"sources":["../../esm/ParseError/PathFormatter.js"],"sourcesContent":["import * as tsplus_module_1 from \"@fncts/base/collection/Iterable/api\";\nimport * as tsplus_module_2 from \"@fncts/base/data/Maybe/destructors\";\nimport { formatTypeError, getMessage } from \"./TreeFormatter.js\";\n/**\n * @tsplus getter fncts.schema.ParseError flatten\n */\nexport function flatten(error) {\n return go(error, []);\n function go(error, path) {\n switch (error._tag) {\n case 10 /* ParseErrorTag.Tuple */: {\n return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((error) => go(error.error, path.concat(error.index)))(error.errors)));\n }\n case 11 /* ParseErrorTag.Union */: {\n return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((error) => {\n if (error._tag === 6 /* ParseErrorTag.UnionMember */) {\n return go(error.error, path);\n }\n else {\n return go(error, path);\n }\n })(error.errors)));\n }\n case 9 /* ParseErrorTag.TypeLiteral */: {\n return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((key) => go(key.error, path.concat(key.key)))(error.errors)));\n }\n case 4 /* ParseErrorTag.Missing */: {\n return [\n {\n type: error._tag,\n path: path,\n message: \"is missing\",\n },\n ];\n }\n case 5 /* ParseErrorTag.Unexpected */: {\n return [\n {\n type: error._tag,\n path: path,\n message: \"is unexpected\",\n },\n ];\n }\n case 1 /* ParseErrorTag.Type */: {\n return [\n {\n type: error._tag,\n path: path,\n message: formatTypeError(error),\n },\n ];\n }\n case 0 /* ParseErrorTag.Declaration */:\n case 8 /* ParseErrorTag.Transformation */:\n case 7 /* ParseErrorTag.Refinement */: {\n return getFlattenedParseError(error, path, () => go(error.error, path));\n }\n case 12 /* ParseErrorTag.Iterable */: {\n return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap((error) => {\n switch (error._tag) {\n case 3 /* ParseErrorTag.Key */: {\n return go(error.error, path.concat(error.key));\n }\n case 2 /* ParseErrorTag.Index */: {\n return go(error.error, path.concat(error.index));\n }\n }\n })(error.errors)));\n }\n }\n }\n}\nfunction getFlattenedParseError(error, path, orElse) {\n return tsplus_module_2.match(() => orElse(), (message) => {\n return [\n {\n type: error._tag,\n path,\n message,\n },\n ];\n })(getMessage(error));\n}\n//# sourceMappingURL=PathFormatter.js.map"],"mappings":";;;;;;;AAMA,SAAgB,QAAQ,OAAO;AAC3B,QAAO,GAAG,OAAO,EAAE,CAAC;CACpB,SAAS,GAAG,OAAO,MAAM;AACrB,UAAQ,MAAM,MAAd;GACI,KAAK,GACD,QAAO,uBAAuB,OAAO,YAAY,gBAAgB,QAAQ,gBAAgB,SAAS,UAAU,GAAG,MAAM,OAAO,KAAK,OAAO,MAAM,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC;GAE1K,KAAK,GACD,QAAO,uBAAuB,OAAO,YAAY,gBAAgB,QAAQ,gBAAgB,SAAS,UAAU;AACxG,QAAI,MAAM,SAAS,EACf,QAAO,GAAG,MAAM,OAAO,KAAK;QAG5B,QAAO,GAAG,OAAO,KAAK;KAE5B,CAAC,MAAM,OAAO,CAAC,CAAC;GAEtB,KAAK,EACD,QAAO,uBAAuB,OAAO,YAAY,gBAAgB,QAAQ,gBAAgB,SAAS,QAAQ,GAAG,IAAI,OAAO,KAAK,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC;GAElK,KAAK,EACD,QAAO,CACH;IACI,MAAM,MAAM;IACN;IACN,SAAS;IACZ,CACJ;GAEL,KAAK,EACD,QAAO,CACH;IACI,MAAM,MAAM;IACN;IACN,SAAS;IACZ,CACJ;GAEL,KAAK,EACD,QAAO,CACH;IACI,MAAM,MAAM;IACN;IACN,SAAS,gBAAgB,MAAM;IAClC,CACJ;GAEL,KAAK;GACL,KAAK;GACL,KAAK,EACD,QAAO,uBAAuB,OAAO,YAAY,GAAG,MAAM,OAAO,KAAK,CAAC;GAE3E,KAAK,GACD,QAAO,uBAAuB,OAAO,YAAY,gBAAgB,QAAQ,gBAAgB,SAAS,UAAU;AACxG,YAAQ,MAAM,MAAd;KACI,KAAK,EACD,QAAO,GAAG,MAAM,OAAO,KAAK,OAAO,MAAM,IAAI,CAAC;KAElD,KAAK,EACD,QAAO,GAAG,MAAM,OAAO,KAAK,OAAO,MAAM,MAAM,CAAC;;KAG1D,CAAC,MAAM,OAAO,CAAC,CAAC;;;;AAKlC,SAAS,uBAAuB,OAAO,MAAM,QAAQ;AACjD,QAAO,gBAAgB,YAAY,QAAQ,GAAG,YAAY;AACtD,SAAO,CACH;GACI,MAAM,MAAM;GACZ;GACA;GACH,CACJ;GACH,CAAC,WAAW,MAAM,CAAC"}
@@ -1,113 +1,81 @@
1
- import * as tsplus_module_1 from "@fncts/base/collection/immutable/RoseTree/api";
2
- import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
3
- import * as tsplus_module_3 from "@fncts/base/data/Maybe/api";
4
1
  import * as tsplus_module_4 from "@fncts/base/collection/immutable/Vector/api";
5
- import * as tsplus_module_5 from "@fncts/base/data/Maybe/destructors";
6
2
  import { showWithOptions } from "@fncts/base/data/Showable";
3
+ import * as tsplus_module_3 from "@fncts/base/data/Maybe/api";
4
+ import * as tsplus_module_5 from "@fncts/base/data/Maybe/destructors";
5
+ import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
6
+ import * as tsplus_module_1 from "@fncts/base/collection/immutable/RoseTree/api";
7
+ //#region build/esm/ParseError/TreeFormatter.js
7
8
  /**
8
- * @tsplus static fncts.schema.ParseErrorOps drawTree
9
- * @tsplus getter fncts.schema.ParseError drawTree
10
- */
11
- export function format(error) {
12
- return tsplus_module_1.draw(go(error));
9
+ * @tsplus static fncts.schema.ParseErrorOps drawTree
10
+ * @tsplus getter fncts.schema.ParseError drawTree
11
+ */
12
+ function format(error) {
13
+ return tsplus_module_1.draw(go(error));
13
14
  }
14
15
  function formatActual(actual) {
15
- return showWithOptions(actual, {
16
- colors: false
17
- });
16
+ return showWithOptions(actual, { colors: false });
18
17
  }
19
18
  function formatRefinementKind(error) {
20
- switch (error.kind) {
21
- case "From":
22
- {
23
- return "From side refinement failure";
24
- }
25
- case "Predicate":
26
- {
27
- return "Predicate refinement failure";
28
- }
29
- }
19
+ switch (error.kind) {
20
+ case "From": return "From side refinement failure";
21
+ case "Predicate": return "Predicate refinement failure";
22
+ }
30
23
  }
31
24
  function formatTransformationKind(error) {
32
- switch (error.kind) {
33
- case "Encoded":
34
- {
35
- return "Encoded side transformation failure";
36
- }
37
- case "Transformation":
38
- {
39
- return "Transformation process failure";
40
- }
41
- case "Type":
42
- {
43
- return "Type side transformation failure";
44
- }
45
- }
25
+ switch (error.kind) {
26
+ case "Encoded": return "Encoded side transformation failure";
27
+ case "Transformation": return "Transformation process failure";
28
+ case "Type": return "Type side transformation failure";
29
+ }
46
30
  }
47
- export function getMessage(error) {
48
- return tsplus_module_3.map(f => f(error))(error.ast.annotations.get(tsplus_module_2.Message));
31
+ function getMessage(error) {
32
+ return tsplus_module_3.map((f) => f(error))(error.ast.annotations.get(tsplus_module_2.Message));
49
33
  }
50
- export function formatTypeError(error) {
51
- return tsplus_module_3.getOrElse(() => `Expected ${error.ast.toString(true)}, actual ${formatActual(error.actual)}`)(getMessage(error));
34
+ function formatTypeError(error) {
35
+ return tsplus_module_3.getOrElse(() => `Expected ${error.ast.toString(true)}, actual ${formatActual(error.actual)}`)(getMessage(error));
52
36
  }
53
37
  function formatKeyErrors(errors) {
54
- return tsplus_module_4.map(error => {
55
- if (error._tag === 3 /* ParseErrorTag.Key */) {
56
- return tsplus_module_1.make(`[${String(error.keyAST)}]`, tsplus_module_4.vector(go(error.error)));
57
- } else {
58
- return tsplus_module_1.make(`[${error.index}]`, tsplus_module_4.vector(go(error.error)));
59
- }
60
- })(errors);
38
+ return tsplus_module_4.map((error) => {
39
+ if (error._tag === 3) return tsplus_module_1.make(`[${String(error.keyAST)}]`, tsplus_module_4.vector(go(error.error)));
40
+ else return tsplus_module_1.make(`[${error.index}]`, tsplus_module_4.vector(go(error.error)));
41
+ })(errors);
61
42
  }
62
43
  function getRoseTree(error, orElse) {
63
- return tsplus_module_5.match(() => orElse(), message => tsplus_module_1.make(message))(getMessage(error));
44
+ return tsplus_module_5.match(() => orElse(), (message) => tsplus_module_1.make(message))(getMessage(error));
64
45
  }
65
46
  function go(error) {
66
- switch (error._tag) {
67
- case 1 /* ParseErrorTag.Type */:
68
- return tsplus_module_1.make(formatTypeError(error));
69
- case 0 /* ParseErrorTag.Declaration */:
70
- return getRoseTree(error, () => {
71
- const shouldSkipDefaultMessage = error.error._tag === 1 /* ParseErrorTag.Type */ && error.error.ast === error.ast;
72
- if (shouldSkipDefaultMessage) {
73
- return go(error.error);
74
- } else {
75
- return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.vector(go(error.error)));
76
- }
77
- });
78
- case 5 /* ParseErrorTag.Unexpected */:
79
- return tsplus_module_1.make("is unexpected");
80
- case 4 /* ParseErrorTag.Missing */:
81
- return tsplus_module_1.make("is missing");
82
- case 9 /* ParseErrorTag.TypeLiteral */:
83
- return getRoseTree(error, () => {
84
- return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
85
- });
86
- case 10 /* ParseErrorTag.Tuple */:
87
- return getRoseTree(error, () => {
88
- return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
89
- });
90
- case 11 /* ParseErrorTag.Union */:
91
- return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.map(error => {
92
- switch (error._tag) {
93
- case 6 /* ParseErrorTag.UnionMember */:
94
- return tsplus_module_1.make("Union member", tsplus_module_4.vector(go(error.error)));
95
- default:
96
- return go(error);
97
- }
98
- })(error.errors));
99
- case 7 /* ParseErrorTag.Refinement */:
100
- return getRoseTree(error, () => {
101
- return tsplus_module_1.make(formatRefinementKind(error), tsplus_module_4.vector(go(error.error)));
102
- });
103
- case 8 /* ParseErrorTag.Transformation */:
104
- return getRoseTree(error, () => {
105
- return tsplus_module_1.make(formatTransformationKind(error), tsplus_module_4.vector(go(error.error)));
106
- });
107
- case 12 /* ParseErrorTag.Iterable */:
108
- return getRoseTree(error, () => {
109
- return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
110
- });
111
- }
47
+ switch (error._tag) {
48
+ case 1: return tsplus_module_1.make(formatTypeError(error));
49
+ case 0: return getRoseTree(error, () => {
50
+ if (error.error._tag === 1 && error.error.ast === error.ast) return go(error.error);
51
+ else return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.vector(go(error.error)));
52
+ });
53
+ case 5: return tsplus_module_1.make("is unexpected");
54
+ case 4: return tsplus_module_1.make("is missing");
55
+ case 9: return getRoseTree(error, () => {
56
+ return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
57
+ });
58
+ case 10: return getRoseTree(error, () => {
59
+ return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
60
+ });
61
+ case 11: return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.map((error) => {
62
+ switch (error._tag) {
63
+ case 6: return tsplus_module_1.make("Union member", tsplus_module_4.vector(go(error.error)));
64
+ default: return go(error);
65
+ }
66
+ })(error.errors));
67
+ case 7: return getRoseTree(error, () => {
68
+ return tsplus_module_1.make(formatRefinementKind(error), tsplus_module_4.vector(go(error.error)));
69
+ });
70
+ case 8: return getRoseTree(error, () => {
71
+ return tsplus_module_1.make(formatTransformationKind(error), tsplus_module_4.vector(go(error.error)));
72
+ });
73
+ case 12: return getRoseTree(error, () => {
74
+ return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
75
+ });
76
+ }
112
77
  }
78
+ //#endregion
79
+ export { format, formatTypeError, getMessage };
80
+
113
81
  //# sourceMappingURL=TreeFormatter.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"TreeFormatter.mjs","names":["showWithOptions","format","error","tsplus_module_1","draw","go","formatActual","actual","colors","formatRefinementKind","kind","formatTransformationKind","getMessage","tsplus_module_3","map","f","ast","annotations","get","tsplus_module_2","Message","formatTypeError","getOrElse","toString","formatKeyErrors","errors","tsplus_module_4","_tag","make","String","keyAST","vector","index","getRoseTree","orElse","tsplus_module_5","match","message","shouldSkipDefaultMessage"],"sources":["../../_src/ParseError/TreeFormatter.ts"],"sourcesContent":[null],"mappings":";;;;;AAUA,SAASA,eAAe,QAAQ,2BAA2B;AAI3D;;;;AAIA,OAAM,SAAUC,MAAMA,CAACC,KAAiB;EACtC,OAAAC,eAAA,CAAAC,IAAA,CAAOC,EAAE,CAACH,KAAK,CAAC;AAClB;AAEA,SAASI,YAAYA,CAACC,MAAe;EACnC,OAAOP,eAAe,CAACO,MAAM,EAAE;IAAEC,MAAM,EAAE;EAAK,CAAE,CAAC;AACnD;AAEA,SAASC,oBAAoBA,CAACP,KAAsB;EAClD,QAAQA,KAAK,CAACQ,IAAI;IAChB,KAAK,MAAM;MAAE;QACX,OAAO,8BAA8B;MACvC;IACA,KAAK,WAAW;MAAE;QAChB,OAAO,8BAA8B;MACvC;EACF;AACF;AAEA,SAASC,wBAAwBA,CAACT,KAA0B;EAC1D,QAAQA,KAAK,CAACQ,IAAI;IAChB,KAAK,SAAS;MAAE;QACd,OAAO,qCAAqC;MAC9C;IACA,KAAK,gBAAgB;MAAE;QACrB,OAAO,gCAAgC;MACzC;IACA,KAAK,MAAM;MAAE;QACX,OAAO,kCAAkC;MAC3C;EACF;AACF;AAEA,OAAM,SAAUE,UAAUA,CAACV,KAAiB;EAC1C,OAAOW,eAAA,CAAAC,GAAA,CAAsDC,CAAC,IAAKA,CAAC,CAACb,KAAK,CAAC,EAApEA,KAAK,CAACc,GAAG,CAACC,WAAW,CAACC,GAAG,CAAAC,eAAA,CAAAC,OAAA,CAAuB,CAAqB;AAC9E;AAEA,OAAM,SAAUC,eAAeA,CAACnB,KAAgB;EAC9C,OAAOW,eAAA,CAAAS,SAAA,OAA4B,YAAYpB,KAAK,CAACc,GAAG,CAACO,QAAQ,CAAC,IAAI,CAAC,YAAYjB,YAAY,CAACJ,KAAK,CAACK,MAAM,CAAC,EAAE,EAAxGK,UAAU,CAACV,KAAK,CAAC,CAAwF;AAClH;AAEA,SAASsB,eAAeA,CAACC,MAAqC;EAC5D,OAAOC,eAAA,CAAAZ,GAAA,CAAYZ,KAAK,IAAI;IAC1B,IAAIA,KAAK,CAACyB,IAAI,gCAAwB;MACpC,OAAOxB,eAAA,CAAAyB,IAAA,CAAS,IAAIC,MAAM,CAAC3B,KAAK,CAAC4B,MAAM,CAAC,GAAG,EAAEJ,eAAA,CAAAK,MAAA,CAAO1B,EAAE,CAACH,KAAK,CAACA,KAAK,CAAC,CAAC,CAAC;IACvE,CAAC,MAAM;MACL,OAAOC,eAAA,CAAAyB,IAAA,CAAS,IAAI1B,KAAK,CAAC8B,KAAK,GAAG,EAAEN,eAAA,CAAAK,MAAA,CAAO1B,EAAE,CAACH,KAAK,CAACA,KAAK,CAAC,CAAC,CAAC;IAC9D;EACF,CAAC,EANMuB,MAAM,CAMX;AACJ;AAEA,SAASQ,WAAWA,CAAC/B,KAAiB,EAAEgC,MAA8B;EACpE,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMF,MAAM,EAAE,EACbG,OAAO,IAAKlC,eAAA,CAAAyB,IAAA,CAASS,OAAO,CAAC,EAFzBzB,UAAU,CAACV,KAAK,CAAC,CAGvB;AACH;AAEA,SAASG,EAAEA,CAACH,KAAkD;EAC5D,QAAQA,KAAK,CAACyB,IAAI;IAChB;MACE,OAAOxB,eAAA,CAAAyB,IAAA,CAASP,eAAe,CAACnB,KAAK,CAAC,CAAC;IACzC;MACE,OAAO+B,WAAW,CAAC/B,KAAK,EAAE,MAAK;QAC7B,MAAMoC,wBAAwB,GAAGpC,KAAK,CAACA,KAAK,CAACyB,IAAI,mCAA2BzB,KAAK,CAACA,KAAK,CAACc,GAAG,KAAKd,KAAK,CAACc,GAAG;QACzG,IAAIsB,wBAAwB,EAAE;UAC5B,OAAOjC,EAAE,CAACH,KAAK,CAACA,KAAK,CAAC;QACxB,CAAC,MAAM;UACL,OAAOC,eAAA,CAAAyB,IAAA,CAAS1B,KAAK,CAACc,GAAG,CAACO,QAAQ,CAAC,IAAI,CAAC,EAAEG,eAAA,CAAAK,MAAA,CAAO1B,EAAE,CAACH,KAAK,CAACA,KAAK,CAAC,CAAC,CAAC;QACpE;MACF,CAAC,CAAC;IACJ;MACE,OAAOC,eAAA,CAAAyB,IAAA,CAAS,eAAe,CAAC;IAClC;MACE,OAAOzB,eAAA,CAAAyB,IAAA,CAAS,YAAY,CAAC;IAC/B;MACE,OAAOK,WAAW,CAAC/B,KAAK,EAAE,MAAK;QAC7B,OAAOC,eAAA,CAAAyB,IAAA,CAAS1B,KAAK,CAACc,GAAG,CAACO,QAAQ,CAAC,IAAI,CAAC,EAAEC,eAAe,CAACtB,KAAK,CAACuB,MAAM,CAAC,CAAC;MAC1E,CAAC,CAAC;IACJ;MACE,OAAOQ,WAAW,CAAC/B,KAAK,EAAE,MAAK;QAC7B,OAAOC,eAAA,CAAAyB,IAAA,CAAS1B,KAAK,CAACc,GAAG,CAACO,QAAQ,CAAC,IAAI,CAAC,EAAEC,eAAe,CAACtB,KAAK,CAACuB,MAAM,CAAC,CAAC;MAC1E,CAAC,CAAC;IACJ;MACE,OAAOtB,eAAA,CAAAyB,IAAA,CACL1B,KAAK,CAACc,GAAG,CAACO,QAAQ,CAAC,IAAI,CAAC,EACxBG,eAAA,CAAAZ,GAAA,CAAkBZ,KAAK,IAAI;QACzB,QAAQA,KAAK,CAACyB,IAAI;UAChB;YACE,OAAOxB,eAAA,CAAAyB,IAAA,CAAS,cAAc,EAAEF,eAAA,CAAAK,MAAA,CAAO1B,EAAE,CAACH,KAAK,CAACA,KAAK,CAAC,CAAC,CAAC;UAC1D;YACE,OAAOG,EAAE,CAACH,KAAK,CAAC;QACpB;MACF,CAAC,EAPDA,KAAK,CAACuB,MAAM,CAOV,CACH;IACH;MACE,OAAOQ,WAAW,CAAC/B,KAAK,EAAE,MAAK;QAC7B,OAAOC,eAAA,CAAAyB,IAAA,CAASnB,oBAAoB,CAACP,KAAK,CAAC,EAAEwB,eAAA,CAAAK,MAAA,CAAO1B,EAAE,CAACH,KAAK,CAACA,KAAK,CAAC,CAAC,CAAC;MACvE,CAAC,CAAC;IACJ;MACE,OAAO+B,WAAW,CAAC/B,KAAK,EAAE,MAAK;QAC7B,OAAOC,eAAA,CAAAyB,IAAA,CAASjB,wBAAwB,CAACT,KAAK,CAAC,EAAEwB,eAAA,CAAAK,MAAA,CAAO1B,EAAE,CAACH,KAAK,CAACA,KAAK,CAAC,CAAC,CAAC;MAC3E,CAAC,CAAC;IACJ;MACE,OAAO+B,WAAW,CAAC/B,KAAK,EAAE,MAAK;QAC7B,OAAOC,eAAA,CAAAyB,IAAA,CAAS1B,KAAK,CAACc,GAAG,CAACO,QAAQ,CAAC,IAAI,CAAC,EAAEC,eAAe,CAACtB,KAAK,CAACuB,MAAM,CAAC,CAAC;MAC1E,CAAC,CAAC;EACN;AACF","ignoreList":[]}
1
+ {"version":3,"file":"TreeFormatter.mjs","names":[],"sources":["../../esm/ParseError/TreeFormatter.js"],"sourcesContent":["import * as tsplus_module_1 from \"@fncts/base/collection/immutable/RoseTree/api\";\nimport * as tsplus_module_2 from \"@fncts/schema/ASTAnnotation\";\nimport * as tsplus_module_3 from \"@fncts/base/data/Maybe/api\";\nimport * as tsplus_module_4 from \"@fncts/base/collection/immutable/Vector/api\";\nimport * as tsplus_module_5 from \"@fncts/base/data/Maybe/destructors\";\nimport { showWithOptions } from \"@fncts/base/data/Showable\";\n/**\n * @tsplus static fncts.schema.ParseErrorOps drawTree\n * @tsplus getter fncts.schema.ParseError drawTree\n */\nexport function format(error) {\n return tsplus_module_1.draw(go(error));\n}\nfunction formatActual(actual) {\n return showWithOptions(actual, { colors: false });\n}\nfunction formatRefinementKind(error) {\n switch (error.kind) {\n case \"From\": {\n return \"From side refinement failure\";\n }\n case \"Predicate\": {\n return \"Predicate refinement failure\";\n }\n }\n}\nfunction formatTransformationKind(error) {\n switch (error.kind) {\n case \"Encoded\": {\n return \"Encoded side transformation failure\";\n }\n case \"Transformation\": {\n return \"Transformation process failure\";\n }\n case \"Type\": {\n return \"Type side transformation failure\";\n }\n }\n}\nexport function getMessage(error) {\n return tsplus_module_3.map((f) => f(error))(error.ast.annotations.get(tsplus_module_2.Message));\n}\nexport function formatTypeError(error) {\n return tsplus_module_3.getOrElse(() => `Expected ${error.ast.toString(true)}, actual ${formatActual(error.actual)}`)(getMessage(error));\n}\nfunction formatKeyErrors(errors) {\n return tsplus_module_4.map((error) => {\n if (error._tag === 3 /* ParseErrorTag.Key */) {\n return tsplus_module_1.make(`[${String(error.keyAST)}]`, tsplus_module_4.vector(go(error.error)));\n }\n else {\n return tsplus_module_1.make(`[${error.index}]`, tsplus_module_4.vector(go(error.error)));\n }\n })(errors);\n}\nfunction getRoseTree(error, orElse) {\n return tsplus_module_5.match(() => orElse(), (message) => tsplus_module_1.make(message))(getMessage(error));\n}\nfunction go(error) {\n switch (error._tag) {\n case 1 /* ParseErrorTag.Type */:\n return tsplus_module_1.make(formatTypeError(error));\n case 0 /* ParseErrorTag.Declaration */:\n return getRoseTree(error, () => {\n const shouldSkipDefaultMessage = error.error._tag === 1 /* ParseErrorTag.Type */ && error.error.ast === error.ast;\n if (shouldSkipDefaultMessage) {\n return go(error.error);\n }\n else {\n return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.vector(go(error.error)));\n }\n });\n case 5 /* ParseErrorTag.Unexpected */:\n return tsplus_module_1.make(\"is unexpected\");\n case 4 /* ParseErrorTag.Missing */:\n return tsplus_module_1.make(\"is missing\");\n case 9 /* ParseErrorTag.TypeLiteral */:\n return getRoseTree(error, () => {\n return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));\n });\n case 10 /* ParseErrorTag.Tuple */:\n return getRoseTree(error, () => {\n return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));\n });\n case 11 /* ParseErrorTag.Union */:\n return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.map((error) => {\n switch (error._tag) {\n case 6 /* ParseErrorTag.UnionMember */:\n return tsplus_module_1.make(\"Union member\", tsplus_module_4.vector(go(error.error)));\n default:\n return go(error);\n }\n })(error.errors));\n case 7 /* ParseErrorTag.Refinement */:\n return getRoseTree(error, () => {\n return tsplus_module_1.make(formatRefinementKind(error), tsplus_module_4.vector(go(error.error)));\n });\n case 8 /* ParseErrorTag.Transformation */:\n return getRoseTree(error, () => {\n return tsplus_module_1.make(formatTransformationKind(error), tsplus_module_4.vector(go(error.error)));\n });\n case 12 /* ParseErrorTag.Iterable */:\n return getRoseTree(error, () => {\n return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));\n });\n }\n}\n//# sourceMappingURL=TreeFormatter.js.map"],"mappings":";;;;;;;;;;;AAUA,SAAgB,OAAO,OAAO;AAC1B,QAAO,gBAAgB,KAAK,GAAG,MAAM,CAAC;;AAE1C,SAAS,aAAa,QAAQ;AAC1B,QAAO,gBAAgB,QAAQ,EAAE,QAAQ,OAAO,CAAC;;AAErD,SAAS,qBAAqB,OAAO;AACjC,SAAQ,MAAM,MAAd;EACI,KAAK,OACD,QAAO;EAEX,KAAK,YACD,QAAO;;;AAInB,SAAS,yBAAyB,OAAO;AACrC,SAAQ,MAAM,MAAd;EACI,KAAK,UACD,QAAO;EAEX,KAAK,iBACD,QAAO;EAEX,KAAK,OACD,QAAO;;;AAInB,SAAgB,WAAW,OAAO;AAC9B,QAAO,gBAAgB,KAAK,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,IAAI,YAAY,IAAI,gBAAgB,QAAQ,CAAC;;AAEnG,SAAgB,gBAAgB,OAAO;AACnC,QAAO,gBAAgB,gBAAgB,YAAY,MAAM,IAAI,SAAS,KAAK,CAAC,WAAW,aAAa,MAAM,OAAO,GAAG,CAAC,WAAW,MAAM,CAAC;;AAE3I,SAAS,gBAAgB,QAAQ;AAC7B,QAAO,gBAAgB,KAAK,UAAU;AAClC,MAAI,MAAM,SAAS,EACf,QAAO,gBAAgB,KAAK,IAAI,OAAO,MAAM,OAAO,CAAC,IAAI,gBAAgB,OAAO,GAAG,MAAM,MAAM,CAAC,CAAC;MAGjG,QAAO,gBAAgB,KAAK,IAAI,MAAM,MAAM,IAAI,gBAAgB,OAAO,GAAG,MAAM,MAAM,CAAC,CAAC;GAE9F,CAAC,OAAO;;AAEd,SAAS,YAAY,OAAO,QAAQ;AAChC,QAAO,gBAAgB,YAAY,QAAQ,GAAG,YAAY,gBAAgB,KAAK,QAAQ,CAAC,CAAC,WAAW,MAAM,CAAC;;AAE/G,SAAS,GAAG,OAAO;AACf,SAAQ,MAAM,MAAd;EACI,KAAK,EACD,QAAO,gBAAgB,KAAK,gBAAgB,MAAM,CAAC;EACvD,KAAK,EACD,QAAO,YAAY,aAAa;AAE5B,OADiC,MAAM,MAAM,SAAS,KAA8B,MAAM,MAAM,QAAQ,MAAM,IAE1G,QAAO,GAAG,MAAM,MAAM;OAGtB,QAAO,gBAAgB,KAAK,MAAM,IAAI,SAAS,KAAK,EAAE,gBAAgB,OAAO,GAAG,MAAM,MAAM,CAAC,CAAC;IAEpG;EACN,KAAK,EACD,QAAO,gBAAgB,KAAK,gBAAgB;EAChD,KAAK,EACD,QAAO,gBAAgB,KAAK,aAAa;EAC7C,KAAK,EACD,QAAO,YAAY,aAAa;AAC5B,UAAO,gBAAgB,KAAK,MAAM,IAAI,SAAS,KAAK,EAAE,gBAAgB,MAAM,OAAO,CAAC;IACtF;EACN,KAAK,GACD,QAAO,YAAY,aAAa;AAC5B,UAAO,gBAAgB,KAAK,MAAM,IAAI,SAAS,KAAK,EAAE,gBAAgB,MAAM,OAAO,CAAC;IACtF;EACN,KAAK,GACD,QAAO,gBAAgB,KAAK,MAAM,IAAI,SAAS,KAAK,EAAE,gBAAgB,KAAK,UAAU;AACjF,WAAQ,MAAM,MAAd;IACI,KAAK,EACD,QAAO,gBAAgB,KAAK,gBAAgB,gBAAgB,OAAO,GAAG,MAAM,MAAM,CAAC,CAAC;IACxF,QACI,QAAO,GAAG,MAAM;;IAE1B,CAAC,MAAM,OAAO,CAAC;EACrB,KAAK,EACD,QAAO,YAAY,aAAa;AAC5B,UAAO,gBAAgB,KAAK,qBAAqB,MAAM,EAAE,gBAAgB,OAAO,GAAG,MAAM,MAAM,CAAC,CAAC;IACnG;EACN,KAAK,EACD,QAAO,YAAY,aAAa;AAC5B,UAAO,gBAAgB,KAAK,yBAAyB,MAAM,EAAE,gBAAgB,OAAO,GAAG,MAAM,MAAM,CAAC,CAAC;IACvG;EACN,KAAK,GACD,QAAO,YAAY,aAAa;AAC5B,UAAO,gBAAgB,KAAK,MAAM,IAAI,SAAS,KAAK,EAAE,gBAAgB,MAAM,OAAO,CAAC;IACtF"}
@@ -1,6 +1,5 @@
1
- // codegen:start { preset: barrel, include: ./ParseError/*.ts }
2
- export * from "./ParseError/ParseError.mjs";
3
- export * from "./ParseError/ParseErrorFormatter.mjs";
4
- export * from "./ParseError/PathFormatter.mjs";
5
- export * from "./ParseError/TreeFormatter.mjs";
6
- //# sourceMappingURL=ParseError.mjs.map
1
+ import { DeclarationError, IndexError, IterableError, KeyError, MissingError, RefinementError, TransformationError, TupleError, TypeError, TypeLiteralError, UnexpectedError, UnionError, UnionMemberError, declarationError, indexError, iterableError, keyError, missingError, refinementError, transformationError, tupleError, typeError, typeLiteralError, unexpectedError, unionError, unionMemberError } from "./ParseError/ParseError.mjs";
2
+ import "./ParseError/ParseErrorFormatter.mjs";
3
+ import { format, formatTypeError, getMessage } from "./ParseError/TreeFormatter.mjs";
4
+ import { flatten } from "./ParseError/PathFormatter.mjs";
5
+ export { DeclarationError, IndexError, IterableError, KeyError, MissingError, RefinementError, TransformationError, TupleError, TypeError, TypeLiteralError, UnexpectedError, UnionError, UnionMemberError, declarationError, flatten, format, formatTypeError, getMessage, indexError, iterableError, keyError, missingError, refinementError, transformationError, tupleError, typeError, typeLiteralError, unexpectedError, unionError, unionMemberError };
@@ -1,15 +1,19 @@
1
- const fileName_1 = "(@fncts/schema) src/ParseResult.ts";
2
1
  import * as tsplus_module_1 from "@fncts/base/data/Either/constructors";
2
+ //#region build/esm/ParseResult.js
3
+ const fileName_1 = "(@fncts/schema) src/ParseResult.ts";
3
4
  /**
4
- * @tsplus static fncts.schema.ParseResultOps succeed
5
- */
6
- export function succeed(value) {
7
- return tsplus_module_1.right(value, fileName_1 + ":11:22");
5
+ * @tsplus static fncts.schema.ParseResultOps succeed
6
+ */
7
+ function succeed(value) {
8
+ return tsplus_module_1.right(value, fileName_1 + ":11:22");
8
9
  }
9
10
  /**
10
- * @tsplus static fncts.schema.ParseResultOps fail
11
- */
12
- export function fail(value) {
13
- return tsplus_module_1.left(value, fileName_1 + ":18:21");
11
+ * @tsplus static fncts.schema.ParseResultOps fail
12
+ */
13
+ function fail(value) {
14
+ return tsplus_module_1.left(value, fileName_1 + ":18:21");
14
15
  }
16
+ //#endregion
17
+ export { fail, succeed };
18
+
15
19
  //# sourceMappingURL=ParseResult.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"ParseResult.mjs","names":["succeed","value","tsplus_module_1","right","fileName_1","fail","left"],"sources":["../_src/ParseResult.ts"],"sourcesContent":[null],"mappings":";;AAMA;;;AAGA,OAAM,SAAUA,OAAOA,CAAIC,KAAQ;EACjC,OAAOC,eAAA,CAAAC,KAAA,CAAaF,KAAK,EAAAG,UAAA,YAAC;AAC5B;AAEA;;;AAGA,OAAM,SAAUC,IAAIA,CAAYJ,KAAiB;EAC/C,OAAOC,eAAA,CAAAI,IAAA,CAAYL,KAAK,EAAAG,UAAA,YAAC;AAC3B","ignoreList":[]}
1
+ {"version":3,"file":"ParseResult.mjs","names":[],"sources":["../esm/ParseResult.js"],"sourcesContent":["const fileName_1 = \"(@fncts/schema) src/ParseResult.ts\";\nimport * as tsplus_module_1 from \"@fncts/base/data/Either/constructors\";\n/**\n * @tsplus static fncts.schema.ParseResultOps succeed\n */\nexport function succeed(value) {\n return tsplus_module_1.right(value, fileName_1 + \":11:22\");\n}\n/**\n * @tsplus static fncts.schema.ParseResultOps fail\n */\nexport function fail(value) {\n return tsplus_module_1.left(value, fileName_1 + \":18:21\");\n}\n//# sourceMappingURL=ParseResult.js.map"],"mappings":";;AAAA,MAAM,aAAa;;;;AAKnB,SAAgB,QAAQ,OAAO;AAC3B,QAAO,gBAAgB,MAAM,OAAO,aAAa,SAAS;;;;;AAK9D,SAAgB,KAAK,OAAO;AACxB,QAAO,gBAAgB,KAAK,OAAO,aAAa,SAAS"}
@@ -1,59 +1,63 @@
1
+ import { parserFor } from "./interpreter.mjs";
1
2
  import * as tsplus_module_1 from "@fncts/schema/AST";
3
+ import * as tsplus_module_4 from "@fncts/base/data/function/api";
2
4
  import * as tsplus_module_2 from "@fncts/base/data/Either/api";
3
5
  import * as tsplus_module_3 from "@fncts/schema/ParseError/TreeFormatter";
4
- import * as tsplus_module_4 from "@fncts/base/data/function/api";
5
6
  import * as tsplus_module_5 from "@fncts/base/data/Either/destructors";
6
- export const encode = encode_1;
7
- import { parserFor } from "./interpreter.mjs";
7
+ //#region build/esm/Parser/api.js
8
+ const encode = encode_1;
8
9
  /**
9
- * @tsplus getter fncts.schema.Schema decode
10
- * @tsplus getter fncts.schema.Parser decode
11
- */
12
- export function decode(schema) {
13
- return parserFor(schema.ast, true);
10
+ * @tsplus getter fncts.schema.Schema decode
11
+ * @tsplus getter fncts.schema.Parser decode
12
+ */
13
+ function decode(schema) {
14
+ return parserFor(schema.ast, true);
14
15
  }
15
16
  /**
16
- * @tsplus getter fncts.schema.Schema decodeMaybe
17
- * @tsplus getter fncts.schema.Parser decodeMaybe
18
- */
19
- export function decodeMaybe(schema) {
20
- return parseMaybe(tsplus_module_1.getTo(schema.ast));
17
+ * @tsplus getter fncts.schema.Schema decodeMaybe
18
+ * @tsplus getter fncts.schema.Parser decodeMaybe
19
+ */
20
+ function decodeMaybe(schema) {
21
+ return parseMaybe(tsplus_module_1.getTo(schema.ast));
21
22
  }
22
23
  /**
23
- * @tsplus getter fncts.schema.Schema encode
24
- * @tsplus getter fncts.schema.Parser encode
25
- */
24
+ * @tsplus getter fncts.schema.Schema encode
25
+ * @tsplus getter fncts.schema.Parser encode
26
+ */
26
27
  function encode_1(schema) {
27
- return parserFor(schema.ast, false);
28
+ return parserFor(schema.ast, false);
28
29
  }
29
30
  /**
30
- * @tsplus getter fncts.schema.Schema encodeMaybe
31
- * @tsplus getter fncts.schema.Parser encodeMaybe
32
- */
33
- export function encodeMaybe(schema) {
34
- return (input, options) => tsplus_module_2.toMaybe(encode_1(schema)(input, options));
31
+ * @tsplus getter fncts.schema.Schema encodeMaybe
32
+ * @tsplus getter fncts.schema.Parser encodeMaybe
33
+ */
34
+ function encodeMaybe(schema) {
35
+ return (input, options) => tsplus_module_2.toMaybe(encode_1(schema)(input, options));
35
36
  }
36
37
  function parseMaybe(ast) {
37
- const parse = parserFor(ast, true);
38
- return (input, options) => {
39
- return tsplus_module_2.toMaybe(parse(input, options));
40
- };
38
+ const parse = parserFor(ast, true);
39
+ return (input, options) => {
40
+ return tsplus_module_2.toMaybe(parse(input, options));
41
+ };
41
42
  }
42
43
  function parseOrThrow(ast) {
43
- const parser = parserFor(ast, true);
44
- return (input, options) => {
45
- return tsplus_module_5.match(failure => {
46
- throw new Error(tsplus_module_3.format(failure));
47
- }, tsplus_module_4.identity)(parser(input, options));
48
- };
44
+ const parser = parserFor(ast, true);
45
+ return (input, options) => {
46
+ return tsplus_module_5.match((failure) => {
47
+ throw new Error(tsplus_module_3.format(failure));
48
+ }, tsplus_module_4.identity)(parser(input, options));
49
+ };
49
50
  }
50
51
  /**
51
- * @tsplus getter fncts.schema.Schema asserts
52
- * @tsplus getter fncts.schema.Parser asserts
53
- */
54
- export function asserts(schema) {
55
- return (input, options) => {
56
- parseOrThrow(tsplus_module_1.getTo(schema.ast))(input, options);
57
- };
52
+ * @tsplus getter fncts.schema.Schema asserts
53
+ * @tsplus getter fncts.schema.Parser asserts
54
+ */
55
+ function asserts(schema) {
56
+ return (input, options) => {
57
+ parseOrThrow(tsplus_module_1.getTo(schema.ast))(input, options);
58
+ };
58
59
  }
60
+ //#endregion
61
+ export { asserts, decode, decodeMaybe, encode, encodeMaybe };
62
+
59
63
  //# sourceMappingURL=api.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"api.mjs","names":["encode","encode_1","parserFor","decode","schema","ast","decodeMaybe","parseMaybe","tsplus_module_1","getTo","encodeMaybe","input","options","tsplus_module_2","toMaybe","parse","parseOrThrow","parser","tsplus_module_5","match","failure","Error","tsplus_module_3","format","tsplus_module_4","identity","asserts"],"sources":["../../_src/Parser/api.ts"],"sourcesContent":[null],"mappings":";;;;;aAwBgBA,MAAM,GAAAC,QAAA;AAtBtB,SAASC,SAAS,QAAQ,mBAAkB;AAE5C;;;;AAIA,OAAM,SAAUC,MAAMA,CAAIC,MAAiB;EACzC,OAAOF,SAAS,CAACE,MAAM,CAACC,GAAG,EAAE,IAAI,CAAC;AACpC;AAEA;;;;AAIA,OAAM,SAAUC,WAAWA,CAAIF,MAAiB;EAC9C,OAAOG,UAAU,CAAAC,eAAA,CAAAC,KAAA,CAACL,MAAM,CAACC,GAAG,EAAO;AACrC;AAEA;;;;AAIA,SAAAJ,SAA0BG,MAAiB;EACzC,OAAOF,SAAS,CAACE,MAAM,CAACC,GAAG,EAAE,KAAK,CAAC;AACrC;AAEA;;;;AAIA,OAAM,SAAUK,WAAWA,CAAIN,MAAiB;EAC9C,OAAO,CAACO,KAAK,EAAEC,OAAO,KAAIC,eAAA,CAAAC,OAAA,CAACb,QAAA,CAAOG,MAAM,CAAC,CAACO,KAAK,EAAEC,OAAO,CAAC,CAAQ;AACnE;AAEA,SAASL,UAAUA,CAACF,GAAQ;EAC1B,MAAMU,KAAK,GAAGb,SAAS,CAACG,GAAG,EAAE,IAAI,CAAC;EAClC,OAAO,CAACM,KAAc,EAAEC,OAAsB,KAAgB;IAC5D,OAAAC,eAAA,CAAAC,OAAA,CAAOC,KAAK,CAACJ,KAAK,EAAEC,OAAO,CAAC;EAC9B,CAAC;AACH;AAEA,SAASI,YAAYA,CAACX,GAAQ;EAC5B,MAAMY,MAAM,GAAGf,SAAS,CAACG,GAAG,EAAE,IAAI,CAAC;EACnC,OAAO,CAACM,KAAc,EAAEC,OAAsB,KAAI;IAChD,OAAOM,eAAA,CAAAC,KAAA,CAA8BC,OAAO,IAAI;MAC9C,MAAM,IAAIC,KAAK,CAACC,eAAA,CAAAC,MAAA,CAAoBH,OAAO,CAAC,CAAC;IAC/C,CAAC,EAAAI,eAAA,CAAAC,QAAA,EAFMR,MAAM,CAACN,KAAK,EAAEC,OAAO,CAAC,CAER;EACvB,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUc,OAAOA,CAAItB,MAAiB;EAC1C,OAAO,CAACO,KAAc,EAAEC,OAAsB,KAAwB;IACpEI,YAAY,CAAAR,eAAA,CAAAC,KAAA,CAACL,MAAM,CAACC,GAAG,EAAO,CAACM,KAAK,EAAEC,OAAO,CAAC;EAChD,CAAC;AACH","ignoreList":[]}
1
+ {"version":3,"file":"api.mjs","names":[],"sources":["../../esm/Parser/api.js"],"sourcesContent":["import * as tsplus_module_1 from \"@fncts/schema/AST\";\nimport * as tsplus_module_2 from \"@fncts/base/data/Either/api\";\nimport * as tsplus_module_3 from \"@fncts/schema/ParseError/TreeFormatter\";\nimport * as tsplus_module_4 from \"@fncts/base/data/function/api\";\nimport * as tsplus_module_5 from \"@fncts/base/data/Either/destructors\";\nexport const encode = encode_1;\nimport { parserFor } from \"./interpreter.js\";\n/**\n * @tsplus getter fncts.schema.Schema decode\n * @tsplus getter fncts.schema.Parser decode\n */\nexport function decode(schema) {\n return parserFor(schema.ast, true);\n}\n/**\n * @tsplus getter fncts.schema.Schema decodeMaybe\n * @tsplus getter fncts.schema.Parser decodeMaybe\n */\nexport function decodeMaybe(schema) {\n return parseMaybe(tsplus_module_1.getTo(schema.ast));\n}\n/**\n * @tsplus getter fncts.schema.Schema encode\n * @tsplus getter fncts.schema.Parser encode\n */\nfunction encode_1(schema) {\n return parserFor(schema.ast, false);\n}\n/**\n * @tsplus getter fncts.schema.Schema encodeMaybe\n * @tsplus getter fncts.schema.Parser encodeMaybe\n */\nexport function encodeMaybe(schema) {\n return (input, options) => tsplus_module_2.toMaybe(encode_1(schema)(input, options));\n}\nfunction parseMaybe(ast) {\n const parse = parserFor(ast, true);\n return (input, options) => {\n return tsplus_module_2.toMaybe(parse(input, options));\n };\n}\nfunction parseOrThrow(ast) {\n const parser = parserFor(ast, true);\n return (input, options) => {\n return tsplus_module_5.match((failure) => {\n throw new Error(tsplus_module_3.format(failure));\n }, tsplus_module_4.identity)(parser(input, options));\n };\n}\n/**\n * @tsplus getter fncts.schema.Schema asserts\n * @tsplus getter fncts.schema.Parser asserts\n */\nexport function asserts(schema) {\n return (input, options) => {\n parseOrThrow(tsplus_module_1.getTo(schema.ast))(input, options);\n };\n}\n//# sourceMappingURL=api.js.map"],"mappings":";;;;;;;AAKA,MAAa,SAAS;;;;;AAMtB,SAAgB,OAAO,QAAQ;AAC3B,QAAO,UAAU,OAAO,KAAK,KAAK;;;;;;AAMtC,SAAgB,YAAY,QAAQ;AAChC,QAAO,WAAW,gBAAgB,MAAM,OAAO,IAAI,CAAC;;;;;;AAMxD,SAAS,SAAS,QAAQ;AACtB,QAAO,UAAU,OAAO,KAAK,MAAM;;;;;;AAMvC,SAAgB,YAAY,QAAQ;AAChC,SAAQ,OAAO,YAAY,gBAAgB,QAAQ,SAAS,OAAO,CAAC,OAAO,QAAQ,CAAC;;AAExF,SAAS,WAAW,KAAK;CACrB,MAAM,QAAQ,UAAU,KAAK,KAAK;AAClC,SAAQ,OAAO,YAAY;AACvB,SAAO,gBAAgB,QAAQ,MAAM,OAAO,QAAQ,CAAC;;;AAG7D,SAAS,aAAa,KAAK;CACvB,MAAM,SAAS,UAAU,KAAK,KAAK;AACnC,SAAQ,OAAO,YAAY;AACvB,SAAO,gBAAgB,OAAO,YAAY;AACtC,SAAM,IAAI,MAAM,gBAAgB,OAAO,QAAQ,CAAC;KACjD,gBAAgB,SAAS,CAAC,OAAO,OAAO,QAAQ,CAAC;;;;;;;AAO5D,SAAgB,QAAQ,QAAQ;AAC5B,SAAQ,OAAO,YAAY;AACvB,eAAa,gBAAgB,MAAM,OAAO,IAAI,CAAC,CAAC,OAAO,QAAQ"}
@@ -1,15 +1,19 @@
1
1
  import * as tsplus_module_1 from "@fncts/schema/ParseResult";
2
2
  import * as tsplus_module_2 from "@fncts/schema/ParseError/ParseError";
3
+ //#region build/esm/Parser/definition.js
3
4
  /**
4
- * @tsplus static fncts.schema.ParserOps make
5
- */
6
- export function make(parse) {
7
- return parse;
5
+ * @tsplus static fncts.schema.ParserOps make
6
+ */
7
+ function make(parse) {
8
+ return parse;
8
9
  }
9
10
  /**
10
- * @tsplus static fncts.schema.ParserOps fromRefinement
11
- */
12
- export function fromRefinement(ast, refinement) {
13
- return u => refinement(u) ? tsplus_module_1.succeed(u) : tsplus_module_1.fail(tsplus_module_2.typeError(ast, u));
11
+ * @tsplus static fncts.schema.ParserOps fromRefinement
12
+ */
13
+ function fromRefinement(ast, refinement) {
14
+ return (u) => refinement(u) ? tsplus_module_1.succeed(u) : tsplus_module_1.fail(tsplus_module_2.typeError(ast, u));
14
15
  }
16
+ //#endregion
17
+ export { fromRefinement, make };
18
+
15
19
  //# sourceMappingURL=definition.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"definition.mjs","names":["make","parse","fromRefinement","ast","refinement","u","tsplus_module_1","succeed","fail","tsplus_module_2","typeError"],"sources":["../../_src/Parser/definition.ts"],"sourcesContent":[null],"mappings":";;AAWA;;;AAGA,OAAM,SAAUA,IAAIA,CAAIC,KAAgB;EACtC,OAAOA,KAAK;AACd;AAEA;;;AAGA,OAAM,SAAUC,cAAcA,CAAIC,GAAQ,EAAEC,UAAkC;EAC5E,OAAQC,CAAC,IAAMD,UAAU,CAACC,CAAC,CAAC,GAAGC,eAAA,CAAAC,OAAA,CAAoBF,CAAC,CAAC,GAAGC,eAAA,CAAAE,IAAA,CAAiBC,eAAA,CAAAC,SAAA,CAAqBP,GAAG,EAAEE,CAAC,CAAC,CAAE;AACzG","ignoreList":[]}
1
+ {"version":3,"file":"definition.mjs","names":[],"sources":["../../esm/Parser/definition.js"],"sourcesContent":["import * as tsplus_module_1 from \"@fncts/schema/ParseResult\";\nimport * as tsplus_module_2 from \"@fncts/schema/ParseError/ParseError\";\n/**\n * @tsplus static fncts.schema.ParserOps make\n */\nexport function make(parse) {\n return parse;\n}\n/**\n * @tsplus static fncts.schema.ParserOps fromRefinement\n */\nexport function fromRefinement(ast, refinement) {\n return (u) => (refinement(u) ? tsplus_module_1.succeed(u) : tsplus_module_1.fail(tsplus_module_2.typeError(ast, u)));\n}\n//# sourceMappingURL=definition.js.map"],"mappings":";;;;;;AAKA,SAAgB,KAAK,OAAO;AACxB,QAAO;;;;;AAKX,SAAgB,eAAe,KAAK,YAAY;AAC5C,SAAQ,MAAO,WAAW,EAAE,GAAG,gBAAgB,QAAQ,EAAE,GAAG,gBAAgB,KAAK,gBAAgB,UAAU,KAAK,EAAE,CAAC"}