@fncts/schema 0.0.23 → 0.0.24

package/_mjs/AST.mjs

@@ -1,20 +1,22 @@
-var _a;
 const fileName_1 = "(@fncts/schema) src/AST.ts";
-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";
+import * as tsplus_module_1 from "@fncts/base/data/Equatable/definition";
+import * as tsplus_module_2 from "@fncts/schema/Show";
+import * as tsplus_module_3 from "@fncts/base/util/predicates";
+import * as tsplus_module_4 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_5 from "@fncts/base/collection/immutable/Vector/definition";
+import * as tsplus_module_6 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_7 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_8 from "@fncts/schema/ParseResult";
+import * as tsplus_module_9 from "@fncts/schema/ParseError/ParseError";
+import * as tsplus_module_10 from "@fncts/base/data/number/instances";
+import * as tsplus_module_11 from "@fncts/base/data/Ord/api/contramap";
+import * as tsplus_module_12 from "@fncts/base/data/Ord/api";
+import * as tsplus_module_13 from "@fncts/base/data/Ord/api/max";
+import * as tsplus_module_14 from "@fncts/base/collection/Iterable/api";
+import * as tsplus_module_15 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_16 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_17 from "@fncts/base/collection/immutable/Vector/internal";
+import * as tsplus_module_18 from "@fncts/base/data/Maybe/api";
 export const createLiteral = createLiteral_1;
 export const isLiteral = isLiteral_1;
 export const createUniqueSymbol = createUniqueSymbol_1;
@@ -41,24 +43,18 @@ import { memoize } from "@fncts/schema/utils";
 import { ASTAnnotationMap } from "./ASTAnnotationMap.mjs";
 export const ASTTypeId = /*#__PURE__*/Symbol.for("fncts.schema.AST");
 export class Annotated {
-  constructor() {
-    this.annotations = ASTAnnotationMap.empty;
-  }
+  annotations = ASTAnnotationMap.empty;
 }
 /**
  * @tsplus type fncts.schema.AST
  * @tsplus companion fncts.schema.ASTOps
  */
 export class AST extends Annotated {
-  constructor() {
-    super(...arguments);
-    this[_a] = ASTTypeId;
-  }
+  [ASTTypeId] = ASTTypeId;
   toString(verbose = false) {
-    return tsplus_module_1.showAST(verbose)(this);
+    return tsplus_module_2.showAST(verbose)(this);
   }
 }
-_a = ASTTypeId;
 /**
  * @tsplus static fncts.schema.ASTOps concrete
  * @tsplus macro remove
@@ -66,6 +62,12 @@ _a = ASTTypeId;
 export function concrete(_) {
   //
 }
+export function isAST(u) {
+  return tsplus_module_3.isObject(u) && ASTTypeId in u;
+}
+function hasTag(u, tag) {
+  return isAST(u) && u._tag === tag;
+}
 export function getAnnotations(key) {
   return self => {
     return self.annotations.get(key);
@@ -78,17 +80,24 @@ export function getAnnotations(key) {
  * @tsplus type fncts.schema.AST.Declaration
  */
 export class Declaration extends AST {
+  typeParameters;
+  decode;
+  encode;
+  annotations;
+  _tag = 0 /* ASTTag.Declaration */;
   constructor(typeParameters, decode, encode, annotations = ASTAnnotationMap.empty) {
     super();
     this.typeParameters = typeParameters;
     this.decode = decode;
     this.encode = encode;
     this.annotations = annotations;
-    this._tag = 0 /* ASTTag.Declaration */;
   }
   clone(newProperties) {
     return new Declaration(newProperties.typeParameters ?? this.typeParameters, newProperties.decode ?? this.decode, newProperties.encode ?? this.encode, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 0 /* ASTTag.Declaration */) && context.comparator(this.typeParameters, that.typeParameters) && context.comparator(this.decode, that.decode) && context.comparator(this.encode, that.encode) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createDeclaration
@@ -104,15 +113,20 @@ export function isDeclaration(self) {
   return self._tag === 0 /* ASTTag.Declaration */;
 }
 export class Literal extends AST {
+  literal;
+  annotations;
+  _tag = 1 /* ASTTag.Literal */;
   constructor(literal, annotations = ASTAnnotationMap.empty) {
     super();
     this.literal = literal;
     this.annotations = annotations;
-    this._tag = 1 /* ASTTag.Literal */;
   }
   clone(newProperties) {
     return new Literal(newProperties.literal ?? this.literal, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 1 /* ASTTag.Literal */) && context.comparator(this.literal, that.literal) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createLiteral
@@ -131,15 +145,20 @@ function isLiteral_1(self) {
  * UniqueSymbol
  */
 export class UniqueSymbol extends AST {
+  symbol;
+  annotations;
+  _tag = 2 /* ASTTag.UniqueSymbol */;
   constructor(symbol, annotations = ASTAnnotationMap.empty) {
     super();
     this.symbol = symbol;
     this.annotations = annotations;
-    this._tag = 2 /* ASTTag.UniqueSymbol */;
   }
   clone(newProperties) {
     return new UniqueSymbol(newProperties.symbol ?? this.symbol, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 2 /* ASTTag.UniqueSymbol */) && context.comparator(this.symbol, that.symbol) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createUniqueSymbol
@@ -158,107 +177,131 @@ function isUniqueSymbol_1(self) {
  * UndefinedKeyword
  */
 export class UndefinedKeyword extends AST {
+  annotations;
+  _tag = 3 /* ASTTag.UndefinedKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 3 /* ASTTag.UndefinedKeyword */;
   }
   clone(newProperties) {
     return new UndefinedKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 3 /* ASTTag.UndefinedKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps undefinedKeyword
  */
-const undefinedKeyword_1 = /*#__PURE__*/new UndefinedKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "undefined"));
+const undefinedKeyword_1 = /*#__PURE__*/new UndefinedKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "undefined"));
 export const undefinedKeyword = undefinedKeyword_1;
 /*
  * VoidKeyword
  */
 export class VoidKeyword extends AST {
+  annotations;
+  _tag = 4 /* ASTTag.VoidKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 4 /* ASTTag.VoidKeyword */;
   }
   clone(newProperties) {
     return new VoidKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 4 /* ASTTag.VoidKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps voidKeyword
  */
-export const voidKeyword = /*#__PURE__*/new VoidKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "void"));
+export const voidKeyword = /*#__PURE__*/new VoidKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "void"));
 /*
  * NeverKeyword
  */
 export class NeverKeyword extends AST {
+  annotations;
+  _tag = 5 /* ASTTag.NeverKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 5 /* ASTTag.NeverKeyword */;
   }
   clone(newProperties) {
     return new NeverKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 5 /* ASTTag.NeverKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps neverKeyword
  */
-const neverKeyword_1 = /*#__PURE__*/new NeverKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "never"));
+const neverKeyword_1 = /*#__PURE__*/new NeverKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "never"));
 export const neverKeyword = neverKeyword_1;
 /*
  * UnknownKeyword
  */
 export class UnknownKeyword extends AST {
+  annotations;
+  _tag = 6 /* ASTTag.UnknownKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 6 /* ASTTag.UnknownKeyword */;
   }
   clone(newProperties) {
     return new UnknownKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 6 /* ASTTag.UnknownKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps unknownKeyword
  */
-const unknownKeyword_1 = /*#__PURE__*/new UnknownKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "unknown"));
+const unknownKeyword_1 = /*#__PURE__*/new UnknownKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "unknown"));
 export const unknownKeyword = unknownKeyword_1;
 /*
  * AnyKeyword
  */
 export class AnyKeyword extends AST {
+  annotations;
+  _tag = 7 /* ASTTag.AnyKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 7 /* ASTTag.AnyKeyword */;
   }
   clone(newProperties) {
     return new AnyKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 7 /* ASTTag.AnyKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps anyKeyword
  */
-export const anyKeyword = /*#__PURE__*/new AnyKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "any"));
+export const anyKeyword = /*#__PURE__*/new AnyKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "any"));
 /*
  * StringKeyword
  */
 export class StringKeyword extends AST {
+  annotations;
+  _tag = 8 /* ASTTag.StringKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 8 /* ASTTag.StringKeyword */;
   }
   clone(newProperties) {
     return new StringKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 8 /* ASTTag.StringKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps stringKeyword
  */
-const stringKeyword_1 = /*#__PURE__*/new StringKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "string"));
+const stringKeyword_1 = /*#__PURE__*/new StringKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "string"));
 export const stringKeyword = stringKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isStringKeyword
@@ -271,19 +314,23 @@ function isStringKeyword_1(self) {
  * NumberKeyword
  */
 export class NumberKeyword extends AST {
+  annotations;
+  _tag = 9 /* ASTTag.NumberKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 9 /* ASTTag.NumberKeyword */;
   }
   clone(newProperties) {
     return new NumberKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 9 /* ASTTag.NumberKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps numberKeyword
  */
-const numberKeyword_1 = /*#__PURE__*/new NumberKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "number"));
+const numberKeyword_1 = /*#__PURE__*/new NumberKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "number"));
 export const numberKeyword = numberKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isNumberKeyword
@@ -296,19 +343,23 @@ function isNumberKeyword_1(self) {
  * BooleanKeyword
  */
 export class BooleanKeyword extends AST {
+  annotations;
+  _tag = 10 /* ASTTag.BooleanKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 10 /* ASTTag.BooleanKeyword */;
   }
   clone(newProperties) {
     return new BooleanKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 10 /* ASTTag.BooleanKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps booleanKeyword
  */
-export const booleanKeyword = /*#__PURE__*/new BooleanKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "boolean"));
+export const booleanKeyword = /*#__PURE__*/new BooleanKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "boolean"));
 /**
  * @tsplus fluent fncts.schema.AST isBooleanKeyword
  */
@@ -320,19 +371,23 @@ export function isBooleanKeyword(self) {
  * BigIntKeyword
  */
 export class BigIntKeyword extends AST {
+  annotations;
+  _tag = 11 /* ASTTag.BigIntKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 11 /* ASTTag.BigIntKeyword */;
   }
   clone(newProperties) {
     return new BigIntKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 11 /* ASTTag.BigIntKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps bigIntKeyword
  */
-export const bigIntKeyword = /*#__PURE__*/new BigIntKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "bigint"));
+export const bigIntKeyword = /*#__PURE__*/new BigIntKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "bigint"));
 /**
  * @tsplus fluent fncts.schema.AST isBigIntKeyword
  */
@@ -344,19 +399,23 @@ export function isBigIntKeyword(self) {
  * SymbolKeyword
  */
 export class SymbolKeyword extends AST {
+  annotations;
+  _tag = 12 /* ASTTag.SymbolKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 12 /* ASTTag.SymbolKeyword */;
   }
   clone(newProperties) {
     return new SymbolKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 12 /* ASTTag.SymbolKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps symbolKeyword
  */
-const symbolKeyword_1 = /*#__PURE__*/new SymbolKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "symbol"));
+const symbolKeyword_1 = /*#__PURE__*/new SymbolKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "symbol"));
 export const symbolKeyword = symbolKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isSymbolKeyword
@@ -369,32 +428,41 @@ function isSymbolKeyword_1(self) {
  * ObjectKeyword
  */
 export class ObjectKeyword extends AST {
+  annotations;
+  _tag = 13 /* ASTTag.ObjectKeyword */;
   constructor(annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 13 /* ASTTag.ObjectKeyword */;
   }
   clone(newProperties) {
     return new ObjectKeyword(newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 13 /* ASTTag.ObjectKeyword */) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps objectKeyword
  */
-export const objectKeyword = /*#__PURE__*/new ObjectKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_2.Title, "object"));
+export const objectKeyword = /*#__PURE__*/new ObjectKeyword(/*#__PURE__*/ASTAnnotationMap.empty.annotate(tsplus_module_4.Title, "object"));
 /*
  * Enum
  */
 export class Enum extends AST {
+  enums;
+  annotations;
+  _tag = 14 /* ASTTag.Enum */;
   constructor(enums, annotations = ASTAnnotationMap.empty) {
     super();
     this.enums = enums;
     this.annotations = annotations;
-    this._tag = 14 /* ASTTag.Enum */;
   }
   clone(newProperties) {
     return new Enum(newProperties.enums ?? this.enums, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 14 /* ASTTag.Enum */) && tsplus_module_5.corresponds(that.enums, ([leftName, leftValue], [rightName, rightValue]) => context.comparator(leftName, rightName) && context.comparator(leftValue, rightValue))(this.enums) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createEnum
@@ -403,10 +471,15 @@ export function createEnum(enums, annotations = ASTAnnotationMap.empty) {
   return new Enum(enums, annotations);
 }
 export class TemplateLiteralSpan {
+  type;
+  literal;
   constructor(type, literal) {
     this.type = type;
     this.literal = literal;
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return that instanceof TemplateLiteralSpan && context.comparator(this.type, that.type) && context.comparator(this.literal, that.literal);
+  }
   toString() {
     switch (this.type._tag) {
       case 8 /* ASTTag.StringKeyword */:
@@ -420,22 +493,28 @@ export class TemplateLiteralSpan {
  * TemplateLiteral
  */
 export class TemplateLiteral extends AST {
+  head;
+  spans;
+  annotations;
+  _tag = 15 /* ASTTag.TemplateLiteral */;
   constructor(head, spans, annotations = ASTAnnotationMap.empty) {
     super();
     this.head = head;
     this.spans = spans;
     this.annotations = annotations;
-    this._tag = 15 /* ASTTag.TemplateLiteral */;
   }
   clone(newProperties) {
     return createTemplateLiteral_1(newProperties.head ?? this.head, newProperties.spans ?? this.spans, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 15 /* ASTTag.TemplateLiteral */) && context.comparator(this.head, that.head) && context.comparator(this.spans, that.spans) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createTemplateLiteral
  */
 function createTemplateLiteral_1(head, spans, annotations = ASTAnnotationMap.empty) {
-  if (tsplus_module_3.isNonEmpty(spans)) {
+  if (tsplus_module_6.isNonEmpty(spans)) {
     return new TemplateLiteral(head, spans, annotations);
   } else {
     return createLiteral_1(head, annotations);
@@ -445,10 +524,15 @@ function createTemplateLiteral_1(head, spans, annotations = ASTAnnotationMap.emp
  * Element
  */
 export class Element {
+  type;
+  isOptional;
   constructor(type, isOptional) {
     this.type = type;
     this.isOptional = isOptional;
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return that instanceof Element && context.comparator(this.type, that.type) && context.comparator(this.isOptional, that.isOptional);
+  }
   toString() {
     return String(this.type) + (this.isOptional ? "?" : "");
   }
@@ -463,17 +547,24 @@ function createElement_1(type, isOptional) {
  * Tuple
  */
 export class Tuple extends AST {
+  elements;
+  rest;
+  isReadonly;
+  annotations;
+  _tag = 16 /* ASTTag.Tuple */;
   constructor(elements, rest, isReadonly, annotations = ASTAnnotationMap.empty) {
     super();
     this.elements = elements;
     this.rest = rest;
     this.isReadonly = isReadonly;
     this.annotations = annotations;
-    this._tag = 16 /* ASTTag.Tuple */;
   }
   clone(newProperties) {
     return new Tuple(newProperties.elements ?? this.elements, newProperties.rest ?? this.rest, newProperties.isReadonly ?? this.isReadonly, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 16 /* ASTTag.Tuple */) && context.comparator(this.elements, that.elements) && context.comparator(this.rest, that.rest) && context.comparator(this.isReadonly, that.isReadonly) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createTuple
@@ -484,11 +575,16 @@ function createTuple_1(elements, rest, isReadonly, annotations = ASTAnnotationMa
 /**
  * @tsplus static fncts.schema.ASTOps unknownArray
  */
-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);
+export const unknownArray = /*#__PURE__*/createTuple_1(/*#__PURE__*/tsplus_module_6.empty(), /*#__PURE__*/tsplus_module_7.just(/*#__PURE__*/tsplus_module_6.vector(unknownKeyword_1), fileName_1 + ":779:65"), true);
 /*
  * PropertySignature
  */
 export class PropertySignature {
+  name;
+  type;
+  isOptional;
+  isReadonly;
+  annotations;
   constructor(name, type, isOptional, isReadonly, annotations = ASTAnnotationMap.empty) {
     this.name = name;
     this.type = type;
@@ -499,6 +595,9 @@ export class PropertySignature {
   clone(newProperties) {
     return new PropertySignature(newProperties.name ?? this.name, newProperties.type ?? this.type, newProperties.isOptional ?? this.isOptional, newProperties.isReadonly ?? this.isReadonly, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return that instanceof PropertySignature && context.comparator(this.name, that.name) && context.comparator(this.type, that.type) && context.comparator(this.isOptional, that.isOptional) && context.comparator(this.isReadonly, that.isReadonly) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createPropertySignature
@@ -510,11 +609,17 @@ function createPropertySignature_1(name, type, isOptional, isReadonly, annotatio
  * IndexSignature
  */
 export class IndexSignature {
+  parameter;
+  type;
+  isReadonly;
   constructor(parameter, type, isReadonly) {
     this.parameter = parameter;
     this.type = type;
     this.isReadonly = isReadonly;
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return that instanceof IndexSignature && context.comparator(this.parameter, that.parameter) && context.comparator(this.type, that.type) && context.comparator(this.isReadonly, that.isReadonly);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createIndexSignature
@@ -526,16 +631,22 @@ function createIndexSignature_1(parameter, type, isReadonly) {
  * TypeLiteral
  */
 export class TypeLiteral extends AST {
+  annotations;
+  _tag = 17 /* ASTTag.TypeLiteral */;
+  propertySignatures;
+  indexSignatures;
   constructor(propertySignatures, indexSignatures, annotations = ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
-    this._tag = 17 /* ASTTag.TypeLiteral */;
     this.propertySignatures = sortByAscendingCardinality(propertySignatures);
     this.indexSignatures = sortByAscendingCardinality(indexSignatures);
   }
   clone(newProperties) {
     return new TypeLiteral(newProperties.propertySignatures ?? this.propertySignatures, newProperties.indexSignatures ?? this.indexSignatures, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 17 /* ASTTag.TypeLiteral */) && context.comparator(this.propertySignatures, that.propertySignatures) && context.comparator(this.indexSignatures, that.indexSignatures) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps isTypeLiteral
@@ -554,20 +665,25 @@ function createTypeLiteral_1(propertySignatures, indexSignatures, annotations) {
 /**
  * @tsplus static fncts.schema.ASTOps unknownRecord
  */
-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)));
+export const unknownRecord = /*#__PURE__*/createTypeLiteral_1(/*#__PURE__*/tsplus_module_6.empty(), /*#__PURE__*/tsplus_module_6.vector(/*#__PURE__*/createIndexSignature_1(stringKeyword_1, unknownKeyword_1, true), /*#__PURE__*/createIndexSignature_1(symbolKeyword_1, unknownKeyword_1, true)));
 /*
  * Union
  */
 export class Union extends AST {
+  types;
+  annotations;
+  _tag = 18 /* ASTTag.Union */;
   constructor(types, annotations = ASTAnnotationMap.empty) {
     super();
     this.types = types;
     this.annotations = annotations;
-    this._tag = 18 /* ASTTag.Union */;
   }
   clone(newProperties) {
     return createUnion_1(newProperties.types ?? this.types, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 18 /* ASTTag.Union */) && context.comparator(this.types, that.types) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus fluent fncts.schema.AST isUnion
@@ -585,7 +701,7 @@ function createUnion_1(candidates, annotations = ASTAnnotationMap.empty) {
     case 0:
       return neverKeyword_1;
     case 1:
-      return tsplus_module_3.unsafeGet(0)(types);
+      return tsplus_module_6.unsafeGet(0)(types);
     default:
       return new Union(sortByDescendingWeight(types), annotations);
   }
@@ -594,15 +710,20 @@ function createUnion_1(candidates, annotations = ASTAnnotationMap.empty) {
  * Lazy
  */
 export class Lazy extends AST {
+  getAST;
+  annotations;
+  _tag = 19 /* ASTTag.Lazy */;
   constructor(getAST, annotations = ASTAnnotationMap.empty) {
     super();
     this.getAST = getAST;
     this.annotations = annotations;
-    this._tag = 19 /* ASTTag.Lazy */;
   }
   clone(newProperties) {
     return new Lazy(newProperties.getAST ?? this.getAST, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that) {
+    return this === that;
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createLazy
@@ -621,19 +742,25 @@ export function isLazy(self) {
  * Refinement
  */
 export class Refinement extends AST {
+  from;
+  predicate;
+  annotations;
+  _tag = 20 /* ASTTag.Refinement */;
   constructor(from, predicate, annotations = ASTAnnotationMap.empty) {
     super();
     this.from = from;
     this.predicate = predicate;
     this.annotations = annotations;
-    this._tag = 20 /* ASTTag.Refinement */;
   }
   decode(input, options) {
-    return this.predicate(input) ? tsplus_module_5.succeed(input) : tsplus_module_5.fail(tsplus_module_6.typeError(this, input));
+    return this.predicate(input) ? tsplus_module_8.succeed(input) : tsplus_module_8.fail(tsplus_module_9.typeError(this, input));
   }
   clone(newProperties) {
     return new Refinement(newProperties.from ?? this.from, newProperties.predicate ?? this.predicate, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 20 /* ASTTag.Refinement */) && context.comparator(this.from, that.from) && context.comparator(this.predicate, that.predicate) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createRefinement
@@ -649,6 +776,12 @@ export function isRefinement(self) {
  * Transform
  */
 export class Transform extends AST {
+  from;
+  to;
+  decode;
+  encode;
+  annotations;
+  _tag = 21 /* ASTTag.Transform */;
   constructor(from, to, decode, encode, annotations = ASTAnnotationMap.empty) {
     super();
     this.from = from;
@@ -656,11 +789,13 @@ export class Transform extends AST {
     this.decode = decode;
     this.encode = encode;
     this.annotations = annotations;
-    this._tag = 21 /* ASTTag.Transform */;
   }
   clone(newProperties) {
     return new Transform(newProperties.from ?? this.from, newProperties.to ?? this.to, newProperties.decode ?? this.decode, newProperties.encode ?? this.encode, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 21 /* ASTTag.Transform */) && context.comparator(this.from, that.from) && context.comparator(this.to, that.to) && context.comparator(this.decode, that.decode) && context.comparator(this.encode, that.encode) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createTransform
@@ -672,16 +807,22 @@ export function createTransform(from, to, decode, encode, annotations) {
  * Validation
  */
 export class Validation extends AST {
+  from;
+  validation;
+  annotations;
+  _tag = 22 /* ASTTag.Validation */;
   constructor(from, validation, annotations = ASTAnnotationMap.empty) {
     super();
     this.from = from;
     this.validation = validation;
     this.annotations = annotations;
-    this._tag = 22 /* ASTTag.Validation */;
   }
   clone(newProperties) {
     return new Validation(newProperties.from ?? this.from, newProperties.validation ?? this.validation, newProperties.annotations ?? this.annotations);
   }
+  [tsplus_module_1.equalsSymbol](that, context) {
+    return hasTag(that, 22 /* ASTTag.Validation */) && context.comparator(this.from, that.from) && context.comparator(this.validation, that.validation) && context.comparator(this.annotations, that.annotations);
+  }
 }
 /**
  * @tsplus static fncts.schema.ASTOps createValidation
@@ -731,26 +872,26 @@ export function getCardinality(ast) {
   }
 }
 function sortByAscendingCardinality(types) {
-  return tsplus_module_3.sort(tsplus_module_8.contramap(({
+  return tsplus_module_6.sort(tsplus_module_11.contramap(({
     type
-  }) => getCardinality(type))(tsplus_module_7.Ord))(types);
+  }) => getCardinality(type))(tsplus_module_10.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);
+const OrdWeight = /*#__PURE__*/tsplus_module_12.tuple(tsplus_module_10.Ord, tsplus_module_10.Ord, tsplus_module_10.Ord);
+const maxWeight = /*#__PURE__*/tsplus_module_13.max(OrdWeight);
 function maxWeightAll(weights) {
-  return tsplus_module_11.foldLeft(emptyWeight, (b, a) => maxWeight(b)(a))(weights);
+  return tsplus_module_14.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 tsplus_module_12.match(() => [6, 0, 0], ast => {
+      return tsplus_module_15.match(() => [6, 0, 0], ast => {
         const [_, y, z] = getWeight(ast);
         return [6, y, z];
-      })(ast.annotations.get(tsplus_module_2.Surrogate));
+      })(ast.annotations.get(tsplus_module_4.Surrogate));
     case 16 /* ASTTag.Tuple */:
-      return [2, ast.elements.length, tsplus_module_12.match(() => 0, rest => rest.length)(ast.rest)];
+      return [2, ast.elements.length, tsplus_module_15.match(() => 0, rest => rest.length)(ast.rest)];
     case 17 /* ASTTag.TypeLiteral */:
       {
         const y = ast.propertySignatures.length;
@@ -758,7 +899,7 @@ export function getWeight(ast) {
         return y + z === 0 ? [-4, 0, 0] : [4, y, z];
       }
     case 18 /* ASTTag.Union */:
-      return maxWeightAll(tsplus_module_3.map(getWeight)(ast.types));
+      return maxWeightAll(tsplus_module_6.map(getWeight)(ast.types));
     case 19 /* ASTTag.Lazy */:
       return [8, 0, 0];
     case 20 /* ASTTag.Refinement */:
@@ -776,28 +917,28 @@ export function getWeight(ast) {
   }
 }
 function sortByDescendingWeight(types) {
-  return tsplus_module_3.sort(tsplus_module_8.contramap(getWeight)(OrdWeight))(types);
+  return tsplus_module_6.sort(tsplus_module_11.contramap(getWeight)(OrdWeight))(types);
 }
 function unify(candidates) {
-  let out = tsplus_module_3.flatMap(ast => {
+  let out = tsplus_module_6.flatMap(ast => {
     void 0;
     switch (ast._tag) {
       case 5 /* ASTTag.NeverKeyword */:
-        return tsplus_module_3.empty();
+        return tsplus_module_6.empty();
       case 18 /* ASTTag.Union */:
         return ast.types;
       default:
-        return tsplus_module_3.vector(ast);
+        return tsplus_module_6.vector(ast);
     }
   })(candidates);
-  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_6.some(isStringKeyword_1)(out)) {
+    out = tsplus_module_6.filter(m => !(isLiteral_1(m) && typeof m.literal === "string"))(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_6.some(isNumberKeyword_1)(out)) {
+    out = tsplus_module_6.filter(m => !(isLiteral_1(m) && typeof m.literal === "number"))(out);
   }
-  if (tsplus_module_3.some(isSymbolKeyword_1)(out)) {
-    out = tsplus_module_3.filter(m => !isUniqueSymbol_1(m))(out);
+  if (tsplus_module_6.some(isSymbolKeyword_1)(out)) {
+    out = tsplus_module_6.filter(m => !isUniqueSymbol_1(m))(out);
   }
   return out;
 }
@@ -826,10 +967,10 @@ export function setAnnotation(annotation, value) {
  */
 export function appendRestElement(restElement) {
   return self => {
-    if (tsplus_module_13.isJust(self.rest)) {
+    if (tsplus_module_16.isJust(self.rest)) {
       throw new Error("A rest element cannot follow another rest element. ts(1265)");
     }
-    return createTuple_1(self.elements, tsplus_module_4.just(tsplus_module_3.vector(restElement), fileName_1 + ":1115:43"), self.isReadonly, self.annotations);
+    return createTuple_1(self.elements, tsplus_module_7.just(tsplus_module_6.vector(restElement), fileName_1 + ":1313:43"), self.isReadonly, self.annotations);
   };
 }
 /**
@@ -837,14 +978,14 @@ export function appendRestElement(restElement) {
  */
 export function appendElement(element) {
   return self => {
-    if (tsplus_module_3.some(e => e.isOptional)(self.elements) && !element.isOptional) {
+    if (tsplus_module_6.some(e => e.isOptional)(self.elements) && !element.isOptional) {
       throw new Error("A required element cannot follow an optional element. ts(1257)");
     }
-    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 => {
+    return tsplus_module_15.match(() => createTuple_1(tsplus_module_6.append(element)(self.elements), tsplus_module_7.nothing(fileName_1 + ":1326: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_4.just(tsplus_module_3.append(element.type)(rest), fileName_1 + ":1133:47"), self.isReadonly, self.annotations);
+      return createTuple_1(self.elements, tsplus_module_7.just(tsplus_module_6.append(element.type)(rest), fileName_1 + ":1331:47"), self.isReadonly, self.annotations);
     })(self.rest);
   };
 }
@@ -858,21 +999,21 @@ function getPropertySignatures_1(self) {
   void 0;
   switch (self._tag) {
     case 0 /* ASTTag.Declaration */:
-      return tsplus_module_12.match(() => tsplus_module_3.empty(), surrogate => getPropertySignatures_1(surrogate))(self.annotations.get(tsplus_module_2.Surrogate));
+      return tsplus_module_15.match(() => tsplus_module_6.empty(), surrogate => getPropertySignatures_1(surrogate))(self.annotations.get(tsplus_module_4.Surrogate));
     case 16 /* ASTTag.Tuple */:
-      return tsplus_module_3.mapWithIndex((i, element) => createPropertySignature_1(i, element.type, element.isOptional, self.isReadonly))(self.elements);
+      return tsplus_module_6.mapWithIndex((i, element) => createPropertySignature_1(i, element.type, element.isOptional, self.isReadonly))(self.elements);
     case 18 /* ASTTag.Union */:
       {
-        const propertySignatures = tsplus_module_3.map(getPropertySignatures_1)(self.types);
-        return tsplus_module_3.filterMap(({
+        const propertySignatures = tsplus_module_6.map(getPropertySignatures_1)(self.types);
+        return tsplus_module_6.filterMap(({
           name
         }) => {
-          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 + ":1165:22");
+          if (tsplus_module_6.every(ps => tsplus_module_6.some(p => p.name === name)(ps))(propertySignatures)) {
+            const members = tsplus_module_6.flatMap(ps => tsplus_module_6.filter(p => p.name === name)(ps))(propertySignatures);
+            return tsplus_module_7.just(createPropertySignature_1(name, createUnion_1(tsplus_module_6.map(p => p.type)(members)), tsplus_module_6.some(p => p.isOptional)(members), tsplus_module_6.some(p => p.isReadonly)(members)), fileName_1 + ":1363:22");
           }
-          return tsplus_module_4.nothing(fileName_1 + ":1174:23");
-        })(tsplus_module_3.unsafeGet(0)(propertySignatures));
+          return tsplus_module_7.nothing(fileName_1 + ":1372:23");
+        })(tsplus_module_6.unsafeGet(0)(propertySignatures));
       }
     case 17 /* ASTTag.TypeLiteral */:
       return self.propertySignatures;
@@ -883,7 +1024,7 @@ function getPropertySignatures_1(self) {
     case 21 /* ASTTag.Transform */:
       return getPropertySignatures_1(self.to);
     default:
-      return tsplus_module_3.empty();
+      return tsplus_module_6.empty();
   }
 }
 /**
@@ -893,16 +1034,16 @@ function keysOf_1(ast) {
   void 0;
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
-      return tsplus_module_12.match(() => tsplus_module_3.empty(), surrogate => keysOf_1(surrogate))(ast.annotations.get(tsplus_module_2.Surrogate));
+      return tsplus_module_15.match(() => tsplus_module_6.empty(), surrogate => keysOf_1(surrogate))(ast.annotations.get(tsplus_module_4.Surrogate));
     case 5 /* ASTTag.NeverKeyword */:
     case 7 /* ASTTag.AnyKeyword */:
-      return tsplus_module_3.vector(stringKeyword_1, numberKeyword_1, symbolKeyword_1);
+      return tsplus_module_6.vector(stringKeyword_1, numberKeyword_1, symbolKeyword_1);
     case 8 /* ASTTag.StringKeyword */:
-      return tsplus_module_3.vector(createLiteral_1("length"));
+      return tsplus_module_6.vector(createLiteral_1("length"));
     case 17 /* ASTTag.TypeLiteral */:
-      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));
+      return tsplus_module_6.concat(tsplus_module_6.map(is => getParameter(is.parameter))(ast.indexSignatures))(tsplus_module_6.map(p => typeof p.name === "symbol" ? createUniqueSymbol_1(p.name) : createLiteral_1(p.name))(ast.propertySignatures));
     case 18 /* ASTTag.Union */:
-      return tsplus_module_3.map(p => typeof p.name === "symbol" ? createUniqueSymbol_1(p.name) : createLiteral_1(p.name))(getPropertySignatures_1(ast));
+      return tsplus_module_6.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 */:
@@ -910,7 +1051,7 @@ function keysOf_1(ast) {
     case 21 /* ASTTag.Transform */:
       return keysOf_1(ast.to);
     default:
-      return tsplus_module_3.empty();
+      return tsplus_module_6.empty();
   }
 }
 /**
@@ -923,8 +1064,8 @@ export function keyof(self) {
  * @tsplus static fncts.schema.ASTOps createRecord
  */
 export function createRecord(key, value, isReadonly) {
-  const propertySignatures = tsplus_module_3.emptyPushable();
-  const indexSignatures = tsplus_module_3.emptyPushable();
+  const propertySignatures = tsplus_module_6.emptyPushable();
+  const indexSignatures = tsplus_module_6.emptyPushable();
   function go(key) {
     void 0;
     switch (key._tag) {
@@ -934,18 +1075,18 @@ export function createRecord(key, value, isReadonly) {
       case 12 /* ASTTag.SymbolKeyword */:
       case 15 /* ASTTag.TemplateLiteral */:
       case 20 /* ASTTag.Refinement */:
-        tsplus_module_14.push(createIndexSignature_1(key, value, isReadonly))(indexSignatures);
+        tsplus_module_17.push(createIndexSignature_1(key, value, isReadonly))(indexSignatures);
         break;
       case 1 /* ASTTag.Literal */:
         if (typeof key.literal === "string" || typeof key.literal === "number") {
-          tsplus_module_14.push(createPropertySignature_1(key.literal, value, false, isReadonly))(propertySignatures);
+          tsplus_module_17.push(createPropertySignature_1(key.literal, value, false, isReadonly))(propertySignatures);
         }
         break;
       case 2 /* ASTTag.UniqueSymbol */:
-        tsplus_module_14.push(createPropertySignature_1(key.symbol, value, false, isReadonly))(propertySignatures);
+        tsplus_module_17.push(createPropertySignature_1(key.symbol, value, false, isReadonly))(propertySignatures);
         break;
       case 18 /* ASTTag.Union */:
-        tsplus_module_3.forEach(go)(key.types);
+        tsplus_module_6.forEach(go)(key.types);
         break;
       default:
         throw new Error(`createRecord: Unsupported key\n${show(key)}`);
@@ -959,7 +1100,7 @@ export function createRecord(key, value, isReadonly) {
  */
 export function pick(keys) {
   return self => {
-    return createTypeLiteral_1(tsplus_module_3.filter(ps => tsplus_module_3.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_3.empty());
+    return createTypeLiteral_1(tsplus_module_6.filter(ps => tsplus_module_6.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_6.empty());
   };
 }
 /**
@@ -967,7 +1108,7 @@ export function pick(keys) {
  */
 export function omit(keys) {
   return self => {
-    return createTypeLiteral_1(tsplus_module_3.filter(ps => !tsplus_module_3.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_3.empty());
+    return createTypeLiteral_1(tsplus_module_6.filter(ps => !tsplus_module_6.includes(ps.name)(keys))(getPropertySignatures_1(self)), tsplus_module_6.empty());
   };
 }
 /**
@@ -977,11 +1118,11 @@ function partial_1(self) {
   void 0;
   switch (self._tag) {
     case 16 /* ASTTag.Tuple */:
-      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);
+      return createTuple_1(tsplus_module_6.map(e => createElement_1(e.type, true))(self.elements), tsplus_module_18.map(rest => tsplus_module_6.vector(createUnion_1(tsplus_module_6.append(undefinedKeyword_1)(rest))))(self.rest), self.isReadonly);
     case 17 /* ASTTag.TypeLiteral */:
-      return createTypeLiteral_1(tsplus_module_3.map(f => createPropertySignature_1(f.name, f.type, true, f.isReadonly, f.annotations))(self.propertySignatures), self.indexSignatures);
+      return createTypeLiteral_1(tsplus_module_6.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_3.map(partial_1)(self.types));
+      return createUnion_1(tsplus_module_6.map(partial_1)(self.types));
     case 19 /* ASTTag.Lazy */:
       return createLazy_1(() => partial_1(self.getAST()));
     case 20 /* ASTTag.Refinement */:
@@ -1006,18 +1147,18 @@ function getFrom_1(ast) {
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
       {
-        const surrogate = ast.annotations.get(tsplus_module_2.Surrogate);
-        if (tsplus_module_13.isJust(surrogate)) {
+        const surrogate = ast.annotations.get(tsplus_module_4.Surrogate);
+        if (tsplus_module_16.isJust(surrogate)) {
           return getFrom_1(surrogate.value);
         }
         break;
       }
     case 16 /* ASTTag.Tuple */:
-      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);
+      return createTuple_1(tsplus_module_6.map(element => createElement_1(getFrom_1(element.type), element.isOptional))(ast.elements), tsplus_module_18.map(restElement => tsplus_module_6.map(getFrom_1)(restElement))(ast.rest), ast.isReadonly, ast.annotations);
     case 17 /* ASTTag.TypeLiteral */:
-      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);
+      return createTypeLiteral_1(tsplus_module_6.map(ps => createPropertySignature_1(ps.name, getFrom_1(ps.type), ps.isOptional, ps.isReadonly, ps.annotations))(ast.propertySignatures), tsplus_module_6.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_3.map(getFrom_1)(ast.types), ast.annotations);
+      return createUnion_1(tsplus_module_6.map(getFrom_1)(ast.types), ast.annotations);
     case 19 /* ASTTag.Lazy */:
       return createLazy_1(() => getFrom_1(ast.getAST()), ast.annotations);
     case 20 /* ASTTag.Refinement */:
@@ -1034,18 +1175,18 @@ function getTo_1(ast) {
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
       {
-        const surrogate = ast.annotations.get(tsplus_module_2.Surrogate);
-        if (tsplus_module_13.isJust(surrogate)) {
+        const surrogate = ast.annotations.get(tsplus_module_4.Surrogate);
+        if (tsplus_module_16.isJust(surrogate)) {
           return getTo_1(surrogate.value);
         }
         break;
       }
     case 16 /* ASTTag.Tuple */:
-      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);
+      return createTuple_1(tsplus_module_6.map(element => createElement_1(getTo_1(element.type), element.isOptional))(ast.elements), tsplus_module_18.map(restElement => tsplus_module_6.map(getTo_1)(restElement))(ast.rest), ast.isReadonly, ast.annotations);
     case 17 /* ASTTag.TypeLiteral */:
-      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);
+      return createTypeLiteral_1(tsplus_module_6.map(ps => createPropertySignature_1(ps.name, getTo_1(ps.type), ps.isOptional, ps.isReadonly, ps.annotations))(ast.propertySignatures), tsplus_module_6.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_3.map(getTo_1)(ast.types), ast.annotations);
+      return createUnion_1(tsplus_module_6.map(getTo_1)(ast.types), ast.annotations);
     case 19 /* ASTTag.Lazy */:
       return createLazy_1(() => getTo_1(ast.getAST()), ast.annotations);
     case 20 /* ASTTag.Refinement */:
@@ -1070,8 +1211,8 @@ export function getLiterals(ast, isDecoding) {
   switch (ast._tag) {
     case 0 /* ASTTag.Declaration */:
       {
-        const surrogate = ast.annotations.get(tsplus_module_2.Surrogate);
-        if (tsplus_module_13.isJust(surrogate)) {
+        const surrogate = ast.annotations.get(tsplus_module_4.Surrogate);
+        if (tsplus_module_16.isJust(surrogate)) {
           return getLiterals(surrogate.value, isDecoding);
         }
         break;
@@ -1080,7 +1221,7 @@ export function getLiterals(ast, isDecoding) {
       {
         const out = [];
         for (let i = 0; i < ast.propertySignatures.length; i++) {
-          const propertySignature = tsplus_module_3.unsafeGet(i)(ast.propertySignatures);
+          const propertySignature = tsplus_module_6.unsafeGet(i)(ast.propertySignatures);
           if (isLiteral_1(propertySignature.type) && !propertySignature.isOptional) {
             out.push([propertySignature.name, propertySignature.type]);
           }
@@ -1098,28 +1239,28 @@ export function getSearchTree(members, isDecoding) {
   const keys = {};
   const otherwise = [];
   for (let i = 0; i < members.length; i++) {
-    const member = tsplus_module_3.unsafeGet(i)(members);
+    const member = tsplus_module_6.unsafeGet(i)(members);
     const tags = getLiterals(member, isDecoding);
     if (tags.length > 0) {
       for (let j = 0; j < tags.length; j++) {
         const [key, literal] = tags[j];
         const hash = String(literal.literal);
-        keys[key] || (keys[key] = {
+        keys[key] ||= {
           buckets: {},
           ast: neverKeyword_1,
           literals: []
-        });
+        };
         const buckets = keys[key].buckets;
         if (Object.prototype.hasOwnProperty.call(buckets, hash)) {
           if (j < tags.length - 1) {
             continue;
           }
           buckets[hash].push(member);
-          keys[key].ast = createUnion_1(tsplus_module_3.vector(keys[key].ast, literal));
+          keys[key].ast = createUnion_1(tsplus_module_6.vector(keys[key].ast, literal));
           keys[key].literals.push(literal);
         } else {
           buckets[hash] = [member];
-          keys[key].ast = createUnion_1(tsplus_module_3.vector(keys[key].ast, literal));
+          keys[key].ast = createUnion_1(tsplus_module_6.vector(keys[key].ast, literal));
           keys[key].literals.push(literal);
           break;
         }
@@ -1139,10 +1280,10 @@ export function getSearchTree(members, isDecoding) {
 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 + ":1512:23"), description => tsplus_module_4.just(`${identifier} (${description})`, fileName_1 + ":1513:34"))(description))(self.annotations.get(tsplus_module_2.Identifier));
+      const description = tsplus_module_18.orElse(() => self.annotations.get(tsplus_module_4.Title))(self.annotations.get(tsplus_module_4.Description));
+      return tsplus_module_15.match(() => description, identifier => tsplus_module_15.match(() => tsplus_module_7.just(identifier, fileName_1 + ":1710:23"), description => tsplus_module_7.just(`${identifier} (${description})`, fileName_1 + ":1711:34"))(description))(self.annotations.get(tsplus_module_4.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)));
+      return tsplus_module_18.orElse(() => self.annotations.get(tsplus_module_4.Description))(tsplus_module_18.orElse(() => self.annotations.get(tsplus_module_4.Title))(self.annotations.get(tsplus_module_4.Identifier)));
     }
   };
 }