@fncts/schema 0.0.11 → 0.0.13

package/ASTAnnotation.d.ts

@@ -24,43 +24,43 @@ export declare class ASTAnnotation<V> implements Hashable, Equatable {
     [Symbol.equals](that: unknown): boolean;
 }
 export declare function isASTAnnotation(u: unknown): u is ASTAnnotation<unknown>;
-export declare const TitleTag: import("@fncts/base/data/Tag").Tag<string>;
+export declare const TitleTag: import("@fncts/base/data/Tag").Tag<string, string>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps Title
  * @tsplus location "@fncts/schema/ASTAnnotation"
  */
 export declare const Title: ASTAnnotation<string>;
-export declare const IdentifierTag: import("@fncts/base/data/Tag").Tag<string>;
+export declare const IdentifierTag: import("@fncts/base/data/Tag").Tag<string, string>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps Identifier
  * @tsplus location "@fncts/schema/ASTAnnotation"
  */
 export declare const Identifier: ASTAnnotation<string>;
-export declare const DescriptionTag: import("@fncts/base/data/Tag").Tag<string>;
+export declare const DescriptionTag: import("@fncts/base/data/Tag").Tag<string, string>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps Description
  * @tsplus location "@fncts/schema/ASTAnnotation"
  */
 export declare const Description: ASTAnnotation<string>;
-export declare const MessageTag: import("@fncts/base/data/Tag").Tag<(_: unknown) => string>;
+export declare const MessageTag: import("@fncts/base/data/Tag").Tag<(_: unknown) => string, (_: unknown) => string>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps Message
  * @tsplus location "@fncts/schema/ASTAnnotation"
  */
 export declare const Message: ASTAnnotation<(_: unknown) => string>;
-export declare const BrandTag: import("@fncts/base/data/Tag").Tag<import("@fncts/base/collection/immutable/Vector").Vector<Validation<any, any>>>;
+export declare const BrandTag: import("@fncts/base/data/Tag").Tag<import("@fncts/base/collection/immutable/Vector").Vector<Validation<any, any>>, import("@fncts/base/collection/immutable/Vector").Vector<Validation<any, any>>>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps Brand
  * @tsplus location "@fncts/schema/ASTAnnotation"
  */
 export declare const Brand: ASTAnnotation<import("@fncts/base/collection/immutable/Vector").Vector<Validation<any, any>>>;
-export declare const OptionalTag: import("@fncts/base/data/Tag").Tag<boolean>;
+export declare const OptionalTag: import("@fncts/base/data/Tag").Tag<boolean, boolean>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps Optional
  * @tsplus location "@fncts/schema/ASTAnnotation"
  */
 export declare const Optional: ASTAnnotation<boolean>;
-export declare const ParseOptionalTag: import("@fncts/base/data/Tag").Tag<boolean>;
+export declare const ParseOptionalTag: import("@fncts/base/data/Tag").Tag<boolean, boolean>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps ParseOptional
  * @tsplus location "@fncts/schema/ASTAnnotation"
@@ -68,13 +68,13 @@ export declare const ParseOptionalTag: import("@fncts/base/data/Tag").Tag<boolea
 export declare const ParseOptional: ASTAnnotation<boolean>;
 export type Hook<A> = (...typeParameters: ReadonlyArray<A>) => A;
 export declare function hook(handler: (...typeParameters: ReadonlyArray<any>) => any): Hook<any>;
-export declare const ParserHookTag: import("@fncts/base/data/Tag").Tag<Hook<any>>;
+export declare const ParserHookTag: import("@fncts/base/data/Tag").Tag<Hook<any>, Hook<any>>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps ParserHook
  * @tsplus location "@fncts/schema/ASTAnnotation"
  */
 export declare const ParserHook: ASTAnnotation<Hook<any>>;
-export declare const GenHookTag: import("@fncts/base/data/Tag").Tag<Hook<any>>;
+export declare const GenHookTag: import("@fncts/base/data/Tag").Tag<Hook<any>, Hook<any>>;
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps GenHook
  * @tsplus location "@fncts/schema/ASTAnnotation"

package/Parser.d.ts

@@ -1,3 +1,3 @@
-export * from "./Parser/api.js";
-export * from "./Parser/definition.js";
 export * from "./Parser/interpreter.js";
+export * from "./Parser/definition.js";
+export * from "./Parser/api.js";

package/Schema/api.d.ts

@@ -19,7 +19,7 @@ export declare function make<A>(ast: AST): Schema<A>;
  * @tsplus pipeable fncts.schema.Schema annotate
  * @tsplus location "@fncts/schema/Schema/api"
  */
-export declare function annotate<V>(annotation: ASTAnnotation<V>, value: V): <A>(self: import("./definition.js").Schema<A>) => import("./definition.js").Schema<A>;
+export declare function annotate<V>(annotation: ASTAnnotation<V>, value: V): <A>(self: Schema<A>) => Schema<A>;
 /**
  * @tsplus static fncts.schema.SchemaOps declaration
  * @tsplus location "@fncts/schema/Schema/api"
@@ -235,7 +235,7 @@ export declare function keyof<A>(self: Schema<A>): Schema<keyof A>;
  * @tsplus pipeable fncts.schema.Schema extend
  * @tsplus location "@fncts/schema/Schema/api"
  */
-export declare function extend<B>(that: Schema<B>): <A>(self: import("./definition.js").Schema<A>) => import("./definition.js").Schema<Spread<A & B>>;
+export declare function extend<B>(that: Schema<B>): <A>(self: Schema<A>) => Schema<Spread<A & B>>;
 /**
  * @tsplus pipeable fncts.schema.Schema instanceOf
  * @tsplus location "@fncts/schema/Schema/api"

package/Schema/derivations.d.ts

@@ -57,11 +57,15 @@ export declare function deriveTuple<A extends ReadonlyArray<unknown>>(...[compon
  */
 export declare function deriveLazy<A>(f: (_: Schema<A>) => Schema<A>): Schema<A>;
 /**
- * @tsplus derive fncts.schema.Schema[fncts.Array]<_> 10
  * @tsplus derive fncts.schema.Schema[fncts.ReadonlyArray]<_> 10
  * @tsplus location "@fncts/schema/Schema/derivations"
  */
-export declare function deriveArray<A extends ReadonlyArray<any>>(...[element]: [A] extends [ReadonlyArray<infer _A>] ? Check<Check.IsEqual<A, ReadonlyArray<_A>>> extends Check.True ? [element: Schema<_A>] : never : never): Schema<A>;
+export declare function deriveReadonlyArray<A extends ReadonlyArray<any>>(...[element]: [A] extends [ReadonlyArray<infer _A>] ? Check<Check.IsEqual<A, ReadonlyArray<_A>>> extends Check.True ? [element: Schema<_A>] : never : never): Schema<A>;
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.Array]<_> 10
+ * @tsplus location "@fncts/schema/Schema/derivations"
+ */
+export declare function deriveArray<A extends Array<any>>(...[element]: [A] extends [Array<infer _A>] ? Check<Check.IsEqual<A, Array<_A>>> extends Check.True ? [element: Schema<_A>] : never : never): Schema<A>;
 /**
  * @tsplus derive fncts.schema.Schema<_> 15
  * @tsplus location "@fncts/schema/Schema/derivations"

package/Schema.d.ts

@@ -1,11 +1,11 @@
-export * from "./Schema/api.js";
-export * from "./Schema/definition.js";
 export * from "./Schema/derivations.js";
-export * from "./Schema/api/conc.js";
-export * from "./Schema/api/either.js";
-export * from "./Schema/api/hashMap.js";
-export * from "./Schema/api/hashSet.js";
-export * from "./Schema/api/immutableArray.js";
-export * from "./Schema/api/list.js";
+export * from "./Schema/definition.js";
+export * from "./Schema/api.js";
 export * from "./Schema/api/maybe.js";
+export * from "./Schema/api/list.js";
+export * from "./Schema/api/immutableArray.js";
+export * from "./Schema/api/hashSet.js";
+export * from "./Schema/api/hashMap.js";
+export * from "./Schema/api/either.js";
+export * from "./Schema/api/conc.js";
 export type {} from "./Parser.js";

package/Show.d.ts

@@ -0,0 +1,8 @@
+import { Schema } from "@fncts/schema/Schema/definition";
+import { AST } from "@fncts/schema/AST";
+import { Eval } from "@fncts/base/control/Eval/definition";
+/**
+ * @tsplus getter fncts.schema.Schema show
+ * @tsplus location "@fncts/schema/Show"
+ */
+export declare function show<A>(self: Schema<A>): string;

package/_cjs/AST.cjs

@@ -54,60 +54,35 @@ var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 var _Showable = /*#__PURE__*/require("@fncts/base/data/Showable");
 var _utils = /*#__PURE__*/require("@fncts/schema/utils");
 var _ASTAnnotationMap = /*#__PURE__*/require("./ASTAnnotationMap.cjs");
-function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
-function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
+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 = createDeclaration_1;
-exports.createDeclaration = createDeclaration;
-const createLiteral = createLiteral_1;
-exports.createLiteral = createLiteral;
-const isLiteral = isLiteral_1;
-exports.isLiteral = isLiteral;
-const createUniqueSymbol = createUniqueSymbol_1;
-exports.createUniqueSymbol = createUniqueSymbol;
-const isUniqueSymbol = isUniqueSymbol_1;
-exports.isUniqueSymbol = isUniqueSymbol;
-const isStringKeyword = isStringKeyword_1;
-exports.isStringKeyword = isStringKeyword;
-const isNumberKeyword = isNumberKeyword_1;
-exports.isNumberKeyword = isNumberKeyword;
-const isSymbolKeyword = isSymbolKeyword_1;
-exports.isSymbolKeyword = isSymbolKeyword;
-const createTemplateLiteral = createTemplateLiteral_1;
-exports.createTemplateLiteral = createTemplateLiteral;
-const createElement = createElement_1;
-exports.createElement = createElement;
-const createTuple = createTuple_1;
-exports.createTuple = createTuple;
-const createPropertySignature = createPropertySignature_1;
-exports.createPropertySignature = createPropertySignature;
-const createIndexSignature = createIndexSignature_1;
-exports.createIndexSignature = createIndexSignature;
-const createTypeLiteral = createTypeLiteral_1;
-exports.createTypeLiteral = createTypeLiteral;
-const createUnion = createUnion_1;
-exports.createUnion = createUnion;
-const createLazy = createLazy_1;
-exports.createLazy = createLazy;
-const createRefinement = createRefinement_1;
-exports.createRefinement = createRefinement;
-const createTransform = createTransform_1;
-exports.createTransform = createTransform;
-const getPropertySignatures = getPropertySignatures_1;
-exports.getPropertySignatures = getPropertySignatures;
-const keysOf = keysOf_1;
-exports.keysOf = keysOf;
-const partial = partial_1;
-exports.partial = partial;
-const getFrom = getFrom_1;
-exports.getFrom = getFrom;
-const getTo = getTo_1;
-exports.getTo = getTo;
-const reverse = reverse_1;
-exports.reverse = reverse;
-const ASTTypeId = /*#__PURE__*/Symbol.for("fncts.schema.AST");
-exports.ASTTypeId = ASTTypeId;
+const createDeclaration = exports.createDeclaration = createDeclaration_1;
+const createLiteral = exports.createLiteral = createLiteral_1;
+const isLiteral = exports.isLiteral = isLiteral_1;
+const createUniqueSymbol = exports.createUniqueSymbol = createUniqueSymbol_1;
+const isUniqueSymbol = exports.isUniqueSymbol = isUniqueSymbol_1;
+const isStringKeyword = exports.isStringKeyword = isStringKeyword_1;
+const isNumberKeyword = exports.isNumberKeyword = isNumberKeyword_1;
+const isSymbolKeyword = exports.isSymbolKeyword = isSymbolKeyword_1;
+const createTemplateLiteral = exports.createTemplateLiteral = createTemplateLiteral_1;
+const createElement = exports.createElement = createElement_1;
+const createTuple = exports.createTuple = createTuple_1;
+const createPropertySignature = exports.createPropertySignature = createPropertySignature_1;
+const createIndexSignature = exports.createIndexSignature = createIndexSignature_1;
+const createTypeLiteral = exports.createTypeLiteral = createTypeLiteral_1;
+const createUnion = exports.createUnion = createUnion_1;
+const createLazy = exports.createLazy = createLazy_1;
+const createRefinement = exports.createRefinement = createRefinement_1;
+const createTransform = exports.createTransform = createTransform_1;
+const getPropertySignatures = exports.getPropertySignatures = getPropertySignatures_1;
+const keysOf = exports.keysOf = keysOf_1;
+const partial = exports.partial = partial_1;
+const getFrom = exports.getFrom = getFrom_1;
+const getTo = exports.getTo = getTo_1;
+const reverse = exports.reverse = reverse_1;
+const ASTTypeId = exports.ASTTypeId = /*#__PURE__*/Symbol.for("fncts.schema.AST");
 class Annotated {
   constructor() {
     this.annotations = _ASTAnnotationMap.ASTAnnotationMap.empty;
@@ -150,7 +125,6 @@ class Declaration extends AST {
     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);
   }
@@ -169,7 +143,6 @@ function isDeclaration(self) {
   void 0;
   return self._tag === 0 /* ASTTag.Declaration */;
 }
-
 class Literal extends AST {
   constructor(literal, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
@@ -177,7 +150,6 @@ class Literal extends AST {
     this.annotations = annotations;
     this._tag = 1 /* ASTTag.Literal */;
   }
-
   clone(newProperties) {
     return new Literal(newProperties.literal ?? this.literal, newProperties.annotations ?? this.annotations);
   }
@@ -206,7 +178,6 @@ class UniqueSymbol extends AST {
     this.annotations = annotations;
     this._tag = 2 /* ASTTag.UniqueSymbol */;
   }
-
   clone(newProperties) {
     return new UniqueSymbol(newProperties.symbol ?? this.symbol, newProperties.annotations ?? this.annotations);
   }
@@ -234,7 +205,6 @@ class UndefinedKeyword extends AST {
     this.annotations = annotations;
     this._tag = 3 /* ASTTag.UndefinedKeyword */;
   }
-
   clone(newProperties) {
     return new UndefinedKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -244,18 +214,16 @@ class UndefinedKeyword extends AST {
  */
 exports.UndefinedKeyword = UndefinedKeyword;
 const undefinedKeyword_1 = /*#__PURE__*/new UndefinedKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "undefined"));
-const undefinedKeyword = undefinedKeyword_1;
+const undefinedKeyword = exports.undefinedKeyword = undefinedKeyword_1;
 /*
  * VoidKeyword
  */
-exports.undefinedKeyword = undefinedKeyword;
 class VoidKeyword extends AST {
   constructor(annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
     this._tag = 4 /* ASTTag.VoidKeyword */;
   }
-
   clone(newProperties) {
     return new VoidKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -264,18 +232,16 @@ class VoidKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps voidKeyword
  */
 exports.VoidKeyword = VoidKeyword;
-const 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_1.Title, "void"));
 /*
  * NeverKeyword
  */
-exports.voidKeyword = voidKeyword;
 class NeverKeyword extends AST {
   constructor(annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
     this._tag = 5 /* ASTTag.NeverKeyword */;
   }
-
   clone(newProperties) {
     return new NeverKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -285,18 +251,16 @@ class NeverKeyword extends AST {
  */
 exports.NeverKeyword = NeverKeyword;
 const neverKeyword_1 = /*#__PURE__*/new NeverKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "never"));
-const neverKeyword = neverKeyword_1;
+const neverKeyword = exports.neverKeyword = neverKeyword_1;
 /*
  * UnknownKeyword
  */
-exports.neverKeyword = neverKeyword;
 class UnknownKeyword extends AST {
   constructor(annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
     this._tag = 6 /* ASTTag.UnknownKeyword */;
   }
-
   clone(newProperties) {
     return new UnknownKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -305,18 +269,16 @@ class UnknownKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps unknownKeyword
  */
 exports.UnknownKeyword = UnknownKeyword;
-const unknownKeyword = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "unknown"));
+const unknownKeyword = exports.unknownKeyword = /*#__PURE__*/new UnknownKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "unknown"));
 /*
  * AnyKeyword
  */
-exports.unknownKeyword = unknownKeyword;
 class AnyKeyword extends AST {
   constructor(annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
     this._tag = 7 /* ASTTag.AnyKeyword */;
   }
-
   clone(newProperties) {
     return new AnyKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -325,18 +287,16 @@ class AnyKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps anyKeyword
  */
 exports.AnyKeyword = AnyKeyword;
-const 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_1.Title, "any"));
 /*
  * StringKeyword
  */
-exports.anyKeyword = anyKeyword;
 class StringKeyword extends AST {
   constructor(annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
     this.annotations = annotations;
     this._tag = 8 /* ASTTag.StringKeyword */;
   }
-
   clone(newProperties) {
     return new StringKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -346,11 +306,10 @@ class StringKeyword extends AST {
  */
 exports.StringKeyword = StringKeyword;
 const stringKeyword_1 = /*#__PURE__*/new StringKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "string"));
-const stringKeyword = stringKeyword_1;
+const stringKeyword = exports.stringKeyword = stringKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isStringKeyword
  */
-exports.stringKeyword = stringKeyword;
 function isStringKeyword_1(self) {
   void 0;
   return self._tag === 8 /* ASTTag.StringKeyword */;
@@ -364,7 +323,6 @@ class NumberKeyword extends AST {
     this.annotations = annotations;
     this._tag = 9 /* ASTTag.NumberKeyword */;
   }
-
   clone(newProperties) {
     return new NumberKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -374,11 +332,10 @@ class NumberKeyword extends AST {
  */
 exports.NumberKeyword = NumberKeyword;
 const numberKeyword_1 = /*#__PURE__*/new NumberKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "number"));
-const numberKeyword = numberKeyword_1;
+const numberKeyword = exports.numberKeyword = numberKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isNumberKeyword
  */
-exports.numberKeyword = numberKeyword;
 function isNumberKeyword_1(self) {
   void 0;
   return self._tag === 9 /* ASTTag.NumberKeyword */;
@@ -392,7 +349,6 @@ class BooleanKeyword extends AST {
     this.annotations = annotations;
     this._tag = 10 /* ASTTag.BooleanKeyword */;
   }
-
   clone(newProperties) {
     return new BooleanKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -401,11 +357,10 @@ class BooleanKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps booleanKeyword
  */
 exports.BooleanKeyword = BooleanKeyword;
-const 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_1.Title, "boolean"));
 /**
  * @tsplus fluent fncts.schema.AST isBooleanKeyword
  */
-exports.booleanKeyword = booleanKeyword;
 function isBooleanKeyword(self) {
   void 0;
   return self._tag === 10 /* ASTTag.BooleanKeyword */;
@@ -419,7 +374,6 @@ class BigIntKeyword extends AST {
     this.annotations = annotations;
     this._tag = 11 /* ASTTag.BigIntKeyword */;
   }
-
   clone(newProperties) {
     return new BigIntKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -428,11 +382,10 @@ class BigIntKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps bigIntKeyword
  */
 exports.BigIntKeyword = BigIntKeyword;
-const 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_1.Title, "bigint"));
 /**
  * @tsplus fluent fncts.schema.AST isBigIntKeyword
  */
-exports.bigIntKeyword = bigIntKeyword;
 function isBigIntKeyword(self) {
   void 0;
   return self._tag === 11 /* ASTTag.BigIntKeyword */;
@@ -446,7 +399,6 @@ class SymbolKeyword extends AST {
     this.annotations = annotations;
     this._tag = 12 /* ASTTag.SymbolKeyword */;
   }
-
   clone(newProperties) {
     return new SymbolKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -456,11 +408,10 @@ class SymbolKeyword extends AST {
  */
 exports.SymbolKeyword = SymbolKeyword;
 const symbolKeyword_1 = /*#__PURE__*/new SymbolKeyword( /*#__PURE__*/_ASTAnnotationMap.ASTAnnotationMap.empty.annotate(tsplus_module_1.Title, "symbol"));
-const symbolKeyword = symbolKeyword_1;
+const symbolKeyword = exports.symbolKeyword = symbolKeyword_1;
 /**
  * @tsplus fluent fncts.schema.AST isSymbolKeyword
  */
-exports.symbolKeyword = symbolKeyword;
 function isSymbolKeyword_1(self) {
   void 0;
   return self._tag === 12 /* ASTTag.SymbolKeyword */;
@@ -474,7 +425,6 @@ class ObjectKeyword extends AST {
     this.annotations = annotations;
     this._tag = 13 /* ASTTag.ObjectKeyword */;
   }
-
   clone(newProperties) {
     return new ObjectKeyword(newProperties.annotations ?? this.annotations);
   }
@@ -483,11 +433,10 @@ class ObjectKeyword extends AST {
  * @tsplus static fncts.schema.ASTOps objectKeyword
  */
 exports.ObjectKeyword = ObjectKeyword;
-const 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_1.Title, "object"));
 /*
  * Enum
  */
-exports.objectKeyword = objectKeyword;
 class Enum extends AST {
   constructor(enums, annotations = _ASTAnnotationMap.ASTAnnotationMap.empty) {
     super();
@@ -495,7 +444,6 @@ class Enum extends AST {
     this.annotations = annotations;
     this._tag = 14 /* ASTTag.Enum */;
   }
-
   clone(newProperties) {
     return new Enum(newProperties.enums ?? this.enums, newProperties.annotations ?? this.annotations);
   }
@@ -525,7 +473,6 @@ class TemplateLiteral extends AST {
     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);
   }
@@ -569,7 +516,6 @@ class Tuple extends AST {
     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);
   }
@@ -661,7 +607,6 @@ class Union extends AST {
     this.annotations = annotations;
     this._tag = 18 /* ASTTag.Union */;
   }
-
   clone(newProperties) {
     return createUnion_1(newProperties.types ?? this.types, newProperties.annotations ?? this.annotations);
   }
@@ -698,7 +643,6 @@ class Lazy extends AST {
     this.annotations = annotations;
     this._tag = 19 /* ASTTag.Lazy */;
   }
-
   clone(newProperties) {
     return new Lazy(newProperties.getAST ?? this.getAST, newProperties.annotations ?? this.annotations);
   }
@@ -729,7 +673,6 @@ class Refinement extends AST {
     this.annotations = annotations;
     this._tag = 20 /* ASTTag.Refinement */;
   }
-
   clone(newProperties) {
     return new Refinement(newProperties.from ?? this.from, newProperties.decode ?? this.decode, newProperties.isReversed ?? this.isReversed, newProperties.annotations ?? this.annotations);
   }
@@ -759,7 +702,6 @@ class Transform extends AST {
     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.isReversed ?? this.isReversed, newProperties.annotations ?? this.annotations);
   }
@@ -782,7 +724,6 @@ class Validation extends AST {
     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);
   }
@@ -919,7 +860,7 @@ function appendRestElement(restElement) {
     if (tsplus_module_5.isJust(self.rest)) {
       throw new Error("A rest element cannot follow another rest element. ts(1265)");
     }
-    return createTuple_1(self.elements, tsplus_module_6.just(tsplus_module_2.vector(restElement), fileName_1 + ":1030:43"), self.isReadonly, self.annotations);
+    return createTuple_1(self.elements, tsplus_module_6.just(tsplus_module_2.vector(restElement), fileName_1 + ":1048:43"), self.isReadonly, self.annotations);
   };
 }
 /**
@@ -930,11 +871,11 @@ function appendElement(element) {
     if (tsplus_module_2.some(e => e.isOptional)(self.elements) && !element.isOptional) {
       throw new Error("A required element cannot follow an optional element. ts(1257)");
     }
-    return tsplus_module_7.match(() => createTuple_1(tsplus_module_2.append(element)(self.elements), tsplus_module_6.nothing(fileName_1 + ":1043:63"), self.isReadonly, self.annotations), rest => {
+    return tsplus_module_7.match(() => createTuple_1(tsplus_module_2.append(element)(self.elements), tsplus_module_6.nothing(fileName_1 + ":1061: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_6.just(tsplus_module_2.append(element.type)(rest), fileName_1 + ":1048:47"), self.isReadonly, self.annotations);
+      return createTuple_1(self.elements, tsplus_module_6.just(tsplus_module_2.append(element.type)(rest), fileName_1 + ":1066:47"), self.isReadonly, self.annotations);
     })(self.rest);
   };
 }
@@ -959,9 +900,9 @@ function getPropertySignatures_1(self) {
         }) => {
           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_6.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 + ":1075:22");
+            return tsplus_module_6.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 + ":1093:22");
           }
-          return tsplus_module_6.nothing(fileName_1 + ":1084:23");
+          return tsplus_module_6.nothing(fileName_1 + ":1102:23");
         })(tsplus_module_2.unsafeGet(0)(propertySignatures));
       }
     case 19 /* ASTTag.Lazy */: