@fncts/schema 0.0.23 → 0.0.25

package/_mjs/Eq.mjs

@@ -1,148 +1,115 @@
-import * as tsplus_module_1 from "@fncts/base/data/Eq/api";
+import { getKeysForIndexSignature, memoize } from "./utils.mjs";
 import * as tsplus_module_2 from "@fncts/base/collection/immutable/Vector/api";
-import * as tsplus_module_3 from "@fncts/schema/ASTAnnotation";
 import * as tsplus_module_4 from "@fncts/base/data/Maybe/api";
+import { globalValue } from "@fncts/base/data/Global";
+import * as tsplus_module_3 from "@fncts/schema/ASTAnnotation";
 import * as tsplus_module_5 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_1 from "@fncts/base/data/Eq/api";
 import * as tsplus_module_6 from "@fncts/base/data/Eq/definition";
-export const eq = eq_1;
-import { globalValue } from "@fncts/base/data/Global";
-import { getKeysForIndexSignature, memoize } from "./utils.mjs";
+//#region build/esm/Eq.js
+const eq = eq_1;
 /**
- * @tsplus getter fncts.schema.Schema equals
- */
-export function equals(self) {
-  const eq = eq_1(self);
-  return (a, b) => eq.equals(b)(a);
+* @tsplus getter fncts.schema.Schema equals
+*/
+function equals(self) {
+	const eq = eq_1(self);
+	return (a, b) => eq.equals(b)(a);
 }
 /**
- * @tsplus getter fncts.schema.Schema eq
- */
+* @tsplus getter fncts.schema.Schema eq
+*/
 function eq_1(self) {
-  return goMemo(self.ast);
+	return goMemo(self.ast);
 }
-const eqMemoMap = /*#__PURE__*/globalValue(/*#__PURE__*/Symbol.for("fncts.schema.Eq.eqMemoMap"), () => new WeakMap());
+const eqMemoMap = globalValue(Symbol.for("fncts.schema.Eq.eqMemoMap"), () => /* @__PURE__ */ new WeakMap());
 function goMemo(ast) {
-  const memo = eqMemoMap.get(ast);
-  if (memo) {
-    return memo;
-  }
-  const eq = go(ast);
-  eqMemoMap.set(ast, eq);
-  return eq;
+	const memo = eqMemoMap.get(ast);
+	if (memo) return memo;
+	const eq = go(ast);
+	eqMemoMap.set(ast, eq);
+	return eq;
 }
 function go(ast) {
-  void 0;
-  switch (ast._tag) {
-    case 0 /* ASTTag.Declaration */:
-      return tsplus_module_4.getOrElse(() => tsplus_module_1.strict)(tsplus_module_4.map(eq => eq(...tsplus_module_2.map(go)(ast.typeParameters)))(ast.annotations.get(tsplus_module_3.EqHook)));
-    case 1 /* ASTTag.Literal */:
-    case 2 /* ASTTag.UniqueSymbol */:
-    case 3 /* ASTTag.UndefinedKeyword */:
-    case 4 /* ASTTag.VoidKeyword */:
-    case 6 /* ASTTag.UnknownKeyword */:
-    case 7 /* ASTTag.AnyKeyword */:
-    case 9 /* ASTTag.NumberKeyword */:
-    case 10 /* ASTTag.BooleanKeyword */:
-    case 11 /* ASTTag.BigIntKeyword */:
-    case 12 /* ASTTag.SymbolKeyword */:
-    case 13 /* ASTTag.ObjectKeyword */:
-    case 15 /* ASTTag.TemplateLiteral */:
-    case 8 /* ASTTag.StringKeyword */:
-      return tsplus_module_1.strict;
-    case 5 /* ASTTag.NeverKeyword */:
-      return tsplus_module_1.never;
-    case 16 /* ASTTag.Tuple */:
-      {
-        const elements = tsplus_module_2.map(element => goMemo(element.type))(ast.elements);
-        const rest = tsplus_module_4.map(rest => tsplus_module_2.map(ast => goMemo(ast))(rest))(ast.rest);
-        return tsplus_module_6.makeEq({
-          equals: y => x => {
-            if (x.length !== y.length) {
-              return false;
-            }
-            let i = 0;
-            for (; i < elements.length; i++) {
-              const eq = tsplus_module_2.unsafeGet(i)(elements);
-              const xi = x[i];
-              const yi = y[i];
-              if (!eq.equals(yi)(xi)) {
-                return false;
-              }
-            }
-            if (tsplus_module_5.isJust(rest)) {
-              const head = tsplus_module_2.unsafeHead(rest.value);
-              const tail = tsplus_module_2.tail(rest.value);
-              for (; i < x.length - tail.length; i++) {
-                if (!head.equals(y[i])(x[i])) {
-                  return false;
-                }
-              }
-              for (let j = 0; j < tail.length; j++) {
-                i += j;
-                const eq = tsplus_module_2.unsafeGet(i)(elements);
-                const xi = x[i];
-                const yi = y[i];
-                if (!eq.equals(yi)(xi)) {
-                  return false;
-                }
-              }
-            }
-            return true;
-          }
-        });
-      }
-    case 17 /* ASTTag.TypeLiteral */:
-      {
-        const propertySignatureTypes = tsplus_module_2.map(ps => go(ps.type))(ast.propertySignatures);
-        const indexSignatures = tsplus_module_2.map(is => [go(is.parameter), go(is.type)])(ast.indexSignatures);
-        const requiredEqs = {};
-        const optionalEqs = {};
-        for (let i = 0; i < propertySignatureTypes.length; i++) {
-          const ps = tsplus_module_2.unsafeGet(i)(ast.propertySignatures);
-          const name = ps.name;
-          if (!ps.isOptional) {
-            requiredEqs[name] = tsplus_module_2.unsafeGet(i)(propertySignatureTypes);
-          } else {
-            optionalEqs[name] = tsplus_module_2.unsafeGet(i)(propertySignatureTypes);
-          }
-        }
-        let output = tsplus_module_1.struct(requiredEqs, optionalEqs);
-        for (let i = 0; i < indexSignatures.length; i++) {
-          const [, type] = tsplus_module_2.unsafeGet(i)(indexSignatures);
-          output = tsplus_module_1.intersection(tsplus_module_6.makeEq({
-            equals: y => x => {
-              for (const key of getKeysForIndexSignature(x, tsplus_module_2.unsafeGet(i)(ast.indexSignatures).parameter)) {
-                if (key in requiredEqs || key in optionalEqs) {
-                  continue;
-                }
-                if (!type.equals(y[key])(x[key])) {
-                  return false;
-                }
-              }
-              return true;
-            }
-          }))(output);
-        }
-        return output;
-      }
-    case 18 /* ASTTag.Union */:
-      return tsplus_module_1.union(tsplus_module_2.toArray(tsplus_module_2.map(goMemo)(ast.types)));
-    case 19 /* ASTTag.Lazy */:
-      {
-        const f = () => goMemo(ast.getAST());
-        const get = memoize(f);
-        return tsplus_module_6.makeEq({
-          equals: y => x => get(f).equals(y)(x)
-        });
-      }
-    case 14 /* ASTTag.Enum */:
-      return tsplus_module_1.strict;
-    case 21 /* ASTTag.Transform */:
-      return goMemo(ast.to);
-    case 20 /* ASTTag.Refinement */:
-      return goMemo(ast.from);
-    case 22 /* ASTTag.Validation */:
-      return goMemo(ast.from);
-  }
+	switch (ast._tag) {
+		case 0: return tsplus_module_4.getOrElse(() => tsplus_module_1.strict)(tsplus_module_4.map((eq) => eq(...tsplus_module_2.map(go)(ast.typeParameters)))(ast.annotations.get(tsplus_module_3.EqHook)));
+		case 1:
+		case 2:
+		case 3:
+		case 4:
+		case 6:
+		case 7:
+		case 9:
+		case 10:
+		case 11:
+		case 12:
+		case 13:
+		case 15:
+		case 8: return tsplus_module_1.strict;
+		case 5: return tsplus_module_1.never;
+		case 16: {
+			const elements = tsplus_module_2.map((element) => goMemo(element.type))(ast.elements);
+			const rest = tsplus_module_4.map((rest) => tsplus_module_2.map((ast) => goMemo(ast))(rest))(ast.rest);
+			return tsplus_module_6.makeEq({ equals: (y) => (x) => {
+				if (x.length !== y.length) return false;
+				let i = 0;
+				for (; i < elements.length; i++) {
+					const eq = tsplus_module_2.unsafeGet(i)(elements);
+					const xi = x[i];
+					const yi = y[i];
+					if (!eq.equals(yi)(xi)) return false;
+				}
+				if (tsplus_module_5.isJust(rest)) {
+					const head = tsplus_module_2.unsafeHead(rest.value);
+					const tail = tsplus_module_2.tail(rest.value);
+					for (; i < x.length - tail.length; i++) if (!head.equals(y[i])(x[i])) return false;
+					for (let j = 0; j < tail.length; j++) {
+						i += j;
+						const eq = tsplus_module_2.unsafeGet(i)(elements);
+						const xi = x[i];
+						const yi = y[i];
+						if (!eq.equals(yi)(xi)) return false;
+					}
+				}
+				return true;
+			} });
+		}
+		case 17: {
+			const propertySignatureTypes = tsplus_module_2.map((ps) => go(ps.type))(ast.propertySignatures);
+			const indexSignatures = tsplus_module_2.map((is) => [go(is.parameter), go(is.type)])(ast.indexSignatures);
+			const requiredEqs = {};
+			const optionalEqs = {};
+			for (let i = 0; i < propertySignatureTypes.length; i++) {
+				const ps = tsplus_module_2.unsafeGet(i)(ast.propertySignatures);
+				const name = ps.name;
+				if (!ps.isOptional) requiredEqs[name] = tsplus_module_2.unsafeGet(i)(propertySignatureTypes);
+				else optionalEqs[name] = tsplus_module_2.unsafeGet(i)(propertySignatureTypes);
+			}
+			let output = tsplus_module_1.struct(requiredEqs, optionalEqs);
+			for (let i = 0; i < indexSignatures.length; i++) {
+				const [, type] = tsplus_module_2.unsafeGet(i)(indexSignatures);
+				output = tsplus_module_1.intersection(tsplus_module_6.makeEq({ equals: (y) => (x) => {
+					for (const key of getKeysForIndexSignature(x, tsplus_module_2.unsafeGet(i)(ast.indexSignatures).parameter)) {
+						if (key in requiredEqs || key in optionalEqs) continue;
+						if (!type.equals(y[key])(x[key])) return false;
+					}
+					return true;
+				} }))(output);
+			}
+			return output;
+		}
+		case 18: return tsplus_module_1.union(tsplus_module_2.toArray(tsplus_module_2.map(goMemo)(ast.types)));
+		case 19: {
+			const f = () => goMemo(ast.getAST());
+			const get = memoize(f);
+			return tsplus_module_6.makeEq({ equals: (y) => (x) => get(f).equals(y)(x) });
+		}
+		case 14: return tsplus_module_1.strict;
+		case 21: return goMemo(ast.to);
+		case 20: return goMemo(ast.from);
+		case 22: return goMemo(ast.from);
+	}
 }
+//#endregion
+export { eq, equals };
+
 //# sourceMappingURL=Eq.mjs.map

package/_mjs/Eq.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Eq.mjs","names":["eq","eq_1","globalValue","getKeysForIndexSignature","memoize","equals","self","a","b","goMemo","ast","eqMemoMap","Symbol","for","WeakMap","memo","get","go","set","_tag","tsplus_module_4","getOrElse","tsplus_module_1","strict","map","tsplus_module_2","typeParameters","annotations","tsplus_module_3","EqHook","never","elements","element","type","rest","tsplus_module_6","makeEq","y","x","length","i","unsafeGet","xi","yi","tsplus_module_5","isJust","head","unsafeHead","value","tail","j","propertySignatureTypes","ps","propertySignatures","indexSignatures","is","parameter","requiredEqs","optionalEqs","name","isOptional","output","struct","intersection","key","union","toArray","types","f","getAST","to","from"],"sources":["../_src/Eq.ts"],"sourcesContent":[null],"mappings":";;;;;;aAgBgBA,EAAE,GAAAC,IAAA;AAhBlB,SAASC,WAAW,QAAQ,yBAAyB;AAGrD,SAASC,wBAAwB,EAAEC,OAAO,QAAQ,aAAY;AAE9D;;;AAGA,OAAM,SAAUC,MAAMA,CAAIC,IAAe;EACvC,MAAMN,EAAE,GAAAC,IAAA,CAAGK,IAAI,CAAG;EAClB,OAAO,CAACC,CAAC,EAAEC,CAAC,KAAKR,EAAE,CAACK,MAAM,CAACG,CAAC,CAAC,CAACD,CAAC,CAAC;AAClC;AAEA;;;AAGA,SAAAN,KAAsBK,IAAe;EACnC,OAAOG,MAAM,CAACH,IAAI,CAACI,GAAG,CAAC;AACzB;AAEA,MAAMC,SAAS,gBAAGT,WAAW,cAACU,MAAM,CAACC,GAAG,CAAC,2BAA2B,CAAC,EAAE,MAAM,IAAIC,OAAO,EAAgB,CAAC;AAEzG,SAASL,MAAMA,CAACC,GAAQ;EACtB,MAAMK,IAAI,GAAGJ,SAAS,CAACK,GAAG,CAACN,GAAG,CAAC;EAC/B,IAAIK,IAAI,EAAE;IACR,OAAOA,IAAI;EACb;EACA,MAAMf,EAAE,GAAGiB,EAAE,CAACP,GAAG,CAAC;EAClBC,SAAS,CAACO,GAAG,CAACR,GAAG,EAAEV,EAAE,CAAC;EACtB,OAAOA,EAAE;AACX;AAEA,SAASiB,EAAEA,CAACP,GAAQ;EAClB;EACA,QAAQA,GAAG,CAACS,IAAI;IACd;MACE,OAAOC,eAAA,CAAAC,SAAA,OAAAC,eAAA,CAAAC,MAAA,EAAAH,eAAA,CAAAI,GAAA,CAECxB,EAAE,IAAKA,EAAE,CAAC,GAAGyB,eAAA,CAAAD,GAAA,CAAuBP,EAAE,EAAzBP,GAAG,CAACgB,cAAc,CAAQ,CAAC,EAFzChB,GAAG,CAACiB,WAAW,CACnBX,GAAG,CAAAY,eAAA,CAAAC,MAAA,CAAsB,CACqB,CAC1B;IACzB;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;MACE,OAAAP,eAAA,CAAAC,MAAA;IACF;MACE,OAAOD,eAAA,CAAAQ,KAAmB;IAC5B;MAAmB;QACjB,MAAMC,QAAQ,GAAGN,eAAA,CAAAD,GAAA,CAAkBQ,OAAO,IAAKvB,MAAM,CAACuB,OAAO,CAACC,IAAI,CAAC,EAAlDvB,GAAG,CAACqB,QAAQ,CAAuC;QACpE,MAAMG,IAAI,GAAOd,eAAA,CAAAI,GAAA,CAAcU,IAAI,IAAKT,eAAA,CAAAD,GAAA,CAAUd,GAAG,IAAKD,MAAM,CAACC,GAAG,CAAC,EAA7BwB,IAAI,CAA0B,EAArDxB,GAAG,CAACwB,IAAI,CAA8C;QACvE,OAAOC,eAAA,CAAAC,MAAA,CAAe;UACpB/B,MAAM,EAAGgC,CAAC,IAAMC,CAAC,IAAI;YACnB,IAAIA,CAAC,CAACC,MAAM,KAAKF,CAAC,CAACE,MAAM,EAAE;cACzB,OAAO,KAAK;YACd;YAEA,IAAIC,CAAC,GAAG,CAAC;YAET,OAAOA,CAAC,GAAGT,QAAQ,CAACQ,MAAM,EAAEC,CAAC,EAAE,EAAE;cAC/B,MAAMxC,EAAE,GAAGyB,eAAA,CAAAgB,SAAA,CAASD,CAAC,EAAVT,QAAQ,CAAI;cACvB,MAAMW,EAAE,GAAGJ,CAAC,CAACE,CAAC,CAAC;cACf,MAAMG,EAAE,GAAGN,CAAC,CAACG,CAAC,CAAC;cACf,IAAI,CAACxC,EAAE,CAACK,MAAM,CAACsC,EAAE,CAAC,CAACD,EAAE,CAAC,EAAE;gBACtB,OAAO,KAAK;cACd;YACF;YAEA,IAAIE,eAAA,CAAAC,MAAA,CAAAX,IAAI,CAAS,EAAE;cACjB,MAAMY,IAAI,GAAGrB,eAAA,CAAAsB,UAAA,CAAAb,IAAI,CAACc,KAAK,CAAY;cACnC,MAAMC,IAAI,GAAAxB,eAAA,CAAAwB,IAAA,CAAGf,IAAI,CAACc,KAAK,CAAK;cAC5B,OAAOR,CAAC,GAAGF,CAAC,CAACC,MAAM,GAAGU,IAAI,CAACV,MAAM,EAAEC,CAAC,EAAE,EAAE;gBACtC,IAAI,CAACM,IAAI,CAACzC,MAAM,CAACgC,CAAC,CAACG,CAAC,CAAC,CAAC,CAACF,CAAC,CAACE,CAAC,CAAC,CAAC,EAAE;kBAC5B,OAAO,KAAK;gBACd;cACF;cACA,KAAK,IAAIU,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,IAAI,CAACV,MAAM,EAAEW,CAAC,EAAE,EAAE;gBACpCV,CAAC,IAAUU,CAAC;gBACZ,MAAMlD,EAAE,GAAGyB,eAAA,CAAAgB,SAAA,CAASD,CAAC,EAAVT,QAAQ,CAAI;gBACvB,MAAMW,EAAE,GAAGJ,CAAC,CAACE,CAAC,CAAC;gBACf,MAAMG,EAAE,GAAGN,CAAC,CAACG,CAAC,CAAC;gBACf,IAAI,CAACxC,EAAE,CAACK,MAAM,CAACsC,EAAE,CAAC,CAACD,EAAE,CAAC,EAAE;kBACtB,OAAO,KAAK;gBACd;cACF;YACF;YAEA,OAAO,IAAI;UACb;SACD,CAAC;MACJ;IACA;MAAyB;QACvB,MAAMS,sBAAsB,GAAG1B,eAAA,CAAAD,GAAA,CAA4B4B,EAAE,IAAKnC,EAAE,CAACmC,EAAE,CAACnB,IAAI,CAAC,EAA9CvB,GAAG,CAAC2C,kBAAkB,CAAyB;QAC9E,MAAMC,eAAe,GAAU7B,eAAA,CAAAD,GAAA,CAAyB+B,EAAE,IAAK,CAACtC,EAAE,CAACsC,EAAE,CAACC,SAAS,CAAC,EAAEvC,EAAE,CAACsC,EAAE,CAACtB,IAAI,CAAC,CAAU,EAAxEvB,GAAG,CAAC4C,eAAe,CAAsD;QACxG,MAAMG,WAAW,GAAiC,EAAE;QACpD,MAAMC,WAAW,GAAiC,EAAE;QACpD,KAAK,IAAIlB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGW,sBAAsB,CAACZ,MAAM,EAAEC,CAAC,EAAE,EAAE;UACtD,MAAMY,EAAE,GAAK3B,eAAA,CAAAgB,SAAA,CAAuBD,CAAC,EAAxB9B,GAAG,CAAC2C,kBAAkB,CAAI;UACvC,MAAMM,IAAI,GAAGP,EAAE,CAACO,IAAI;UACpB,IAAI,CAACP,EAAE,CAACQ,UAAU,EAAE;YAClBH,WAAW,CAACE,IAAI,CAAC,GAAGlC,eAAA,CAAAgB,SAAA,CAAuBD,CAAC,EAAxBW,sBAAsB,CAAI;UAChD,CAAC,MAAM;YACLO,WAAW,CAACC,IAAI,CAAC,GAAGlC,eAAA,CAAAgB,SAAA,CAAuBD,CAAC,EAAxBW,sBAAsB,CAAI;UAChD;QACF;QACA,IAAIU,MAAM,GAAGvC,eAAA,CAAAwC,MAAA,CAAUL,WAAW,EAAEC,WAAW,CAAC;QAEhD,KAAK,IAAIlB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGc,eAAe,CAACf,MAAM,EAAEC,CAAC,EAAE,EAAE;UAC/C,MAAM,GAAGP,IAAI,CAAC,GAAGR,eAAA,CAAAgB,SAAA,CAAgBD,CAAC,EAAjBc,eAAe,CAAI;UAEpCO,MAAM,GAAGvC,eAAA,CAAAyC,YAAA,CACP5B,eAAA,CAAAC,MAAA,CAA6B;YAC3B/B,MAAM,EAAGgC,CAAC,IAAMC,CAAC,IAAI;cACnB,KAAK,MAAM0B,GAAG,IAAI7D,wBAAwB,CAACmC,CAAC,EAAEb,eAAA,CAAAgB,SAAA,CAAoBD,CAAC,EAArB9B,GAAG,CAAC4C,eAAe,CAAI,CAACE,SAAS,CAAC,EAAE;gBAChF,IAAIQ,GAAG,IAAIP,WAAW,IAAIO,GAAG,IAAIN,WAAW,EAAE;kBAC5C;gBACF;gBACA,IAAI,CAACzB,IAAI,CAAC5B,MAAM,CAACgC,CAAC,CAAC2B,GAAG,CAAC,CAAC,CAAC1B,CAAC,CAAC0B,GAAG,CAAC,CAAC,EAAE;kBAChC,OAAO,KAAK;gBACd;cACF;cAEA,OAAO,IAAI;YACb;WACD,CAAC,EAdKH,MAAM,CAed;QACH;QACA,OAAOA,MAAM;MACf;IACA;MACE,OAAOvC,eAAA,CAAA2C,KAAA,CAAAxC,eAAA,CAAAyC,OAAA,CAASzC,eAAA,CAAAD,GAAA,CAAcf,MAAM,EAApBC,GAAG,CAACyD,KAAK,CAAY,EAAS;IAChD;MAAkB;QAChB,MAAMC,CAAC,GAAKA,CAAA,KAAM3D,MAAM,CAACC,GAAG,CAAC2D,MAAM,EAAE,CAAC;QACtC,MAAMrD,GAAG,GAAGZ,OAAO,CAAoBgE,CAAC,CAAC;QACzC,OAAOjC,eAAA,CAAAC,MAAA,CAAG;UACR/B,MAAM,EAAGgC,CAAC,IAAMC,CAAC,IAAKtB,GAAG,CAACoD,CAAC,CAAC,CAAC/D,MAAM,CAACgC,CAAC,CAAC,CAACC,CAAC;SACzC,CAAC;MACJ;IACA;MACE,OAAAhB,eAAA,CAAAC,MAAA;IACF;MACE,OAAOd,MAAM,CAACC,GAAG,CAAC4D,EAAE,CAAC;IACvB;MACE,OAAO7D,MAAM,CAACC,GAAG,CAAC6D,IAAI,CAAC;IACzB;MACE,OAAO9D,MAAM,CAACC,GAAG,CAAC6D,IAAI,CAAC;EAC3B;AACF","ignoreList":[]}
+{"version":3,"file":"Eq.mjs","names":[],"sources":["../esm/Eq.js"],"sourcesContent":["import * as tsplus_module_1 from \"@fncts/base/data/Eq/api\";\nimport * as tsplus_module_2 from \"@fncts/base/collection/immutable/Vector/api\";\nimport * as tsplus_module_3 from \"@fncts/schema/ASTAnnotation\";\nimport * as tsplus_module_4 from \"@fncts/base/data/Maybe/api\";\nimport * as tsplus_module_5 from \"@fncts/base/data/Maybe/definition\";\nimport * as tsplus_module_6 from \"@fncts/base/data/Eq/definition\";\nexport const eq = eq_1;\nimport { globalValue } from \"@fncts/base/data/Global\";\nimport { getKeysForIndexSignature, memoize } from \"./utils.js\";\n/**\n * @tsplus getter fncts.schema.Schema equals\n */\nexport function equals(self) {\n    const eq = eq_1(self);\n    return (a, b) => eq.equals(b)(a);\n}\n/**\n * @tsplus getter fncts.schema.Schema eq\n */\nfunction eq_1(self) {\n    return goMemo(self.ast);\n}\nconst eqMemoMap = globalValue(Symbol.for(\"fncts.schema.Eq.eqMemoMap\"), () => new WeakMap());\nfunction goMemo(ast) {\n    const memo = eqMemoMap.get(ast);\n    if (memo) {\n        return memo;\n    }\n    const eq = go(ast);\n    eqMemoMap.set(ast, eq);\n    return eq;\n}\nfunction go(ast) {\n    void 0;\n    switch (ast._tag) {\n        case 0 /* ASTTag.Declaration */:\n            return tsplus_module_4.getOrElse(() => tsplus_module_1.strict)(tsplus_module_4.map((eq) => eq(...tsplus_module_2.map(go)(ast.typeParameters)))(ast.annotations\n                .get(tsplus_module_3.EqHook)));\n        case 1 /* ASTTag.Literal */:\n        case 2 /* ASTTag.UniqueSymbol */:\n        case 3 /* ASTTag.UndefinedKeyword */:\n        case 4 /* ASTTag.VoidKeyword */:\n        case 6 /* ASTTag.UnknownKeyword */:\n        case 7 /* ASTTag.AnyKeyword */:\n        case 9 /* ASTTag.NumberKeyword */:\n        case 10 /* ASTTag.BooleanKeyword */:\n        case 11 /* ASTTag.BigIntKeyword */:\n        case 12 /* ASTTag.SymbolKeyword */:\n        case 13 /* ASTTag.ObjectKeyword */:\n        case 15 /* ASTTag.TemplateLiteral */:\n        case 8 /* ASTTag.StringKeyword */:\n            return tsplus_module_1.strict;\n        case 5 /* ASTTag.NeverKeyword */:\n            return tsplus_module_1.never;\n        case 16 /* ASTTag.Tuple */: {\n            const elements = tsplus_module_2.map((element) => goMemo(element.type))(ast.elements);\n            const rest = tsplus_module_4.map((rest) => tsplus_module_2.map((ast) => goMemo(ast))(rest))(ast.rest);\n            return tsplus_module_6.makeEq({\n                equals: (y) => (x) => {\n                    if (x.length !== y.length) {\n                        return false;\n                    }\n                    let i = 0;\n                    for (; i < elements.length; i++) {\n                        const eq = tsplus_module_2.unsafeGet(i)(elements);\n                        const xi = x[i];\n                        const yi = y[i];\n                        if (!eq.equals(yi)(xi)) {\n                            return false;\n                        }\n                    }\n                    if (tsplus_module_5.isJust(rest)) {\n                        const head = tsplus_module_2.unsafeHead(rest.value);\n                        const tail = tsplus_module_2.tail(rest.value);\n                        for (; i < x.length - tail.length; i++) {\n                            if (!head.equals(y[i])(x[i])) {\n                                return false;\n                            }\n                        }\n                        for (let j = 0; j < tail.length; j++) {\n                            i += j;\n                            const eq = tsplus_module_2.unsafeGet(i)(elements);\n                            const xi = x[i];\n                            const yi = y[i];\n                            if (!eq.equals(yi)(xi)) {\n                                return false;\n                            }\n                        }\n                    }\n                    return true;\n                },\n            });\n        }\n        case 17 /* ASTTag.TypeLiteral */: {\n            const propertySignatureTypes = tsplus_module_2.map((ps) => go(ps.type))(ast.propertySignatures);\n            const indexSignatures = tsplus_module_2.map((is) => [go(is.parameter), go(is.type)])(ast.indexSignatures);\n            const requiredEqs = {};\n            const optionalEqs = {};\n            for (let i = 0; i < propertySignatureTypes.length; i++) {\n                const ps = tsplus_module_2.unsafeGet(i)(ast.propertySignatures);\n                const name = ps.name;\n                if (!ps.isOptional) {\n                    requiredEqs[name] = tsplus_module_2.unsafeGet(i)(propertySignatureTypes);\n                }\n                else {\n                    optionalEqs[name] = tsplus_module_2.unsafeGet(i)(propertySignatureTypes);\n                }\n            }\n            let output = tsplus_module_1.struct(requiredEqs, optionalEqs);\n            for (let i = 0; i < indexSignatures.length; i++) {\n                const [, type] = tsplus_module_2.unsafeGet(i)(indexSignatures);\n                output = tsplus_module_1.intersection(tsplus_module_6.makeEq({\n                    equals: (y) => (x) => {\n                        for (const key of getKeysForIndexSignature(x, tsplus_module_2.unsafeGet(i)(ast.indexSignatures).parameter)) {\n                            if (key in requiredEqs || key in optionalEqs) {\n                                continue;\n                            }\n                            if (!type.equals(y[key])(x[key])) {\n                                return false;\n                            }\n                        }\n                        return true;\n                    },\n                }))(output);\n            }\n            return output;\n        }\n        case 18 /* ASTTag.Union */:\n            return tsplus_module_1.union(tsplus_module_2.toArray(tsplus_module_2.map(goMemo)(ast.types)));\n        case 19 /* ASTTag.Lazy */: {\n            const f = () => goMemo(ast.getAST());\n            const get = memoize(f);\n            return tsplus_module_6.makeEq({\n                equals: (y) => (x) => get(f).equals(y)(x),\n            });\n        }\n        case 14 /* ASTTag.Enum */:\n            return tsplus_module_1.strict;\n        case 21 /* ASTTag.Transform */:\n            return goMemo(ast.to);\n        case 20 /* ASTTag.Refinement */:\n            return goMemo(ast.from);\n        case 22 /* ASTTag.Validation */:\n            return goMemo(ast.from);\n    }\n}\n//# sourceMappingURL=Eq.js.map"],"mappings":";;;;;;;;;AAMA,MAAa,KAAK;;;;AAMlB,SAAgB,OAAO,MAAM;CACzB,MAAM,KAAK,KAAK,KAAK;AACrB,SAAQ,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,EAAE;;;;;AAKpC,SAAS,KAAK,MAAM;AAChB,QAAO,OAAO,KAAK,IAAI;;AAE3B,MAAM,YAAY,YAAY,OAAO,IAAI,4BAA4B,wBAAQ,IAAI,SAAS,CAAC;AAC3F,SAAS,OAAO,KAAK;CACjB,MAAM,OAAO,UAAU,IAAI,IAAI;AAC/B,KAAI,KACA,QAAO;CAEX,MAAM,KAAK,GAAG,IAAI;AAClB,WAAU,IAAI,KAAK,GAAG;AACtB,QAAO;;AAEX,SAAS,GAAG,KAAK;AAEb,SAAQ,IAAI,MAAZ;EACI,KAAK,EACD,QAAO,gBAAgB,gBAAgB,gBAAgB,OAAO,CAAC,gBAAgB,KAAK,OAAO,GAAG,GAAG,gBAAgB,IAAI,GAAG,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,YAC9I,IAAI,gBAAgB,OAAO,CAAC,CAAC;EACtC,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,EACD,QAAO,gBAAgB;EAC3B,KAAK,EACD,QAAO,gBAAgB;EAC3B,KAAK,IAAuB;GACxB,MAAM,WAAW,gBAAgB,KAAK,YAAY,OAAO,QAAQ,KAAK,CAAC,CAAC,IAAI,SAAS;GACrF,MAAM,OAAO,gBAAgB,KAAK,SAAS,gBAAgB,KAAK,QAAQ,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK;AACrG,UAAO,gBAAgB,OAAO,EAC1B,SAAS,OAAO,MAAM;AAClB,QAAI,EAAE,WAAW,EAAE,OACf,QAAO;IAEX,IAAI,IAAI;AACR,WAAO,IAAI,SAAS,QAAQ,KAAK;KAC7B,MAAM,KAAK,gBAAgB,UAAU,EAAE,CAAC,SAAS;KACjD,MAAM,KAAK,EAAE;KACb,MAAM,KAAK,EAAE;AACb,SAAI,CAAC,GAAG,OAAO,GAAG,CAAC,GAAG,CAClB,QAAO;;AAGf,QAAI,gBAAgB,OAAO,KAAK,EAAE;KAC9B,MAAM,OAAO,gBAAgB,WAAW,KAAK,MAAM;KACnD,MAAM,OAAO,gBAAgB,KAAK,KAAK,MAAM;AAC7C,YAAO,IAAI,EAAE,SAAS,KAAK,QAAQ,IAC/B,KAAI,CAAC,KAAK,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,CACxB,QAAO;AAGf,UAAK,IAAI,IAAI,GAAG,IAAI,KAAK,QAAQ,KAAK;AAClC,WAAK;MACL,MAAM,KAAK,gBAAgB,UAAU,EAAE,CAAC,SAAS;MACjD,MAAM,KAAK,EAAE;MACb,MAAM,KAAK,EAAE;AACb,UAAI,CAAC,GAAG,OAAO,GAAG,CAAC,GAAG,CAClB,QAAO;;;AAInB,WAAO;MAEd,CAAC;;EAEN,KAAK,IAA6B;GAC9B,MAAM,yBAAyB,gBAAgB,KAAK,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,mBAAmB;GAC/F,MAAM,kBAAkB,gBAAgB,KAAK,OAAO,CAAC,GAAG,GAAG,UAAU,EAAE,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,gBAAgB;GACzG,MAAM,cAAc,EAAE;GACtB,MAAM,cAAc,EAAE;AACtB,QAAK,IAAI,IAAI,GAAG,IAAI,uBAAuB,QAAQ,KAAK;IACpD,MAAM,KAAK,gBAAgB,UAAU,EAAE,CAAC,IAAI,mBAAmB;IAC/D,MAAM,OAAO,GAAG;AAChB,QAAI,CAAC,GAAG,WACJ,aAAY,QAAQ,gBAAgB,UAAU,EAAE,CAAC,uBAAuB;QAGxE,aAAY,QAAQ,gBAAgB,UAAU,EAAE,CAAC,uBAAuB;;GAGhF,IAAI,SAAS,gBAAgB,OAAO,aAAa,YAAY;AAC7D,QAAK,IAAI,IAAI,GAAG,IAAI,gBAAgB,QAAQ,KAAK;IAC7C,MAAM,GAAG,QAAQ,gBAAgB,UAAU,EAAE,CAAC,gBAAgB;AAC9D,aAAS,gBAAgB,aAAa,gBAAgB,OAAO,EACzD,SAAS,OAAO,MAAM;AAClB,UAAK,MAAM,OAAO,yBAAyB,GAAG,gBAAgB,UAAU,EAAE,CAAC,IAAI,gBAAgB,CAAC,UAAU,EAAE;AACxG,UAAI,OAAO,eAAe,OAAO,YAC7B;AAEJ,UAAI,CAAC,KAAK,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAC5B,QAAO;;AAGf,YAAO;OAEd,CAAC,CAAC,CAAC,OAAO;;AAEf,UAAO;;EAEX,KAAK,GACD,QAAO,gBAAgB,MAAM,gBAAgB,QAAQ,gBAAgB,IAAI,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC;EACjG,KAAK,IAAsB;GACvB,MAAM,UAAU,OAAO,IAAI,QAAQ,CAAC;GACpC,MAAM,MAAM,QAAQ,EAAE;AACtB,UAAO,gBAAgB,OAAO,EAC1B,SAAS,OAAO,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,EAC5C,CAAC;;EAEN,KAAK,GACD,QAAO,gBAAgB;EAC3B,KAAK,GACD,QAAO,OAAO,IAAI,GAAG;EACzB,KAAK,GACD,QAAO,OAAO,IAAI,KAAK;EAC3B,KAAK,GACD,QAAO,OAAO,IAAI,KAAK"}

package/_mjs/Gen.mjs

@@ -1,172 +1,132 @@
-const fileName_1 = "(@fncts/schema) src/Gen.ts";
-import * as tsplus_module_1 from "@fncts/schema/AST";
-import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
-import * as tsplus_module_3 from "@fncts/test/control/Gen/api";
-import * as tsplus_module_4 from "@fncts/io/IO/api";
 import * as tsplus_module_5 from "@fncts/base/collection/immutable/Vector/api";
-import * as tsplus_module_6 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_1 from "@fncts/schema/AST";
 import * as tsplus_module_7 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_6 from "@fncts/base/data/Maybe/destructors";
+import { memoize } from "@fncts/schema/utils";
+import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
 import * as tsplus_module_8 from "@fncts/base/data/Maybe/definition";
 import * as tsplus_module_9 from "@fncts/base/data/Either/api";
+import * as tsplus_module_3 from "@fncts/test/control/Gen/api";
+import * as tsplus_module_4 from "@fncts/io/IO/api";
 import { InvalidInterpretationError } from "@fncts/schema/InvalidInterpretationError";
-import { memoize } from "@fncts/schema/utils";
+//#region build/esm/Gen.js
+const fileName_1 = "(@fncts/schema) src/Gen.ts";
 /**
- * @tsplus getter fncts.schema.Schema genFrom
- */
-export function genFrom(self) {
-  return go(tsplus_module_1.getFrom(self.ast));
+* @tsplus getter fncts.schema.Schema genFrom
+*/
+function genFrom(self) {
+	return go(tsplus_module_1.getFrom(self.ast));
 }
 /**
- * @tsplus getter fncts.schema.Schema genTo
- */
-export function genTo(self) {
-  return go(self.ast);
+* @tsplus getter fncts.schema.Schema genTo
+*/
+function genTo(self) {
+	return go(self.ast);
 }
 function getHook(ast) {
-  return ast.annotations.get(tsplus_module_2.GenHook);
+	return ast.annotations.get(tsplus_module_2.GenHook);
 }
 function record(key, value) {
-  return tsplus_module_3.map(tuples => {
-    const out = {};
-    for (const [k, v] of tuples) {
-      out[k] = v;
-    }
-    return out;
-  })(tsplus_module_3.arrayWith({
-    maxLength: 10
-  })(tsplus_module_3.tuple(key, value)));
+	return tsplus_module_3.map((tuples) => {
+		const out = {};
+		for (const [k, v] of tuples) out[k] = v;
+		return out;
+	})(tsplus_module_3.arrayWith({ maxLength: 10 })(tsplus_module_3.tuple(key, value)));
 }
-const go = /*#__PURE__*/memoize(function go(ast) {
-  void 0;
-  switch (ast._tag) {
-    case 0 /* ASTTag.Declaration */:
-      return tsplus_module_6.match(() => tsplus_module_3.fromIO(tsplus_module_4.haltNow(new InvalidInterpretationError("cannot build a Gen for a Declaration without a Gen hook"), fileName_1 + ":49:23")), hook => hook(...tsplus_module_5.map(go)(ast.typeParameters)))(getHook(ast));
-    case 1 /* ASTTag.Literal */:
-      return tsplus_module_3.constant(ast.literal);
-    case 2 /* ASTTag.UniqueSymbol */:
-      return tsplus_module_3.constant(ast.symbol);
-    case 3 /* ASTTag.UndefinedKeyword */:
-      return tsplus_module_3.constant(undefined);
-    case 4 /* ASTTag.VoidKeyword */:
-      return tsplus_module_3.constant(undefined);
-    case 5 /* ASTTag.NeverKeyword */:
-      return tsplus_module_3.fromIO(tsplus_module_4.haltNow(new InvalidInterpretationError("cannot build a Gen for `never`"), fileName_1 + ":62:35"));
-    case 6 /* ASTTag.UnknownKeyword */:
-      return tsplus_module_3.anything();
-    case 7 /* ASTTag.AnyKeyword */:
-      return tsplus_module_3.anything();
-    case 8 /* ASTTag.StringKeyword */:
-      return tsplus_module_3.fullUnicodeString();
-    case 9 /* ASTTag.NumberKeyword */:
-      return tsplus_module_3.float;
-    case 10 /* ASTTag.BooleanKeyword */:
-      return tsplus_module_3.boolean;
-    case 11 /* ASTTag.BigIntKeyword */:
-      return tsplus_module_3.bigInt;
-    case 12 /* ASTTag.SymbolKeyword */:
-      return tsplus_module_3.map(s => Symbol.for(s))(tsplus_module_3.fullUnicodeString());
-    case 13 /* ASTTag.ObjectKeyword */:
-      return tsplus_module_3.anything();
-    case 15 /* ASTTag.TemplateLiteral */:
-      {
-        const components = [tsplus_module_3.constant(ast.head)];
-        for (const span of ast.spans) {
-          components.push(tsplus_module_3.fullUnicodeString({
-            maxLength: 5
-          }));
-          components.push(tsplus_module_3.constant(span.literal));
-        }
-        return tsplus_module_3.map(spans => spans.join(""))(tsplus_module_3.tuple(...components));
-      }
-    case 16 /* ASTTag.Tuple */:
-      {
-        const elements = tsplus_module_5.map(e => go(e.type))(ast.elements);
-        const rest = tsplus_module_7.map(restElement => tsplus_module_5.map(go)(restElement))(ast.rest);
-        let output = tsplus_module_3.tuple(...elements);
-        if (elements.length > 0 && tsplus_module_8.isNothing(rest)) {
-          const firstOptionalIndex = tsplus_module_5.findIndex(e => e.isOptional)(ast.elements);
-          if (firstOptionalIndex !== -1) {
-            output = tsplus_module_3.flatMap(as => tsplus_module_3.map(i => as.slice(0, i))(tsplus_module_3.intWith({
-              min: firstOptionalIndex,
-              max: elements.length - 1
-            })))(output);
-          }
-        }
-        if (tsplus_module_8.isJust(rest)) {
-          const head = tsplus_module_5.unsafeHead(rest.value);
-          const tail = tsplus_module_5.tail(rest.value);
-          output = tsplus_module_3.flatMap(as => tsplus_module_3.map(rest => [...as, ...rest])(tsplus_module_3.arrayWith({
-            maxLength: 5
-          })(head)))(output);
-          for (let j = 0; j < tail.length; j++) {
-            output = tsplus_module_3.flatMap(as => tsplus_module_3.map(a => [...as, a])(tsplus_module_5.unsafeGet(j)(tail)))(output);
-          }
-        }
-        return output;
-      }
-    case 17 /* ASTTag.TypeLiteral */:
-      {
-        const propertySignatureTypes = tsplus_module_5.map(ps => go(ps.type))(ast.propertySignatures);
-        const indexSignatures = tsplus_module_5.map(is => [go(is.parameter), go(is.type)])(ast.indexSignatures);
-        const requiredGens = {};
-        const optionalGens = {};
-        for (let i = 0; i < propertySignatureTypes.length; i++) {
-          const ps = tsplus_module_5.unsafeGet(i)(ast.propertySignatures);
-          const name = ps.name;
-          if (!ps.isOptional) {
-            requiredGens[name] = tsplus_module_5.unsafeGet(i)(propertySignatureTypes);
-          } else {
-            optionalGens[name] = tsplus_module_5.unsafeGet(i)(propertySignatureTypes);
-          }
-        }
-        let output = tsplus_module_3.zipWith(tsplus_module_3.partial(optionalGens), (a, b) => ({
-          ...a,
-          ...b
-        }))(tsplus_module_3.struct(requiredGens));
-        for (let i = 0; i < indexSignatures.length; i++) {
-          const parameter = tsplus_module_5.unsafeGet(i)(indexSignatures)[0];
-          const type = tsplus_module_5.unsafeGet(i)(indexSignatures)[1];
-          output = tsplus_module_3.flatMap(o => {
-            return tsplus_module_3.map(d => ({
-              ...d,
-              ...o
-            }))(record(parameter, type));
-          })(output);
-        }
-        return output;
-      }
-    case 18 /* ASTTag.Union */:
-      {
-        const types = tsplus_module_5.map(go)(ast.types);
-        return tsplus_module_3.oneOf(...types);
-      }
-    case 19 /* ASTTag.Lazy */:
-      {
-        return tsplus_module_6.match(() => {
-          const f = () => go(ast.getAST());
-          const get = memoize(f);
-          return tsplus_module_3.defer(() => get(f));
-        }, handler => handler())(getHook(ast));
-      }
-    case 14 /* ASTTag.Enum */:
-      {
-        if (ast.enums.length === 0) {
-          return tsplus_module_3.fromIO(tsplus_module_4.haltNow(new InvalidInterpretationError("cannot build a Gen for an empty enum"), fileName_1 + ":149:37"));
-        }
-        return tsplus_module_3.oneOf(...tsplus_module_5.map(([_, value]) => tsplus_module_3.constant(value))(ast.enums));
-      }
-    case 20 /* ASTTag.Refinement */:
-      {
-        const from = go(ast.from);
-        return tsplus_module_6.match(() => tsplus_module_3.filter(a => tsplus_module_9.isRight(ast.decode(a)))(from), handler => handler(from))(getHook(ast));
-      }
-    case 21 /* ASTTag.Transform */:
-      return go(ast.to);
-    case 22 /* ASTTag.Validation */:
-      {
-        const from = go(ast.from);
-        return tsplus_module_6.match(() => tsplus_module_3.filter(a => tsplus_module_5.every(v => v.validate(a))(ast.validation))(from), handler => handler(from))(getHook(ast));
-      }
-  }
+const go = memoize(function go(ast) {
+	switch (ast._tag) {
+		case 0: return tsplus_module_6.match(() => tsplus_module_3.fromIO(tsplus_module_4.haltNow(new InvalidInterpretationError("cannot build a Gen for a Declaration without a Gen hook"), fileName_1 + ":49:23")), (hook) => hook(...tsplus_module_5.map(go)(ast.typeParameters)))(getHook(ast));
+		case 1: return tsplus_module_3.constant(ast.literal);
+		case 2: return tsplus_module_3.constant(ast.symbol);
+		case 3: return tsplus_module_3.constant(void 0);
+		case 4: return tsplus_module_3.constant(void 0);
+		case 5: return tsplus_module_3.fromIO(tsplus_module_4.haltNow(new InvalidInterpretationError("cannot build a Gen for `never`"), fileName_1 + ":62:35"));
+		case 6: return tsplus_module_3.anything();
+		case 7: return tsplus_module_3.anything();
+		case 8: return tsplus_module_3.fullUnicodeString();
+		case 9: return tsplus_module_3.float;
+		case 10: return tsplus_module_3.boolean;
+		case 11: return tsplus_module_3.bigInt;
+		case 12: return tsplus_module_3.map((s) => Symbol.for(s))(tsplus_module_3.fullUnicodeString());
+		case 13: return tsplus_module_3.anything();
+		case 15: {
+			const components = [tsplus_module_3.constant(ast.head)];
+			for (const span of ast.spans) {
+				components.push(tsplus_module_3.fullUnicodeString({ maxLength: 5 }));
+				components.push(tsplus_module_3.constant(span.literal));
+			}
+			return tsplus_module_3.map((spans) => spans.join(""))(tsplus_module_3.tuple(...components));
+		}
+		case 16: {
+			const elements = tsplus_module_5.map((e) => go(e.type))(ast.elements);
+			const rest = tsplus_module_7.map((restElement) => tsplus_module_5.map(go)(restElement))(ast.rest);
+			let output = tsplus_module_3.tuple(...elements);
+			if (elements.length > 0 && tsplus_module_8.isNothing(rest)) {
+				const firstOptionalIndex = tsplus_module_5.findIndex((e) => e.isOptional)(ast.elements);
+				if (firstOptionalIndex !== -1) output = tsplus_module_3.flatMap((as) => tsplus_module_3.map((i) => as.slice(0, i))(tsplus_module_3.intWith({
+					min: firstOptionalIndex,
+					max: elements.length - 1
+				})))(output);
+			}
+			if (tsplus_module_8.isJust(rest)) {
+				const head = tsplus_module_5.unsafeHead(rest.value);
+				const tail = tsplus_module_5.tail(rest.value);
+				output = tsplus_module_3.flatMap((as) => tsplus_module_3.map((rest) => [...as, ...rest])(tsplus_module_3.arrayWith({ maxLength: 5 })(head)))(output);
+				for (let j = 0; j < tail.length; j++) output = tsplus_module_3.flatMap((as) => tsplus_module_3.map((a) => [...as, a])(tsplus_module_5.unsafeGet(j)(tail)))(output);
+			}
+			return output;
+		}
+		case 17: {
+			const propertySignatureTypes = tsplus_module_5.map((ps) => go(ps.type))(ast.propertySignatures);
+			const indexSignatures = tsplus_module_5.map((is) => [go(is.parameter), go(is.type)])(ast.indexSignatures);
+			const requiredGens = {};
+			const optionalGens = {};
+			for (let i = 0; i < propertySignatureTypes.length; i++) {
+				const ps = tsplus_module_5.unsafeGet(i)(ast.propertySignatures);
+				const name = ps.name;
+				if (!ps.isOptional) requiredGens[name] = tsplus_module_5.unsafeGet(i)(propertySignatureTypes);
+				else optionalGens[name] = tsplus_module_5.unsafeGet(i)(propertySignatureTypes);
+			}
+			let output = tsplus_module_3.zipWith(tsplus_module_3.partial(optionalGens), (a, b) => ({
+				...a,
+				...b
+			}))(tsplus_module_3.struct(requiredGens));
+			for (let i = 0; i < indexSignatures.length; i++) {
+				const parameter = tsplus_module_5.unsafeGet(i)(indexSignatures)[0];
+				const type = tsplus_module_5.unsafeGet(i)(indexSignatures)[1];
+				output = tsplus_module_3.flatMap((o) => {
+					return tsplus_module_3.map((d) => ({
+						...d,
+						...o
+					}))(record(parameter, type));
+				})(output);
+			}
+			return output;
+		}
+		case 18: {
+			const types = tsplus_module_5.map(go)(ast.types);
+			return tsplus_module_3.oneOf(...types);
+		}
+		case 19: return tsplus_module_6.match(() => {
+			const f = () => go(ast.getAST());
+			const get = memoize(f);
+			return tsplus_module_3.defer(() => get(f));
+		}, (handler) => handler())(getHook(ast));
+		case 14:
+			if (ast.enums.length === 0) return tsplus_module_3.fromIO(tsplus_module_4.haltNow(new InvalidInterpretationError("cannot build a Gen for an empty enum"), fileName_1 + ":149:37"));
+			return tsplus_module_3.oneOf(...tsplus_module_5.map(([_, value]) => tsplus_module_3.constant(value))(ast.enums));
+		case 20: {
+			const from = go(ast.from);
+			return tsplus_module_6.match(() => tsplus_module_3.filter((a) => tsplus_module_9.isRight(ast.decode(a)))(from), (handler) => handler(from))(getHook(ast));
+		}
+		case 21: return go(ast.to);
+		case 22: {
+			const from = go(ast.from);
+			return tsplus_module_6.match(() => tsplus_module_3.filter((a) => tsplus_module_5.every((v) => v.validate(a))(ast.validation))(from), (handler) => handler(from))(getHook(ast));
+		}
+	}
 });
+//#endregion
+export { genFrom, genTo };
+
 //# sourceMappingURL=Gen.mjs.map