@fncts/schema 0.0.15 → 0.0.17

package/_mjs/AST.mjs

@@ -1,17 +1,20 @@
 var _a;
 const fileName_1 = "(@fncts/schema) src/AST.ts";
-import * as tsplus_module_1 from "@fncts/schema/ASTAnnotation";
-import * as tsplus_module_2 from "@fncts/base/collection/immutable/Vector/api";
-import * as tsplus_module_3 from "@fncts/base/data/Maybe/constructors";
-import * as tsplus_module_4 from "@fncts/schema/ParseResult";
-import * as tsplus_module_5 from "@fncts/schema/ParseError";
-import * as tsplus_module_6 from "@fncts/base/data/number/instances";
-import * as tsplus_module_7 from "@fncts/base/data/Ord/api/contramap";
-import * as tsplus_module_8 from "@fncts/base/data/Maybe/definition";
-import * as tsplus_module_9 from "@fncts/base/data/Maybe/destructors";
-import * as tsplus_module_10 from "@fncts/base/collection/immutable/Vector/internal";
-import * as tsplus_module_11 from "@fncts/base/data/Maybe/api";
-export const createDeclaration = createDeclaration_1;
+import * as tsplus_module_1 from "@fncts/schema/Show";
+import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_3 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_4 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_5 from "@fncts/schema/ParseResult";
+import * as tsplus_module_6 from "@fncts/schema/ParseError/ParseError";
+import * as tsplus_module_7 from "@fncts/base/data/number/instances";
+import * as tsplus_module_8 from "@fncts/base/data/Ord/api/contramap";
+import * as tsplus_module_9 from "@fncts/base/data/Ord/api";
+import * as tsplus_module_10 from "@fncts/base/data/Ord/api/max";
+import * as tsplus_module_11 from "@fncts/base/collection/Iterable/api";
+import * as tsplus_module_12 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_13 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_14 from "@fncts/base/collection/immutable/Vector/internal";
+import * as tsplus_module_15 from "@fncts/base/data/Maybe/api";
 export const createLiteral = createLiteral_1;
 export const isLiteral = isLiteral_1;
 export const createUniqueSymbol = createUniqueSymbol_1;
@@ -51,6 +54,9 @@ export class AST extends Annotated {
     super(...arguments);
     this[_a] = ASTTypeId;
   }
+  toString(verbose = false) {
+    return tsplus_module_1.showAST(verbose)(this);
+  }
 }
 _a = ASTTypeId;
 /**
@@ -68,24 +74,27 @@ export function getAnnotations(key) {
 /*
  * Declaration
  */
+/**
+ * @tsplus type fncts.schema.AST.Declaration
+ */
 export class Declaration extends AST {
-  constructor(typeParameters, type, decode, annotations = ASTAnnotationMap.empty) {
+  constructor(typeParameters, decode, encode, annotations = 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
  */
-function createDeclaration_1(typeParameters, type, decode, annotations = ASTAnnotationMap.empty) {
-  return new Declaration(typeParameters, type, decode, annotations);
+export function createDeclaration(typeParameters, decode, encode, annotations = ASTAnnotationMap.empty) {
+  return new Declaration(typeParameters, decode, encode, annotations);
 }
 /**
  * @tsplus fluent fncts.schema.AST isDeclaration
@@ -161,7 +170,7 @@ export class UndefinedKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps undefinedKeyword
  */
-const undefinedKeyword_1 = /*#__PURE__*/new UndefinedKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "undefined"));
+const undefinedKeyword_1 = /*#__PURE__*/new UndefinedKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "undefined"));
 export const undefinedKeyword = undefinedKeyword_1;
 /*
  * VoidKeyword
@@ -179,7 +188,7 @@ export class VoidKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps voidKeyword
  */
-export const voidKeyword = /*#__PURE__*/new VoidKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "void"));
+export const voidKeyword = /*#__PURE__*/new VoidKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "void"));
 /*
  * NeverKeyword
  */
@@ -196,7 +205,7 @@ export class NeverKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps neverKeyword
  */
-const neverKeyword_1 = /*#__PURE__*/new NeverKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "never"));
+const neverKeyword_1 = /*#__PURE__*/new NeverKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "never"));
 export const neverKeyword = neverKeyword_1;
 /*
  * UnknownKeyword
@@ -214,7 +223,7 @@ export class UnknownKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps unknownKeyword
  */
-const unknownKeyword_1 = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "unknown"));
+const unknownKeyword_1 = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "unknown"));
 export const unknownKeyword = unknownKeyword_1;
 /*
  * AnyKeyword
@@ -232,7 +241,7 @@ export class AnyKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps anyKeyword
  */
-export const anyKeyword = /*#__PURE__*/new AnyKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "any"));
+export const anyKeyword = /*#__PURE__*/new AnyKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "any"));
 /*
  * StringKeyword
  */
@@ -249,7 +258,7 @@ export class StringKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps stringKeyword
  */
-const stringKeyword_1 = /*#__PURE__*/new StringKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "string"));
+const stringKeyword_1 = /*#__PURE__*/new StringKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "string"));
 export const stringKeyword = stringKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isStringKeyword
@@ -274,7 +283,7 @@ export class NumberKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps numberKeyword
  */
-const numberKeyword_1 = /*#__PURE__*/new NumberKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "number"));
+const numberKeyword_1 = /*#__PURE__*/new NumberKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "number"));
 export const numberKeyword = numberKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isNumberKeyword
@@ -299,7 +308,7 @@ export class BooleanKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps booleanKeyword
  */
-export const booleanKeyword = /*#__PURE__*/new BooleanKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "boolean"));
+export const booleanKeyword = /*#__PURE__*/new BooleanKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "boolean"));
 /**
  * @tsplus fluent fncts.schema.AST isBooleanKeyword
  */
@@ -323,7 +332,7 @@ export class BigIntKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps bigIntKeyword
  */
-export const bigIntKeyword = /*#__PURE__*/new BigIntKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "bigint"));
+export const bigIntKeyword = /*#__PURE__*/new BigIntKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "bigint"));
 /**
  * @tsplus fluent fncts.schema.AST isBigIntKeyword
  */
@@ -347,7 +356,7 @@ export class SymbolKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps symbolKeyword
  */
-const symbolKeyword_1 = /*#__PURE__*/new SymbolKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "symbol"));
+const symbolKeyword_1 = /*#__PURE__*/new SymbolKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "symbol"));
 export const symbolKeyword = symbolKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isSymbolKeyword
@@ -372,7 +381,7 @@ export class ObjectKeyword extends AST {
 /**
  * @tsplus static fncts.schema.ASTOps objectKeyword
  */
-export const objectKeyword = /*#__PURE__*/new ObjectKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "object"));
+export const objectKeyword = /*#__PURE__*/new ObjectKeyword( /*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "object"));
 /*
  * Enum
  */
@@ -398,6 +407,14 @@ export 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
@@ -418,7 +435,7 @@ export class TemplateLiteral extends AST {
  * @tsplus static fncts.schema.ASTOps createTemplateLiteral
  */
 function createTemplateLiteral_1(head, spans, annotations = 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);
@@ -432,6 +449,9 @@ export class Element {
     this.type = type;
     this.isOptional = isOptional;
   }
+  toString() {
+    return String(this.type) + (this.isOptional ? "?" : "");
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createElement
@@ -464,13 +484,12 @@ function createTuple_1(elements, rest, isReadonly, annotations = ASTAnnotationMa
 /**
  * @tsplus static fncts.schema.ASTOps unknownArray
  */
-export const unknownArray = /*#__PURE__*/createTuple_1( /*#__PURE__*/tsplus_module_2.empty(), /*#__PURE__*/tsplus_module_3.just( /*#__PURE__*/tsplus_module_2.vector(unknownKeyword_1), fileName_1 + ":629:65"), true);
+export const 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
  */
-export class PropertySignature extends AST {
+export class PropertySignature {
   constructor(name, type, isOptional, isReadonly, annotations = ASTAnnotationMap.empty) {
-    super();
     this.name = name;
     this.type = type;
     this.isOptional = isOptional;
@@ -535,7 +554,7 @@ function createTypeLiteral_1(propertySignatures, indexSignatures, annotations) {
 /**
  * @tsplus static fncts.schema.ASTOps unknownRecord
  */
-export const unknownRecord = /*#__PURE__*/createTypeLiteral_1( /*#__PURE__*/tsplus_module_2.empty(), /*#__PURE__*/tsplus_module_2.vector( /*#__PURE__*/createIndexSignature_1(stringKeyword_1, unknownKeyword_1, true), /*#__PURE__*/createIndexSignature_1(symbolKeyword_1, unknownKeyword_1, true)));
+export const 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
  */
@@ -566,7 +585,7 @@ function createUnion_1(candidates, annotations = ASTAnnotationMap.empty) {
     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);
   }
@@ -610,7 +629,7 @@ export 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);
@@ -679,10 +698,6 @@ export 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 */:
@@ -698,7 +713,7 @@ export 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;
@@ -711,59 +726,78 @@ export 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];
 export 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;
 }
@@ -792,10 +826,10 @@ export function setAnnotation(annotation, value) {
  */
 export 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);
   };
 }
 /**
@@ -803,14 +837,14 @@ export function appendRestElement(restElement) {
  */
 export 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);
   };
 }
@@ -824,22 +858,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 */:
@@ -847,7 +883,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();
   }
 }
 /**
@@ -857,16 +893,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 */:
@@ -874,7 +910,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();
   }
 }
 /**
@@ -887,32 +923,29 @@ export function keyof(self) {
  * @tsplus static fncts.schema.ASTOps createRecord
  */
 export 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${show(key)}`);
@@ -926,7 +959,7 @@ export function createRecord(key, value, isReadonly) {
  */
 export 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());
   };
 }
 /**
@@ -934,7 +967,7 @@ export function pick(keys) {
  */
 export 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());
   };
 }
 /**
@@ -943,14 +976,12 @@ export 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 */:
@@ -974,13 +1005,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 */:
@@ -996,13 +1033,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 */:
@@ -1026,12 +1069,18 @@ export 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]);
           }
@@ -1049,7 +1098,7 @@ export function getSearchTree(members, isDecoding) {
   const keys = {};
   const otherwise = [];
   for (let i = 0; i < members.length; i++) {
-    const member = tsplus_module_2.unsafeGet(i)(members);
+    const member = tsplus_module_3.unsafeGet(i)(members);
     const tags = getLiterals(member, isDecoding);
     if (tags.length > 0) {
       for (let j = 0; j < tags.length; j++) {
@@ -1057,7 +1106,8 @@ export 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)) {
@@ -1065,10 +1115,12 @@ export 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;
         }
       }
@@ -1081,4 +1133,17 @@ export function getSearchTree(members, isDecoding) {
     otherwise
   };
 }
+/**
+ * @tsplus pipeable fncts.schema.AST getFormattedExpected
+ */
+export 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.mjs.map