@fncts/schema 0.0.24 → 0.0.25

package/_mjs/Parser/interpreter.mjs

@@ -1,358 +1,272 @@
-import * as tsplus_module_1 from "@fncts/base/data/Either/api";
-import * as tsplus_module_2 from "@fncts/schema/Parser/definition";
-import * as tsplus_module_3 from "@fncts/schema/ParseResult";
+import { getKeysForIndexSignature, getTemplateLiteralRegex, memoize, ownKeys } from "../utils.mjs";
+import { getSearchTree } from "../AST.mjs";
+import { DeclarationError } from "../ParseError/ParseError.mjs";
 import * as tsplus_module_4 from "@fncts/base/collection/immutable/Vector/api";
-import * as tsplus_module_5 from "@fncts/base/data/Maybe/api";
 import * as tsplus_module_6 from "@fncts/schema/AST";
-import * as tsplus_module_7 from "@fncts/schema/ParseError/ParseError";
-import * as tsplus_module_8 from "@fncts/base/collection/immutable/Vector/internal";
-import * as tsplus_module_9 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_5 from "@fncts/base/data/Maybe/api";
 import { globalValue } from "@fncts/base/data/Global";
+import * as tsplus_module_3 from "@fncts/schema/ParseResult";
+import * as tsplus_module_9 from "@fncts/base/data/Maybe/definition";
 import { isBigInt, isBoolean, isNumber, isObject, isRecord, isString, isSymbol, isUndefined } from "@fncts/base/util/predicates";
-import { concrete, getSearchTree } from "../AST.mjs";
-import { DeclarationError, RefinementError, TransformationError } from "../ParseError/ParseError.mjs";
-import { getKeysForIndexSignature, getTemplateLiteralRegex, memoize, ownKeys } from "../utils.mjs";
-const decodeMemoMap = /*#__PURE__*/globalValue(/*#__PURE__*/Symbol.for("fncts.schema.Parser.decodeMemoMap"), () => new WeakMap());
-const encodeMemoMap = /*#__PURE__*/globalValue(/*#__PURE__*/Symbol.for("fncts.schema.Parser.encodeMemoMap"), () => new WeakMap());
+import * as tsplus_module_7 from "@fncts/schema/ParseError/ParseError";
+import * as tsplus_module_8 from "@fncts/base/collection/immutable/Vector/internal";
+import * as tsplus_module_1 from "@fncts/base/data/Either/api";
+import * as tsplus_module_2 from "@fncts/schema/Parser/definition";
+//#region build/esm/Parser/interpreter.js
+const decodeMemoMap = globalValue(Symbol.for("fncts.schema.Parser.decodeMemoMap"), () => /* @__PURE__ */ new WeakMap());
+const encodeMemoMap = globalValue(Symbol.for("fncts.schema.Parser.encodeMemoMap"), () => /* @__PURE__ */ new WeakMap());
 function goMemo(ast, isDecoding) {
-  const memoMap = isDecoding ? decodeMemoMap : encodeMemoMap;
-  const memo = memoMap.get(ast);
-  if (memo) {
-    return memo;
-  }
-  const parser = go(ast, isDecoding);
-  memoMap.set(ast, parser);
-  return parser;
+	const memoMap = isDecoding ? decodeMemoMap : encodeMemoMap;
+	const memo = memoMap.get(ast);
+	if (memo) return memo;
+	const parser = go(ast, isDecoding);
+	memoMap.set(ast, parser);
+	return parser;
 }
 function go(ast, isDecoding) {
-  void 0;
-  switch (ast._tag) {
-    case 0 /* ASTTag.Declaration */:
-      {
-        const parse = isDecoding ? ast.decode(...ast.typeParameters) : ast.encode(...ast.typeParameters);
-        return tsplus_module_2.make((input, options) => tsplus_module_1.mapLeft(error => new DeclarationError(ast, input, error))(parse(input, options)));
-      }
-    case 1 /* ASTTag.Literal */:
-      return tsplus_module_2.fromRefinement(ast, u => u === ast.literal);
-    case 2 /* ASTTag.UniqueSymbol */:
-      return tsplus_module_2.fromRefinement(ast, u => u === ast.symbol);
-    case 3 /* ASTTag.UndefinedKeyword */:
-    case 4 /* ASTTag.VoidKeyword */:
-      return tsplus_module_2.fromRefinement(ast, isUndefined);
-    case 5 /* ASTTag.NeverKeyword */:
-      return tsplus_module_2.fromRefinement(ast, _ => false);
-    case 6 /* ASTTag.UnknownKeyword */:
-    case 7 /* ASTTag.AnyKeyword */:
-      return tsplus_module_2.make(tsplus_module_3.succeed);
-    case 8 /* ASTTag.StringKeyword */:
-      return tsplus_module_2.fromRefinement(ast, isString);
-    case 9 /* ASTTag.NumberKeyword */:
-      return tsplus_module_2.fromRefinement(ast, isNumber);
-    case 10 /* ASTTag.BooleanKeyword */:
-      return tsplus_module_2.fromRefinement(ast, isBoolean);
-    case 11 /* ASTTag.BigIntKeyword */:
-      return tsplus_module_2.fromRefinement(ast, isBigInt);
-    case 12 /* ASTTag.SymbolKeyword */:
-      return tsplus_module_2.fromRefinement(ast, isSymbol);
-    case 13 /* ASTTag.ObjectKeyword */:
-      return tsplus_module_2.fromRefinement(ast, isObject);
-    case 14 /* ASTTag.Enum */:
-      return tsplus_module_2.fromRefinement(ast, u => tsplus_module_4.some(([_, value]) => value === u)(ast.enums));
-    case 15 /* ASTTag.TemplateLiteral */:
-      {
-        const regex = getTemplateLiteralRegex(ast);
-        return tsplus_module_2.fromRefinement(ast, u => isString(u) && regex.test(u));
-      }
-    case 16 /* ASTTag.Tuple */:
-      {
-        const elements = tsplus_module_4.map(e => goMemo(e.type, isDecoding))(ast.elements);
-        const rest = tsplus_module_5.map(rest => tsplus_module_4.map(ast => goMemo(ast, isDecoding))(rest))(ast.rest);
-        return tsplus_module_2.make((input, options) => {
-          if (!Array.isArray(input)) {
-            return tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.unknownArray, input));
-          }
-          const output = [];
-          const errors = tsplus_module_4.emptyPushable();
-          const allErrors = options?.allErrors;
-          let i = 0;
-          for (; i < elements.length; i++) {
-            if (input.length < i + 1) {
-              if (!tsplus_module_4.unsafeGet(i)(ast.elements).isOptional) {
-                const e = tsplus_module_7.indexError(i, tsplus_module_7.missingError);
-                if (allErrors) {
-                  tsplus_module_8.push(e)(errors);
-                  continue;
-                } else {
-                  return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
-                }
-              }
-            } else {
-              const parser = tsplus_module_4.unsafeGet(i)(elements);
-              const t = parser(input[i], options);
-              void 0;
-              if (tsplus_module_1.isLeft(t)) {
-                const e = tsplus_module_7.indexError(i, t.left);
-                if (allErrors) {
-                  tsplus_module_8.push(e)(errors);
-                  continue;
-                } else {
-                  return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
-                }
-              }
-              output.push(t.right);
-            }
-          }
-          if (tsplus_module_9.isJust(rest)) {
-            const head = tsplus_module_4.unsafeHead(rest.value);
-            const tail = tsplus_module_4.tail(rest.value);
-            for (; i < input.length - tail.length; i++) {
-              const t = head(input[i], options);
-              void 0;
-              if (tsplus_module_1.isLeft(t)) {
-                const e = tsplus_module_7.indexError(i, t.left);
-                if (allErrors) {
-                  tsplus_module_8.push(e)(errors);
-                  continue;
-                } else {
-                  return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
-                }
-              }
-              output.push(t.right);
-            }
-            for (let j = 0; j < tail.length; j++) {
-              i += j;
-              if (input.length < i + 1) {
-                const e = tsplus_module_7.indexError(i, tsplus_module_7.missingError);
-                if (allErrors) {
-                  tsplus_module_8.push(e)(errors);
-                  continue;
-                } else {
-                  return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
-                }
-              } else {
-                const t = tsplus_module_4.unsafeGet(j)(tail)(input[i], options);
-                void 0;
-                if (tsplus_module_1.isLeft(t)) {
-                  const e = tsplus_module_7.indexError(i, t.left);
-                  if (allErrors) {
-                    tsplus_module_8.push(e)(errors);
-                    continue;
-                  } else {
-                    return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
-                  }
-                }
-                output.push(t.right);
-              }
-            }
-          } else {
-            const isUnexpectedAllowed = options?.isUnexpectedAllowed;
-            for (; i < input.length; i++) {
-              const e = tsplus_module_7.indexError(i, tsplus_module_7.unexpectedError(input[i]));
-              if (!isUnexpectedAllowed) {
-                if (allErrors) {
-                  tsplus_module_8.push(e)(errors);
-                  continue;
-                } else {
-                  return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
-                }
-              }
-            }
-          }
-          return tsplus_module_4.isNonEmpty(errors) ? tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, errors, output)) : tsplus_module_3.succeed(output);
-        });
-      }
-    case 17 /* ASTTag.TypeLiteral */:
-      {
-        if (ast.propertySignatures.length === 0 && ast.indexSignatures.length === 0) {
-          return tsplus_module_2.fromRefinement(ast, u => u !== null);
-        }
-        const propertySignatureTypes = tsplus_module_4.map(f => goMemo(f.type, isDecoding))(ast.propertySignatures);
-        const indexSignatures = tsplus_module_4.map(is => [goMemo(is.parameter, isDecoding), goMemo(is.type, isDecoding)])(ast.indexSignatures);
-        return tsplus_module_2.make((input, options) => {
-          if (!isRecord(input)) {
-            return tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.unknownRecord, input));
-          }
-          const output = {};
-          const expectedKeys = {};
-          const errors = tsplus_module_4.emptyPushable();
-          const allErrors = options?.allErrors;
-          for (let i = 0; i < propertySignatureTypes.length; i++) {
-            const ps = tsplus_module_4.unsafeGet(i)(ast.propertySignatures);
-            const parser = tsplus_module_4.unsafeGet(i)(propertySignatureTypes);
-            const name = ps.name;
-            expectedKeys[name] = null;
-            if (!Object.prototype.hasOwnProperty.call(input, name)) {
-              if (!ps.isOptional) {
-                const e = tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, tsplus_module_7.missingError);
-                if (allErrors) {
-                  tsplus_module_8.push(e)(errors);
-                  continue;
-                } else {
-                  return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
-                }
-              }
-            } else {
-              const t = parser(input[name], options);
-              void 0;
-              if (tsplus_module_1.isLeft(t)) {
-                const e = tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, t.left);
-                if (allErrors) {
-                  tsplus_module_8.push(e)(errors);
-                  continue;
-                } else {
-                  return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
-                }
-              }
-              output[name] = t.right;
-            }
-          }
-          if (indexSignatures.length > 0) {
-            for (let i = 0; i < indexSignatures.length; i++) {
-              const [parameter, type] = tsplus_module_4.unsafeGet(i)(indexSignatures);
-              const keys = getKeysForIndexSignature(input, tsplus_module_4.unsafeGet(i)(ast.indexSignatures).parameter);
-              for (const key of keys) {
-                if (Object.prototype.hasOwnProperty.call(expectedKeys, key)) {
-                  continue;
-                }
-                let t = parameter(key, options);
-                void 0;
-                if (tsplus_module_1.isLeft(t)) {
-                  const e = tsplus_module_7.keyError(tsplus_module_6.createKey(key), key, t.left);
-                  if (allErrors) {
-                    tsplus_module_8.push(e)(errors);
-                    continue;
-                  } else {
-                    return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
-                  }
-                }
-                t = type(input[key], options);
-                void 0;
-                if (tsplus_module_1.isLeft(t)) {
-                  const e = tsplus_module_7.keyError(tsplus_module_6.createKey(key), key, t.left);
-                  tsplus_module_8.push(e)(errors);
-                  if (allErrors) {
-                    continue;
-                  } else {
-                    return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
-                  }
-                }
-                output[key] = t.right;
-              }
-            }
-          } else {
-            const isUnexpectedAllowed = options?.isUnexpectedAllowed;
-            for (const key of ownKeys(input)) {
-              if (!Object.prototype.hasOwnProperty.call(expectedKeys, key)) {
-                if (!isUnexpectedAllowed) {
-                  const e = tsplus_module_7.keyError(tsplus_module_6.createKey(key), key, tsplus_module_7.unexpectedError(input[key]));
-                  if (allErrors) {
-                    tsplus_module_8.push(e)(errors);
-                    continue;
-                  } else {
-                    return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
-                  }
-                }
-              }
-            }
-          }
-          return tsplus_module_4.isNonEmpty(errors) ? tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, errors, output)) : tsplus_module_3.succeed(output);
-        });
-      }
-    case 18 /* ASTTag.Union */:
-      {
-        const searchTree = getSearchTree(ast.types, isDecoding);
-        const ownKeys = Reflect.ownKeys(searchTree.keys);
-        const len = ownKeys.length;
-        const map = new Map();
-        tsplus_module_4.forEach(ast => {
-          map.set(ast, goMemo(ast, isDecoding));
-        })(ast.types);
-        return tsplus_module_2.make((input, options) => {
-          const errors = tsplus_module_4.emptyPushable();
-          let candidates = [];
-          if (len > 0) {
-            if (isRecord(input)) {
-              for (let i = 0; i < len; i++) {
-                const name = ownKeys[i];
-                const buckets = searchTree.keys[name].buckets;
-                if (Object.prototype.hasOwnProperty.call(input, name)) {
-                  const literal = String(input[name]);
-                  if (Object.prototype.hasOwnProperty.call(buckets, literal)) {
-                    candidates = candidates.concat(buckets[literal]);
-                  } else {
-                    const literals = tsplus_module_6.createUnion(tsplus_module_4.from(searchTree.keys[name].literals));
-                    tsplus_module_8.push(tsplus_module_7.typeLiteralError(tsplus_module_6.createTypeLiteral(tsplus_module_4.vector(tsplus_module_6.createPropertySignature(name, literals, false, true)), tsplus_module_4.vector()), input, tsplus_module_4.vector(tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, tsplus_module_7.typeError(searchTree.keys[name].ast, input[name])))))(errors);
-                  }
-                } else {
-                  const literals = tsplus_module_6.createUnion(tsplus_module_4.from(searchTree.keys[name].literals));
-                  tsplus_module_8.push(tsplus_module_7.typeLiteralError(tsplus_module_6.createTypeLiteral(tsplus_module_4.vector(tsplus_module_6.createPropertySignature(name, literals, false, true)), tsplus_module_4.vector()), input, tsplus_module_4.vector(tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, tsplus_module_7.missingError))))(errors);
-                }
-              }
-            } else {
-              tsplus_module_8.push(tsplus_module_7.typeError(tsplus_module_6.unknownRecord, input))(errors);
-            }
-          }
-          if (searchTree.otherwise.length > 0) {
-            candidates = candidates.concat(searchTree.otherwise);
-          }
-          for (let i = 0; i < candidates.length; i++) {
-            const candidate = candidates[i];
-            const pr = map.get(candidate)(input, options);
-            void 0;
-            if (tsplus_module_1.isRight(pr)) {
-              return pr;
-            } else {
-              tsplus_module_8.push(tsplus_module_7.unionMemberError(candidate, pr.left))(errors);
-            }
-          }
-          return tsplus_module_4.isNonEmpty(errors) ? errors.length === 1 && tsplus_module_4.unsafeGet(0)(errors)._tag === 1 /* ParseErrorTag.Type */ ? tsplus_module_3.fail(tsplus_module_4.unsafeGet(0)(errors)) : tsplus_module_3.fail(tsplus_module_7.unionError(ast, input, tsplus_module_4.from(errors))) : tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.neverKeyword, input));
-        });
-      }
-    case 19 /* ASTTag.Lazy */:
-      {
-        const f = () => goMemo(ast.getAST(), isDecoding);
-        const get = memoize(f);
-        return tsplus_module_2.make((a, options) => get()(a, options));
-      }
-    case 20 /* ASTTag.Refinement */:
-      {
-        if (isDecoding) {
-          const from = goMemo(ast.from, isDecoding);
-          return tsplus_module_2.make((input, options) => tsplus_module_1.flatMap(a => tsplus_module_1.mapLeft(failure => tsplus_module_7.refinementError(ast, input, "Predicate", failure))(ast.decode(a, options)))(tsplus_module_1.mapLeft(failure => tsplus_module_7.refinementError(ast, input, "From", failure))(from(input, options))));
-        } else {
-          const from = goMemo(ast.from, true);
-          const to = goMemo(tsplus_module_6.getTo(ast.from), false);
-          return tsplus_module_2.make((input, options) => tsplus_module_1.flatMap(a => from(a, options))(tsplus_module_1.flatMap(a => ast.decode(a, options))(to(input, options))));
-        }
-      }
-    case 21 /* ASTTag.Transform */:
-      {
-        const transformation = isDecoding ? ast.decode : ast.encode;
-        const from = isDecoding ? goMemo(ast.from, true) : goMemo(ast.to, false);
-        const to = isDecoding ? goMemo(ast.to, true) : goMemo(ast.from, false);
-        return tsplus_module_2.make((input, options) => tsplus_module_1.flatMap(a => tsplus_module_1.mapLeft(failure => tsplus_module_7.transformationError(ast, input, isDecoding ? "Type" : "Encoded", failure))(to(a, options)))(tsplus_module_1.flatMap(a => tsplus_module_1.mapLeft(failure => tsplus_module_7.transformationError(ast, input, "Transformation", failure))(transformation(a, options)))(tsplus_module_1.mapLeft(failure => tsplus_module_7.transformationError(ast, input, isDecoding ? "Encoded" : "Type", failure))(from(input, options)))));
-      }
-    case 22 /* ASTTag.Validation */:
-      {
-        return tsplus_module_2.make((u, options) => {
-          const missedBrands = tsplus_module_4.emptyPushable();
-          const allErrors = options?.allErrors;
-          for (const validation of ast.validation) {
-            if (!validation.validate(u)) {
-              tsplus_module_8.push(validation)(missedBrands);
-              if (allErrors) {
-                continue;
-              } else {
-                return tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.createValidation(ast.from, missedBrands, ast.annotations), u));
-              }
-            }
-          }
-          return missedBrands.length > 0 ? tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.createValidation(ast.from, missedBrands, ast.annotations), u)) : tsplus_module_3.succeed(u);
-        });
-      }
-  }
+	switch (ast._tag) {
+		case 0: {
+			const parse = isDecoding ? ast.decode(...ast.typeParameters) : ast.encode(...ast.typeParameters);
+			return tsplus_module_2.make((input, options) => tsplus_module_1.mapLeft((error) => new DeclarationError(ast, input, error))(parse(input, options)));
+		}
+		case 1: return tsplus_module_2.fromRefinement(ast, (u) => u === ast.literal);
+		case 2: return tsplus_module_2.fromRefinement(ast, (u) => u === ast.symbol);
+		case 3:
+		case 4: return tsplus_module_2.fromRefinement(ast, isUndefined);
+		case 5: return tsplus_module_2.fromRefinement(ast, (_) => false);
+		case 6:
+		case 7: return tsplus_module_2.make(tsplus_module_3.succeed);
+		case 8: return tsplus_module_2.fromRefinement(ast, isString);
+		case 9: return tsplus_module_2.fromRefinement(ast, isNumber);
+		case 10: return tsplus_module_2.fromRefinement(ast, isBoolean);
+		case 11: return tsplus_module_2.fromRefinement(ast, isBigInt);
+		case 12: return tsplus_module_2.fromRefinement(ast, isSymbol);
+		case 13: return tsplus_module_2.fromRefinement(ast, isObject);
+		case 14: return tsplus_module_2.fromRefinement(ast, (u) => tsplus_module_4.some(([_, value]) => value === u)(ast.enums));
+		case 15: {
+			const regex = getTemplateLiteralRegex(ast);
+			return tsplus_module_2.fromRefinement(ast, (u) => isString(u) && regex.test(u));
+		}
+		case 16: {
+			const elements = tsplus_module_4.map((e) => goMemo(e.type, isDecoding))(ast.elements);
+			const rest = tsplus_module_5.map((rest) => tsplus_module_4.map((ast) => goMemo(ast, isDecoding))(rest))(ast.rest);
+			return tsplus_module_2.make((input, options) => {
+				if (!Array.isArray(input)) return tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.unknownArray, input));
+				const output = [];
+				const errors = tsplus_module_4.emptyPushable();
+				const allErrors = options?.allErrors;
+				let i = 0;
+				for (; i < elements.length; i++) if (input.length < i + 1) {
+					if (!tsplus_module_4.unsafeGet(i)(ast.elements).isOptional) {
+						const e = tsplus_module_7.indexError(i, tsplus_module_7.missingError);
+						if (allErrors) {
+							tsplus_module_8.push(e)(errors);
+							continue;
+						} else return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
+					}
+				} else {
+					const t = tsplus_module_4.unsafeGet(i)(elements)(input[i], options);
+					if (tsplus_module_1.isLeft(t)) {
+						const e = tsplus_module_7.indexError(i, t.left);
+						if (allErrors) {
+							tsplus_module_8.push(e)(errors);
+							continue;
+						} else return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
+					}
+					output.push(t.right);
+				}
+				if (tsplus_module_9.isJust(rest)) {
+					const head = tsplus_module_4.unsafeHead(rest.value);
+					const tail = tsplus_module_4.tail(rest.value);
+					for (; i < input.length - tail.length; i++) {
+						const t = head(input[i], options);
+						if (tsplus_module_1.isLeft(t)) {
+							const e = tsplus_module_7.indexError(i, t.left);
+							if (allErrors) {
+								tsplus_module_8.push(e)(errors);
+								continue;
+							} else return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
+						}
+						output.push(t.right);
+					}
+					for (let j = 0; j < tail.length; j++) {
+						i += j;
+						if (input.length < i + 1) {
+							const e = tsplus_module_7.indexError(i, tsplus_module_7.missingError);
+							if (allErrors) {
+								tsplus_module_8.push(e)(errors);
+								continue;
+							} else return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
+						} else {
+							const t = tsplus_module_4.unsafeGet(j)(tail)(input[i], options);
+							if (tsplus_module_1.isLeft(t)) {
+								const e = tsplus_module_7.indexError(i, t.left);
+								if (allErrors) {
+									tsplus_module_8.push(e)(errors);
+									continue;
+								} else return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
+							}
+							output.push(t.right);
+						}
+					}
+				} else {
+					const isUnexpectedAllowed = options?.isUnexpectedAllowed;
+					for (; i < input.length; i++) {
+						const e = tsplus_module_7.indexError(i, tsplus_module_7.unexpectedError(input[i]));
+						if (!isUnexpectedAllowed) if (allErrors) {
+							tsplus_module_8.push(e)(errors);
+							continue;
+						} else return tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, tsplus_module_4.vector(e), output));
+					}
+				}
+				return tsplus_module_4.isNonEmpty(errors) ? tsplus_module_3.fail(tsplus_module_7.tupleError(ast, input, errors, output)) : tsplus_module_3.succeed(output);
+			});
+		}
+		case 17: {
+			if (ast.propertySignatures.length === 0 && ast.indexSignatures.length === 0) return tsplus_module_2.fromRefinement(ast, (u) => u !== null);
+			const propertySignatureTypes = tsplus_module_4.map((f) => goMemo(f.type, isDecoding))(ast.propertySignatures);
+			const indexSignatures = tsplus_module_4.map((is) => [goMemo(is.parameter, isDecoding), goMemo(is.type, isDecoding)])(ast.indexSignatures);
+			return tsplus_module_2.make((input, options) => {
+				if (!isRecord(input)) return tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.unknownRecord, input));
+				const output = {};
+				const expectedKeys = {};
+				const errors = tsplus_module_4.emptyPushable();
+				const allErrors = options?.allErrors;
+				for (let i = 0; i < propertySignatureTypes.length; i++) {
+					const ps = tsplus_module_4.unsafeGet(i)(ast.propertySignatures);
+					const parser = tsplus_module_4.unsafeGet(i)(propertySignatureTypes);
+					const name = ps.name;
+					expectedKeys[name] = null;
+					if (!Object.prototype.hasOwnProperty.call(input, name)) {
+						if (!ps.isOptional) {
+							const e = tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, tsplus_module_7.missingError);
+							if (allErrors) {
+								tsplus_module_8.push(e)(errors);
+								continue;
+							} else return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
+						}
+					} else {
+						const t = parser(input[name], options);
+						if (tsplus_module_1.isLeft(t)) {
+							const e = tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, t.left);
+							if (allErrors) {
+								tsplus_module_8.push(e)(errors);
+								continue;
+							} else return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
+						}
+						output[name] = t.right;
+					}
+				}
+				if (indexSignatures.length > 0) for (let i = 0; i < indexSignatures.length; i++) {
+					const [parameter, type] = tsplus_module_4.unsafeGet(i)(indexSignatures);
+					const keys = getKeysForIndexSignature(input, tsplus_module_4.unsafeGet(i)(ast.indexSignatures).parameter);
+					for (const key of keys) {
+						if (Object.prototype.hasOwnProperty.call(expectedKeys, key)) continue;
+						let t = parameter(key, options);
+						if (tsplus_module_1.isLeft(t)) {
+							const e = tsplus_module_7.keyError(tsplus_module_6.createKey(key), key, t.left);
+							if (allErrors) {
+								tsplus_module_8.push(e)(errors);
+								continue;
+							} else return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
+						}
+						t = type(input[key], options);
+						if (tsplus_module_1.isLeft(t)) {
+							const e = tsplus_module_7.keyError(tsplus_module_6.createKey(key), key, t.left);
+							tsplus_module_8.push(e)(errors);
+							if (allErrors) continue;
+							else return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
+						}
+						output[key] = t.right;
+					}
+				}
+				else {
+					const isUnexpectedAllowed = options?.isUnexpectedAllowed;
+					for (const key of ownKeys(input)) if (!Object.prototype.hasOwnProperty.call(expectedKeys, key)) {
+						if (!isUnexpectedAllowed) {
+							const e = tsplus_module_7.keyError(tsplus_module_6.createKey(key), key, tsplus_module_7.unexpectedError(input[key]));
+							if (allErrors) {
+								tsplus_module_8.push(e)(errors);
+								continue;
+							} else return tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, tsplus_module_4.vector(e), output));
+						}
+					}
+				}
+				return tsplus_module_4.isNonEmpty(errors) ? tsplus_module_3.fail(tsplus_module_7.typeLiteralError(ast, input, errors, output)) : tsplus_module_3.succeed(output);
+			});
+		}
+		case 18: {
+			const searchTree = getSearchTree(ast.types, isDecoding);
+			const ownKeys = Reflect.ownKeys(searchTree.keys);
+			const len = ownKeys.length;
+			const map = /* @__PURE__ */ new Map();
+			tsplus_module_4.forEach((ast) => {
+				map.set(ast, goMemo(ast, isDecoding));
+			})(ast.types);
+			return tsplus_module_2.make((input, options) => {
+				const errors = tsplus_module_4.emptyPushable();
+				let candidates = [];
+				if (len > 0) if (isRecord(input)) for (let i = 0; i < len; i++) {
+					const name = ownKeys[i];
+					const buckets = searchTree.keys[name].buckets;
+					if (Object.prototype.hasOwnProperty.call(input, name)) {
+						const literal = String(input[name]);
+						if (Object.prototype.hasOwnProperty.call(buckets, literal)) candidates = candidates.concat(buckets[literal]);
+						else {
+							const literals = tsplus_module_6.createUnion(tsplus_module_4.from(searchTree.keys[name].literals));
+							tsplus_module_8.push(tsplus_module_7.typeLiteralError(tsplus_module_6.createTypeLiteral(tsplus_module_4.vector(tsplus_module_6.createPropertySignature(name, literals, false, true)), tsplus_module_4.vector()), input, tsplus_module_4.vector(tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, tsplus_module_7.typeError(searchTree.keys[name].ast, input[name])))))(errors);
+						}
+					} else {
+						const literals = tsplus_module_6.createUnion(tsplus_module_4.from(searchTree.keys[name].literals));
+						tsplus_module_8.push(tsplus_module_7.typeLiteralError(tsplus_module_6.createTypeLiteral(tsplus_module_4.vector(tsplus_module_6.createPropertySignature(name, literals, false, true)), tsplus_module_4.vector()), input, tsplus_module_4.vector(tsplus_module_7.keyError(tsplus_module_6.createKey(name), name, tsplus_module_7.missingError))))(errors);
+					}
+				}
+				else tsplus_module_8.push(tsplus_module_7.typeError(tsplus_module_6.unknownRecord, input))(errors);
+				if (searchTree.otherwise.length > 0) candidates = candidates.concat(searchTree.otherwise);
+				for (let i = 0; i < candidates.length; i++) {
+					const candidate = candidates[i];
+					const pr = map.get(candidate)(input, options);
+					if (tsplus_module_1.isRight(pr)) return pr;
+					else tsplus_module_8.push(tsplus_module_7.unionMemberError(candidate, pr.left))(errors);
+				}
+				return tsplus_module_4.isNonEmpty(errors) ? errors.length === 1 && tsplus_module_4.unsafeGet(0)(errors)._tag === 1 ? tsplus_module_3.fail(tsplus_module_4.unsafeGet(0)(errors)) : tsplus_module_3.fail(tsplus_module_7.unionError(ast, input, tsplus_module_4.from(errors))) : tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.neverKeyword, input));
+			});
+		}
+		case 19: {
+			const f = () => goMemo(ast.getAST(), isDecoding);
+			const get = memoize(f);
+			return tsplus_module_2.make((a, options) => get()(a, options));
+		}
+		case 20: if (isDecoding) {
+			const from = goMemo(ast.from, isDecoding);
+			return tsplus_module_2.make((input, options) => tsplus_module_1.flatMap((a) => tsplus_module_1.mapLeft((failure) => tsplus_module_7.refinementError(ast, input, "Predicate", failure))(ast.decode(a, options)))(tsplus_module_1.mapLeft((failure) => tsplus_module_7.refinementError(ast, input, "From", failure))(from(input, options))));
+		} else {
+			const from = goMemo(ast.from, true);
+			const to = goMemo(tsplus_module_6.getTo(ast.from), false);
+			return tsplus_module_2.make((input, options) => tsplus_module_1.flatMap((a) => from(a, options))(tsplus_module_1.flatMap((a) => ast.decode(a, options))(to(input, options))));
+		}
+		case 21: {
+			const transformation = isDecoding ? ast.decode : ast.encode;
+			const from = isDecoding ? goMemo(ast.from, true) : goMemo(ast.to, false);
+			const to = isDecoding ? goMemo(ast.to, true) : goMemo(ast.from, false);
+			return tsplus_module_2.make((input, options) => tsplus_module_1.flatMap((a) => tsplus_module_1.mapLeft((failure) => tsplus_module_7.transformationError(ast, input, isDecoding ? "Type" : "Encoded", failure))(to(a, options)))(tsplus_module_1.flatMap((a) => tsplus_module_1.mapLeft((failure) => tsplus_module_7.transformationError(ast, input, "Transformation", failure))(transformation(a, options)))(tsplus_module_1.mapLeft((failure) => tsplus_module_7.transformationError(ast, input, isDecoding ? "Encoded" : "Type", failure))(from(input, options)))));
+		}
+		case 22: return tsplus_module_2.make((u, options) => {
+			const missedBrands = tsplus_module_4.emptyPushable();
+			const allErrors = options?.allErrors;
+			for (const validation of ast.validation) if (!validation.validate(u)) {
+				tsplus_module_8.push(validation)(missedBrands);
+				if (allErrors) continue;
+				else return tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.createValidation(ast.from, missedBrands, ast.annotations), u));
+			}
+			return missedBrands.length > 0 ? tsplus_module_3.fail(tsplus_module_7.typeError(tsplus_module_6.createValidation(ast.from, missedBrands, ast.annotations), u)) : tsplus_module_3.succeed(u);
+		});
+	}
 }
-export function parserFor(ast, isDecoding) {
-  return goMemo(ast, isDecoding);
+function parserFor(ast, isDecoding) {
+	return goMemo(ast, isDecoding);
 }
+//#endregion
+export { parserFor };
+
 //# sourceMappingURL=interpreter.mjs.map