@fncts/schema 0.0.13 → 0.0.15

package/_cjs/Show.cjs

@@ -11,17 +11,28 @@ var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/api"));
 var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ASTAnnotation"));
 var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+var _Global = /*#__PURE__*/require("@fncts/base/data/Global");
 var _utils = /*#__PURE__*/require("@fncts/schema/utils");
 function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
 function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && Object.prototype.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
+const showMemoMap = /*#__PURE__*/(0, _Global.globalValue)( /*#__PURE__*/Symbol.for("fncts.schema.Guard.showMemoMap"), () => new WeakMap());
+function goMemo(ast) {
+  const memo = showMemoMap.get(ast);
+  if (memo) {
+    return memo;
+  }
+  const s = go(ast);
+  showMemoMap.set(ast, s);
+  return s;
+}
 /**
  * @tsplus getter fncts.schema.Schema show
  */
 function show(self) {
-  const ev = go(self.ast);
+  const ev = goMemo(self.ast);
   return tsplus_module_1.run(ev);
 }
-const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
+function go(ast) {
   void 0;
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
@@ -33,7 +44,7 @@ const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
             } else {
               return `${id}<${tsplus_module_3.join(", ")(ts)}>`;
             }
-          })(tsplus_module_3._traverse(ast.typeParameters)(tsplus_module_4.Applicative)(go));
+          })(tsplus_module_3._traverse(ast.typeParameters)(tsplus_module_4.Applicative)(goMemo));
         })(ast.annotations.get(tsplus_module_6.Identifier));
       }
     case 1 /* ASTTag.Literal */:
@@ -83,7 +94,7 @@ const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
         const middle = restElements.length > 0 ? ", " : "";
         const suffix = tsplus_module_3.join(", ")(tsplus_module_3.map(s => `...${s}`)(restElements)) + "]";
         return prefix + middle + suffix;
-      }))(tsplus_module_7.match(() => tsplus_module_2.now(tsplus_module_3.empty()), rest => tsplus_module_3._traverse(rest)(tsplus_module_4.Applicative)(go))(ast.rest)))(tsplus_module_3._traverse(tsplus_module_3.map(element => element.type)(ast.elements))(tsplus_module_4.Applicative)(go));
+      }))(tsplus_module_7.match(() => tsplus_module_2.now(tsplus_module_3.empty()), rest => tsplus_module_3._traverse(rest)(tsplus_module_4.Applicative)(goMemo))(ast.rest)))(tsplus_module_3._traverse(ast.elements)(tsplus_module_4.Applicative)(element => goMemo(element.type)));
     case 17 /* ASTTag.TypeLiteral */:
       return tsplus_module_5.flatMap(propertySignatures => tsplus_module_5.map(indexSignatures => {
         const required = [];
@@ -101,14 +112,14 @@ const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
         const index = tsplus_module_3.join(", ")(tsplus_module_3.map(([param, type]) => `[x: ${param}]: ${type}`)(indexSignatures));
         const suffix = "}";
         return prefix + " " + properties + (index.length === 0 ? "" : ", ") + index + " " + suffix;
-      })(tsplus_module_3._traverse(ast.indexSignatures)(tsplus_module_4.Applicative)(is => tsplus_module_5.zip(go(is.type))(go(is.parameter)))))(tsplus_module_3._traverse(ast.propertySignatures)(tsplus_module_4.Applicative)(ps => go(ps.type)));
+      })(tsplus_module_3._traverse(ast.indexSignatures)(tsplus_module_4.Applicative)(is => tsplus_module_5.zip(goMemo(is.type))(goMemo(is.parameter)))))(tsplus_module_3._traverse(ast.propertySignatures)(tsplus_module_4.Applicative)(ps => goMemo(ps.type)));
     case 18 /* ASTTag.Union */:
-      return tsplus_module_5.map(ts => tsplus_module_3.join(" | ")(ts))(tsplus_module_3._traverse(ast.types)(tsplus_module_4.Applicative)(go));
+      return tsplus_module_5.map(ts => tsplus_module_3.join(" | ")(ts))(tsplus_module_3._traverse(ast.types)(tsplus_module_4.Applicative)(goMemo));
     case 19 /* ASTTag.Lazy */:
       {
-        const f = () => go(ast.getAST());
+        const f = () => goMemo(ast.getAST());
         const get = (0, _utils.memoize)(f);
-        return tsplus_module_2.defer(() => get(f));
+        return tsplus_module_2.defer(() => get());
       }
     case 14 /* ASTTag.Enum */:
       {
@@ -116,10 +127,10 @@ const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
       }
     case 20 /* ASTTag.Refinement */:
       {
-        return tsplus_module_7.match(() => tsplus_module_5.map(from => `Refined<${from}>`)(go(ast.from)), id => tsplus_module_2.now(id))(ast.annotations.get(tsplus_module_6.Identifier));
+        return tsplus_module_7.match(() => tsplus_module_5.map(from => `Refined<${from}>`)(goMemo(ast.from)), id => tsplus_module_2.now(id))(ast.annotations.get(tsplus_module_6.Identifier));
       }
     case 21 /* ASTTag.Transform */:
-      return go(ast.to);
+      return goMemo(ast.to);
     case 22 /* ASTTag.Validation */:
       {
         return tsplus_module_5.map(from => {
@@ -128,10 +139,10 @@ const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
             return from;
           }
           return `${from} & ${validationNames}`;
-        })(go(ast.from));
+        })(goMemo(ast.from));
       }
   }
-});
+}
 function formatTemplateLiteralSpan(span) {
   switch (span.type._tag) {
     case 8 /* ASTTag.StringKeyword */:

package/_cjs/Show.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Show.cjs","names":["_utils","require","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","show","self","ev","go","ast","tsplus_module_1","run","memoize","_tag","tsplus_module_7","match","tsplus_module_2","now","id","tsplus_module_5","map","ts","length","tsplus_module_3","join","_traverse","typeParameters","tsplus_module_4","Applicative","annotations","tsplus_module_6","Identifier","literal","toString","symbol","formatTemplateLiteral","flatMap","elements","restElements","always","isReadonly","unsafeGet","prefix","middle","suffix","s","empty","rest","element","type","propertySignatures","indexSignatures","required","optional","forEachWithIndex","ps","name","isOptional","push","properties","concat","sort","k1","k2","toLocaleString","localeCompare","propertyKey","String","index","param","is","zip","parameter","types","f","getAST","defer","enums","from","to","validationNames","v","validation","formatTemplateLiteralSpan","span","head","spans"],"sources":["../_src/Show.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;AAIA,IAAAA,MAAA,gBAAAC,OAAA;AAA8C,SAAAC,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAlB,CAAA,EAAAe,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAiB,GAAA,CAAApB,CAAA,EAAAS,CAAA,GAAAA,CAAA;AAE9C;;;AAGM,SAAUY,IAAIA,CAAIC,IAAe;EACrC,MAAMC,EAAE,GAAGC,EAAE,CAACF,IAAI,CAACG,GAAG,CAAC;EACvB,OAAAC,eAAA,CAAAC,GAAA,CAAOJ,EAAE;AACX;AAEA,MAAMC,EAAE,gBAAG,IAAAI,cAAO,EAAC,SAASJ,EAAEA,CAACC,GAAQ;EACrC;EACA,QAAQA,GAAG,CAACI,IAAI;IACd;MAAyB;QACvB,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMC,eAAA,CAAAC,GAAA,CAAS,cAAc,CAAC,EAC7BC,EAAE,IAAI;UACL,OAAOC,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAI;YACV,IAAIA,EAAE,CAACC,MAAM,IAAI,CAAC,EAAE;cAClB,OAAOJ,EAAE;YACX,CAAC,MAAM;cACL,OAAO,GAAGA,EAAE,IAAIK,eAAA,CAAAC,IAAA,CAAQ,IAAI,EAAZH,EAAE,CAAW,GAAG;YAClC;UACF,CAAC,EARIE,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAACiB,cAAc,EAAAC,eAAA,CAAAC,WAAA,CACI,CAACpB,EAAE,CAAC,CAO7B;QACN,CAAC,EAZIC,GAAG,CAACoB,WAAW,CAACrC,GAAG,CAAAsC,eAAA,CAAAC,UAAA,CAA0B,CAanD;MACH;IACA;MAAqB;QACnB,IAAItB,GAAG,CAACuB,OAAO,KAAK,IAAI,EAAE;UACxB,OAAOhB,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;QACzB,CAAC,MAAM;UACL,OAAOD,eAAA,CAAAC,GAAA,CAASR,GAAG,CAACuB,OAAO,CAACC,QAAQ,EAAE,CAAC;QACzC;MACF;IACA;MACE,OAAOjB,eAAA,CAAAC,GAAA,CAASR,GAAG,CAACyB,MAAM,CAACD,QAAQ,EAAE,CAAC;IACxC;MACE,OAAOjB,eAAA,CAAAC,GAAA,CAAS,WAAW,CAAC;IAC9B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;IACzB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,OAAO,CAAC;IAC1B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,KAAK,CAAC;IACxB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,GAAG,GAAGkB,qBAAqB,CAAC1B,GAAG,CAAC,GAAG,GAAG,CAAC;IACzD;MACE,OAAAU,eAAA,CAAAiB,OAAA,CACQC,QAAQ,IAAAlB,eAAA,CAAAiB,OAAA,CACRE,YAAY,IAQhBtB,eAAA,CAAAuB,MAAA,CAAK,MAAK;QACR,IAAIF,QAAQ,CAACf,MAAM,KAAK,CAAC,IAAIgB,YAAY,CAAChB,MAAM,KAAK,CAAC,EAAE;UACtD,IAAIb,GAAG,CAAC+B,UAAU,EAAE;YAClB,OAAO,iBAAiBjB,eAAA,CAAAkB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UAC5C,CAAC,MAAM;YACL,OAAO,SAASf,eAAA,CAAAkB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UACpC;QACF;QAEA,MAAMI,MAAM,GAAG,CAACjC,GAAG,CAAC+B,UAAU,GAAG,WAAW,GAAG,EAAE,IAAI,GAAG,GAAGjB,eAAA,CAAAC,IAAA,CAAc,IAAI,EAAlBa,QAAQ,CAAW;QAC9E,MAAMM,MAAM,GAAGL,YAAY,CAAChB,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE;QAClD,MAAMsB,MAAM,GAAGrB,eAAA,CAAAC,IAAA,CAAwC,IAAI,EAA5CD,eAAA,CAAAH,GAAA,CAAkByB,CAAC,IAAK,MAAMA,CAAC,EAAE,EAAjCP,YAAY,CAAsB,CAAW,GAAG,GAAG;QAClE,OAAOI,MAAM,GAAGC,MAAM,GAAGC,MAAM;MACjC,CAAC,CAAC,EApBF9B,eAAA,CAAAC,KAAA,CACE,MAAMC,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAuB,KAAA,EAAsB,CAAC,EACrCC,IAAI,IAAKxB,eAAA,CAAAE,SAAA,CAAAsB,IAAI,EAAApB,eAAA,CAAAC,WAAA,CAA2B,CAACpB,EAAE,CAAC,EAF/CC,GAAG,CAACsC,IAAI,CAGP,GALoBxB,eAAA,CAAAE,SAAA,CAAAF,eAAA,CAAAH,GAAA,CAAkB4B,OAAO,IAAKA,OAAO,CAACC,IAAI,EAA1CxC,GAAG,CAAC4B,QAAQ,CAA+B,EAAAV,eAAA,CAAAC,WAAA,CAA2B,CAACpB,EAAE,CAAC;IAyBrG;MACE,OAAAW,eAAA,CAAAiB,OAAA,CACQc,kBAAkB,IAAA/B,eAAA,CAAAC,GAAA,CAClB+B,eAAe;QAIrB,MAAMC,QAAQ,GAAiC,EAAE;QACjD,MAAMC,QAAQ,GAAiC,EAAE;QAEjD9B,eAAA,CAAA+B,gBAAA,CAAwC,CAACnD,CAAC,EAAEoD,EAAE,KAAI;UAChD,MAAMC,IAAI,GAAGD,EAAE,CAACC,IAAI;UACpB,IAAI,CAACD,EAAE,CAACE,UAAU,EAAE;YAClBL,QAAQ,CAACM,IAAI,CAAC,CAACF,IAAI,EAAEjC,eAAA,CAAAkB,SAAA,CAAmBtC,CAAC,EAApB+C,kBAAkB,CAAI,CAAC,CAAC;UAC/C,CAAC,MAAM;YACLG,QAAQ,CAACK,IAAI,CAAC,CAACF,IAAI,EAAEjC,eAAA,CAAAkB,SAAA,CAAmBtC,CAAC,EAApB+C,kBAAkB,CAAI,CAAC,CAAC;UAC/C;QACF,CAAC,EAPDzC,GAAG,CAACyC,kBAAkB,CAOpB;QAEF,MAAMR,MAAM,GAAO,GAAG;QACtB,MAAMiB,UAAU,GAAGP,QAAQ,CACxBQ,MAAM,CAACP,QAAQ,CAAC,CAChBQ,IAAI,CAAC,CAAC,CAACC,EAAE,CAAC,EAAE,CAACC,EAAE,CAAC,KAAKD,EAAE,CAACE,cAAc,EAAE,CAACC,aAAa,CAACF,EAAE,CAACC,cAAc,EAAE,CAAC,CAAC,CAC5E5C,GAAG,CAAC,CAAC,CAAC8C,WAAW,EAAEjB,IAAI,CAAC,KAAK,GAAGkB,MAAM,CAACD,WAAW,CAAC,KAAKjB,IAAI,EAAE,CAAC,CAC/DzB,IAAI,CAAC,IAAI,CAAC;QACb,MAAM4C,KAAK,GAAI7C,eAAA,CAAAC,IAAA,CAAsE,IAAI,EAA1ED,eAAA,CAAAH,GAAA,CAAoB,CAAC,CAACiD,KAAK,EAAEpB,IAAI,CAAC,KAAK,OAAOoB,KAAK,MAAMpB,IAAI,EAAE,EAA/DE,eAAe,CAAiD,CAAW;QAC1F,MAAMP,MAAM,GAAG,GAAG;QAElB,OAAOF,MAAM,GAAG,GAAG,GAAGiB,UAAU,IAAIS,KAAK,CAAC9C,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG8C,KAAK,GAAG,GAAG,GAAGxB,MAAM;SAxBxFrB,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAAC0C,eAAe,EAAAxB,eAAA,CAAAC,WAAA,CAA2B,CAAE0C,EAAE,IAAKnD,eAAA,CAAAoD,GAAA,CAAqB/D,EAAE,CAAC8D,EAAE,CAACrB,IAAI,CAAC,EAAhCzC,EAAE,CAAC8D,EAAE,CAACE,SAAS,CAAC,CAAiB,CAAC,GAF9DjD,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAACyC,kBAAkB,EAAAvB,eAAA,CAAAC,WAAA,CAA2B,CAAE2B,EAAE,IAAK/C,EAAE,CAAC+C,EAAE,CAACN,IAAI,CAAC,CAAC;IA4BvG;MACE,OAAO9B,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAKE,eAAA,CAAAC,IAAA,CAAQ,KAAK,EAAbH,EAAE,CAAY,EAFtBE,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAACgE,KAAK,EAAA9C,eAAA,CAAAC,WAAA,CACa,CAACpB,EAAE,CAAC,CACH;IAChC;MAAkB;QAChB,MAAMkE,CAAC,GAAKA,CAAA,KAAMlE,EAAE,CAACC,GAAG,CAACkE,MAAM,EAAE,CAAC;QAClC,MAAMnF,GAAG,GAAG,IAAAoB,cAAO,EAAyB8D,CAAC,CAAC;QAC9C,OAAO1D,eAAA,CAAA4D,KAAA,CAAW,MAAMpF,GAAG,CAACkF,CAAC,CAAC,CAAC;MACjC;IACA;MAAkB;QAChB,OAAO1D,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAC,IAAA,CAAqC,KAAK,EAA1CD,eAAA,CAAAH,GAAA,CAAc,CAAC,CAACoC,IAAI,CAAC,KAAKA,IAAI,EAA9B/C,GAAG,CAACoE,KAAK,CAAsB,CAAY,CAAC;MAC9D;IACA;MAAwB;QACtB,OAAO/D,eAAA,CAAAC,KAAA,CACL,MAAMI,eAAA,CAAAC,GAAA,CAAkB0D,IAAI,IAAK,WAAWA,IAAI,GAAG,EAA7CtE,EAAE,CAACC,GAAG,CAACqE,IAAI,CAAC,CAAkC,EACnD5D,EAAE,IAAKF,eAAA,CAAAC,GAAA,CAASC,EAAE,CAAC,EAFfT,GAAG,CAACoB,WAAW,CAACrC,GAAG,CAAAsC,eAAA,CAAAC,UAAA,CAA0B,CAGnD;MACH;IACA;MACE,OAAOvB,EAAE,CAACC,GAAG,CAACsE,EAAE,CAAC;IACnB;MAAwB;QACtB,OAAO5D,eAAA,CAAAC,GAAA,CAAkB0D,IAAI,IAAI;UAC/B,MAAME,eAAe,GAAGzD,eAAA,CAAAC,IAAA,CAAuC,KAAK,EAA5CD,eAAA,CAAAH,GAAA,CAAoB6D,CAAC,IAAKA,CAAC,CAACzB,IAAI,EAAhC/C,GAAG,CAACyE,UAAU,CAAmB,CAAY;UAErE,IAAIF,eAAe,CAAC1D,MAAM,IAAI,CAAC,EAAE;YAC/B,OAAOwD,IAAI;UACb;UAEA,OAAO,GAAGA,IAAI,MAAME,eAAe,EAAE;QACvC,CAAC,EARMxE,EAAE,CAACC,GAAG,CAACqE,IAAI,CAAC,CAQjB;MACJ;EACF;AACF,CAAC,CAAC;AAEF,SAASK,yBAAyBA,CAACC,IAAyB;EAC1D,QAAQA,IAAI,CAACnC,IAAI,CAACpC,IAAI;IACpB;MACE,OAAO,WAAW;IACpB;MACE,OAAO,WAAW;EACtB;AACF;AAEA,SAASsB,qBAAqBA,CAAC1B,GAAoB;EACjD,OAAOA,GAAG,CAAC4E,IAAI,GAAG9D,eAAA,CAAAC,IAAA,CAA6E,EAAE,EAA/ED,eAAA,CAAAH,GAAA,CAAegE,IAAI,IAAKD,yBAAyB,CAACC,IAAI,CAAC,GAAGA,IAAI,CAACpD,OAAO,EAAtEvB,GAAG,CAAC6E,KAAK,CAA8D,CAAS;AACpG"}
+{"version":3,"file":"Show.cjs","names":["_Global","require","_utils","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","showMemoMap","globalValue","Symbol","for","goMemo","ast","memo","s","go","show","self","ev","tsplus_module_1","run","_tag","tsplus_module_7","match","tsplus_module_2","now","id","tsplus_module_5","map","ts","length","tsplus_module_3","join","_traverse","typeParameters","tsplus_module_4","Applicative","annotations","tsplus_module_6","Identifier","literal","toString","symbol","formatTemplateLiteral","flatMap","elements","restElements","always","isReadonly","unsafeGet","prefix","middle","suffix","empty","rest","element","type","propertySignatures","indexSignatures","required","optional","forEachWithIndex","ps","name","isOptional","push","properties","concat","sort","k1","k2","toLocaleString","localeCompare","propertyKey","String","index","param","is","zip","parameter","types","f","getAST","memoize","defer","enums","from","to","validationNames","v","validation","formatTemplateLiteralSpan","span","head","spans"],"sources":["../_src/Show.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;AAEA,IAAAA,OAAA,gBAAAC,OAAA;AAGA,IAAAC,MAAA,gBAAAD,OAAA;AAA8C,SAAAE,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAlB,CAAA,EAAAe,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAiB,GAAA,CAAApB,CAAA,EAAAS,CAAA,GAAAA,CAAA;AAE9C,MAAMY,WAAW,gBAAG,IAAAC,mBAAW,gBAACC,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC,EAAE,MAAM,IAAIvB,OAAO,EAAqB,CAAC;AAErH,SAASwB,MAAMA,CAACC,GAAQ;EACtB,MAAMC,IAAI,GAAGN,WAAW,CAACb,GAAG,CAACkB,GAAG,CAAC;EACjC,IAAIC,IAAI,EAAE;IACR,OAAOA,IAAI;EACb;EACA,MAAMC,CAAC,GAAGC,EAAE,CAACH,GAAG,CAAC;EACjBL,WAAW,CAACD,GAAG,CAACM,GAAG,EAAEE,CAAC,CAAC;EACvB,OAAOA,CAAC;AACV;AAEA;;;AAGM,SAAUE,IAAIA,CAAIC,IAAe;EACrC,MAAMC,EAAE,GAAGP,MAAM,CAACM,IAAI,CAACL,GAAG,CAAC;EAC3B,OAAAO,eAAA,CAAAC,GAAA,CAAOF,EAAE;AACX;AAEA,SAASH,EAAEA,CAACH,GAAQ;EAClB;EACA,QAAQA,GAAG,CAACS,IAAI;IACd;MAAyB;QACvB,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMC,eAAA,CAAAC,GAAA,CAAS,cAAc,CAAC,EAC7BC,EAAE,IAAI;UACL,OAAOC,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAI;YACV,IAAIA,EAAE,CAACC,MAAM,IAAI,CAAC,EAAE;cAClB,OAAOJ,EAAE;YACX,CAAC,MAAM;cACL,OAAO,GAAGA,EAAE,IAAIK,eAAA,CAAAC,IAAA,CAAQ,IAAI,EAAZH,EAAE,CAAW,GAAG;YAClC;UACF,CAAC,EARIE,eAAA,CAAAE,SAAA,CAAArB,GAAG,CAACsB,cAAc,EAAAC,eAAA,CAAAC,WAAA,CACI,CAACzB,MAAM,CAAC,CAOjC;QACN,CAAC,EAZIC,GAAG,CAACyB,WAAW,CAAC3C,GAAG,CAAA4C,eAAA,CAAAC,UAAA,CAA0B,CAanD;MACH;IACA;MAAqB;QACnB,IAAI3B,GAAG,CAAC4B,OAAO,KAAK,IAAI,EAAE;UACxB,OAAOhB,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;QACzB,CAAC,MAAM;UACL,OAAOD,eAAA,CAAAC,GAAA,CAASb,GAAG,CAAC4B,OAAO,CAACC,QAAQ,EAAE,CAAC;QACzC;MACF;IACA;MACE,OAAOjB,eAAA,CAAAC,GAAA,CAASb,GAAG,CAAC8B,MAAM,CAACD,QAAQ,EAAE,CAAC;IACxC;MACE,OAAOjB,eAAA,CAAAC,GAAA,CAAS,WAAW,CAAC;IAC9B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;IACzB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,OAAO,CAAC;IAC1B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,KAAK,CAAC;IACxB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,GAAG,GAAGkB,qBAAqB,CAAC/B,GAAG,CAAC,GAAG,GAAG,CAAC;IACzD;MACE,OAAAe,eAAA,CAAAiB,OAAA,CACQC,QAAQ,IAAAlB,eAAA,CAAAiB,OAAA,CACRE,YAAY,IAQhBtB,eAAA,CAAAuB,MAAA,CAAK,MAAK;QACR,IAAIF,QAAQ,CAACf,MAAM,KAAK,CAAC,IAAIgB,YAAY,CAAChB,MAAM,KAAK,CAAC,EAAE;UACtD,IAAIlB,GAAG,CAACoC,UAAU,EAAE;YAClB,OAAO,iBAAiBjB,eAAA,CAAAkB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UAC5C,CAAC,MAAM;YACL,OAAO,SAASf,eAAA,CAAAkB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UACpC;QACF;QAEA,MAAMI,MAAM,GAAG,CAACtC,GAAG,CAACoC,UAAU,GAAG,WAAW,GAAG,EAAE,IAAI,GAAG,GAAGjB,eAAA,CAAAC,IAAA,CAAc,IAAI,EAAlBa,QAAQ,CAAW;QAC9E,MAAMM,MAAM,GAAGL,YAAY,CAAChB,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE;QAClD,MAAMsB,MAAM,GAAGrB,eAAA,CAAAC,IAAA,CAAwC,IAAI,EAA5CD,eAAA,CAAAH,GAAA,CAAkBd,CAAC,IAAK,MAAMA,CAAC,EAAE,EAAjCgC,YAAY,CAAsB,CAAW,GAAG,GAAG;QAClE,OAAOI,MAAM,GAAGC,MAAM,GAAGC,MAAM;MACjC,CAAC,CAAC,EApBF9B,eAAA,CAAAC,KAAA,CACE,MAAMC,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAsB,KAAA,EAAsB,CAAC,EACrCC,IAAI,IAAKvB,eAAA,CAAAE,SAAA,CAAAqB,IAAI,EAAAnB,eAAA,CAAAC,WAAA,CAA2B,CAACzB,MAAM,CAAC,EAFnDC,GAAG,CAAC0C,IAAI,CAGP,GALoBvB,eAAA,CAAAE,SAAA,CAAArB,GAAG,CAACiC,QAAQ,EAAAV,eAAA,CAAAC,WAAA,CAA2B,CAAEmB,OAAO,IAAK5C,MAAM,CAAC4C,OAAO,CAACC,IAAI,CAAC,CAAC;IAyBrG;MACE,OAAA7B,eAAA,CAAAiB,OAAA,CACQa,kBAAkB,IAAA9B,eAAA,CAAAC,GAAA,CAClB8B,eAAe;QAIrB,MAAMC,QAAQ,GAAiC,EAAE;QACjD,MAAMC,QAAQ,GAAiC,EAAE;QAEjD7B,eAAA,CAAA8B,gBAAA,CAAwC,CAACxD,CAAC,EAAEyD,EAAE,KAAI;UAChD,MAAMC,IAAI,GAAGD,EAAE,CAACC,IAAI;UACpB,IAAI,CAACD,EAAE,CAACE,UAAU,EAAE;YAClBL,QAAQ,CAACM,IAAI,CAAC,CAACF,IAAI,EAAEhC,eAAA,CAAAkB,SAAA,CAAmB5C,CAAC,EAApBoD,kBAAkB,CAAI,CAAC,CAAC;UAC/C,CAAC,MAAM;YACLG,QAAQ,CAACK,IAAI,CAAC,CAACF,IAAI,EAAEhC,eAAA,CAAAkB,SAAA,CAAmB5C,CAAC,EAApBoD,kBAAkB,CAAI,CAAC,CAAC;UAC/C;QACF,CAAC,EAPD7C,GAAG,CAAC6C,kBAAkB,CAOpB;QAEF,MAAMP,MAAM,GAAO,GAAG;QACtB,MAAMgB,UAAU,GAAGP,QAAQ,CACxBQ,MAAM,CAACP,QAAQ,CAAC,CAChBQ,IAAI,CAAC,CAAC,CAACC,EAAE,CAAC,EAAE,CAACC,EAAE,CAAC,KAAKD,EAAE,CAACE,cAAc,EAAE,CAACC,aAAa,CAACF,EAAE,CAACC,cAAc,EAAE,CAAC,CAAC,CAC5E3C,GAAG,CAAC,CAAC,CAAC6C,WAAW,EAAEjB,IAAI,CAAC,KAAK,GAAGkB,MAAM,CAACD,WAAW,CAAC,KAAKjB,IAAI,EAAE,CAAC,CAC/DxB,IAAI,CAAC,IAAI,CAAC;QACb,MAAM2C,KAAK,GAAI5C,eAAA,CAAAC,IAAA,CAAsE,IAAI,EAA1ED,eAAA,CAAAH,GAAA,CAAoB,CAAC,CAACgD,KAAK,EAAEpB,IAAI,CAAC,KAAK,OAAOoB,KAAK,MAAMpB,IAAI,EAAE,EAA/DE,eAAe,CAAiD,CAAW;QAC1F,MAAMN,MAAM,GAAG,GAAG;QAElB,OAAOF,MAAM,GAAG,GAAG,GAAGgB,UAAU,IAAIS,KAAK,CAAC7C,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG6C,KAAK,GAAG,GAAG,GAAGvB,MAAM;SAxBxFrB,eAAA,CAAAE,SAAA,CAAArB,GAAG,CAAC8C,eAAe,EAAAvB,eAAA,CAAAC,WAAA,CAA2B,CAAEyC,EAAE,IAAKlD,eAAA,CAAAmD,GAAA,CAAyBnE,MAAM,CAACkE,EAAE,CAACrB,IAAI,CAAC,EAAxC7C,MAAM,CAACkE,EAAE,CAACE,SAAS,CAAC,CAAqB,CAAC,GAFtEhD,eAAA,CAAAE,SAAA,CAAArB,GAAG,CAAC6C,kBAAkB,EAAAtB,eAAA,CAAAC,WAAA,CAA2B,CAAE0B,EAAE,IAAKnD,MAAM,CAACmD,EAAE,CAACN,IAAI,CAAC,CAAC;IA4B3G;MACE,OAAO7B,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAKE,eAAA,CAAAC,IAAA,CAAQ,KAAK,EAAbH,EAAE,CAAY,EAFtBE,eAAA,CAAAE,SAAA,CAAArB,GAAG,CAACoE,KAAK,EAAA7C,eAAA,CAAAC,WAAA,CACa,CAACzB,MAAM,CAAC,CACP;IAChC;MAAkB;QAChB,MAAMsE,CAAC,GAAKA,CAAA,KAAMtE,MAAM,CAACC,GAAG,CAACsE,MAAM,EAAE,CAAC;QACtC,MAAMxF,GAAG,GAAG,IAAAyF,cAAO,EAAqBF,CAAC,CAAC;QAC1C,OAAOzD,eAAA,CAAA4D,KAAA,CAAW,MAAM1F,GAAG,EAAE,CAAC;MAChC;IACA;MAAkB;QAChB,OAAO8B,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAC,IAAA,CAAqC,KAAK,EAA1CD,eAAA,CAAAH,GAAA,CAAc,CAAC,CAACmC,IAAI,CAAC,KAAKA,IAAI,EAA9BnD,GAAG,CAACyE,KAAK,CAAsB,CAAY,CAAC;MAC9D;IACA;MAAwB;QACtB,OAAO/D,eAAA,CAAAC,KAAA,CACL,MAAMI,eAAA,CAAAC,GAAA,CAAsB0D,IAAI,IAAK,WAAWA,IAAI,GAAG,EAAjD3E,MAAM,CAACC,GAAG,CAAC0E,IAAI,CAAC,CAAkC,EACvD5D,EAAE,IAAKF,eAAA,CAAAC,GAAA,CAASC,EAAE,CAAC,EAFfd,GAAG,CAACyB,WAAW,CAAC3C,GAAG,CAAA4C,eAAA,CAAAC,UAAA,CAA0B,CAGnD;MACH;IACA;MACE,OAAO5B,MAAM,CAACC,GAAG,CAAC2E,EAAE,CAAC;IACvB;MAAwB;QACtB,OAAO5D,eAAA,CAAAC,GAAA,CAAsB0D,IAAI,IAAI;UACnC,MAAME,eAAe,GAAGzD,eAAA,CAAAC,IAAA,CAAuC,KAAK,EAA5CD,eAAA,CAAAH,GAAA,CAAoB6D,CAAC,IAAKA,CAAC,CAAC1B,IAAI,EAAhCnD,GAAG,CAAC8E,UAAU,CAAmB,CAAY;UAErE,IAAIF,eAAe,CAAC1D,MAAM,IAAI,CAAC,EAAE;YAC/B,OAAOwD,IAAI;UACb;UAEA,OAAO,GAAGA,IAAI,MAAME,eAAe,EAAE;QACvC,CAAC,EARM7E,MAAM,CAACC,GAAG,CAAC0E,IAAI,CAAC,CAQrB;MACJ;EACF;AACF;AAEA,SAASK,yBAAyBA,CAACC,IAAyB;EAC1D,QAAQA,IAAI,CAACpC,IAAI,CAACnC,IAAI;IACpB;MACE,OAAO,WAAW;IACpB;MACE,OAAO,WAAW;EACtB;AACF;AAEA,SAASsB,qBAAqBA,CAAC/B,GAAoB;EACjD,OAAOA,GAAG,CAACiF,IAAI,GAAG9D,eAAA,CAAAC,IAAA,CAA6E,EAAE,EAA/ED,eAAA,CAAAH,GAAA,CAAegE,IAAI,IAAKD,yBAAyB,CAACC,IAAI,CAAC,GAAGA,IAAI,CAACpD,OAAO,EAAtE5B,GAAG,CAACkF,KAAK,CAA8D,CAAS;AACpG"}

package/_mjs/AST.mjs

@@ -2,13 +2,15 @@ var _a;
 const fileName_1 = "(@fncts/schema) src/AST.ts";
 import * as tsplus_module_1 from "@fncts/schema/ASTAnnotation";
 import * as tsplus_module_2 from "@fncts/base/collection/immutable/Vector/api";
-import * as tsplus_module_3 from "@fncts/base/data/number/instances";
-import * as tsplus_module_4 from "@fncts/base/data/Ord/api/contramap";
-import * as tsplus_module_5 from "@fncts/base/data/Maybe/definition";
-import * as tsplus_module_6 from "@fncts/base/data/Maybe/constructors";
-import * as tsplus_module_7 from "@fncts/base/data/Maybe/destructors";
-import * as tsplus_module_8 from "@fncts/base/collection/immutable/Vector/internal";
-import * as tsplus_module_9 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_3 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_4 from "@fncts/schema/ParseResult";
+import * as tsplus_module_5 from "@fncts/schema/ParseError";
+import * as tsplus_module_6 from "@fncts/base/data/number/instances";
+import * as tsplus_module_7 from "@fncts/base/data/Ord/api/contramap";
+import * as tsplus_module_8 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_9 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_10 from "@fncts/base/collection/immutable/Vector/internal";
+import * as tsplus_module_11 from "@fncts/base/data/Maybe/api";
 export const createDeclaration = createDeclaration_1;
 export const createLiteral = createLiteral_1;
 export const isLiteral = isLiteral_1;
@@ -26,13 +28,11 @@ export const createTypeLiteral = createTypeLiteral_1;
 export const createUnion = createUnion_1;
 export const createLazy = createLazy_1;
 export const createRefinement = createRefinement_1;
-export const createTransform = createTransform_1;
 export const getPropertySignatures = getPropertySignatures_1;
 export const keysOf = keysOf_1;
 export const partial = partial_1;
 export const getFrom = getFrom_1;
 export const getTo = getTo_1;
-export const reverse = reverse_1;
 import { show } from "@fncts/base/data/Showable";
 import { memoize } from "@fncts/schema/utils";
 import { ASTAnnotationMap } from "./ASTAnnotationMap.mjs";
@@ -214,7 +214,8 @@ export class UnknownKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps unknownKeyword
  */
-export const unknownKeyword = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "unknown"));
+const unknownKeyword_1 = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "unknown"));
+export const unknownKeyword = unknownKeyword_1;
 /*
  * AnyKeyword
  */
@@ -460,6 +461,10 @@ export class Tuple extends AST {
 function createTuple_1(elements, rest, isReadonly, annotations = ASTAnnotationMap.empty) {
   return new Tuple(elements, rest, isReadonly, annotations);
 }
+/**
+ * @tsplus static fncts.schema.ASTOps unknownArray
+ */
+export const unknownArray = /*#__PURE__*/createTuple_1( /*#__PURE__*/tsplus_module_2.empty(), /*#__PURE__*/tsplus_module_3.just( /*#__PURE__*/tsplus_module_2.vector(unknownKeyword_1), fileName_1 + ":629:65"), true);
 /*
  * PropertySignature
  */
@@ -527,6 +532,10 @@ export function isTypeLiteral(self) {
 function createTypeLiteral_1(propertySignatures, indexSignatures, annotations) {
   return new TypeLiteral(propertySignatures, indexSignatures, annotations);
 }
+/**
+ * @tsplus static fncts.schema.ASTOps unknownRecord
+ */
+export const unknownRecord = /*#__PURE__*/createTypeLiteral_1( /*#__PURE__*/tsplus_module_2.empty(), /*#__PURE__*/tsplus_module_2.vector( /*#__PURE__*/createIndexSignature_1(stringKeyword_1, unknownKeyword_1, true), /*#__PURE__*/createIndexSignature_1(symbolKeyword_1, unknownKeyword_1, true)));
 /*
  * Union
  */
@@ -593,23 +602,25 @@ export function isLazy(self) {
  * Refinement
  */
 export class Refinement extends AST {
-  constructor(from, decode, isReversed, annotations = ASTAnnotationMap.empty) {
+  constructor(from, predicate, annotations = ASTAnnotationMap.empty) {
     super();
     this.from = from;
-    this.decode = decode;
-    this.isReversed = isReversed;
+    this.predicate = predicate;
     this.annotations = annotations;
     this._tag = 20 /* ASTTag.Refinement */;
   }
+  decode(input, options) {
+    return this.predicate(input) ? tsplus_module_4.succeed(input) : tsplus_module_4.fail(tsplus_module_5.typeError(this, input));
+  }
   clone(newProperties) {
-    return new Refinement(newProperties.from ?? this.from, newProperties.decode ?? this.decode, newProperties.isReversed ?? this.isReversed, newProperties.annotations ?? this.annotations);
+    return new Refinement(newProperties.from ?? this.from, newProperties.predicate ?? this.predicate, newProperties.annotations ?? this.annotations);
   }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createRefinement
  */
-function createRefinement_1(from, decode, isReversed, annotations) {
-  return new Refinement(from, decode, isReversed, annotations);
+function createRefinement_1(from, predicate, annotations) {
+  return new Refinement(from, predicate, annotations);
 }
 export function isRefinement(self) {
   void 0;
@@ -619,25 +630,24 @@ export function isRefinement(self) {
  * Transform
  */
 export class Transform extends AST {
-  constructor(from, to, decode, encode, isReversed, annotations = ASTAnnotationMap.empty) {
+  constructor(from, to, decode, encode, annotations = ASTAnnotationMap.empty) {
     super();
     this.from = from;
     this.to = to;
     this.decode = decode;
     this.encode = encode;
-    this.isReversed = isReversed;
     this.annotations = annotations;
     this._tag = 21 /* ASTTag.Transform */;
   }
   clone(newProperties) {
-    return new Transform(newProperties.from ?? this.from, newProperties.to ?? this.to, newProperties.decode ?? this.decode, newProperties.encode ?? this.encode, newProperties.isReversed ?? this.isReversed, newProperties.annotations ?? this.annotations);
+    return new Transform(newProperties.from ?? this.from, newProperties.to ?? this.to, newProperties.decode ?? this.decode, newProperties.encode ?? this.encode, newProperties.annotations ?? this.annotations);
   }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createTransform
  */
-function createTransform_1(from, to, decode, encode, isReversed, annotations) {
-  return new Transform(from, getTo_1(to), decode, encode, isReversed, annotations);
+export function createTransform(from, to, decode, encode, annotations) {
+  return new Transform(from, getTo_1(to), decode, encode, annotations);
 }
 /*
  * Validation
@@ -706,9 +716,9 @@ export function getCardinality(ast) {
   }
 }
 function sortByAscendingCardinality(types) {
-  return tsplus_module_2.sort(tsplus_module_4.contramap(({
+  return tsplus_module_2.sort(tsplus_module_7.contramap(({
     type
-  }) => getCardinality(type))(tsplus_module_3.Ord))(types);
+  }) => getCardinality(type))(tsplus_module_6.Ord))(types);
 }
 export function getWeight(ast) {
   void 0;
@@ -716,7 +726,7 @@ export function getWeight(ast) {
     case 0 /* ASTTag.Declaration */:
       return getWeight(ast.type);
     case 16 /* ASTTag.Tuple */:
-      return ast.elements.length + (tsplus_module_5.isJust(ast.rest) ? ast.rest.value.length : 0);
+      return ast.elements.length + (tsplus_module_8.isJust(ast.rest) ? ast.rest.value.length : 0);
     case 17 /* ASTTag.TypeLiteral */:
       return ast.propertySignatures.length + ast.indexSignatures.length;
     case 18 /* ASTTag.Union */:
@@ -732,7 +742,7 @@ export function getWeight(ast) {
   }
 }
 function sortByDescendingWeight(types) {
-  return tsplus_module_2.sort(tsplus_module_4.contramap(getWeight)(tsplus_module_3.Ord))(types);
+  return tsplus_module_2.sort(tsplus_module_7.contramap(getWeight)(tsplus_module_6.Ord))(types);
 }
 function unify(candidates) {
   let out = tsplus_module_2.flatMap(ast => {
@@ -782,10 +792,10 @@ export function setAnnotation(annotation, value) {
  */
 export function appendRestElement(restElement) {
   return self => {
-    if (tsplus_module_5.isJust(self.rest)) {
+    if (tsplus_module_8.isJust(self.rest)) {
       throw new Error("A rest element cannot follow another rest element. ts(1265)");
     }
-    return createTuple_1(self.elements, tsplus_module_6.just(tsplus_module_2.vector(restElement), fileName_1 + ":1048:43"), self.isReadonly, self.annotations);
+    return createTuple_1(self.elements, tsplus_module_3.just(tsplus_module_2.vector(restElement), fileName_1 + ":1062:43"), self.isReadonly, self.annotations);
   };
 }
 /**
@@ -796,11 +806,11 @@ export function appendElement(element) {
     if (tsplus_module_2.some(e => e.isOptional)(self.elements) && !element.isOptional) {
       throw new Error("A required element cannot follow an optional element. ts(1257)");
     }
-    return tsplus_module_7.match(() => createTuple_1(tsplus_module_2.append(element)(self.elements), tsplus_module_6.nothing(fileName_1 + ":1061:63"), self.isReadonly, self.annotations), rest => {
+    return tsplus_module_9.match(() => createTuple_1(tsplus_module_2.append(element)(self.elements), tsplus_module_3.nothing(fileName_1 + ":1075:63"), self.isReadonly, self.annotations), rest => {
       if (element.isOptional) {
         throw new Error("A required element cannot follow an optional element. ts(1257)");
       }
-      return createTuple_1(self.elements, tsplus_module_6.just(tsplus_module_2.append(element.type)(rest), fileName_1 + ":1066:47"), self.isReadonly, self.annotations);
+      return createTuple_1(self.elements, tsplus_module_3.just(tsplus_module_2.append(element.type)(rest), fileName_1 + ":1080:47"), self.isReadonly, self.annotations);
     })(self.rest);
   };
 }
@@ -825,9 +835,9 @@ function getPropertySignatures_1(self) {
         }) => {
           if (tsplus_module_2.every(ps => tsplus_module_2.some(p => p.name === name)(ps))(propertySignatures)) {
             const members = tsplus_module_2.flatMap(ps => tsplus_module_2.filter(p => p.name === name)(ps))(propertySignatures);
-            return tsplus_module_6.just(createPropertySignature_1(name, createUnion_1(tsplus_module_2.map(p => p.type)(members)), tsplus_module_2.some(p => p.isOptional)(members), tsplus_module_2.some(p => p.isReadonly)(members)), fileName_1 + ":1093:22");
+            return tsplus_module_3.just(createPropertySignature_1(name, createUnion_1(tsplus_module_2.map(p => p.type)(members)), tsplus_module_2.some(p => p.isOptional)(members), tsplus_module_2.some(p => p.isReadonly)(members)), fileName_1 + ":1107:22");
           }
-          return tsplus_module_6.nothing(fileName_1 + ":1102:23");
+          return tsplus_module_3.nothing(fileName_1 + ":1116:23");
         })(tsplus_module_2.unsafeGet(0)(propertySignatures));
       }
     case 19 /* ASTTag.Lazy */:
@@ -891,15 +901,15 @@ export function createRecord(key, value, isReadonly) {
       case 12 /* ASTTag.SymbolKeyword */:
       case 15 /* ASTTag.TemplateLiteral */:
       case 20 /* ASTTag.Refinement */:
-        tsplus_module_8.push(createIndexSignature_1(key, value, isReadonly))(indexSignatures);
+        tsplus_module_10.push(createIndexSignature_1(key, value, isReadonly))(indexSignatures);
         break;
       case 1 /* ASTTag.Literal */:
         if (typeof key.literal === "string" || typeof key.literal === "number") {
-          tsplus_module_8.push(createPropertySignature_1(key.literal, value, false, isReadonly))(propertySignatures);
+          tsplus_module_10.push(createPropertySignature_1(key.literal, value, false, isReadonly))(propertySignatures);
         }
         break;
       case 2 /* ASTTag.UniqueSymbol */:
-        tsplus_module_8.push(createPropertySignature_1(key.symbol, value, false, isReadonly))(propertySignatures);
+        tsplus_module_10.push(createPropertySignature_1(key.symbol, value, false, isReadonly))(propertySignatures);
         break;
       case 18 /* ASTTag.Union */:
         tsplus_module_2.forEach(go)(key.types);
@@ -936,7 +946,7 @@ function partial_1(self) {
     case 0 /* ASTTag.Declaration */:
       return partial_1(self.type);
     case 16 /* ASTTag.Tuple */:
-      return createTuple_1(tsplus_module_2.map(e => createElement_1(e.type, true))(self.elements), tsplus_module_9.map(rest => tsplus_module_2.vector(createUnion_1(tsplus_module_2.append(undefinedKeyword_1)(rest))))(self.rest), self.isReadonly);
+      return createTuple_1(tsplus_module_2.map(e => createElement_1(e.type, true))(self.elements), tsplus_module_11.map(rest => tsplus_module_2.vector(createUnion_1(tsplus_module_2.append(undefinedKeyword_1)(rest))))(self.rest), self.isReadonly);
     case 17 /* ASTTag.TypeLiteral */:
       return createTypeLiteral_1(tsplus_module_2.map(f => createPropertySignature_1(f.name, f.type, true, f.isReadonly, f.annotations))(self.propertySignatures), self.indexSignatures);
     case 18 /* ASTTag.Union */:
@@ -966,7 +976,7 @@ function getFrom_1(ast) {
     case 0 /* ASTTag.Declaration */:
       return createDeclaration_1(tsplus_module_2.map(getFrom_1)(ast.typeParameters), ast.type, ast.decode, ast.annotations);
     case 16 /* ASTTag.Tuple */:
-      return createTuple_1(tsplus_module_2.map(element => createElement_1(getFrom_1(element.type), element.isOptional))(ast.elements), tsplus_module_9.map(restElement => tsplus_module_2.map(getFrom_1)(restElement))(ast.rest), ast.isReadonly, ast.annotations);
+      return createTuple_1(tsplus_module_2.map(element => createElement_1(getFrom_1(element.type), element.isOptional))(ast.elements), tsplus_module_11.map(restElement => tsplus_module_2.map(getFrom_1)(restElement))(ast.rest), ast.isReadonly, ast.annotations);
     case 17 /* ASTTag.TypeLiteral */:
       return createTypeLiteral_1(tsplus_module_2.map(ps => createPropertySignature_1(ps.name, getFrom_1(ps.type), ps.isOptional, ps.isReadonly, ps.annotations))(ast.propertySignatures), tsplus_module_2.map(is => createIndexSignature_1(is.parameter, getFrom_1(is.type), is.isReadonly))(ast.indexSignatures), ast.annotations);
     case 18 /* ASTTag.Union */:
@@ -988,7 +998,7 @@ function getTo_1(ast) {
     case 0 /* ASTTag.Declaration */:
       return createDeclaration_1(tsplus_module_2.map(getTo_1)(ast.typeParameters), ast.type, ast.decode, ast.annotations);
     case 16 /* ASTTag.Tuple */:
-      return createTuple_1(tsplus_module_2.map(element => createElement_1(getTo_1(element.type), element.isOptional))(ast.elements), tsplus_module_9.map(restElement => tsplus_module_2.map(getTo_1)(restElement))(ast.rest), ast.isReadonly, ast.annotations);
+      return createTuple_1(tsplus_module_2.map(element => createElement_1(getTo_1(element.type), element.isOptional))(ast.elements), tsplus_module_11.map(restElement => tsplus_module_2.map(getTo_1)(restElement))(ast.rest), ast.isReadonly, ast.annotations);
     case 17 /* ASTTag.TypeLiteral */:
       return createTypeLiteral_1(tsplus_module_2.map(ps => createPropertySignature_1(ps.name, getTo_1(ps.type), ps.isOptional, ps.isReadonly, ps.annotations))(ast.propertySignatures), tsplus_module_2.map(is => createIndexSignature_1(is.parameter, getTo_1(is.type), is.isReadonly))(ast.indexSignatures), ast.annotations);
     case 18 /* ASTTag.Union */:
@@ -996,35 +1006,12 @@ function getTo_1(ast) {
     case 19 /* ASTTag.Lazy */:
       return createLazy_1(() => getTo_1(ast.getAST()), ast.annotations);
     case 20 /* ASTTag.Refinement */:
-      return createRefinement_1(getTo_1(ast.from), ast.decode, false, ast.annotations);
+      return createRefinement_1(getTo_1(ast.from), ast.predicate, ast.annotations);
     case 21 /* ASTTag.Transform */:
       return getTo_1(ast.to);
   }
   return ast;
 }
-/**
- * @tsplus getter fncts.schema.AST reverse
- */
-function reverse_1(ast) {
-  void 0;
-  switch (ast._tag) {
-    case 0 /* ASTTag.Declaration */:
-      return createDeclaration_1(tsplus_module_2.map(reverse_1)(ast.typeParameters), ast.type, ast.decode, ast.annotations);
-    case 16 /* ASTTag.Tuple */:
-      return createTuple_1(tsplus_module_2.map(element => createElement_1(reverse_1(element.type), element.isOptional))(ast.elements), tsplus_module_9.map(restElement => tsplus_module_2.map(reverse_1)(restElement))(ast.rest), ast.isReadonly, ast.annotations);
-    case 17 /* ASTTag.TypeLiteral */:
-      return createTypeLiteral_1(tsplus_module_2.map(ps => createPropertySignature_1(ps.name, reverse_1(ps.type), ps.isOptional, ps.isReadonly, ps.annotations))(ast.propertySignatures), tsplus_module_2.map(is => createIndexSignature_1(is.parameter, reverse_1(is.type), is.isReadonly))(ast.indexSignatures), ast.annotations);
-    case 18 /* ASTTag.Union */:
-      return createUnion_1(tsplus_module_2.map(reverse_1)(ast.types), ast.annotations);
-    case 19 /* ASTTag.Lazy */:
-      return createLazy_1(() => reverse_1(ast.getAST()), ast.annotations);
-    case 20 /* ASTTag.Refinement */:
-      return createRefinement_1(ast.from, ast.decode, !ast.isReversed, ast.annotations);
-    case 21 /* ASTTag.Transform */:
-      return createTransform_1(reverse_1(ast.from), ast.to, ast.decode, ast.encode, !ast.isReversed, ast.annotations);
-  }
-  return ast;
-}
 /**
  * @tsplus static fncts.schema.AST getCompiler
  */
@@ -1035,4 +1022,63 @@ export function getCompiler(match) {
   });
   return compile;
 }
+export function getLiterals(ast, isDecoding) {
+  void 0;
+  switch (ast._tag) {
+    case 0 /* ASTTag.Declaration */:
+      return getLiterals(ast.type, isDecoding);
+    case 17 /* ASTTag.TypeLiteral */:
+      {
+        const out = [];
+        for (let i = 0; i < ast.propertySignatures.length; i++) {
+          const propertySignature = tsplus_module_2.unsafeGet(i)(ast.propertySignatures);
+          if (isLiteral_1(propertySignature.type) && !propertySignature.isOptional) {
+            out.push([propertySignature.name, propertySignature.type]);
+          }
+        }
+        return out;
+      }
+    case 20 /* ASTTag.Refinement */:
+      return getLiterals(ast.from, isDecoding);
+    case 21 /* ASTTag.Transform */:
+      return getLiterals(isDecoding ? ast.from : ast.to, isDecoding);
+  }
+  return [];
+}
+export function getSearchTree(members, isDecoding) {
+  const keys = {};
+  const otherwise = [];
+  for (let i = 0; i < members.length; i++) {
+    const member = tsplus_module_2.unsafeGet(i)(members);
+    const tags = getLiterals(member, isDecoding);
+    if (tags.length > 0) {
+      for (let j = 0; j < tags.length; j++) {
+        const [key, literal] = tags[j];
+        const hash = String(literal.literal);
+        keys[key] || (keys[key] = {
+          buckets: {},
+          ast: neverKeyword_1
+        });
+        const buckets = keys[key].buckets;
+        if (Object.prototype.hasOwnProperty.call(buckets, hash)) {
+          if (j < tags.length - 1) {
+            continue;
+          }
+          buckets[hash].push(member);
+          keys[key].ast = createUnion_1(tsplus_module_2.vector(keys[key].ast, literal));
+        } else {
+          buckets[hash] = [member];
+          keys[key].ast = createUnion_1(tsplus_module_2.vector(keys[key].ast, literal));
+          break;
+        }
+      }
+    } else {
+      otherwise.push(member);
+    }
+  }
+  return {
+    keys,
+    otherwise
+  };
+}
 //# sourceMappingURL=AST.mjs.map