@fncts/schema 0.0.16 → 0.0.17

package/_cjs/AST.cjs

@@ -9,7 +9,8 @@ exports.appendRestElement = appendRestElement;
 exports.booleanKeyword = exports.bigIntKeyword = void 0;
 exports.combineAnnotations = combineAnnotations;
 exports.concrete = concrete;
-exports.createElement = exports.createDeclaration = void 0;
+exports.createDeclaration = createDeclaration;
+exports.createElement = void 0;
 exports.createEnum = createEnum;
 exports.createIndexSignature = void 0;
 exports.createKey = createKey;
@@ -22,6 +23,7 @@ exports.createValidation = createValidation;
 exports.getAnnotations = getAnnotations;
 exports.getCardinality = getCardinality;
 exports.getCompiler = getCompiler;
+exports.getFormattedExpected = getFormattedExpected;
 exports.getFrom = void 0;
 exports.getLiterals = getLiterals;
 exports.getParameter = getParameter;
@@ -46,17 +48,21 @@ exports.partial = void 0;
 exports.pick = pick;
 exports.setAnnotation = setAnnotation;
 exports.voidKeyword = exports.unknownRecord = exports.unknownKeyword = exports.unknownArray = exports.undefinedKeyword = exports.symbolKeyword = exports.stringKeyword = void 0;
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ASTAnnotation"));
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Vector/api"));
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ParseResult"));
-var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ParseError"));
-var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/number/instances"));
-var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Ord/api/contramap"));
-var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/definition"));
-var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
-var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Vector/internal"));
-var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/api"));
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/Show"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ASTAnnotation"));
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Vector/api"));
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ParseResult"));
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ParseError/ParseError"));
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/number/instances"));
+var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Ord/api/contramap"));
+var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Ord/api"));
+var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Ord/api/max"));
+var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/Iterable/api"));
+var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+var tsplus_module_13 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/definition"));
+var tsplus_module_14 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Vector/internal"));
+var tsplus_module_15 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/api"));
 var _Showable = /*#__PURE__*/require("@fncts/base/data/Showable");
 var _utils = /*#__PURE__*/require("@fncts/schema/utils");
 var _ASTAnnotationMap = /*#__PURE__*/require("./ASTAnnotationMap.cjs");
@@ -64,7 +70,6 @@ function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return
 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; }
 var _a;
 const fileName_1 = "(@fncts/schema) src/AST.ts";
-const createDeclaration = exports.createDeclaration = createDeclaration_1;
 const createLiteral = exports.createLiteral = createLiteral_1;
 const isLiteral = exports.isLiteral = isLiteral_1;
 const createUniqueSymbol = exports.createUniqueSymbol = createUniqueSymbol_1;
@@ -102,6 +107,9 @@ class AST extends Annotated {
     super(...arguments);
     this[_a] = ASTTypeId;
   }
+  toString(verbose = false) {
+    return tsplus_module_1.showAST(verbose)(this);
+  }
 }
 exports.AST = AST;
 _a = ASTTypeId;
@@ -120,25 +128,28 @@ function getAnnotations(key) {
 /*
  * Declaration
  */
+/**
+ * @tsplus type fncts.schema.AST.Declaration
+ */
 class Declaration extends AST {
-  constructor(typeParameters, type, decode, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
+  constructor(typeParameters, decode, encode, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
     this.typeParameters = typeParameters;
-    this.type = type;
     this.decode = decode;
+    this.encode = encode;
     this.annotations = annotations;
     this._tag = 0 /* ASTTag.Declaration */;
   }
   clone(newProperties) {
-    return new Declaration(newProperties.typeParameters ?? this.typeParameters, newProperties.type ?? this.type, newProperties.decode ?? this.decode, newProperties.annotations ?? this.annotations);
+    return new Declaration(newProperties.typeParameters ?? this.typeParameters, newProperties.decode ?? this.decode, newProperties.encode ?? this.encode, newProperties.annotations ?? this.annotations);
   }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createDeclaration
  */
 exports.Declaration = Declaration;
-function createDeclaration_1(typeParameters, type, decode, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
-  return new Declaration(typeParameters, type, decode, annotations);
+function createDeclaration(typeParameters, decode, encode, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
+  return new Declaration(typeParameters, decode, encode, annotations);
 }
 /**
  * @tsplus fluent fncts.schema.AST isDeclaration
@@ -217,7 +228,7 @@ class UndefinedKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps undefinedKeyword
  */
 exports.UndefinedKeyword = UndefinedKeyword;
-const undefinedKeyword_1 = /*#__PURE__*/new UndefinedKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "undefined"));
+const undefinedKeyword_1 = /*#__PURE__*/new UndefinedKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "undefined"));
 const undefinedKeyword = exports.undefinedKeyword = undefinedKeyword_1;
 /*
  * VoidKeyword
@@ -236,7 +247,7 @@ class VoidKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps voidKeyword
  */
 exports.VoidKeyword = VoidKeyword;
-const voidKeyword = exports.voidKeyword = /*#__PURE__*/new VoidKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "void"));
+const voidKeyword = exports.voidKeyword = /*#__PURE__*/new VoidKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "void"));
 /*
  * NeverKeyword
  */
@@ -254,7 +265,7 @@ class NeverKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps neverKeyword
  */
 exports.NeverKeyword = NeverKeyword;
-const neverKeyword_1 = /*#__PURE__*/new NeverKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "never"));
+const neverKeyword_1 = /*#__PURE__*/new NeverKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "never"));
 const neverKeyword = exports.neverKeyword = neverKeyword_1;
 /*
  * UnknownKeyword
@@ -273,7 +284,7 @@ class UnknownKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps unknownKeyword
  */
 exports.UnknownKeyword = UnknownKeyword;
-const unknownKeyword_1 = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "unknown"));
+const unknownKeyword_1 = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "unknown"));
 const unknownKeyword = exports.unknownKeyword = unknownKeyword_1;
 /*
  * AnyKeyword
@@ -292,7 +303,7 @@ class AnyKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps anyKeyword
  */
 exports.AnyKeyword = AnyKeyword;
-const anyKeyword = exports.anyKeyword = /*#__PURE__*/new AnyKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "any"));
+const anyKeyword = exports.anyKeyword = /*#__PURE__*/new AnyKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "any"));
 /*
  * StringKeyword
  */
@@ -310,7 +321,7 @@ class StringKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps stringKeyword
  */
 exports.StringKeyword = StringKeyword;
-const stringKeyword_1 = /*#__PURE__*/new StringKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "string"));
+const stringKeyword_1 = /*#__PURE__*/new StringKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "string"));
 const stringKeyword = exports.stringKeyword = stringKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isStringKeyword
@@ -336,7 +347,7 @@ class NumberKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps numberKeyword
  */
 exports.NumberKeyword = NumberKeyword;
-const numberKeyword_1 = /*#__PURE__*/new NumberKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "number"));
+const numberKeyword_1 = /*#__PURE__*/new NumberKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "number"));
 const numberKeyword = exports.numberKeyword = numberKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isNumberKeyword
@@ -362,7 +373,7 @@ class BooleanKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps booleanKeyword
  */
 exports.BooleanKeyword = BooleanKeyword;
-const booleanKeyword = exports.booleanKeyword = /*#__PURE__*/new BooleanKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "boolean"));
+const booleanKeyword = exports.booleanKeyword = /*#__PURE__*/new BooleanKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "boolean"));
 /**
  * @tsplus fluent fncts.schema.AST isBooleanKeyword
  */
@@ -387,7 +398,7 @@ class BigIntKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps bigIntKeyword
  */
 exports.BigIntKeyword = BigIntKeyword;
-const bigIntKeyword = exports.bigIntKeyword = /*#__PURE__*/new BigIntKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "bigint"));
+const bigIntKeyword = exports.bigIntKeyword = /*#__PURE__*/new BigIntKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "bigint"));
 /**
  * @tsplus fluent fncts.schema.AST isBigIntKeyword
  */
@@ -412,7 +423,7 @@ class SymbolKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps symbolKeyword
  */
 exports.SymbolKeyword = SymbolKeyword;
-const symbolKeyword_1 = /*#__PURE__*/new SymbolKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "symbol"));
+const symbolKeyword_1 = /*#__PURE__*/new SymbolKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "symbol"));
 const symbolKeyword = exports.symbolKeyword = symbolKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isSymbolKeyword
@@ -438,7 +449,7 @@ class ObjectKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps objectKeyword
  */
 exports.ObjectKeyword = ObjectKeyword;
-const objectKeyword = exports.objectKeyword = /*#__PURE__*/new ObjectKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "object"));
+const objectKeyword = exports.objectKeyword = /*#__PURE__*/new ObjectKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "object"));
 /*
  * Enum
  */
@@ -465,6 +476,14 @@ class TemplateLiteralSpan {
     this.type = type;
     this.literal = literal;
   }
+  toString() {
+    switch (this.type._tag) {
+      case 8 /* ASTTag.StringKeyword */:
+        return "${string}";
+      case 9 /* ASTTag.NumberKeyword */:
+        return "${number}";
+    }
+  }
 }
 /*
  * TemplateLiteral
@@ -487,7 +506,7 @@ class TemplateLiteral extends AST {
  */
 exports.TemplateLiteral = TemplateLiteral;
 function createTemplateLiteral_1(head, spans, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
-  if (tsplus_module_2.isNonEmpty(spans)) {
+  if (tsplus_module_3.isNonEmpty(spans)) {
     return new TemplateLiteral(head, spans, annotations);
   } else {
     return createLiteral_1(head, annotations);
@@ -501,6 +520,9 @@ class Element {
     this.type = type;
     this.isOptional = isOptional;
   }
+  toString() {
+    return String(this.type) + (this.isOptional ? "?" : "");
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createElement
@@ -535,13 +557,12 @@ function createTuple_1(elements, rest, isReadonly, annotations = _ASTAnnotationM
 /**
  * @tsplus static fncts.schema.ASTOps unknownArray
  */
-const unknownArray = exports.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);
+const unknownArray = exports.unknownArray = /*#__PURE__*/createTuple_1( /*#__PURE__*/tsplus_module_3.empty(), /*#__PURE__*/tsplus_module_4.just( /*#__PURE__*/tsplus_module_3.vector(unknownKeyword_1), fileName_1 + ":651:65"), true);
 /*
  * PropertySignature
  */
-class PropertySignature extends AST {
+class PropertySignature {
   constructor(name, type, isOptional, isReadonly, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
-    super();
     this.name = name;
     this.type = type;
     this.isOptional = isOptional;
@@ -609,7 +630,7 @@ function createTypeLiteral_1(propertySignatures, indexSignatures, annotations) {
 /**
  * @tsplus static fncts.schema.ASTOps unknownRecord
  */
-const unknownRecord = exports.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)));
+const unknownRecord = exports.unknownRecord = /*#__PURE__*/createTypeLiteral_1( /*#__PURE__*/tsplus_module_3.empty(), /*#__PURE__*/tsplus_module_3.vector( /*#__PURE__*/createIndexSignature_1(stringKeyword_1, unknownKeyword_1, true), /*#__PURE__*/createIndexSignature_1(symbolKeyword_1, unknownKeyword_1, true)));
 /*
  * Union
  */
@@ -641,7 +662,7 @@ function createUnion_1(candidates, annotations = _ASTAnnotationMap.ASTAnnotation
     case 0:
       return neverKeyword_1;
     case 1:
-      return tsplus_module_2.unsafeGet(0)(types);
+      return tsplus_module_3.unsafeGet(0)(types);
     default:
       return new Union(sortByDescendingWeight(types), annotations);
   }
@@ -686,7 +707,7 @@ class Refinement extends AST {
     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));
+    return this.predicate(input) ? tsplus_module_5.succeed(input) : tsplus_module_5.fail(tsplus_module_6.typeError(this, input));
   }
   clone(newProperties) {
     return new Refinement(newProperties.from ?? this.from, newProperties.predicate ?? this.predicate, newProperties.annotations ?? this.annotations);
@@ -758,10 +779,6 @@ function getCardinality(ast) {
   while (1) {
     void 0;
     switch (ast_1._tag) {
-      case 0 /* ASTTag.Declaration */:
-        ast_2 = ast_1.type;
-        ast_1 = ast_2;
-        continue;
       case 5 /* ASTTag.NeverKeyword */:
         return 0;
       case 1 /* ASTTag.Literal */:
@@ -777,7 +794,7 @@ function getCardinality(ast) {
       case 12 /* ASTTag.SymbolKeyword */:
         return 3;
       case 13 /* ASTTag.ObjectKeyword */:
-        return 4;
+        return 5;
       case 6 /* ASTTag.UnknownKeyword */:
       case 7 /* ASTTag.AnyKeyword */:
         return 6;
@@ -790,59 +807,78 @@ function getCardinality(ast) {
         ast_1 = ast_2;
         continue;
       default:
-        return 5;
+        return 4;
     }
   }
 }
 function sortByAscendingCardinality(types) {
-  return tsplus_module_2.sort(tsplus_module_7.contramap(({
+  return tsplus_module_3.sort(tsplus_module_8.contramap(({
     type
-  }) => getCardinality(type))(tsplus_module_6.Ord))(types);
+  }) => getCardinality(type))(tsplus_module_7.Ord))(types);
+}
+const OrdWeight = /*#__PURE__*/tsplus_module_9.tuple(tsplus_module_7.Ord, tsplus_module_7.Ord, tsplus_module_7.Ord);
+const maxWeight = /*#__PURE__*/tsplus_module_10.max(OrdWeight);
+function maxWeightAll(weights) {
+  return tsplus_module_11.foldLeft(emptyWeight, (b, a) => maxWeight(b)(a))(weights);
 }
+const emptyWeight = [0, 0, 0];
 function getWeight(ast) {
   void 0;
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
-      return getWeight(ast.type);
+      return tsplus_module_12.match(() => [6, 0, 0], ast => {
+        const [_, y, z] = getWeight(ast);
+        return [6, y, z];
+      })(ast.annotations.get(tsplus_module_2.Surrogate));
     case 16 /* ASTTag.Tuple */:
-      return ast.elements.length + (tsplus_module_8.isJust(ast.rest) ? ast.rest.value.length : 0);
+      return [2, ast.elements.length, tsplus_module_12.match(() => 0, rest => rest.length)(ast.rest)];
     case 17 /* ASTTag.TypeLiteral */:
-      return ast.propertySignatures.length + ast.indexSignatures.length;
+      {
+        const y = ast.propertySignatures.length;
+        const z = ast.indexSignatures.length;
+        return y + z === 0 ? [-4, 0, 0] : [4, y, z];
+      }
     case 18 /* ASTTag.Union */:
-      return tsplus_module_2.foldLeft(0, (n, member) => n + getWeight(member))(ast.types);
+      return maxWeightAll(tsplus_module_3.map(getWeight)(ast.types));
     case 19 /* ASTTag.Lazy */:
-      return 10;
+      return [8, 0, 0];
     case 20 /* ASTTag.Refinement */:
-      return getWeight(ast.from);
+      const [x, y, z] = getWeight(ast.from);
+      return [x + 1, y, z];
     case 21 /* ASTTag.Transform */:
-      return getWeight(ast.to);
+      return getWeight(ast.from);
+    case 13 /* ASTTag.ObjectKeyword */:
+      return [-2, 0, 0];
+    case 6 /* ASTTag.UnknownKeyword */:
+    case 7 /* ASTTag.AnyKeyword */:
+      return [-4, 0, 0];
     default:
-      return 0;
+      return emptyWeight;
   }
 }
 function sortByDescendingWeight(types) {
-  return tsplus_module_2.sort(tsplus_module_7.contramap(getWeight)(tsplus_module_6.Ord))(types);
+  return tsplus_module_3.sort(tsplus_module_8.contramap(getWeight)(OrdWeight))(types);
 }
 function unify(candidates) {
-  let out = tsplus_module_2.flatMap(ast => {
+  let out = tsplus_module_3.flatMap(ast => {
     void 0;
     switch (ast._tag) {
       case 5 /* ASTTag.NeverKeyword */:
-        return tsplus_module_2.empty();
+        return tsplus_module_3.empty();
       case 18 /* ASTTag.Union */:
         return ast.types;
       default:
-        return tsplus_module_2.vector(ast);
+        return tsplus_module_3.vector(ast);
     }
   })(candidates);
-  if (tsplus_module_2.some(isStringKeyword_1)(out)) {
-    out = tsplus_module_2.filter(m => !(isLiteral_1(m) && typeof m.literal === "string"))(out);
+  if (tsplus_module_3.some(isStringKeyword_1)(out)) {
+    out = tsplus_module_3.filter(m => !(isLiteral_1(m) && typeof m.literal === "string"))(out);
   }
-  if (tsplus_module_2.some(isNumberKeyword_1)(out)) {
-    out = tsplus_module_2.filter(m => !(isLiteral_1(m) && typeof m.literal === "number"))(out);
+  if (tsplus_module_3.some(isNumberKeyword_1)(out)) {
+    out = tsplus_module_3.filter(m => !(isLiteral_1(m) && typeof m.literal === "number"))(out);
   }
-  if (tsplus_module_2.some(isSymbolKeyword_1)(out)) {
-    out = tsplus_module_2.filter(m => !isUniqueSymbol_1(m))(out);
+  if (tsplus_module_3.some(isSymbolKeyword_1)(out)) {
+    out = tsplus_module_3.filter(m => !isUniqueSymbol_1(m))(out);
   }
   return out;
 }
@@ -871,10 +907,10 @@ function setAnnotation(annotation, value) {
  */
 function appendRestElement(restElement) {
   return self => {
-    if (tsplus_module_8.isJust(self.rest)) {
+    if (tsplus_module_13.isJust(self.rest)) {
       throw new Error("A rest element cannot follow another rest element. ts(1265)");
     }
-    return createTuple_1(self.elements, tsplus_module_3.just(tsplus_module_2.vector(restElement), fileName_1 + ":1062:43"), self.isReadonly, self.annotations);
+    return createTuple_1(self.elements, tsplus_module_4.just(tsplus_module_3.vector(restElement), fileName_1 + ":1115:43"), self.isReadonly, self.annotations);
   };
 }
 /**
@@ -882,14 +918,14 @@ function appendRestElement(restElement) {
  */
 function appendElement(element) {
   return self => {
-    if (tsplus_module_2.some(e => e.isOptional)(self.elements) && !element.isOptional) {
+    if (tsplus_module_3.some(e => e.isOptional)(self.elements) && !element.isOptional) {
       throw new Error("A required element cannot follow an optional element. ts(1257)");
     }
-    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 => {
+    return tsplus_module_12.match(() => createTuple_1(tsplus_module_3.append(element)(self.elements), tsplus_module_4.nothing(fileName_1 + ":1128: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_3.just(tsplus_module_2.append(element.type)(rest), fileName_1 + ":1080:47"), self.isReadonly, self.annotations);
+      return createTuple_1(self.elements, tsplus_module_4.just(tsplus_module_3.append(element.type)(rest), fileName_1 + ":1133:47"), self.isReadonly, self.annotations);
     })(self.rest);
   };
 }
@@ -903,22 +939,24 @@ function getPropertySignatures_1(self) {
   void 0;
   switch (self._tag) {
     case 0 /* ASTTag.Declaration */:
-      return getPropertySignatures_1(self.type);
+      return tsplus_module_12.match(() => tsplus_module_3.empty(), surrogate => getPropertySignatures_1(surrogate))(self.annotations.get(tsplus_module_2.Surrogate));
     case 16 /* ASTTag.Tuple */:
-      return tsplus_module_2.mapWithIndex((i, element) => createPropertySignature_1(i, element.type, element.isOptional, self.isReadonly))(self.elements);
+      return tsplus_module_3.mapWithIndex((i, element) => createPropertySignature_1(i, element.type, element.isOptional, self.isReadonly))(self.elements);
     case 18 /* ASTTag.Union */:
       {
-        const propertySignatures = tsplus_module_2.map(getPropertySignatures_1)(self.types);
-        return tsplus_module_2.filterMap(({
+        const propertySignatures = tsplus_module_3.map(getPropertySignatures_1)(self.types);
+        return tsplus_module_3.filterMap(({
           name
         }) => {
-          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_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");
+          if (tsplus_module_3.every(ps => tsplus_module_3.some(p => p.name === name)(ps))(propertySignatures)) {
+            const members = tsplus_module_3.flatMap(ps => tsplus_module_3.filter(p => p.name === name)(ps))(propertySignatures);
+            return tsplus_module_4.just(createPropertySignature_1(name, createUnion_1(tsplus_module_3.map(p => p.type)(members)), tsplus_module_3.some(p => p.isOptional)(members), tsplus_module_3.some(p => p.isReadonly)(members)), fileName_1 + ":1163:22");
           }
-          return tsplus_module_3.nothing(fileName_1 + ":1116:23");
-        })(tsplus_module_2.unsafeGet(0)(propertySignatures));
+          return tsplus_module_4.nothing(fileName_1 + ":1172:23");
+        })(tsplus_module_3.unsafeGet(0)(propertySignatures));
       }
+    case 17 /* ASTTag.TypeLiteral */:
+      return self.propertySignatures;
     case 19 /* ASTTag.Lazy */:
       return getPropertySignatures_1(self.getAST());
     case 20 /* ASTTag.Refinement */:
@@ -926,7 +964,7 @@ function getPropertySignatures_1(self) {
     case 21 /* ASTTag.Transform */:
       return getPropertySignatures_1(self.to);
     default:
-      return tsplus_module_2.empty();
+      return tsplus_module_3.empty();
   }
 }
 /**
@@ -936,16 +974,16 @@ function keysOf_1(ast) {
   void 0;
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
-      return keysOf_1(ast.type);
+      return tsplus_module_12.match(() => tsplus_module_3.empty(), surrogate => keysOf_1(surrogate))(ast.annotations.get(tsplus_module_2.Surrogate));
     case 5 /* ASTTag.NeverKeyword */:
     case 7 /* ASTTag.AnyKeyword */:
-      return tsplus_module_2.vector(stringKeyword_1, numberKeyword_1, symbolKeyword_1);
+      return tsplus_module_3.vector(stringKeyword_1, numberKeyword_1, symbolKeyword_1);
     case 8 /* ASTTag.StringKeyword */:
-      return tsplus_module_2.vector(createLiteral_1("length"));
+      return tsplus_module_3.vector(createLiteral_1("length"));
     case 17 /* ASTTag.TypeLiteral */:
-      return tsplus_module_2.concat(tsplus_module_2.map(is => getParameter(is.parameter))(ast.indexSignatures))(tsplus_module_2.map(p => typeof p.name === "symbol" ? createUniqueSymbol_1(p.name) : createLiteral_1(p.name))(ast.propertySignatures));
+      return tsplus_module_3.concat(tsplus_module_3.map(is => getParameter(is.parameter))(ast.indexSignatures))(tsplus_module_3.map(p => typeof p.name === "symbol" ? createUniqueSymbol_1(p.name) : createLiteral_1(p.name))(ast.propertySignatures));
     case 18 /* ASTTag.Union */:
-      return tsplus_module_2.map(p => typeof p.name === "symbol" ? createUniqueSymbol_1(p.name) : createLiteral_1(p.name))(getPropertySignatures_1(ast));
+      return tsplus_module_3.map(p => typeof p.name === "symbol" ? createUniqueSymbol_1(p.name) : createLiteral_1(p.name))(getPropertySignatures_1(ast));
     case 19 /* ASTTag.Lazy */:
       return keysOf_1(ast.getAST());
     case 20 /* ASTTag.Refinement */:
@@ -953,7 +991,7 @@ function keysOf_1(ast) {
     case 21 /* ASTTag.Transform */:
       return keysOf_1(ast.to);
     default:
-      return tsplus_module_2.empty();
+      return tsplus_module_3.empty();
   }
 }
 /**
@@ -966,32 +1004,29 @@ function keyof(self) {
  * @tsplus static fncts.schema.ASTOps createRecord
  */
 function createRecord(key, value, isReadonly) {
-  const propertySignatures = tsplus_module_2.emptyPushable();
-  const indexSignatures = tsplus_module_2.emptyPushable();
+  const propertySignatures = tsplus_module_3.emptyPushable();
+  const indexSignatures = tsplus_module_3.emptyPushable();
   function go(key) {
     void 0;
     switch (key._tag) {
-      case 0 /* ASTTag.Declaration */:
-        go(key.type);
-        break;
       case 5 /* ASTTag.NeverKeyword */:
         break;
       case 8 /* ASTTag.StringKeyword */:
       case 12 /* ASTTag.SymbolKeyword */:
       case 15 /* ASTTag.TemplateLiteral */:
       case 20 /* ASTTag.Refinement */:
-        tsplus_module_10.push(createIndexSignature_1(key, value, isReadonly))(indexSignatures);
+        tsplus_module_14.push(createIndexSignature_1(key, value, isReadonly))(indexSignatures);
         break;
       case 1 /* ASTTag.Literal */:
         if (typeof key.literal === "string" || typeof key.literal === "number") {
-          tsplus_module_10.push(createPropertySignature_1(key.literal, value, false, isReadonly))(propertySignatures);
+          tsplus_module_14.push(createPropertySignature_1(key.literal, value, false, isReadonly))(propertySignatures);
         }
         break;
       case 2 /* ASTTag.UniqueSymbol */:
-        tsplus_module_10.push(createPropertySignature_1(key.symbol, value, false, isReadonly))(propertySignatures);
+        tsplus_module_14.push(createPropertySignature_1(key.symbol, value, false, isReadonly))(propertySignatures);
         break;
       case 18 /* ASTTag.Union */:
-        tsplus_module_2.forEach(go)(key.types);
+        tsplus_module_3.forEach(go)(key.types);
         break;
       default:
         throw new Error(`createRecord: Unsupported key\n${(0, _Showable.show)(key)}`);
@@ -1005,7 +1040,7 @@ function createRecord(key, value, isReadonly) {
  */
 function pick(keys) {
   return self => {
-    return createTypeLiteral_1(tsplus_module_2.filter(ps => tsplus_module_2.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_2.empty());
+    return createTypeLiteral_1(tsplus_module_3.filter(ps => tsplus_module_3.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_3.empty());
   };
 }
 /**
@@ -1013,7 +1048,7 @@ function pick(keys) {
  */
 function omit(keys) {
   return self => {
-    return createTypeLiteral_1(tsplus_module_2.filter(ps => !tsplus_module_2.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_2.empty());
+    return createTypeLiteral_1(tsplus_module_3.filter(ps => !tsplus_module_3.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_3.empty());
   };
 }
 /**
@@ -1022,14 +1057,12 @@ function omit(keys) {
 function partial_1(self) {
   void 0;
   switch (self._tag) {
-    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_11.map(rest => tsplus_module_2.vector(createUnion_1(tsplus_module_2.append(undefinedKeyword_1)(rest))))(self.rest), self.isReadonly);
+      return createTuple_1(tsplus_module_3.map(e => createElement_1(e.type, true))(self.elements), tsplus_module_15.map(rest => tsplus_module_3.vector(createUnion_1(tsplus_module_3.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);
+      return createTypeLiteral_1(tsplus_module_3.map(f => createPropertySignature_1(f.name, f.type, true, f.isReadonly, f.annotations))(self.propertySignatures), self.indexSignatures);
     case 18 /* ASTTag.Union */:
-      return createUnion_1(tsplus_module_2.map(partial_1)(self.types));
+      return createUnion_1(tsplus_module_3.map(partial_1)(self.types));
     case 19 /* ASTTag.Lazy */:
       return createLazy_1(() => partial_1(self.getAST()));
     case 20 /* ASTTag.Refinement */:
@@ -1053,13 +1086,19 @@ function getFrom_1(ast) {
   void 0;
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
-      return createDeclaration_1(tsplus_module_2.map(getFrom_1)(ast.typeParameters), ast.type, ast.decode, ast.annotations);
+      {
+        const surrogate = ast.annotations.get(tsplus_module_2.Surrogate);
+        if (tsplus_module_13.isJust(surrogate)) {
+          return getFrom_1(surrogate.value);
+        }
+        break;
+      }
     case 16 /* ASTTag.Tuple */:
-      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);
+      return createTuple_1(tsplus_module_3.map(element => createElement_1(getFrom_1(element.type), element.isOptional))(ast.elements), tsplus_module_15.map(restElement => tsplus_module_3.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);
+      return createTypeLiteral_1(tsplus_module_3.map(ps => createPropertySignature_1(ps.name, getFrom_1(ps.type), ps.isOptional, ps.isReadonly, ps.annotations))(ast.propertySignatures), tsplus_module_3.map(is => createIndexSignature_1(is.parameter, getFrom_1(is.type), is.isReadonly))(ast.indexSignatures), ast.annotations);
     case 18 /* ASTTag.Union */:
-      return createUnion_1(tsplus_module_2.map(getFrom_1)(ast.types), ast.annotations);
+      return createUnion_1(tsplus_module_3.map(getFrom_1)(ast.types), ast.annotations);
     case 19 /* ASTTag.Lazy */:
       return createLazy_1(() => getFrom_1(ast.getAST()), ast.annotations);
     case 20 /* ASTTag.Refinement */:
@@ -1075,13 +1114,19 @@ function getTo_1(ast) {
   void 0;
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
-      return createDeclaration_1(tsplus_module_2.map(getTo_1)(ast.typeParameters), ast.type, ast.decode, ast.annotations);
+      {
+        const surrogate = ast.annotations.get(tsplus_module_2.Surrogate);
+        if (tsplus_module_13.isJust(surrogate)) {
+          return getTo_1(surrogate.value);
+        }
+        break;
+      }
     case 16 /* ASTTag.Tuple */:
-      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);
+      return createTuple_1(tsplus_module_3.map(element => createElement_1(getTo_1(element.type), element.isOptional))(ast.elements), tsplus_module_15.map(restElement => tsplus_module_3.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);
+      return createTypeLiteral_1(tsplus_module_3.map(ps => createPropertySignature_1(ps.name, getTo_1(ps.type), ps.isOptional, ps.isReadonly, ps.annotations))(ast.propertySignatures), tsplus_module_3.map(is => createIndexSignature_1(is.parameter, getTo_1(is.type), is.isReadonly))(ast.indexSignatures), ast.annotations);
     case 18 /* ASTTag.Union */:
-      return createUnion_1(tsplus_module_2.map(getTo_1)(ast.types), ast.annotations);
+      return createUnion_1(tsplus_module_3.map(getTo_1)(ast.types), ast.annotations);
     case 19 /* ASTTag.Lazy */:
       return createLazy_1(() => getTo_1(ast.getAST()), ast.annotations);
     case 20 /* ASTTag.Refinement */:
@@ -1105,12 +1150,18 @@ function getLiterals(ast, isDecoding) {
   void 0;
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
-      return getLiterals(ast.type, isDecoding);
+      {
+        const surrogate = ast.annotations.get(tsplus_module_2.Surrogate);
+        if (tsplus_module_13.isJust(surrogate)) {
+          return getLiterals(surrogate.value, isDecoding);
+        }
+        break;
+      }
     case 17 /* ASTTag.TypeLiteral */:
       {
         const out = [];
         for (let i = 0; i < ast.propertySignatures.length; i++) {
-          const propertySignature = tsplus_module_2.unsafeGet(i)(ast.propertySignatures);
+          const propertySignature = tsplus_module_3.unsafeGet(i)(ast.propertySignatures);
           if (isLiteral_1(propertySignature.type) && !propertySignature.isOptional) {
             out.push([propertySignature.name, propertySignature.type]);
           }
@@ -1128,7 +1179,7 @@ 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 member = tsplus_module_3.unsafeGet(i)(members);
     const tags = getLiterals(member, isDecoding);
     if (tags.length > 0) {
       for (let j = 0; j < tags.length; j++) {
@@ -1136,7 +1187,8 @@ function getSearchTree(members, isDecoding) {
         const hash = String(literal.literal);
         keys[key] || (keys[key] = {
           buckets: {},
-          ast: neverKeyword_1
+          ast: neverKeyword_1,
+          literals: []
         });
         const buckets = keys[key].buckets;
         if (Object.prototype.hasOwnProperty.call(buckets, hash)) {
@@ -1144,10 +1196,12 @@ function getSearchTree(members, isDecoding) {
             continue;
           }
           buckets[hash].push(member);
-          keys[key].ast = createUnion_1(tsplus_module_2.vector(keys[key].ast, literal));
+          keys[key].ast = createUnion_1(tsplus_module_3.vector(keys[key].ast, literal));
+          keys[key].literals.push(literal);
         } else {
           buckets[hash] = [member];
-          keys[key].ast = createUnion_1(tsplus_module_2.vector(keys[key].ast, literal));
+          keys[key].ast = createUnion_1(tsplus_module_3.vector(keys[key].ast, literal));
+          keys[key].literals.push(literal);
           break;
         }
       }
@@ -1160,4 +1214,17 @@ function getSearchTree(members, isDecoding) {
     otherwise
   };
 }
+/**
+ * @tsplus pipeable fncts.schema.AST getFormattedExpected
+ */
+function getFormattedExpected(verbose = false) {
+  return self => {
+    if (verbose) {
+      const description = tsplus_module_15.orElse(() => self.annotations.get(tsplus_module_2.Title))(self.annotations.get(tsplus_module_2.Description));
+      return tsplus_module_12.match(() => description, identifier => tsplus_module_12.match(() => tsplus_module_4.just(identifier, fileName_1 + ":1510:23"), description => tsplus_module_4.just(`${identifier} (${description})`, fileName_1 + ":1511:34"))(description))(self.annotations.get(tsplus_module_2.Identifier));
+    } else {
+      return tsplus_module_15.orElse(() => self.annotations.get(tsplus_module_2.Description))(tsplus_module_15.orElse(() => self.annotations.get(tsplus_module_2.Title))(self.annotations.get(tsplus_module_2.Identifier)));
+    }
+  };
+}
 //# sourceMappingURL=AST.cjs.map