@fncts/schema 0.0.16 → 0.0.18

package/_mjs/ParseError/ParseError.mjs

@@ -0,0 +1,228 @@
+/**
+ * @tsplus companion fncts.schema.ParseError.DeclarationError
+ */
+export class DeclarationError {
+  constructor(ast, actual, error) {
+    this.ast = ast;
+    this.actual = actual;
+    this.error = error;
+    this._tag = 0 /* ParseErrorTag.Declaration */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.DeclarationError __call
+ * @tsplus static fncts.schema.ParseErrorOps DeclarationError
+ */
+export function declarationError(ast, actual, error) {
+  return new DeclarationError(ast, actual, error);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.TypeError
+ */
+export class TypeError {
+  constructor(ast, actual) {
+    this.ast = ast;
+    this.actual = actual;
+    this._tag = 1 /* ParseErrorTag.Type */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.TypeError __call
+ * @tsplus static fncts.schema.ParseErrorOps TypeError
+ */
+export function typeError(expected, actual) {
+  return new TypeError(expected, actual);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.TypeLiteralError
+ */
+export class TypeLiteralError {
+  constructor(ast, actual, errors, output = {}) {
+    this.ast = ast;
+    this.actual = actual;
+    this.errors = errors;
+    this.output = output;
+    this._tag = 9 /* ParseErrorTag.TypeLiteral */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.TypeLiteralError __call
+ * @tsplus static fncts.schema.ParseErrorOps TypeLiteralError
+ */
+export function typeLiteralError(ast, actual, errors, output = {}) {
+  return new TypeLiteralError(ast, actual, errors, output);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.TupleError
+ */
+export class TupleError {
+  constructor(ast, actual, errors, output = []) {
+    this.ast = ast;
+    this.actual = actual;
+    this.errors = errors;
+    this.output = output;
+    this._tag = 10 /* ParseErrorTag.Tuple */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.TupleError __call
+ * @tsplus static fncts.schema.ParseErrorOps TupleError
+ */
+export function tupleError(ast, actual, errors, output = []) {
+  return new TupleError(ast, actual, errors, output);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.IndexError
+ */
+export class IndexError {
+  constructor(index, error) {
+    this.index = index;
+    this.error = error;
+    this._tag = 2 /* ParseErrorTag.Index */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.IndexError __call
+ * @tsplus static fncts.schema.ParseErrorOps IndexError
+ */
+export function indexError(index, error) {
+  return new IndexError(index, error);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.KeyError
+ */
+export class KeyError {
+  constructor(keyAST, key, error) {
+    this.keyAST = keyAST;
+    this.key = key;
+    this.error = error;
+    this._tag = 3 /* ParseErrorTag.Key */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.KeyError __call
+ * @tsplus static fncts.schema.ParseErrorOps KeyError
+ */
+export function keyError(keyAST, key, error) {
+  return new KeyError(keyAST, key, error);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.MissingError
+ */
+export class MissingError {
+  constructor() {
+    this._tag = 4 /* ParseErrorTag.Missing */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseErrorOps MissingError
+ */
+export const missingError = /*#__PURE__*/new MissingError();
+/**
+ * @tsplus companion fncts.schema.ParseError.UnexpectedError
+ */
+export class UnexpectedError {
+  constructor(actual) {
+    this.actual = actual;
+    this._tag = 5 /* ParseErrorTag.Unexpected */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.UnexpectedError __call
+ * @tsplus static fncts.schema.ParseErrorOps UnexpectedError
+ */
+export function unexpectedError(actual) {
+  return new UnexpectedError(actual);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.UnionError
+ */
+export class UnionError {
+  constructor(ast, actual, errors) {
+    this.ast = ast;
+    this.actual = actual;
+    this.errors = errors;
+    this._tag = 11 /* ParseErrorTag.Union */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.UnionError __call
+ * @tsplus static fncts.schema.ParseErrorOps UnionError
+ */
+export function unionError(ast, actual, errors) {
+  return new UnionError(ast, actual, errors);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.UnionMemberError
+ */
+export class UnionMemberError {
+  constructor(ast, error) {
+    this.ast = ast;
+    this.error = error;
+    this._tag = 6 /* ParseErrorTag.UnionMember */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.UnionMemberError __call
+ * @tsplus static fncts.schema.ParseErrorOps UnionMemberError
+ */
+export function unionMemberError(ast, error) {
+  return new UnionMemberError(ast, error);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.RefinementError
+ */
+export class RefinementError {
+  constructor(ast, actual, kind, error) {
+    this.ast = ast;
+    this.actual = actual;
+    this.kind = kind;
+    this.error = error;
+    this._tag = 7 /* ParseErrorTag.Refinement */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.RefinementError __call
+ * @tsplus static fncts.schema.ParseErrorOps RefinementError
+ */
+export function refinementError(ast, actual, kind, error) {
+  return new RefinementError(ast, actual, kind, error);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.TransformationError
+ */
+export class TransformationError {
+  constructor(ast, actual, kind, error) {
+    this.ast = ast;
+    this.actual = actual;
+    this.kind = kind;
+    this.error = error;
+    this._tag = 8 /* ParseErrorTag.Transformation */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.TransformationError __call
+ * @tsplus static fncts.schema.ParseErrorOps TransformationError
+ */
+export function transformationError(ast, actual, kind, error) {
+  return new TransformationError(ast, actual, kind, error);
+}
+/**
+ * @tsplus companion fncts.schema.ParseError.IterableError
+ */
+export class IterableError {
+  constructor(ast, actual, errors) {
+    this.ast = ast;
+    this.actual = actual;
+    this.errors = errors;
+    this._tag = 12 /* ParseErrorTag.Iterable */;
+  }
+}
+/**
+ * @tsplus static fncts.schema.ParseError.IterableError __call
+ * @tsplus static fncts.schema.ParseErrorOps IterableError
+ */
+export function iterableError(ast, actual, errors) {
+  return new IterableError(ast, actual, errors);
+}
+//# sourceMappingURL=ParseError.mjs.map

package/_mjs/ParseError/ParseError.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ParseError.mjs","names":["DeclarationError","constructor","ast","actual","error","_tag","declarationError","TypeError","typeError","expected","TypeLiteralError","errors","output","typeLiteralError","TupleError","tupleError","IndexError","index","indexError","KeyError","keyAST","key","keyError","MissingError","missingError","UnexpectedError","unexpectedError","UnionError","unionError","UnionMemberError","unionMemberError","RefinementError","kind","refinementError","TransformationError","transformationError","IterableError","iterableError"],"sources":["../../_src/ParseError/ParseError.ts"],"sourcesContent":[null],"mappings":"AAgCA;;;AAGA,OAAM,MAAOA,gBAAgB;EAE3BC,YACWC,GAAgB,EAChBC,MAAe,EACfC,KAAiB;IAFjB,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAC,KAAK,GAALA,KAAK;IAJP,KAAAC,IAAI;EAKV;;AAGL;;;;AAIA,OAAM,SAAUC,gBAAgBA,CAACJ,GAAgB,EAAEC,MAAe,EAAEC,KAAiB;EACnF,OAAO,IAAIJ,gBAAgB,CAACE,GAAG,EAAEC,MAAM,EAAEC,KAAK,CAAC;AACjD;AAEA;;;AAGA,OAAM,MAAOG,SAAS;EAEpBN,YACWC,GAAQ,EACRC,MAAe;IADf,KAAAD,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IAHR,KAAAE,IAAI;EAIV;;AAGL;;;;AAIA,OAAM,SAAUG,SAASA,CAACC,QAAa,EAAEN,MAAe;EACtD,OAAO,IAAII,SAAS,CAACE,QAAQ,EAAEN,MAAM,CAAC;AACxC;AAEA;;;AAGA,OAAM,MAAOO,gBAAgB;EAE3BT,YACWC,GAAgB,EAChBC,MAAe,EACfQ,MAAwB,EACxBC,MAAA,GAA4C,EAAE;IAH9C,KAAAV,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAQ,MAAM,GAANA,MAAM;IACN,KAAAC,MAAM,GAANA,MAAM;IALR,KAAAP,IAAI;EAMV;;AAGL;;;;AAIA,OAAM,SAAUQ,gBAAgBA,CAC9BX,GAAgB,EAChBC,MAAe,EACfQ,MAAwB,EACxBC,MAAA,GAA4C,EAAE;EAE9C,OAAO,IAAIF,gBAAgB,CAACR,GAAG,EAAEC,MAAM,EAAEQ,MAAM,EAAEC,MAAM,CAAC;AAC1D;AAEA;;;AAGA,OAAM,MAAOE,UAAU;EAErBb,YACWC,GAAU,EACVC,MAAe,EACfQ,MAA0B,EAC1BC,MAAA,GAAiC,EAAE;IAHnC,KAAAV,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAQ,MAAM,GAANA,MAAM;IACN,KAAAC,MAAM,GAANA,MAAM;IALR,KAAAP,IAAI;EAMV;;AAGL;;;;AAIA,OAAM,SAAUU,UAAUA,CACxBb,GAAU,EACVC,MAAe,EACfQ,MAA0B,EAC1BC,MAAA,GAAiC,EAAE;EAEnC,OAAO,IAAIE,UAAU,CAACZ,GAAG,EAAEC,MAAM,EAAEQ,MAAM,EAAEC,MAAM,CAAC;AACpD;AAEA;;;AAGA,OAAM,MAAOI,UAAU;EAErBf,YACWgB,KAAa,EACbb,KAAkD;IADlD,KAAAa,KAAK,GAALA,KAAK;IACL,KAAAb,KAAK,GAALA,KAAK;IAHP,KAAAC,IAAI;EAIV;;AAGL;;;;AAIA,OAAM,SAAUa,UAAUA,CAACD,KAAa,EAAEb,KAAkD;EAC1F,OAAO,IAAIY,UAAU,CAACC,KAAK,EAAEb,KAAK,CAAC;AACrC;AAEA;;;AAGA,OAAM,MAAOe,QAAQ;EAEnBlB,YACWmB,MAAW,EACXC,GAAQ,EACRjB,KAAkD;IAFlD,KAAAgB,MAAM,GAANA,MAAM;IACN,KAAAC,GAAG,GAAHA,GAAG;IACH,KAAAjB,KAAK,GAALA,KAAK;IAJP,KAAAC,IAAI;EAKV;;AAGL;;;;AAIA,OAAM,SAAUiB,QAAQA,CAACF,MAAW,EAAEC,GAAQ,EAAEjB,KAAkD;EAChG,OAAO,IAAIe,QAAQ,CAACC,MAAM,EAAEC,GAAG,EAAEjB,KAAK,CAAC;AACzC;AAEA;;;AAGA,OAAM,MAAOmB,YAAY;EAAzBtB,YAAA;IACW,KAAAI,IAAI;EACf;;AAEA;;;AAGA,OAAO,MAAMmB,YAAY,gBAAG,IAAID,YAAY,EAAE;AAE9C;;;AAGA,OAAM,MAAOE,eAAe;EAE1BxB,YAAqBE,MAAe;IAAf,KAAAA,MAAM,GAANA,MAAM;IADlB,KAAAE,IAAI;EAC0B;;AAGzC;;;;AAIA,OAAM,SAAUqB,eAAeA,CAACvB,MAAe;EAC7C,OAAO,IAAIsB,eAAe,CAACtB,MAAM,CAAC;AACpC;AAEA;;;AAGA,OAAM,MAAOwB,UAAU;EAErB1B,YACWC,GAAU,EACVC,MAAe,EACfQ,MAA+D;IAF/D,KAAAT,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAQ,MAAM,GAANA,MAAM;IAJR,KAAAN,IAAI;EAKV;;AAGL;;;;AAIA,OAAM,SAAUuB,UAAUA,CACxB1B,GAAU,EACVC,MAAe,EACfQ,MAA+D;EAE/D,OAAO,IAAIgB,UAAU,CAACzB,GAAG,EAAEC,MAAM,EAAEQ,MAAM,CAAC;AAC5C;AAEA;;;AAGA,OAAM,MAAOkB,gBAAgB;EAE3B5B,YACWC,GAAQ,EACRE,KAAiB;IADjB,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAE,KAAK,GAALA,KAAK;IAHP,KAAAC,IAAI;EAIV;;AAGL;;;;AAIA,OAAM,SAAUyB,gBAAgBA,CAAC5B,GAAQ,EAAEE,KAAiB;EAC1D,OAAO,IAAIyB,gBAAgB,CAAC3B,GAAG,EAAEE,KAAK,CAAC;AACzC;AAEA;;;AAGA,OAAM,MAAO2B,eAAe;EAE1B9B,YACWC,GAAe,EACfC,MAAe,EACf6B,IAA0B,EAC1B5B,KAAiB;IAHjB,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAA6B,IAAI,GAAJA,IAAI;IACJ,KAAA5B,KAAK,GAALA,KAAK;IALP,KAAAC,IAAI;EAMV;;AAGL;;;;AAIA,OAAM,SAAU4B,eAAeA,CAC7B/B,GAAe,EACfC,MAAe,EACf6B,IAA0B,EAC1B5B,KAAiB;EAEjB,OAAO,IAAI2B,eAAe,CAAC7B,GAAG,EAAEC,MAAM,EAAE6B,IAAI,EAAE5B,KAAK,CAAC;AACtD;AAEA;;;AAGA,OAAM,MAAO8B,mBAAmB;EAE9BjC,YACWC,GAAc,EACdC,MAAe,EACf6B,IAA2C,EAC3C5B,KAAiB;IAHjB,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAA6B,IAAI,GAAJA,IAAI;IACJ,KAAA5B,KAAK,GAALA,KAAK;IALP,KAAAC,IAAI;EAMV;;AAGL;;;;AAIA,OAAM,SAAU8B,mBAAmBA,CACjCjC,GAAc,EACdC,MAAe,EACf6B,IAA2C,EAC3C5B,KAAiB;EAEjB,OAAO,IAAI8B,mBAAmB,CAAChC,GAAG,EAAEC,MAAM,EAAE6B,IAAI,EAAE5B,KAAK,CAAC;AAC1D;AAEA;;;AAGA,OAAM,MAAOgC,aAAa;EAExBnC,YACWC,GAAQ,EACRC,MAAe,EACfQ,MAAqC;IAFrC,KAAAT,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAQ,MAAM,GAANA,MAAM;IAJR,KAAAN,IAAI;EAKV;;AAGL;;;;AAIA,OAAM,SAAUgC,aAAaA,CAACnC,GAAQ,EAAEC,MAAe,EAAEQ,MAAqC;EAC5F,OAAO,IAAIyB,aAAa,CAAClC,GAAG,EAAEC,MAAM,EAAEQ,MAAM,CAAC;AAC/C","ignoreList":[]}

package/_mjs/ParseError/ParseErrorFormatter.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ParseErrorFormatter.mjs.map

package/_mjs/ParseError/ParseErrorFormatter.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ParseErrorFormatter.mjs","names":[],"sources":["../../_src/ParseError/ParseErrorFormatter.ts"],"sourcesContent":[null],"mappings":"","ignoreList":[]}

package/_mjs/ParseError/PathFormatter.mjs

@@ -0,0 +1,86 @@
+import * as tsplus_module_1 from "@fncts/base/collection/Iterable/api";
+import * as tsplus_module_2 from "@fncts/base/data/Maybe/destructors";
+import { formatTypeError, getMessage } from "./TreeFormatter.mjs";
+/**
+ * @tsplus getter fncts.schema.ParseError flatten
+ */
+export function flatten(error) {
+  return go(error, []);
+  function go(error, path) {
+    switch (error._tag) {
+      case 10 /* ParseErrorTag.Tuple */:
+        {
+          return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(error => go(error.error, path.concat(error.index)))(error.errors)));
+        }
+      case 11 /* ParseErrorTag.Union */:
+        {
+          return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(error => {
+            if (error._tag === 6 /* ParseErrorTag.UnionMember */) {
+              return go(error.error, path);
+            } else {
+              return go(error, path);
+            }
+          })(error.errors)));
+        }
+      case 9 /* ParseErrorTag.TypeLiteral */:
+        {
+          return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(key => go(key.error, path.concat(key.key)))(error.errors)));
+        }
+      case 4 /* ParseErrorTag.Missing */:
+        {
+          return [{
+            type: error._tag,
+            path: path,
+            message: "is missing"
+          }];
+        }
+      case 5 /* ParseErrorTag.Unexpected */:
+        {
+          return [{
+            type: error._tag,
+            path: path,
+            message: "is unexpected"
+          }];
+        }
+      case 1 /* ParseErrorTag.Type */:
+        {
+          return [{
+            type: error._tag,
+            path: path,
+            message: formatTypeError(error)
+          }];
+        }
+      case 0 /* ParseErrorTag.Declaration */:
+      case 8 /* ParseErrorTag.Transformation */:
+      case 7 /* ParseErrorTag.Refinement */:
+        {
+          return getFlattenedParseError(error, path, () => go(error.error, path));
+        }
+      case 12 /* ParseErrorTag.Iterable */:
+        {
+          return getFlattenedParseError(error, path, () => tsplus_module_1.toArray(tsplus_module_1.flatMap(error => {
+            switch (error._tag) {
+              case 3 /* ParseErrorTag.Key */:
+                {
+                  return go(error.error, path.concat(error.key));
+                }
+              case 2 /* ParseErrorTag.Index */:
+                {
+                  return go(error.error, path.concat(error.index));
+                }
+            }
+          })(error.errors)));
+        }
+    }
+  }
+}
+function getFlattenedParseError(error, path, orElse) {
+  return tsplus_module_2.match(() => orElse(), message => {
+    return [{
+      type: error._tag,
+      path,
+      message
+    }];
+  })(getMessage(error));
+}
+//# sourceMappingURL=PathFormatter.mjs.map

package/_mjs/ParseError/PathFormatter.mjs.map

@@ -0,0 +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":[]}

package/_mjs/ParseError/TreeFormatter.mjs

@@ -0,0 +1,113 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/RoseTree/api";
+import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_3 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_4 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_5 from "@fncts/base/data/Maybe/destructors";
+import { showWithOptions } from "@fncts/base/data/Showable";
+/**
+ * @tsplus static fncts.schema.ParseErrorOps drawTree
+ * @tsplus getter fncts.schema.ParseError drawTree
+ */
+export function format(error) {
+  return tsplus_module_1.draw(go(error));
+}
+function formatActual(actual) {
+  return showWithOptions(actual, {
+    colors: false
+  });
+}
+function formatRefinementKind(error) {
+  switch (error.kind) {
+    case "From":
+      {
+        return "From side refinement failure";
+      }
+    case "Predicate":
+      {
+        return "Predicate refinement failure";
+      }
+  }
+}
+function formatTransformationKind(error) {
+  switch (error.kind) {
+    case "Encoded":
+      {
+        return "Encoded side transformation failure";
+      }
+    case "Transformation":
+      {
+        return "Transformation process failure";
+      }
+    case "Type":
+      {
+        return "Type side transformation failure";
+      }
+  }
+}
+export function getMessage(error) {
+  return tsplus_module_3.map(f => f(error))(error.ast.annotations.get(tsplus_module_2.Message));
+}
+export function formatTypeError(error) {
+  return tsplus_module_3.getOrElse(() => `Expected ${error.ast.toString(true)}, actual ${formatActual(error.actual)}`)(getMessage(error));
+}
+function formatKeyErrors(errors) {
+  return tsplus_module_4.map(error => {
+    if (error._tag === 3 /* ParseErrorTag.Key */) {
+      return tsplus_module_1.make(`[${String(error.keyAST)}]`, tsplus_module_4.vector(go(error.error)));
+    } else {
+      return tsplus_module_1.make(`[${error.index}]`, tsplus_module_4.vector(go(error.error)));
+    }
+  })(errors);
+}
+function getRoseTree(error, orElse) {
+  return tsplus_module_5.match(() => orElse(), message => tsplus_module_1.make(message))(getMessage(error));
+}
+function go(error) {
+  switch (error._tag) {
+    case 1 /* ParseErrorTag.Type */:
+      return tsplus_module_1.make(formatTypeError(error));
+    case 0 /* ParseErrorTag.Declaration */:
+      return getRoseTree(error, () => {
+        const shouldSkipDefaultMessage = error.error._tag === 1 /* ParseErrorTag.Type */ && error.error.ast === error.ast;
+        if (shouldSkipDefaultMessage) {
+          return go(error.error);
+        } else {
+          return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.vector(go(error.error)));
+        }
+      });
+    case 5 /* ParseErrorTag.Unexpected */:
+      return tsplus_module_1.make("is unexpected");
+    case 4 /* ParseErrorTag.Missing */:
+      return tsplus_module_1.make("is missing");
+    case 9 /* ParseErrorTag.TypeLiteral */:
+      return getRoseTree(error, () => {
+        return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
+      });
+    case 10 /* ParseErrorTag.Tuple */:
+      return getRoseTree(error, () => {
+        return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
+      });
+    case 11 /* ParseErrorTag.Union */:
+      return tsplus_module_1.make(error.ast.toString(true), tsplus_module_4.map(error => {
+        switch (error._tag) {
+          case 6 /* ParseErrorTag.UnionMember */:
+            return tsplus_module_1.make("Union member", tsplus_module_4.vector(go(error.error)));
+          default:
+            return go(error);
+        }
+      })(error.errors));
+    case 7 /* ParseErrorTag.Refinement */:
+      return getRoseTree(error, () => {
+        return tsplus_module_1.make(formatRefinementKind(error), tsplus_module_4.vector(go(error.error)));
+      });
+    case 8 /* ParseErrorTag.Transformation */:
+      return getRoseTree(error, () => {
+        return tsplus_module_1.make(formatTransformationKind(error), tsplus_module_4.vector(go(error.error)));
+      });
+    case 12 /* ParseErrorTag.Iterable */:
+      return getRoseTree(error, () => {
+        return tsplus_module_1.make(error.ast.toString(true), formatKeyErrors(error.errors));
+      });
+  }
+}
+//# sourceMappingURL=TreeFormatter.mjs.map

package/_mjs/ParseError/TreeFormatter.mjs.map

@@ -0,0 +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":[]}