@fncts/schema 0.0.12 → 0.0.13

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/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/Gen.cjs

@@ -117,7 +117,6 @@ const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
       {
         const propertySignatureTypes = tsplus_module_4.map(ps => go(ps.type))(ast.propertySignatures);
         const indexSignatures = tsplus_module_4.map(is => [go(is.parameter), go(is.type)])(ast.indexSignatures);
-        const gens = {};
         const requiredGens = {};
         const optionalGens = {};
         for (let i = 0; i < propertySignatureTypes.length; i++) {
@@ -161,7 +160,7 @@ const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
     case 14 /* ASTTag.Enum */:
       {
         if (ast.enums.length === 0) {
-          return tsplus_module_3.fromIO(tsplus_module_6.haltNow(new _InvalidInterpretationError.InvalidInterpretationError("cannot build a Gen for an empty enum"), fileName_1 + ":147:37"));
+          return tsplus_module_3.fromIO(tsplus_module_6.haltNow(new _InvalidInterpretationError.InvalidInterpretationError("cannot build a Gen for an empty enum"), fileName_1 + ":146:37"));
         }
         return tsplus_module_3.oneOf(...tsplus_module_4.map(([_, value]) => tsplus_module_3.constant(value))(ast.enums));
       }

package/_cjs/Gen.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"Gen.cjs","names":["_InvalidInterpretationError","require","_utils","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","genFrom","self","go","tsplus_module_1","getFrom","ast","genTo","getHook","annotations","tsplus_module_2","GenHook","record","key","value","tsplus_module_3","map","tuples","out","k","v","arrayWith","maxLength","tuple","memoize","_tag","tsplus_module_5","match","type","hook","tsplus_module_4","typeParameters","constant","literal","symbol","undefined","fromIO","tsplus_module_6","haltNow","InvalidInterpretationError","fileName_1","anything","fullUnicodeString","float","boolean","bigInt","s","Symbol","for","components","head","span","spans","push","join","elements","rest","tsplus_module_7","restElement","output","length","tsplus_module_8","isNothing","firstOptionalIndex","findIndex","isOptional","flatMap","as","slice","intWith","min","max","isJust","unsafeHead","tail","j","unsafeGet","propertySignatureTypes","ps","propertySignatures","indexSignatures","is","parameter","gens","requiredGens","optionalGens","name","zipWith","partial","b","struct","o","d","types","oneOf","f","getAST","defer","handler","enums","_","from","filter","tsplus_module_9","isRight","decode","to","every","validate","validation"],"sources":["../_src/Gen.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;AAKA,IAAAA,2BAAA,gBAAAC,OAAA;AACA,IAAAC,MAAA,gBAAAD,OAAA;AAA8C,SAAAE,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAlB,CAAA,EAAAe,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAiB,GAAA,CAAApB,CAAA,EAAAS,CAAA,GAAAA,CAAA;;AAE9C;;;AAGM,SAAUY,OAAOA,CAAIC,IAAe;EACxC,OAAOC,EAAE,CAAAC,eAAA,CAAAC,OAAA,CAACH,IAAI,CAACI,GAAG,EAAS;AAC7B;AAEA;;;AAGM,SAAUC,KAAKA,CAAIL,IAAe;EACtC,OAAOC,EAAE,CAACD,IAAI,CAACI,GAAG,CAAC;AACrB;AAEA,SAASE,OAAOA,CAACF,GAAQ;EACvB,OAAOA,GAAG,CAACG,WAAW,CAACrB,GAAG,CAAAsB,eAAA,CAAAC,OAAA,CAAuB;AACnD;AAEA,SAASC,MAAMA,CACbC,GAAkB,EAClBC,KAAoB;EAEpB,OAAOC,eAAA,CAAAC,GAAA,CAECC,MAAM,IAAI;IACd,MAAMC,GAAG,GAAoB,EAAS;IACtC,KAAK,MAAM,CAACC,CAAC,EAAEC,CAAC,CAAC,IAAIH,MAAM,EAAE;MAC3BC,GAAG,CAACC,CAAC,CAAC,GAAGC,CAAC;IACZ;IACA,OAAOF,GAAG;EACZ,CAAC,EARIH,eAAA,CAAAM,SAAA,CACM;IAAEC,SAAS,EAAE;EAAE,CAAE,EADvBP,eAAA,CAAAQ,KAAA,CAAUV,GAAG,EAAEC,KAAK,CAAC,CACG,CAO3B;AACN;AAEA,MAAMX,EAAE,gBAAG,IAAAqB,cAAO,EAAC,SAASrB,EAAEA,CAACG,GAAQ;EACrC;EACA,QAAQA,GAAG,CAACmB,IAAI;IACd;MACE,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMxB,EAAE,CAACG,GAAG,CAACsB,IAAI,CAAC,EACjBC,IAAI,IAAKA,IAAI,CAAC,GAAGC,eAAA,CAAAd,GAAA,CAAuBb,EAAE,EAAzBG,GAAG,CAACyB,cAAc,CAAQ,CAAC,EAFxCvB,OAAO,CAACF,GAAG,CAAC,CAGlB;IACH;MACE,OAAOS,eAAA,CAAAiB,QAAA,CAAa1B,GAAG,CAAC2B,OAAO,CAAC;IAClC;MACE,OAAOlB,eAAA,CAAAiB,QAAA,CAAa1B,GAAG,CAAC4B,MAAM,CAAC;IACjC;MACE,OAAOnB,eAAA,CAAAiB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOpB,eAAA,CAAAiB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOpB,eAAA,CAAAqB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIC,sDAA0B,CAAC,gCAAgC,CAAC,EAAAC,UAAA,YAAC,CAAC;IACjG;MACE,OAAOzB,eAAA,CAAA0B,QAAA,EAAc;IACvB;MACE,OAAO1B,eAAA,CAAA0B,QAAA,EAAc;IACvB;MACE,OAAO1B,eAAA,CAAA2B,iBAAA,EAAuB;IAChC;MACE,OAAA3B,eAAA,CAAA4B,KAAA;IACF;MACE,OAAA5B,eAAA,CAAA6B,OAAA;IACF;MACE,OAAA7B,eAAA,CAAA8B,MAAA;IACF;MACE,OAAO9B,eAAA,CAAAC,GAAA,CAA6B8B,CAAC,IAAKC,MAAM,CAACC,GAAG,CAACF,CAAC,CAAC,EAAhD/B,eAAA,CAAA2B,iBAAA,EAAuB,CAA0B;IAC1D;MACE,OAAO3B,eAAA,CAAA0B,QAAA,EAAc;IACvB;MAA6B;QAC3B,MAAMQ,UAAU,GAA8B,CAAClC,eAAA,CAAAiB,QAAA,CAAa1B,GAAG,CAAC4C,IAAI,CAAC,CAAC;QACtE,KAAK,MAAMC,IAAI,IAAI7C,GAAG,CAAC8C,KAAK,EAAE;UAC5BH,UAAU,CAACI,IAAI,CAACtC,eAAA,CAAA2B,iBAAA,CAAsB;YAAEpB,SAAS,EAAE;UAAC,CAAE,CAAC,CAAC;UACxD2B,UAAU,CAACI,IAAI,CAACtC,eAAA,CAAAiB,QAAA,CAAamB,IAAI,CAAClB,OAAO,CAAC,CAAC;QAC7C;QACA,OAAOlB,eAAA,CAAAC,GAAA,CAA8BoC,KAAK,IAAKA,KAAK,CAACE,IAAI,CAAC,EAAE,CAAC,EAAtDvC,eAAA,CAAAQ,KAAA,CAAU,GAAG0B,UAAU,CAAC,CAA+B;MAChE;IACA;MAAmB;QACjB,MAAMM,QAAQ,GAAGzB,eAAA,CAAAd,GAAA,CAAkBpC,CAAC,IAAKuB,EAAE,CAACvB,CAAC,CAACgD,IAAI,CAAC,EAAlCtB,GAAG,CAACiD,QAAQ,CAAuB;QACpD,MAAMC,IAAI,GAAOC,eAAA,CAAAzC,GAAA,CAAc0C,WAAW,IAAK5B,eAAA,CAAAd,GAAA,CAAgBb,EAAE,EAAlBuD,WAAW,CAAQ,EAAjDpD,GAAG,CAACkD,IAAI,CAA0C;QACnE,IAAIG,MAAM,GAAO5C,eAAA,CAAAQ,KAAA,CAAU,GAAGgC,QAAQ,CAAC;QACvC,IAAIA,QAAQ,CAACK,MAAM,GAAG,CAAC,IAAIC,eAAA,CAAAC,SAAA,CAAAN,IAAI,CAAY,EAAE;UAC3C,MAAMO,kBAAkB,GAAGjC,eAAA,CAAAkC,SAAA,CAAwBpF,CAAC,IAAKA,CAAC,CAACqF,UAAU,EAA1C3D,GAAG,CAACiD,QAAQ,CAA+B;UACtE,IAAIQ,kBAAkB,KAAK,CAAC,CAAC,EAAE;YAC7BJ,MAAM,GAAG5C,eAAA,CAAAmD,OAAA,CAAgBC,EAAE,IACzBpD,eAAA,CAAAC,GAAA,CAAwEjB,CAAC,IAAKoE,EAAE,CAACC,KAAK,CAAC,CAAC,EAAErE,CAAC,CAAC,EAA5FgB,eAAA,CAAAsD,OAAA,CAAY;cAAEC,GAAG,EAAEP,kBAAkB;cAAEQ,GAAG,EAAEhB,QAAQ,CAACK,MAAM,GAAG;YAAC,CAAE,CAAC,CAA2B,EADtFD,MAAM,CAEd;UACH;QACF;QACA,IAAIE,eAAA,CAAAW,MAAA,CAAAhB,IAAI,CAAS,EAAE;UACjB,MAAMN,IAAI,GAAGpB,eAAA,CAAA2C,UAAA,CAAAjB,IAAI,CAAC1C,KAAK,CAAY;UACnC,MAAM4D,IAAI,GAAA5C,eAAA,CAAA4C,IAAA,CAAGlB,IAAI,CAAC1C,KAAK,CAAK;UAC5B6C,MAAM,GAAO5C,eAAA,CAAAmD,OAAA,CAAgBC,EAAE,IAAKpD,eAAA,CAAAC,GAAA,CAAsCwC,IAAI,IAAK,CAAC,GAAGW,EAAE,EAAE,GAAGX,IAAI,CAAC,EAA/DzC,eAAA,CAAAM,SAAA,CAAe;YAAEC,SAAS,EAAE;UAAC,CAAE,EAA/B4B,IAAI,CAA4B,CAAgC,EAAvFS,MAAM,CAAkF;UACrG,KAAK,IAAIgB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,IAAI,CAACd,MAAM,EAAEe,CAAC,EAAE,EAAE;YACpChB,MAAM,GAAG5C,eAAA,CAAAmD,OAAA,CAAgBC,EAAE,IAAKpD,eAAA,CAAAC,GAAA,CAAczB,CAAC,IAAK,CAAC,GAAG4E,EAAE,EAAE5E,CAAC,CAAC,EAA9BuC,eAAA,CAAA8C,SAAA,CAAKD,CAAC,EAAND,IAAI,CAAI,CAAuB,EAAtDf,MAAM,CAAiD;UAClE;QACF;QACA,OAAOA,MAAyB;MAClC;IACA;MAAyB;QACvB,MAAMkB,sBAAsB,GAAG/C,eAAA,CAAAd,GAAA,CAA4B8D,EAAE,IAAK3E,EAAE,CAAC2E,EAAE,CAAClD,IAAI,CAAC,EAA9CtB,GAAG,CAACyE,kBAAkB,CAAyB;QAC9E,MAAMC,eAAe,GAAUlD,eAAA,CAAAd,GAAA,CAAyBiE,EAAE,IAAK,CAAC9E,EAAE,CAAC8E,EAAE,CAACC,SAAS,CAAC,EAAE/E,EAAE,CAAC8E,EAAE,CAACrD,IAAI,CAAC,CAAU,EAAxEtB,GAAG,CAAC0E,eAAe,CAAsD;QACxG,MAAMG,IAAI,GAAqB,EAAE;QACjC,MAAMC,YAAY,GAAuC,EAAE;QAC3D,MAAMC,YAAY,GAAuC,EAAE;QAC3D,KAAK,IAAItF,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAG8E,sBAAsB,CAACjB,MAAM,EAAE7D,CAAC,EAAE,EAAE;UACtD,MAAM+E,EAAE,GAAKhD,eAAA,CAAA8C,SAAA,CAAuB7E,CAAC,EAAxBO,GAAG,CAACyE,kBAAkB,CAAI;UACvC,MAAMO,IAAI,GAAGR,EAAE,CAACQ,IAAI;UACpB,IAAI,CAACR,EAAE,CAACb,UAAU,EAAE;YAClBmB,YAAY,CAACE,IAAI,CAAC,GAAGxD,eAAA,CAAA8C,SAAA,CAAuB7E,CAAC,EAAxB8E,sBAAsB,CAAI;UACjD,CAAC,MAAM;YACLQ,YAAY,CAACC,IAAI,CAAC,GAAGxD,eAAA,CAAA8C,SAAA,CAAuB7E,CAAC,EAAxB8E,sBAAsB,CAAI;UACjD;QACF;QACA,IAAIlB,MAAM,GAAG5C,eAAA,CAAAwE,OAAA,CAAiCxE,eAAA,CAAAyE,OAAA,CAAYH,YAAY,CAAC,EAAE,CAAC9F,CAAC,EAAEkG,CAAC,MAAM;UAAE,GAAGlG,CAAC;UAAE,GAAGkG;QAAC,CAAE,CAAC,EAAtF1E,eAAA,CAAA2E,MAAA,CAAWN,YAAY,CAAC,CAA+D;QACpG,KAAK,IAAIrF,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGiF,eAAe,CAACpB,MAAM,EAAE7D,CAAC,EAAE,EAAE;UAC/C,MAAMmF,SAAS,GAAGpD,eAAA,CAAA8C,SAAA,CAAgB7E,CAAC,EAAjBiF,eAAe,CAAI,CAAC,CAAC,CAAE;UACzC,MAAMpD,IAAI,GAAQE,eAAA,CAAA8C,SAAA,CAAgB7E,CAAC,EAAjBiF,eAAe,CAAI,CAAC,CAAC,CAAE;UACzCrB,MAAM,GAAY5C,eAAA,CAAAmD,OAAA,CAAgByB,CAAC,IAAI;YACrC,OAAO5E,eAAA,CAAAC,GAAA,CAA6B4E,CAAC,KAAM;cAAE,GAAGA,CAAC;cAAE,GAAGD;YAAC,CAAE,CAAC,EAAnD/E,MAAM,CAACsE,SAAS,EAAEtD,IAAI,CAAC,CAA6B;UAC7D,CAAC,EAFiB+B,MAAM,CAEtB;QACJ;QACA,OAAOA,MAAM;MACf;IACA;MAAmB;QACjB,MAAMkC,KAAK,GAAG/D,eAAA,CAAAd,GAAA,CAAcb,EAAE,EAAhBG,GAAG,CAACuF,KAAK,CAAQ;QAC/B,OAAO9E,eAAA,CAAA+E,KAAA,CAAU,GAAGD,KAAK,CAAoB;MAC/C;IACA;MAAkB;QAChB,OAAOnE,eAAA,CAAAC,KAAA,CACL,MAAK;UACH,MAAMoE,CAAC,GAAKA,CAAA,KAAM5F,EAAE,CAACG,GAAG,CAAC0F,MAAM,EAAE,CAAC;UAClC,MAAM5G,GAAG,GAAG,IAAAoC,cAAO,EAA0BuE,CAAC,CAAC;UAC/C,OAAOhF,eAAA,CAAAkF,KAAA,CAAU,MAAM7G,GAAG,CAAC2G,CAAC,CAAC,CAAC;QAChC,CAAC,EACAG,OAAO,IAAKA,OAAO,EAAE,EANjB1F,OAAO,CAACF,GAAG,CAAC,CAOlB;MACH;IACA;MAAkB;QAChB,IAAIA,GAAG,CAAC6F,KAAK,CAACvC,MAAM,KAAK,CAAC,EAAE;UAC1B,OAAO7C,eAAA,CAAAqB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIC,sDAA0B,CAAC,sCAAsC,CAAC,EAAAC,UAAA,aAAC,CAAC;QACvG;QACA,OAAOzB,eAAA,CAAA+E,KAAA,CAAU,GAAGhE,eAAA,CAAAd,GAAA,CAAc,CAAC,CAACoF,CAAC,EAAEtF,KAAK,CAAC,KAAKC,eAAA,CAAAiB,QAAA,CAAalB,KAAK,CAAC,EAAjDR,GAAG,CAAC6F,KAAK,CAAyC,CAAoB;MAC5F;IACA;MAAwB;QACtB,MAAME,IAAI,GAAGlG,EAAE,CAACG,GAAG,CAAC+F,IAAI,CAAC;QACzB,OAAO3E,eAAA,CAAAC,KAAA,CACL,MAAMZ,eAAA,CAAAuF,MAAA,CAAa/G,CAAC,IAAKgH,eAAA,CAAAC,OAAA,CAAAlG,GAAG,CAACmG,MAAM,CAAClH,CAAC,CAAC,CAAU,EAA1C8G,IAAI,CAAuC,EAChDH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB7F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;IACA;MACE,OAAOH,EAAE,CAACG,GAAG,CAACoG,EAAE,CAAC;IACnB;MAAwB;QACtB,MAAML,IAAI,GAAGlG,EAAE,CAACG,GAAG,CAAC+F,IAAI,CAAC;QACzB,OAAO3E,eAAA,CAAAC,KAAA,CACL,MAAMZ,eAAA,CAAAuF,MAAA,CAAa/G,CAAC,IAAKuC,eAAA,CAAA6E,KAAA,CAAsBvF,CAAC,IAAKA,CAAC,CAACwF,QAAQ,CAACrH,CAAC,CAAC,EAAzCe,GAAG,CAACuG,UAAU,CAA4B,EAA7DR,IAAI,CAA0D,EACnEH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB7F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;EACF;AACF,CAAC,CAAC"}
+{"version":3,"file":"Gen.cjs","names":["_InvalidInterpretationError","require","_utils","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","genFrom","self","go","tsplus_module_1","getFrom","ast","genTo","getHook","annotations","tsplus_module_2","GenHook","record","key","value","tsplus_module_3","map","tuples","out","k","v","arrayWith","maxLength","tuple","memoize","_tag","tsplus_module_5","match","type","hook","tsplus_module_4","typeParameters","constant","literal","symbol","undefined","fromIO","tsplus_module_6","haltNow","InvalidInterpretationError","fileName_1","anything","fullUnicodeString","float","boolean","bigInt","s","Symbol","for","components","head","span","spans","push","join","elements","rest","tsplus_module_7","restElement","output","length","tsplus_module_8","isNothing","firstOptionalIndex","findIndex","isOptional","flatMap","as","slice","intWith","min","max","isJust","unsafeHead","tail","j","unsafeGet","propertySignatureTypes","ps","propertySignatures","indexSignatures","is","parameter","requiredGens","optionalGens","name","zipWith","partial","b","struct","o","d","types","oneOf","f","getAST","defer","handler","enums","_","from","filter","tsplus_module_9","isRight","decode","to","every","validate","validation"],"sources":["../_src/Gen.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;AAKA,IAAAA,2BAAA,gBAAAC,OAAA;AACA,IAAAC,MAAA,gBAAAD,OAAA;AAA8C,SAAAE,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAlB,CAAA,EAAAe,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAiB,GAAA,CAAApB,CAAA,EAAAS,CAAA,GAAAA,CAAA;;AAE9C;;;AAGM,SAAUY,OAAOA,CAAIC,IAAe;EACxC,OAAOC,EAAE,CAAAC,eAAA,CAAAC,OAAA,CAACH,IAAI,CAACI,GAAG,EAAS;AAC7B;AAEA;;;AAGM,SAAUC,KAAKA,CAAIL,IAAe;EACtC,OAAOC,EAAE,CAACD,IAAI,CAACI,GAAG,CAAC;AACrB;AAEA,SAASE,OAAOA,CAACF,GAAQ;EACvB,OAAOA,GAAG,CAACG,WAAW,CAACrB,GAAG,CAAAsB,eAAA,CAAAC,OAAA,CAAuB;AACnD;AAEA,SAASC,MAAMA,CACbC,GAAkB,EAClBC,KAAoB;EAEpB,OAAOC,eAAA,CAAAC,GAAA,CAECC,MAAM,IAAI;IACd,MAAMC,GAAG,GAAoB,EAAS;IACtC,KAAK,MAAM,CAACC,CAAC,EAAEC,CAAC,CAAC,IAAIH,MAAM,EAAE;MAC3BC,GAAG,CAACC,CAAC,CAAC,GAAGC,CAAC;IACZ;IACA,OAAOF,GAAG;EACZ,CAAC,EARIH,eAAA,CAAAM,SAAA,CACM;IAAEC,SAAS,EAAE;EAAE,CAAE,EADvBP,eAAA,CAAAQ,KAAA,CAAUV,GAAG,EAAEC,KAAK,CAAC,CACG,CAO3B;AACN;AAEA,MAAMX,EAAE,gBAAG,IAAAqB,cAAO,EAAC,SAASrB,EAAEA,CAACG,GAAQ;EACrC;EACA,QAAQA,GAAG,CAACmB,IAAI;IACd;MACE,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMxB,EAAE,CAACG,GAAG,CAACsB,IAAI,CAAC,EACjBC,IAAI,IAAKA,IAAI,CAAC,GAAGC,eAAA,CAAAd,GAAA,CAAuBb,EAAE,EAAzBG,GAAG,CAACyB,cAAc,CAAQ,CAAC,EAFxCvB,OAAO,CAACF,GAAG,CAAC,CAGlB;IACH;MACE,OAAOS,eAAA,CAAAiB,QAAA,CAAa1B,GAAG,CAAC2B,OAAO,CAAC;IAClC;MACE,OAAOlB,eAAA,CAAAiB,QAAA,CAAa1B,GAAG,CAAC4B,MAAM,CAAC;IACjC;MACE,OAAOnB,eAAA,CAAAiB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOpB,eAAA,CAAAiB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOpB,eAAA,CAAAqB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIC,sDAA0B,CAAC,gCAAgC,CAAC,EAAAC,UAAA,YAAC,CAAC;IACjG;MACE,OAAOzB,eAAA,CAAA0B,QAAA,EAAc;IACvB;MACE,OAAO1B,eAAA,CAAA0B,QAAA,EAAc;IACvB;MACE,OAAO1B,eAAA,CAAA2B,iBAAA,EAAuB;IAChC;MACE,OAAA3B,eAAA,CAAA4B,KAAA;IACF;MACE,OAAA5B,eAAA,CAAA6B,OAAA;IACF;MACE,OAAA7B,eAAA,CAAA8B,MAAA;IACF;MACE,OAAO9B,eAAA,CAAAC,GAAA,CAA6B8B,CAAC,IAAKC,MAAM,CAACC,GAAG,CAACF,CAAC,CAAC,EAAhD/B,eAAA,CAAA2B,iBAAA,EAAuB,CAA0B;IAC1D;MACE,OAAO3B,eAAA,CAAA0B,QAAA,EAAc;IACvB;MAA6B;QAC3B,MAAMQ,UAAU,GAA8B,CAAClC,eAAA,CAAAiB,QAAA,CAAa1B,GAAG,CAAC4C,IAAI,CAAC,CAAC;QACtE,KAAK,MAAMC,IAAI,IAAI7C,GAAG,CAAC8C,KAAK,EAAE;UAC5BH,UAAU,CAACI,IAAI,CAACtC,eAAA,CAAA2B,iBAAA,CAAsB;YAAEpB,SAAS,EAAE;UAAC,CAAE,CAAC,CAAC;UACxD2B,UAAU,CAACI,IAAI,CAACtC,eAAA,CAAAiB,QAAA,CAAamB,IAAI,CAAClB,OAAO,CAAC,CAAC;QAC7C;QACA,OAAOlB,eAAA,CAAAC,GAAA,CAA8BoC,KAAK,IAAKA,KAAK,CAACE,IAAI,CAAC,EAAE,CAAC,EAAtDvC,eAAA,CAAAQ,KAAA,CAAU,GAAG0B,UAAU,CAAC,CAA+B;MAChE;IACA;MAAmB;QACjB,MAAMM,QAAQ,GAAGzB,eAAA,CAAAd,GAAA,CAAkBpC,CAAC,IAAKuB,EAAE,CAACvB,CAAC,CAACgD,IAAI,CAAC,EAAlCtB,GAAG,CAACiD,QAAQ,CAAuB;QACpD,MAAMC,IAAI,GAAOC,eAAA,CAAAzC,GAAA,CAAc0C,WAAW,IAAK5B,eAAA,CAAAd,GAAA,CAAgBb,EAAE,EAAlBuD,WAAW,CAAQ,EAAjDpD,GAAG,CAACkD,IAAI,CAA0C;QACnE,IAAIG,MAAM,GAAO5C,eAAA,CAAAQ,KAAA,CAAU,GAAGgC,QAAQ,CAAC;QACvC,IAAIA,QAAQ,CAACK,MAAM,GAAG,CAAC,IAAIC,eAAA,CAAAC,SAAA,CAAAN,IAAI,CAAY,EAAE;UAC3C,MAAMO,kBAAkB,GAAGjC,eAAA,CAAAkC,SAAA,CAAwBpF,CAAC,IAAKA,CAAC,CAACqF,UAAU,EAA1C3D,GAAG,CAACiD,QAAQ,CAA+B;UACtE,IAAIQ,kBAAkB,KAAK,CAAC,CAAC,EAAE;YAC7BJ,MAAM,GAAG5C,eAAA,CAAAmD,OAAA,CAAgBC,EAAE,IACzBpD,eAAA,CAAAC,GAAA,CAAwEjB,CAAC,IAAKoE,EAAE,CAACC,KAAK,CAAC,CAAC,EAAErE,CAAC,CAAC,EAA5FgB,eAAA,CAAAsD,OAAA,CAAY;cAAEC,GAAG,EAAEP,kBAAkB;cAAEQ,GAAG,EAAEhB,QAAQ,CAACK,MAAM,GAAG;YAAC,CAAE,CAAC,CAA2B,EADtFD,MAAM,CAEd;UACH;QACF;QACA,IAAIE,eAAA,CAAAW,MAAA,CAAAhB,IAAI,CAAS,EAAE;UACjB,MAAMN,IAAI,GAAGpB,eAAA,CAAA2C,UAAA,CAAAjB,IAAI,CAAC1C,KAAK,CAAY;UACnC,MAAM4D,IAAI,GAAA5C,eAAA,CAAA4C,IAAA,CAAGlB,IAAI,CAAC1C,KAAK,CAAK;UAC5B6C,MAAM,GAAO5C,eAAA,CAAAmD,OAAA,CAAgBC,EAAE,IAAKpD,eAAA,CAAAC,GAAA,CAAsCwC,IAAI,IAAK,CAAC,GAAGW,EAAE,EAAE,GAAGX,IAAI,CAAC,EAA/DzC,eAAA,CAAAM,SAAA,CAAe;YAAEC,SAAS,EAAE;UAAC,CAAE,EAA/B4B,IAAI,CAA4B,CAAgC,EAAvFS,MAAM,CAAkF;UACrG,KAAK,IAAIgB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,IAAI,CAACd,MAAM,EAAEe,CAAC,EAAE,EAAE;YACpChB,MAAM,GAAG5C,eAAA,CAAAmD,OAAA,CAAgBC,EAAE,IAAKpD,eAAA,CAAAC,GAAA,CAAczB,CAAC,IAAK,CAAC,GAAG4E,EAAE,EAAE5E,CAAC,CAAC,EAA9BuC,eAAA,CAAA8C,SAAA,CAAKD,CAAC,EAAND,IAAI,CAAI,CAAuB,EAAtDf,MAAM,CAAiD;UAClE;QACF;QACA,OAAOA,MAAyB;MAClC;IACA;MAAyB;QACvB,MAAMkB,sBAAsB,GAAG/C,eAAA,CAAAd,GAAA,CAA4B8D,EAAE,IAAK3E,EAAE,CAAC2E,EAAE,CAAClD,IAAI,CAAC,EAA9CtB,GAAG,CAACyE,kBAAkB,CAAyB;QAC9E,MAAMC,eAAe,GAAUlD,eAAA,CAAAd,GAAA,CAAyBiE,EAAE,IAAK,CAAC9E,EAAE,CAAC8E,EAAE,CAACC,SAAS,CAAC,EAAE/E,EAAE,CAAC8E,EAAE,CAACrD,IAAI,CAAC,CAAU,EAAxEtB,GAAG,CAAC0E,eAAe,CAAsD;QACxG,MAAMG,YAAY,GAAuC,EAAE;QAC3D,MAAMC,YAAY,GAAuC,EAAE;QAC3D,KAAK,IAAIrF,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAG8E,sBAAsB,CAACjB,MAAM,EAAE7D,CAAC,EAAE,EAAE;UACtD,MAAM+E,EAAE,GAAKhD,eAAA,CAAA8C,SAAA,CAAuB7E,CAAC,EAAxBO,GAAG,CAACyE,kBAAkB,CAAI;UACvC,MAAMM,IAAI,GAAGP,EAAE,CAACO,IAAI;UACpB,IAAI,CAACP,EAAE,CAACb,UAAU,EAAE;YAClBkB,YAAY,CAACE,IAAI,CAAC,GAAGvD,eAAA,CAAA8C,SAAA,CAAuB7E,CAAC,EAAxB8E,sBAAsB,CAAI;UACjD,CAAC,MAAM;YACLO,YAAY,CAACC,IAAI,CAAC,GAAGvD,eAAA,CAAA8C,SAAA,CAAuB7E,CAAC,EAAxB8E,sBAAsB,CAAI;UACjD;QACF;QACA,IAAIlB,MAAM,GAAG5C,eAAA,CAAAuE,OAAA,CAAiCvE,eAAA,CAAAwE,OAAA,CAAYH,YAAY,CAAC,EAAE,CAAC7F,CAAC,EAAEiG,CAAC,MAAM;UAAE,GAAGjG,CAAC;UAAE,GAAGiG;QAAC,CAAE,CAAC,EAAtFzE,eAAA,CAAA0E,MAAA,CAAWN,YAAY,CAAC,CAA+D;QACpG,KAAK,IAAIpF,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGiF,eAAe,CAACpB,MAAM,EAAE7D,CAAC,EAAE,EAAE;UAC/C,MAAMmF,SAAS,GAAGpD,eAAA,CAAA8C,SAAA,CAAgB7E,CAAC,EAAjBiF,eAAe,CAAI,CAAC,CAAC,CAAE;UACzC,MAAMpD,IAAI,GAAQE,eAAA,CAAA8C,SAAA,CAAgB7E,CAAC,EAAjBiF,eAAe,CAAI,CAAC,CAAC,CAAE;UACzCrB,MAAM,GAAY5C,eAAA,CAAAmD,OAAA,CAAgBwB,CAAC,IAAI;YACrC,OAAO3E,eAAA,CAAAC,GAAA,CAA6B2E,CAAC,KAAM;cAAE,GAAGA,CAAC;cAAE,GAAGD;YAAC,CAAE,CAAC,EAAnD9E,MAAM,CAACsE,SAAS,EAAEtD,IAAI,CAAC,CAA6B;UAC7D,CAAC,EAFiB+B,MAAM,CAEtB;QACJ;QACA,OAAOA,MAAM;MACf;IACA;MAAmB;QACjB,MAAMiC,KAAK,GAAG9D,eAAA,CAAAd,GAAA,CAAcb,EAAE,EAAhBG,GAAG,CAACsF,KAAK,CAAQ;QAC/B,OAAO7E,eAAA,CAAA8E,KAAA,CAAU,GAAGD,KAAK,CAAoB;MAC/C;IACA;MAAkB;QAChB,OAAOlE,eAAA,CAAAC,KAAA,CACL,MAAK;UACH,MAAMmE,CAAC,GAAKA,CAAA,KAAM3F,EAAE,CAACG,GAAG,CAACyF,MAAM,EAAE,CAAC;UAClC,MAAM3G,GAAG,GAAG,IAAAoC,cAAO,EAA0BsE,CAAC,CAAC;UAC/C,OAAO/E,eAAA,CAAAiF,KAAA,CAAU,MAAM5G,GAAG,CAAC0G,CAAC,CAAC,CAAC;QAChC,CAAC,EACAG,OAAO,IAAKA,OAAO,EAAE,EANjBzF,OAAO,CAACF,GAAG,CAAC,CAOlB;MACH;IACA;MAAkB;QAChB,IAAIA,GAAG,CAAC4F,KAAK,CAACtC,MAAM,KAAK,CAAC,EAAE;UAC1B,OAAO7C,eAAA,CAAAqB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIC,sDAA0B,CAAC,sCAAsC,CAAC,EAAAC,UAAA,aAAC,CAAC;QACvG;QACA,OAAOzB,eAAA,CAAA8E,KAAA,CAAU,GAAG/D,eAAA,CAAAd,GAAA,CAAc,CAAC,CAACmF,CAAC,EAAErF,KAAK,CAAC,KAAKC,eAAA,CAAAiB,QAAA,CAAalB,KAAK,CAAC,EAAjDR,GAAG,CAAC4F,KAAK,CAAyC,CAAoB;MAC5F;IACA;MAAwB;QACtB,MAAME,IAAI,GAAGjG,EAAE,CAACG,GAAG,CAAC8F,IAAI,CAAC;QACzB,OAAO1E,eAAA,CAAAC,KAAA,CACL,MAAMZ,eAAA,CAAAsF,MAAA,CAAa9G,CAAC,IAAK+G,eAAA,CAAAC,OAAA,CAAAjG,GAAG,CAACkG,MAAM,CAACjH,CAAC,CAAC,CAAU,EAA1C6G,IAAI,CAAuC,EAChDH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB5F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;IACA;MACE,OAAOH,EAAE,CAACG,GAAG,CAACmG,EAAE,CAAC;IACnB;MAAwB;QACtB,MAAML,IAAI,GAAGjG,EAAE,CAACG,GAAG,CAAC8F,IAAI,CAAC;QACzB,OAAO1E,eAAA,CAAAC,KAAA,CACL,MAAMZ,eAAA,CAAAsF,MAAA,CAAa9G,CAAC,IAAKuC,eAAA,CAAA4E,KAAA,CAAsBtF,CAAC,IAAKA,CAAC,CAACuF,QAAQ,CAACpH,CAAC,CAAC,EAAzCe,GAAG,CAACsG,UAAU,CAA4B,EAA7DR,IAAI,CAA0D,EACnEH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB5F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;EACF;AACF,CAAC,CAAC"}

package/_cjs/Schema/derivations.cjs

@@ -6,6 +6,7 @@ Object.defineProperty(exports, "__esModule", {
 exports.deriveArray = deriveArray;
 exports.deriveLazy = deriveLazy;
 exports.deriveLiteral = deriveLiteral;
+exports.deriveReadonlyArray = deriveReadonlyArray;
 exports.deriveRecord = deriveRecord;
 exports.deriveStruct = deriveStruct;
 exports.deriveTuple = deriveTuple;
@@ -57,7 +58,7 @@ function deriveStruct(...[requiredFields, optionalFields, maybeFields]) {
   tsplus_module_3.createUnion(tsplus_module_1.vector(tsplus_module_3.undefinedKeyword, tsplus_module_3.createLiteral(null), maybeFields[key].ast)), true, true))(maybeFieldsKeys))(propertySignatures), tsplus_module_1.empty()));
   const to = tsplus_module_4.make(tsplus_module_3.createTypeLiteral(tsplus_module_1.concat(tsplus_module_1.map(key =>
   // @ts-expect-error
-  tsplus_module_3.createPropertySignature(key, tsplus_module_5.maybe(maybeFields[key]).ast, true, true))(maybeFieldsKeys))(propertySignatures), tsplus_module_1.empty()));
+  tsplus_module_3.createPropertySignature(key, tsplus_module_5.maybe(maybeFields[key]).ast, false, true))(maybeFieldsKeys))(propertySignatures), tsplus_module_1.empty()));
   return tsplus_module_4.transform(to, input => {
     const output = {
       ...input
@@ -101,12 +102,17 @@ function deriveLazy(f) {
   return tsplus_module_4.make(ast);
 }
 /**
- * @tsplus derive fncts.schema.Schema[fncts.Array]<_> 10
  * @tsplus derive fncts.schema.Schema[fncts.ReadonlyArray]<_> 10
  */
-function deriveArray(...[element]) {
+function deriveReadonlyArray(...[element]) {
   return tsplus_module_4.array(element);
 }
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.Array]<_> 10
+ */
+function deriveArray(...[element]) {
+  return tsplus_module_4.mutableArray(element);
+}
 /**
  * @tsplus derive fncts.schema.Schema<_> 15
  */

package/_cjs/Schema/derivations.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"derivations.cjs","names":["_utils","require","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","deriveValidation","base","brands","tsplus_module_4","make","tsplus_module_3","createValidation","ast","tsplus_module_1","from","values","annotations","annotate","tsplus_module_2","Brand","deriveLiteral","value","literal","deriveStruct","requiredFields","optionalFields","maybeFields","maybeFieldsKeys","ownKeys","propertySignatures","map","key","createPropertySignature","concat","struct","createTypeLiteral","empty","isEmpty","createUnion","vector","undefinedKeyword","createLiteral","to","tsplus_module_5","maybe","transform","input","output","tsplus_module_6","fromNullable","tsplus_module_7","isNothing","tsplus_module_8","toUndefined","deriveTuple","components","tuple","deriveLazy","f","cached","createLazy","deriveArray","element","array","deriveRecord","keySchema","valueSchema","record"],"sources":["../../_src/Schema/derivations.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;;;;;;AAGA,IAAAA,MAAA,gBAAAC,OAAA;AAA8C,SAAAC,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAlB,CAAA,EAAAe,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAiB,GAAA,CAAApB,CAAA,EAAAS,CAAA,GAAAA,CAAA;AAE9C;;;AAGM,SAAUY,gBAAgBA,CAC9B,GAAG,CAACC,IAAI,EAAEC,MAAM,CAOP;EAET,OAAOC,eAAA,CAAAC,IAAA,CACLC,eAAA,CAAAC,gBAAA,CACEL,IAAI,CAACM,GAAG,EACRC,eAAA,CAAAC,IAAA,CAAYlB,MAAM,CAACmB,MAAM,CAACR,MAAM,CAAC,CAAC,EAClCD,IAAI,CAACM,GAAG,CAACI,WAAW,CAACC,QAAQ,CAAAC,eAAA,CAAAC,KAAA,EAAsBN,eAAA,CAAAC,IAAA,CAAYlB,MAAM,CAACmB,MAAM,CAACR,MAAM,CAAC,CAAC,CAAC,CACvF,CACF;AACH;AAEA;;;AAGM,SAAUa,aAAaA,CAC3B,GAAG,CAACC,KAAK,CAAkG;EAE3G,OAAOb,eAAA,CAAAc,OAAA,CAAeD,KAAK,CAAC;AAC9B;AAIA;;;AAGM,SAAUE,YAAYA,CAC1B,GAAG,CAACC,cAAc,EAAEC,cAAc,EAAEC,WAAW,CAsBtC;EAET,MAAMC,eAAe,GAAwB,IAAAC,cAAO,EAACF,WAAW,CAAC;EACjE,IAAIG,kBAAkB,GAAuBhB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG;EAC3E;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEP,cAAc,CAACO,GAAG,CAAE,CAACnB,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,EAF5B,IAAAgB,cAAO,EAACJ,cAAc,CAAC,CAGnE;EAED,IAAIC,cAAc,EAAE;IAClBI,kBAAkB,GAAGhB,eAAA,CAAAoB,MAAA;IACnB;IACApB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG,IAAKrB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEN,cAAc,CAACM,GAAG,CAAE,CAACnB,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAA3G,IAAAgB,cAAO,EAACH,cAAc,CAAC,CAAqF,EAFzFI,kBAAkB,CAGtC;EACH;EAEA,MAAMK,MAAM,GAAG1B,eAAA,CAAAC,IAAA,CAAeC,eAAA,CAAAyB,iBAAA,CAAsBN,kBAAkB,EAAEhB,eAAA,CAAAuB,KAAA,EAAc,CAAC,CAAC;EAExF,IAAIvB,eAAA,CAAAwB,OAAA,CAAAV,eAAe,CAAU,EAAE;IAC7B,OAAOO,MAAqB;EAC9B;EAEAL,kBAAkB,GAAIK,MAAM,CAACtB,GAAmB,CAACiB,kBAAkB;EAEnE,MAAMf,IAAI,GAAGN,eAAA,CAAAC,IAAA,CACXC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG,IACtBrB,eAAA,CAAAsB,uBAAA,CACED,GAAG;EACH;EACArB,eAAA,CAAA4B,WAAA,CAAgBzB,eAAA,CAAA0B,MAAA,CAAA7B,eAAA,CAAA8B,gBAAA,EAA6B9B,eAAA,CAAA+B,aAAA,CAAkB,IAAI,CAAC,EAAEf,WAAY,CAACK,GAAG,CAAE,CAACnB,GAAG,CAAC,CAAC,EAC9F,IAAI,EACJ,IAAI,CACL,EAPHe,eAAe,CAQd,EATHE,kBAAkB,CAUjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,MAAMM,EAAE,GAAGlC,eAAA,CAAAC,IAAA,CACTC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG;EACtB;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEY,eAAA,CAAAC,KAAA,CAAalB,WAAY,CAACK,GAAG,CAAE,CAAC,CAACnB,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAFpFe,eAAe,CAGd,EAJHE,kBAAkB,CAKjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,OAAO5B,eAAA,CAAAqC,SAAA,CACLH,EAAE,EACDI,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIJ,eAAe,EAAE;MACjCoB,MAAM,CAAChB,GAAG,CAAC,GAAGiB,eAAA,CAAAC,YAAA,CAAmBH,KAAK,CAACf,GAAG,CAAC,CAAC;IAC9C;IACA,OAAOgB,MAAM;EACf,CAAC,EACAD,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIJ,eAAe,EAAE;MACjC,MAAMN,KAAK,GAAeyB,KAAK,CAACf,GAAG,CAAC;MACpC,IAAImB,eAAA,CAAAC,SAAA,CAAA9B,KAAK,CAAY,EAAE;QACrB,OAAO0B,MAAM,CAAChB,GAAG,CAAC;QAClB;MACF;MACAgB,MAAM,CAAChB,GAAG,CAAC,GAAAqB,eAAA,CAAAC,WAAA,CAAGhC,KAAK,CAAM;IAC3B;IACA,OAAO0B,MAAM;EACf,CAAC,EApBIjC,IAAI,CAqBV;AACH;AAEA;;;AAGM,SAAUwC,WAAWA,CACzB,GAAG,CAACC,UAAU,CAAsG;EAEpH,OAAoB/C,eAAA,CAAAgD,KAAA,CAAa,GAAGD,UAAU,CAAC;AACjD;AAEA;;;AAGM,SAAUE,UAAUA,CAAIC,CAA8B;EAC1D,IAAIC,MAAuB;EAC3B,MAAM/C,GAAG,GAAGF,eAAA,CAAAkD,UAAA,CAAe,MAAK;IAC9B,IAAI,CAACD,MAAM,EAAE;MACXA,MAAM,GAAGD,CAAC,CAAClD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC,CAAC,CAACA,GAAG;IACrC;IACA,OAAO+C,MAAM;EACf,CAAC,CAAC;EACF,OAAOnD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC;AAC5B;AAEA;;;;AAIM,SAAUiD,WAAWA,CACzB,GAAG,CAACC,OAAO,CAIF;EAET,OAAOtD,eAAA,CAAAuD,KAAA,CAAaD,OAAO,CAAyB;AACtD;AAEA;;;AAGM,SAAUE,YAAYA,CAC1B,GAAG,CAACC,SAAS,EAAEC,WAAW,CAIjB;EAET,OAAO1D,eAAA,CAAA2D,MAAA,CAAcF,SAAoC,EAAEC,WAAW,CAAc;AACtF"}
+{"version":3,"file":"derivations.cjs","names":["_utils","require","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","deriveValidation","base","brands","tsplus_module_4","make","tsplus_module_3","createValidation","ast","tsplus_module_1","from","values","annotations","annotate","tsplus_module_2","Brand","deriveLiteral","value","literal","deriveStruct","requiredFields","optionalFields","maybeFields","maybeFieldsKeys","ownKeys","propertySignatures","map","key","createPropertySignature","concat","struct","createTypeLiteral","empty","isEmpty","createUnion","vector","undefinedKeyword","createLiteral","to","tsplus_module_5","maybe","transform","input","output","tsplus_module_6","fromNullable","tsplus_module_7","isNothing","tsplus_module_8","toUndefined","deriveTuple","components","tuple","deriveLazy","f","cached","createLazy","deriveReadonlyArray","element","array","deriveArray","mutableArray","deriveRecord","keySchema","valueSchema","record"],"sources":["../../_src/Schema/derivations.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAGA,IAAAA,MAAA,gBAAAC,OAAA;AAA8C,SAAAC,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAlB,CAAA,EAAAe,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAiB,GAAA,CAAApB,CAAA,EAAAS,CAAA,GAAAA,CAAA;AAE9C;;;AAGM,SAAUY,gBAAgBA,CAC9B,GAAG,CAACC,IAAI,EAAEC,MAAM,CAOP;EAET,OAAOC,eAAA,CAAAC,IAAA,CACLC,eAAA,CAAAC,gBAAA,CACEL,IAAI,CAACM,GAAG,EACRC,eAAA,CAAAC,IAAA,CAAYlB,MAAM,CAACmB,MAAM,CAACR,MAAM,CAAC,CAAC,EAClCD,IAAI,CAACM,GAAG,CAACI,WAAW,CAACC,QAAQ,CAAAC,eAAA,CAAAC,KAAA,EAAsBN,eAAA,CAAAC,IAAA,CAAYlB,MAAM,CAACmB,MAAM,CAACR,MAAM,CAAC,CAAC,CAAC,CACvF,CACF;AACH;AAEA;;;AAGM,SAAUa,aAAaA,CAC3B,GAAG,CAACC,KAAK,CAAkG;EAE3G,OAAOb,eAAA,CAAAc,OAAA,CAAeD,KAAK,CAAC;AAC9B;AAIA;;;AAGM,SAAUE,YAAYA,CAC1B,GAAG,CAACC,cAAc,EAAEC,cAAc,EAAEC,WAAW,CAsBtC;EAET,MAAMC,eAAe,GAAwB,IAAAC,cAAO,EAACF,WAAW,CAAC;EACjE,IAAIG,kBAAkB,GAAuBhB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG;EAC3E;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEP,cAAc,CAACO,GAAG,CAAE,CAACnB,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,EAF5B,IAAAgB,cAAO,EAACJ,cAAc,CAAC,CAGnE;EAED,IAAIC,cAAc,EAAE;IAClBI,kBAAkB,GAAGhB,eAAA,CAAAoB,MAAA;IACnB;IACApB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG,IAAKrB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEN,cAAc,CAACM,GAAG,CAAE,CAACnB,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAA3G,IAAAgB,cAAO,EAACH,cAAc,CAAC,CAAqF,EAFzFI,kBAAkB,CAGtC;EACH;EAEA,MAAMK,MAAM,GAAG1B,eAAA,CAAAC,IAAA,CAAeC,eAAA,CAAAyB,iBAAA,CAAsBN,kBAAkB,EAAEhB,eAAA,CAAAuB,KAAA,EAAc,CAAC,CAAC;EAExF,IAAIvB,eAAA,CAAAwB,OAAA,CAAAV,eAAe,CAAU,EAAE;IAC7B,OAAOO,MAAqB;EAC9B;EAEAL,kBAAkB,GAAIK,MAAM,CAACtB,GAAmB,CAACiB,kBAAkB;EAEnE,MAAMf,IAAI,GAAGN,eAAA,CAAAC,IAAA,CACXC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG,IACtBrB,eAAA,CAAAsB,uBAAA,CACED,GAAG;EACH;EACArB,eAAA,CAAA4B,WAAA,CAAgBzB,eAAA,CAAA0B,MAAA,CAAA7B,eAAA,CAAA8B,gBAAA,EAA6B9B,eAAA,CAAA+B,aAAA,CAAkB,IAAI,CAAC,EAAEf,WAAY,CAACK,GAAG,CAAE,CAACnB,GAAG,CAAC,CAAC,EAC9F,IAAI,EACJ,IAAI,CACL,EAPHe,eAAe,CAQd,EATHE,kBAAkB,CAUjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,MAAMM,EAAE,GAAGlC,eAAA,CAAAC,IAAA,CACTC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG;EACtB;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEY,eAAA,CAAAC,KAAA,CAAalB,WAAY,CAACK,GAAG,CAAE,CAAC,CAACnB,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,EAFrFe,eAAe,CAGd,EAJHE,kBAAkB,CAKjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,OAAO5B,eAAA,CAAAqC,SAAA,CACLH,EAAE,EACDI,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIJ,eAAe,EAAE;MACjCoB,MAAM,CAAChB,GAAG,CAAC,GAAGiB,eAAA,CAAAC,YAAA,CAAmBH,KAAK,CAACf,GAAG,CAAC,CAAC;IAC9C;IACA,OAAOgB,MAAM;EACf,CAAC,EACAD,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIJ,eAAe,EAAE;MACjC,MAAMN,KAAK,GAAeyB,KAAK,CAACf,GAAG,CAAC;MACpC,IAAImB,eAAA,CAAAC,SAAA,CAAA9B,KAAK,CAAY,EAAE;QACrB,OAAO0B,MAAM,CAAChB,GAAG,CAAC;QAClB;MACF;MACAgB,MAAM,CAAChB,GAAG,CAAC,GAAAqB,eAAA,CAAAC,WAAA,CAAGhC,KAAK,CAAM;IAC3B;IACA,OAAO0B,MAAM;EACf,CAAC,EApBIjC,IAAI,CAqBV;AACH;AAEA;;;AAGM,SAAUwC,WAAWA,CACzB,GAAG,CAACC,UAAU,CAAsG;EAEpH,OAAoB/C,eAAA,CAAAgD,KAAA,CAAa,GAAGD,UAAU,CAAC;AACjD;AAEA;;;AAGM,SAAUE,UAAUA,CAAIC,CAA8B;EAC1D,IAAIC,MAAuB;EAC3B,MAAM/C,GAAG,GAAGF,eAAA,CAAAkD,UAAA,CAAe,MAAK;IAC9B,IAAI,CAACD,MAAM,EAAE;MACXA,MAAM,GAAGD,CAAC,CAAClD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC,CAAC,CAACA,GAAG;IACrC;IACA,OAAO+C,MAAM;EACf,CAAC,CAAC;EACF,OAAOnD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC;AAC5B;AAEA;;;AAGM,SAAUiD,mBAAmBA,CACjC,GAAG,CAACC,OAAO,CAIF;EAET,OAAOtD,eAAA,CAAAuD,KAAA,CAAaD,OAAO,CAAyB;AACtD;AAEA;;;AAGM,SAAUE,WAAWA,CACzB,GAAG,CAACF,OAAO,CAIF;EAET,OAAOtD,eAAA,CAAAyD,YAAA,CAAoBH,OAAO,CAAyB;AAC7D;AAEA;;;AAGM,SAAUI,YAAYA,CAC1B,GAAG,CAACC,SAAS,EAAEC,WAAW,CAIjB;EAET,OAAO5D,eAAA,CAAA6D,MAAA,CAAcF,SAAoC,EAAEC,WAAW,CAAc;AACtF"}

package/_cjs/Show.cjs

@@ -0,0 +1,146 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.show = show;
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/run"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/constructors"));
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Vector/api"));
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/instance"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/api"));
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/schema/ASTAnnotation"));
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+var _utils = /*#__PURE__*/require("@fncts/schema/utils");
+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; }
+/**
+ * @tsplus getter fncts.schema.Schema show
+ */
+function show(self) {
+  const ev = go(self.ast);
+  return tsplus_module_1.run(ev);
+}
+const go = /*#__PURE__*/(0, _utils.memoize)(function go(ast) {
+  void 0;
+  switch (ast._tag) {
+    case 0 /* ASTTag.Declaration */:
+      {
+        return tsplus_module_7.match(() => tsplus_module_2.now("Unknown Type"), id => {
+          return tsplus_module_5.map(ts => {
+            if (ts.length <= 0) {
+              return id;
+            } else {
+              return `${id}<${tsplus_module_3.join(", ")(ts)}>`;
+            }
+          })(tsplus_module_3._traverse(ast.typeParameters)(tsplus_module_4.Applicative)(go));
+        })(ast.annotations.get(tsplus_module_6.Identifier));
+      }
+    case 1 /* ASTTag.Literal */:
+      {
+        if (ast.literal === null) {
+          return tsplus_module_2.now("null");
+        } else {
+          return tsplus_module_2.now(ast.literal.toString());
+        }
+      }
+    case 2 /* ASTTag.UniqueSymbol */:
+      return tsplus_module_2.now(ast.symbol.toString());
+    case 3 /* ASTTag.UndefinedKeyword */:
+      return tsplus_module_2.now("undefined");
+    case 4 /* ASTTag.VoidKeyword */:
+      return tsplus_module_2.now("void");
+    case 5 /* ASTTag.NeverKeyword */:
+      return tsplus_module_2.now("never");
+    case 6 /* ASTTag.UnknownKeyword */:
+      return tsplus_module_2.now("unknown");
+    case 7 /* ASTTag.AnyKeyword */:
+      return tsplus_module_2.now("any");
+    case 8 /* ASTTag.StringKeyword */:
+      return tsplus_module_2.now("string");
+    case 9 /* ASTTag.NumberKeyword */:
+      return tsplus_module_2.now("number");
+    case 10 /* ASTTag.BooleanKeyword */:
+      return tsplus_module_2.now("boolean");
+    case 11 /* ASTTag.BigIntKeyword */:
+      return tsplus_module_2.now("bigint");
+    case 12 /* ASTTag.SymbolKeyword */:
+      return tsplus_module_2.now("symbol");
+    case 13 /* ASTTag.ObjectKeyword */:
+      return tsplus_module_2.now("object");
+    case 15 /* ASTTag.TemplateLiteral */:
+      return tsplus_module_2.now("`" + formatTemplateLiteral(ast) + "`");
+    case 16 /* ASTTag.Tuple */:
+      return tsplus_module_5.flatMap(elements => tsplus_module_5.flatMap(restElements => tsplus_module_2.always(() => {
+        if (elements.length === 0 && restElements.length === 1) {
+          if (ast.isReadonly) {
+            return `ReadonlyArray<${tsplus_module_3.unsafeGet(0)(restElements)}>`;
+          } else {
+            return `Array<${tsplus_module_3.unsafeGet(0)(restElements)}>`;
+          }
+        }
+        const prefix = (ast.isReadonly ? "readonly " : "") + "[" + tsplus_module_3.join(", ")(elements);
+        const middle = restElements.length > 0 ? ", " : "";
+        const suffix = tsplus_module_3.join(", ")(tsplus_module_3.map(s => `...${s}`)(restElements)) + "]";
+        return prefix + middle + suffix;
+      }))(tsplus_module_7.match(() => tsplus_module_2.now(tsplus_module_3.empty()), rest => tsplus_module_3._traverse(rest)(tsplus_module_4.Applicative)(go))(ast.rest)))(tsplus_module_3._traverse(tsplus_module_3.map(element => element.type)(ast.elements))(tsplus_module_4.Applicative)(go));
+    case 17 /* ASTTag.TypeLiteral */:
+      return tsplus_module_5.flatMap(propertySignatures => tsplus_module_5.map(indexSignatures => {
+        const required = [];
+        const optional = [];
+        tsplus_module_3.forEachWithIndex((i, ps) => {
+          const name = ps.name;
+          if (!ps.isOptional) {
+            required.push([name, tsplus_module_3.unsafeGet(i)(propertySignatures)]);
+          } else {
+            optional.push([name, tsplus_module_3.unsafeGet(i)(propertySignatures)]);
+          }
+        })(ast.propertySignatures);
+        const prefix = "{";
+        const properties = required.concat(optional).sort(([k1], [k2]) => k1.toLocaleString().localeCompare(k2.toLocaleString())).map(([propertyKey, type]) => `${String(propertyKey)}: ${type}`).join(", ");
+        const index = tsplus_module_3.join(", ")(tsplus_module_3.map(([param, type]) => `[x: ${param}]: ${type}`)(indexSignatures));
+        const suffix = "}";
+        return prefix + " " + properties + (index.length === 0 ? "" : ", ") + index + " " + suffix;
+      })(tsplus_module_3._traverse(ast.indexSignatures)(tsplus_module_4.Applicative)(is => tsplus_module_5.zip(go(is.type))(go(is.parameter)))))(tsplus_module_3._traverse(ast.propertySignatures)(tsplus_module_4.Applicative)(ps => go(ps.type)));
+    case 18 /* ASTTag.Union */:
+      return tsplus_module_5.map(ts => tsplus_module_3.join(" | ")(ts))(tsplus_module_3._traverse(ast.types)(tsplus_module_4.Applicative)(go));
+    case 19 /* ASTTag.Lazy */:
+      {
+        const f = () => go(ast.getAST());
+        const get = (0, _utils.memoize)(f);
+        return tsplus_module_2.defer(() => get(f));
+      }
+    case 14 /* ASTTag.Enum */:
+      {
+        return tsplus_module_2.now(tsplus_module_3.join(" | ")(tsplus_module_3.map(([name]) => name)(ast.enums)));
+      }
+    case 20 /* ASTTag.Refinement */:
+      {
+        return tsplus_module_7.match(() => tsplus_module_5.map(from => `Refined<${from}>`)(go(ast.from)), id => tsplus_module_2.now(id))(ast.annotations.get(tsplus_module_6.Identifier));
+      }
+    case 21 /* ASTTag.Transform */:
+      return go(ast.to);
+    case 22 /* ASTTag.Validation */:
+      {
+        return tsplus_module_5.map(from => {
+          const validationNames = tsplus_module_3.join(" & ")(tsplus_module_3.map(v => v.name)(ast.validation));
+          if (validationNames.length <= 0) {
+            return from;
+          }
+          return `${from} & ${validationNames}`;
+        })(go(ast.from));
+      }
+  }
+});
+function formatTemplateLiteralSpan(span) {
+  switch (span.type._tag) {
+    case 8 /* ASTTag.StringKeyword */:
+      return "${string}";
+    case 9 /* ASTTag.NumberKeyword */:
+      return "${number}";
+  }
+}
+function formatTemplateLiteral(ast) {
+  return ast.head + tsplus_module_3.join("")(tsplus_module_3.map(span => formatTemplateLiteralSpan(span) + span.literal)(ast.spans));
+}
+//# sourceMappingURL=Show.cjs.map

package/_cjs/Show.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Show.cjs","names":["_utils","require","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","show","self","ev","go","ast","tsplus_module_1","run","memoize","_tag","tsplus_module_7","match","tsplus_module_2","now","id","tsplus_module_5","map","ts","length","tsplus_module_3","join","_traverse","typeParameters","tsplus_module_4","Applicative","annotations","tsplus_module_6","Identifier","literal","toString","symbol","formatTemplateLiteral","flatMap","elements","restElements","always","isReadonly","unsafeGet","prefix","middle","suffix","s","empty","rest","element","type","propertySignatures","indexSignatures","required","optional","forEachWithIndex","ps","name","isOptional","push","properties","concat","sort","k1","k2","toLocaleString","localeCompare","propertyKey","String","index","param","is","zip","parameter","types","f","getAST","defer","enums","from","to","validationNames","v","validation","formatTemplateLiteralSpan","span","head","spans"],"sources":["../_src/Show.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;AAIA,IAAAA,MAAA,gBAAAC,OAAA;AAA8C,SAAAC,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAlB,CAAA,EAAAe,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAiB,GAAA,CAAApB,CAAA,EAAAS,CAAA,GAAAA,CAAA;AAE9C;;;AAGM,SAAUY,IAAIA,CAAIC,IAAe;EACrC,MAAMC,EAAE,GAAGC,EAAE,CAACF,IAAI,CAACG,GAAG,CAAC;EACvB,OAAAC,eAAA,CAAAC,GAAA,CAAOJ,EAAE;AACX;AAEA,MAAMC,EAAE,gBAAG,IAAAI,cAAO,EAAC,SAASJ,EAAEA,CAACC,GAAQ;EACrC;EACA,QAAQA,GAAG,CAACI,IAAI;IACd;MAAyB;QACvB,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMC,eAAA,CAAAC,GAAA,CAAS,cAAc,CAAC,EAC7BC,EAAE,IAAI;UACL,OAAOC,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAI;YACV,IAAIA,EAAE,CAACC,MAAM,IAAI,CAAC,EAAE;cAClB,OAAOJ,EAAE;YACX,CAAC,MAAM;cACL,OAAO,GAAGA,EAAE,IAAIK,eAAA,CAAAC,IAAA,CAAQ,IAAI,EAAZH,EAAE,CAAW,GAAG;YAClC;UACF,CAAC,EARIE,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAACiB,cAAc,EAAAC,eAAA,CAAAC,WAAA,CACI,CAACpB,EAAE,CAAC,CAO7B;QACN,CAAC,EAZIC,GAAG,CAACoB,WAAW,CAACrC,GAAG,CAAAsC,eAAA,CAAAC,UAAA,CAA0B,CAanD;MACH;IACA;MAAqB;QACnB,IAAItB,GAAG,CAACuB,OAAO,KAAK,IAAI,EAAE;UACxB,OAAOhB,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;QACzB,CAAC,MAAM;UACL,OAAOD,eAAA,CAAAC,GAAA,CAASR,GAAG,CAACuB,OAAO,CAACC,QAAQ,EAAE,CAAC;QACzC;MACF;IACA;MACE,OAAOjB,eAAA,CAAAC,GAAA,CAASR,GAAG,CAACyB,MAAM,CAACD,QAAQ,EAAE,CAAC;IACxC;MACE,OAAOjB,eAAA,CAAAC,GAAA,CAAS,WAAW,CAAC;IAC9B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;IACzB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,OAAO,CAAC;IAC1B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,KAAK,CAAC;IACxB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,GAAG,GAAGkB,qBAAqB,CAAC1B,GAAG,CAAC,GAAG,GAAG,CAAC;IACzD;MACE,OAAAU,eAAA,CAAAiB,OAAA,CACQC,QAAQ,IAAAlB,eAAA,CAAAiB,OAAA,CACRE,YAAY,IAQhBtB,eAAA,CAAAuB,MAAA,CAAK,MAAK;QACR,IAAIF,QAAQ,CAACf,MAAM,KAAK,CAAC,IAAIgB,YAAY,CAAChB,MAAM,KAAK,CAAC,EAAE;UACtD,IAAIb,GAAG,CAAC+B,UAAU,EAAE;YAClB,OAAO,iBAAiBjB,eAAA,CAAAkB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UAC5C,CAAC,MAAM;YACL,OAAO,SAASf,eAAA,CAAAkB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UACpC;QACF;QAEA,MAAMI,MAAM,GAAG,CAACjC,GAAG,CAAC+B,UAAU,GAAG,WAAW,GAAG,EAAE,IAAI,GAAG,GAAGjB,eAAA,CAAAC,IAAA,CAAc,IAAI,EAAlBa,QAAQ,CAAW;QAC9E,MAAMM,MAAM,GAAGL,YAAY,CAAChB,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE;QAClD,MAAMsB,MAAM,GAAGrB,eAAA,CAAAC,IAAA,CAAwC,IAAI,EAA5CD,eAAA,CAAAH,GAAA,CAAkByB,CAAC,IAAK,MAAMA,CAAC,EAAE,EAAjCP,YAAY,CAAsB,CAAW,GAAG,GAAG;QAClE,OAAOI,MAAM,GAAGC,MAAM,GAAGC,MAAM;MACjC,CAAC,CAAC,EApBF9B,eAAA,CAAAC,KAAA,CACE,MAAMC,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAuB,KAAA,EAAsB,CAAC,EACrCC,IAAI,IAAKxB,eAAA,CAAAE,SAAA,CAAAsB,IAAI,EAAApB,eAAA,CAAAC,WAAA,CAA2B,CAACpB,EAAE,CAAC,EAF/CC,GAAG,CAACsC,IAAI,CAGP,GALoBxB,eAAA,CAAAE,SAAA,CAAAF,eAAA,CAAAH,GAAA,CAAkB4B,OAAO,IAAKA,OAAO,CAACC,IAAI,EAA1CxC,GAAG,CAAC4B,QAAQ,CAA+B,EAAAV,eAAA,CAAAC,WAAA,CAA2B,CAACpB,EAAE,CAAC;IAyBrG;MACE,OAAAW,eAAA,CAAAiB,OAAA,CACQc,kBAAkB,IAAA/B,eAAA,CAAAC,GAAA,CAClB+B,eAAe;QAIrB,MAAMC,QAAQ,GAAiC,EAAE;QACjD,MAAMC,QAAQ,GAAiC,EAAE;QAEjD9B,eAAA,CAAA+B,gBAAA,CAAwC,CAACnD,CAAC,EAAEoD,EAAE,KAAI;UAChD,MAAMC,IAAI,GAAGD,EAAE,CAACC,IAAI;UACpB,IAAI,CAACD,EAAE,CAACE,UAAU,EAAE;YAClBL,QAAQ,CAACM,IAAI,CAAC,CAACF,IAAI,EAAEjC,eAAA,CAAAkB,SAAA,CAAmBtC,CAAC,EAApB+C,kBAAkB,CAAI,CAAC,CAAC;UAC/C,CAAC,MAAM;YACLG,QAAQ,CAACK,IAAI,CAAC,CAACF,IAAI,EAAEjC,eAAA,CAAAkB,SAAA,CAAmBtC,CAAC,EAApB+C,kBAAkB,CAAI,CAAC,CAAC;UAC/C;QACF,CAAC,EAPDzC,GAAG,CAACyC,kBAAkB,CAOpB;QAEF,MAAMR,MAAM,GAAO,GAAG;QACtB,MAAMiB,UAAU,GAAGP,QAAQ,CACxBQ,MAAM,CAACP,QAAQ,CAAC,CAChBQ,IAAI,CAAC,CAAC,CAACC,EAAE,CAAC,EAAE,CAACC,EAAE,CAAC,KAAKD,EAAE,CAACE,cAAc,EAAE,CAACC,aAAa,CAACF,EAAE,CAACC,cAAc,EAAE,CAAC,CAAC,CAC5E5C,GAAG,CAAC,CAAC,CAAC8C,WAAW,EAAEjB,IAAI,CAAC,KAAK,GAAGkB,MAAM,CAACD,WAAW,CAAC,KAAKjB,IAAI,EAAE,CAAC,CAC/DzB,IAAI,CAAC,IAAI,CAAC;QACb,MAAM4C,KAAK,GAAI7C,eAAA,CAAAC,IAAA,CAAsE,IAAI,EAA1ED,eAAA,CAAAH,GAAA,CAAoB,CAAC,CAACiD,KAAK,EAAEpB,IAAI,CAAC,KAAK,OAAOoB,KAAK,MAAMpB,IAAI,EAAE,EAA/DE,eAAe,CAAiD,CAAW;QAC1F,MAAMP,MAAM,GAAG,GAAG;QAElB,OAAOF,MAAM,GAAG,GAAG,GAAGiB,UAAU,IAAIS,KAAK,CAAC9C,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG8C,KAAK,GAAG,GAAG,GAAGxB,MAAM;SAxBxFrB,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAAC0C,eAAe,EAAAxB,eAAA,CAAAC,WAAA,CAA2B,CAAE0C,EAAE,IAAKnD,eAAA,CAAAoD,GAAA,CAAqB/D,EAAE,CAAC8D,EAAE,CAACrB,IAAI,CAAC,EAAhCzC,EAAE,CAAC8D,EAAE,CAACE,SAAS,CAAC,CAAiB,CAAC,GAF9DjD,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAACyC,kBAAkB,EAAAvB,eAAA,CAAAC,WAAA,CAA2B,CAAE2B,EAAE,IAAK/C,EAAE,CAAC+C,EAAE,CAACN,IAAI,CAAC,CAAC;IA4BvG;MACE,OAAO9B,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAKE,eAAA,CAAAC,IAAA,CAAQ,KAAK,EAAbH,EAAE,CAAY,EAFtBE,eAAA,CAAAE,SAAA,CAAAhB,GAAG,CAACgE,KAAK,EAAA9C,eAAA,CAAAC,WAAA,CACa,CAACpB,EAAE,CAAC,CACH;IAChC;MAAkB;QAChB,MAAMkE,CAAC,GAAKA,CAAA,KAAMlE,EAAE,CAACC,GAAG,CAACkE,MAAM,EAAE,CAAC;QAClC,MAAMnF,GAAG,GAAG,IAAAoB,cAAO,EAAyB8D,CAAC,CAAC;QAC9C,OAAO1D,eAAA,CAAA4D,KAAA,CAAW,MAAMpF,GAAG,CAACkF,CAAC,CAAC,CAAC;MACjC;IACA;MAAkB;QAChB,OAAO1D,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAC,IAAA,CAAqC,KAAK,EAA1CD,eAAA,CAAAH,GAAA,CAAc,CAAC,CAACoC,IAAI,CAAC,KAAKA,IAAI,EAA9B/C,GAAG,CAACoE,KAAK,CAAsB,CAAY,CAAC;MAC9D;IACA;MAAwB;QACtB,OAAO/D,eAAA,CAAAC,KAAA,CACL,MAAMI,eAAA,CAAAC,GAAA,CAAkB0D,IAAI,IAAK,WAAWA,IAAI,GAAG,EAA7CtE,EAAE,CAACC,GAAG,CAACqE,IAAI,CAAC,CAAkC,EACnD5D,EAAE,IAAKF,eAAA,CAAAC,GAAA,CAASC,EAAE,CAAC,EAFfT,GAAG,CAACoB,WAAW,CAACrC,GAAG,CAAAsC,eAAA,CAAAC,UAAA,CAA0B,CAGnD;MACH;IACA;MACE,OAAOvB,EAAE,CAACC,GAAG,CAACsE,EAAE,CAAC;IACnB;MAAwB;QACtB,OAAO5D,eAAA,CAAAC,GAAA,CAAkB0D,IAAI,IAAI;UAC/B,MAAME,eAAe,GAAGzD,eAAA,CAAAC,IAAA,CAAuC,KAAK,EAA5CD,eAAA,CAAAH,GAAA,CAAoB6D,CAAC,IAAKA,CAAC,CAACzB,IAAI,EAAhC/C,GAAG,CAACyE,UAAU,CAAmB,CAAY;UAErE,IAAIF,eAAe,CAAC1D,MAAM,IAAI,CAAC,EAAE;YAC/B,OAAOwD,IAAI;UACb;UAEA,OAAO,GAAGA,IAAI,MAAME,eAAe,EAAE;QACvC,CAAC,EARMxE,EAAE,CAACC,GAAG,CAACqE,IAAI,CAAC,CAQjB;MACJ;EACF;AACF,CAAC,CAAC;AAEF,SAASK,yBAAyBA,CAACC,IAAyB;EAC1D,QAAQA,IAAI,CAACnC,IAAI,CAACpC,IAAI;IACpB;MACE,OAAO,WAAW;IACpB;MACE,OAAO,WAAW;EACtB;AACF;AAEA,SAASsB,qBAAqBA,CAAC1B,GAAoB;EACjD,OAAOA,GAAG,CAAC4E,IAAI,GAAG9D,eAAA,CAAAC,IAAA,CAA6E,EAAE,EAA/ED,eAAA,CAAAH,GAAA,CAAegE,IAAI,IAAKD,yBAAyB,CAACC,IAAI,CAAC,GAAGA,IAAI,CAACpD,OAAO,EAAtEvB,GAAG,CAAC6E,KAAK,CAA8D,CAAS;AACpG"}

package/_mjs/Gen.mjs

@@ -108,7 +108,6 @@ const go = /*#__PURE__*/memoize(function go(ast) {
       {
         const propertySignatureTypes = tsplus_module_4.map(ps => go(ps.type))(ast.propertySignatures);
         const indexSignatures = tsplus_module_4.map(is => [go(is.parameter), go(is.type)])(ast.indexSignatures);
-        const gens = {};
         const requiredGens = {};
         const optionalGens = {};
         for (let i = 0; i < propertySignatureTypes.length; i++) {
@@ -152,7 +151,7 @@ const go = /*#__PURE__*/memoize(function go(ast) {
     case 14 /* ASTTag.Enum */:
       {
         if (ast.enums.length === 0) {
-          return tsplus_module_3.fromIO(tsplus_module_6.haltNow(new InvalidInterpretationError("cannot build a Gen for an empty enum"), fileName_1 + ":147:37"));
+          return tsplus_module_3.fromIO(tsplus_module_6.haltNow(new InvalidInterpretationError("cannot build a Gen for an empty enum"), fileName_1 + ":146:37"));
         }
         return tsplus_module_3.oneOf(...tsplus_module_4.map(([_, value]) => tsplus_module_3.constant(value))(ast.enums));
       }

package/_mjs/Gen.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Gen.mjs","names":["InvalidInterpretationError","memoize","genFrom","self","go","tsplus_module_1","getFrom","ast","genTo","getHook","annotations","get","tsplus_module_2","GenHook","record","key","value","tsplus_module_3","map","tuples","out","k","v","arrayWith","maxLength","tuple","_tag","tsplus_module_5","match","type","hook","tsplus_module_4","typeParameters","constant","literal","symbol","undefined","fromIO","tsplus_module_6","haltNow","fileName_1","anything","fullUnicodeString","float","boolean","bigInt","s","Symbol","for","components","head","span","spans","push","join","elements","e","rest","tsplus_module_7","restElement","output","length","tsplus_module_8","isNothing","firstOptionalIndex","findIndex","isOptional","flatMap","as","i","slice","intWith","min","max","isJust","unsafeHead","tail","j","a","unsafeGet","propertySignatureTypes","ps","propertySignatures","indexSignatures","is","parameter","gens","requiredGens","optionalGens","name","zipWith","partial","b","struct","o","d","types","oneOf","f","getAST","defer","handler","enums","_","from","filter","tsplus_module_9","isRight","decode","to","every","validate","validation"],"sources":["../_src/Gen.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;AAKA,SAASA,0BAA0B,QAAQ,0CAA0C;AACrF,SAASC,OAAO,QAAQ,qBAAqB;AAE7C;;;AAGA,OAAM,SAAUC,OAAOA,CAAIC,IAAe;EACxC,OAAOC,EAAE,CAAAC,eAAA,CAAAC,OAAA,CAACH,IAAI,CAACI,GAAG,EAAS;AAC7B;AAEA;;;AAGA,OAAM,SAAUC,KAAKA,CAAIL,IAAe;EACtC,OAAOC,EAAE,CAACD,IAAI,CAACI,GAAG,CAAC;AACrB;AAEA,SAASE,OAAOA,CAACF,GAAQ;EACvB,OAAOA,GAAG,CAACG,WAAW,CAACC,GAAG,CAAAC,eAAA,CAAAC,OAAA,CAAuB;AACnD;AAEA,SAASC,MAAMA,CACbC,GAAkB,EAClBC,KAAoB;EAEpB,OAAOC,eAAA,CAAAC,GAAA,CAECC,MAAM,IAAI;IACd,MAAMC,GAAG,GAAoB,EAAS;IACtC,KAAK,MAAM,CAACC,CAAC,EAAEC,CAAC,CAAC,IAAIH,MAAM,EAAE;MAC3BC,GAAG,CAACC,CAAC,CAAC,GAAGC,CAAC;IACZ;IACA,OAAOF,GAAG;EACZ,CAAC,EARIH,eAAA,CAAAM,SAAA,CACM;IAAEC,SAAS,EAAE;EAAE,CAAE,EADvBP,eAAA,CAAAQ,KAAA,CAAUV,GAAG,EAAEC,KAAK,CAAC,CACG,CAO3B;AACN;AAEA,MAAMZ,EAAE,gBAAGH,OAAO,CAAC,SAASG,EAAEA,CAACG,GAAQ;EACrC;EACA,QAAQA,GAAG,CAACmB,IAAI;IACd;MACE,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMxB,EAAE,CAACG,GAAG,CAACsB,IAAI,CAAC,EACjBC,IAAI,IAAKA,IAAI,CAAC,GAAGC,eAAA,CAAAb,GAAA,CAAuBd,EAAE,EAAzBG,GAAG,CAACyB,cAAc,CAAQ,CAAC,EAFxCvB,OAAO,CAACF,GAAG,CAAC,CAGlB;IACH;MACE,OAAOU,eAAA,CAAAgB,QAAA,CAAa1B,GAAG,CAAC2B,OAAO,CAAC;IAClC;MACE,OAAOjB,eAAA,CAAAgB,QAAA,CAAa1B,GAAG,CAAC4B,MAAM,CAAC;IACjC;MACE,OAAOlB,eAAA,CAAAgB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOnB,eAAA,CAAAgB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOnB,eAAA,CAAAoB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIvC,0BAA0B,CAAC,gCAAgC,CAAC,EAAAwC,UAAA,YAAC,CAAC;IACjG;MACE,OAAOvB,eAAA,CAAAwB,QAAA,EAAc;IACvB;MACE,OAAOxB,eAAA,CAAAwB,QAAA,EAAc;IACvB;MACE,OAAOxB,eAAA,CAAAyB,iBAAA,EAAuB;IAChC;MACE,OAAAzB,eAAA,CAAA0B,KAAA;IACF;MACE,OAAA1B,eAAA,CAAA2B,OAAA;IACF;MACE,OAAA3B,eAAA,CAAA4B,MAAA;IACF;MACE,OAAO5B,eAAA,CAAAC,GAAA,CAA6B4B,CAAC,IAAKC,MAAM,CAACC,GAAG,CAACF,CAAC,CAAC,EAAhD7B,eAAA,CAAAyB,iBAAA,EAAuB,CAA0B;IAC1D;MACE,OAAOzB,eAAA,CAAAwB,QAAA,EAAc;IACvB;MAA6B;QAC3B,MAAMQ,UAAU,GAA8B,CAAChC,eAAA,CAAAgB,QAAA,CAAa1B,GAAG,CAAC2C,IAAI,CAAC,CAAC;QACtE,KAAK,MAAMC,IAAI,IAAI5C,GAAG,CAAC6C,KAAK,EAAE;UAC5BH,UAAU,CAACI,IAAI,CAACpC,eAAA,CAAAyB,iBAAA,CAAsB;YAAElB,SAAS,EAAE;UAAC,CAAE,CAAC,CAAC;UACxDyB,UAAU,CAACI,IAAI,CAACpC,eAAA,CAAAgB,QAAA,CAAakB,IAAI,CAACjB,OAAO,CAAC,CAAC;QAC7C;QACA,OAAOjB,eAAA,CAAAC,GAAA,CAA8BkC,KAAK,IAAKA,KAAK,CAACE,IAAI,CAAC,EAAE,CAAC,EAAtDrC,eAAA,CAAAQ,KAAA,CAAU,GAAGwB,UAAU,CAAC,CAA+B;MAChE;IACA;MAAmB;QACjB,MAAMM,QAAQ,GAAGxB,eAAA,CAAAb,GAAA,CAAkBsC,CAAC,IAAKpD,EAAE,CAACoD,CAAC,CAAC3B,IAAI,CAAC,EAAlCtB,GAAG,CAACgD,QAAQ,CAAuB;QACpD,MAAME,IAAI,GAAOC,eAAA,CAAAxC,GAAA,CAAcyC,WAAW,IAAK5B,eAAA,CAAAb,GAAA,CAAgBd,EAAE,EAAlBuD,WAAW,CAAQ,EAAjDpD,GAAG,CAACkD,IAAI,CAA0C;QACnE,IAAIG,MAAM,GAAO3C,eAAA,CAAAQ,KAAA,CAAU,GAAG8B,QAAQ,CAAC;QACvC,IAAIA,QAAQ,CAACM,MAAM,GAAG,CAAC,IAAIC,eAAA,CAAAC,SAAA,CAAAN,IAAI,CAAY,EAAE;UAC3C,MAAMO,kBAAkB,GAAGjC,eAAA,CAAAkC,SAAA,CAAwBT,CAAC,IAAKA,CAAC,CAACU,UAAU,EAA1C3D,GAAG,CAACgD,QAAQ,CAA+B;UACtE,IAAIS,kBAAkB,KAAK,CAAC,CAAC,EAAE;YAC7BJ,MAAM,GAAG3C,eAAA,CAAAkD,OAAA,CAAgBC,EAAE,IACzBnD,eAAA,CAAAC,GAAA,CAAwEmD,CAAC,IAAKD,EAAE,CAACE,KAAK,CAAC,CAAC,EAAED,CAAC,CAAC,EAA5FpD,eAAA,CAAAsD,OAAA,CAAY;cAAEC,GAAG,EAAER,kBAAkB;cAAES,GAAG,EAAElB,QAAQ,CAACM,MAAM,GAAG;YAAC,CAAE,CAAC,CAA2B,EADtFD,MAAM,CAEd;UACH;QACF;QACA,IAAIE,eAAA,CAAAY,MAAA,CAAAjB,IAAI,CAAS,EAAE;UACjB,MAAMP,IAAI,GAAGnB,eAAA,CAAA4C,UAAA,CAAAlB,IAAI,CAACzC,KAAK,CAAY;UACnC,MAAM4D,IAAI,GAAA7C,eAAA,CAAA6C,IAAA,CAAGnB,IAAI,CAACzC,KAAK,CAAK;UAC5B4C,MAAM,GAAO3C,eAAA,CAAAkD,OAAA,CAAgBC,EAAE,IAAKnD,eAAA,CAAAC,GAAA,CAAsCuC,IAAI,IAAK,CAAC,GAAGW,EAAE,EAAE,GAAGX,IAAI,CAAC,EAA/DxC,eAAA,CAAAM,SAAA,CAAe;YAAEC,SAAS,EAAE;UAAC,CAAE,EAA/B0B,IAAI,CAA4B,CAAgC,EAAvFU,MAAM,CAAkF;UACrG,KAAK,IAAIiB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,IAAI,CAACf,MAAM,EAAEgB,CAAC,EAAE,EAAE;YACpCjB,MAAM,GAAG3C,eAAA,CAAAkD,OAAA,CAAgBC,EAAE,IAAKnD,eAAA,CAAAC,GAAA,CAAc4D,CAAC,IAAK,CAAC,GAAGV,EAAE,EAAEU,CAAC,CAAC,EAA9B/C,eAAA,CAAAgD,SAAA,CAAKF,CAAC,EAAND,IAAI,CAAI,CAAuB,EAAtDhB,MAAM,CAAiD;UAClE;QACF;QACA,OAAOA,MAAyB;MAClC;IACA;MAAyB;QACvB,MAAMoB,sBAAsB,GAAGjD,eAAA,CAAAb,GAAA,CAA4B+D,EAAE,IAAK7E,EAAE,CAAC6E,EAAE,CAACpD,IAAI,CAAC,EAA9CtB,GAAG,CAAC2E,kBAAkB,CAAyB;QAC9E,MAAMC,eAAe,GAAUpD,eAAA,CAAAb,GAAA,CAAyBkE,EAAE,IAAK,CAAChF,EAAE,CAACgF,EAAE,CAACC,SAAS,CAAC,EAAEjF,EAAE,CAACgF,EAAE,CAACvD,IAAI,CAAC,CAAU,EAAxEtB,GAAG,CAAC4E,eAAe,CAAsD;QACxG,MAAMG,IAAI,GAAqB,EAAE;QACjC,MAAMC,YAAY,GAAuC,EAAE;QAC3D,MAAMC,YAAY,GAAuC,EAAE;QAC3D,KAAK,IAAInB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGW,sBAAsB,CAACnB,MAAM,EAAEQ,CAAC,EAAE,EAAE;UACtD,MAAMY,EAAE,GAAKlD,eAAA,CAAAgD,SAAA,CAAuBV,CAAC,EAAxB9D,GAAG,CAAC2E,kBAAkB,CAAI;UACvC,MAAMO,IAAI,GAAGR,EAAE,CAACQ,IAAI;UACpB,IAAI,CAACR,EAAE,CAACf,UAAU,EAAE;YAClBqB,YAAY,CAACE,IAAI,CAAC,GAAG1D,eAAA,CAAAgD,SAAA,CAAuBV,CAAC,EAAxBW,sBAAsB,CAAI;UACjD,CAAC,MAAM;YACLQ,YAAY,CAACC,IAAI,CAAC,GAAG1D,eAAA,CAAAgD,SAAA,CAAuBV,CAAC,EAAxBW,sBAAsB,CAAI;UACjD;QACF;QACA,IAAIpB,MAAM,GAAG3C,eAAA,CAAAyE,OAAA,CAAiCzE,eAAA,CAAA0E,OAAA,CAAYH,YAAY,CAAC,EAAE,CAACV,CAAC,EAAEc,CAAC,MAAM;UAAE,GAAGd,CAAC;UAAE,GAAGc;QAAC,CAAE,CAAC,EAAtF3E,eAAA,CAAA4E,MAAA,CAAWN,YAAY,CAAC,CAA+D;QACpG,KAAK,IAAIlB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGc,eAAe,CAACtB,MAAM,EAAEQ,CAAC,EAAE,EAAE;UAC/C,MAAMgB,SAAS,GAAGtD,eAAA,CAAAgD,SAAA,CAAgBV,CAAC,EAAjBc,eAAe,CAAI,CAAC,CAAC,CAAE;UACzC,MAAMtD,IAAI,GAAQE,eAAA,CAAAgD,SAAA,CAAgBV,CAAC,EAAjBc,eAAe,CAAI,CAAC,CAAC,CAAE;UACzCvB,MAAM,GAAY3C,eAAA,CAAAkD,OAAA,CAAgB2B,CAAC,IAAI;YACrC,OAAO7E,eAAA,CAAAC,GAAA,CAA6B6E,CAAC,KAAM;cAAE,GAAGA,CAAC;cAAE,GAAGD;YAAC,CAAE,CAAC,EAAnDhF,MAAM,CAACuE,SAAS,EAAExD,IAAI,CAAC,CAA6B;UAC7D,CAAC,EAFiB+B,MAAM,CAEtB;QACJ;QACA,OAAOA,MAAM;MACf;IACA;MAAmB;QACjB,MAAMoC,KAAK,GAAGjE,eAAA,CAAAb,GAAA,CAAcd,EAAE,EAAhBG,GAAG,CAACyF,KAAK,CAAQ;QAC/B,OAAO/E,eAAA,CAAAgF,KAAA,CAAU,GAAGD,KAAK,CAAoB;MAC/C;IACA;MAAkB;QAChB,OAAOrE,eAAA,CAAAC,KAAA,CACL,MAAK;UACH,MAAMsE,CAAC,GAAKA,CAAA,KAAM9F,EAAE,CAACG,GAAG,CAAC4F,MAAM,EAAE,CAAC;UAClC,MAAMxF,GAAG,GAAGV,OAAO,CAA0BiG,CAAC,CAAC;UAC/C,OAAOjF,eAAA,CAAAmF,KAAA,CAAU,MAAMzF,GAAG,CAACuF,CAAC,CAAC,CAAC;QAChC,CAAC,EACAG,OAAO,IAAKA,OAAO,EAAE,EANjB5F,OAAO,CAACF,GAAG,CAAC,CAOlB;MACH;IACA;MAAkB;QAChB,IAAIA,GAAG,CAAC+F,KAAK,CAACzC,MAAM,KAAK,CAAC,EAAE;UAC1B,OAAO5C,eAAA,CAAAoB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIvC,0BAA0B,CAAC,sCAAsC,CAAC,EAAAwC,UAAA,aAAC,CAAC;QACvG;QACA,OAAOvB,eAAA,CAAAgF,KAAA,CAAU,GAAGlE,eAAA,CAAAb,GAAA,CAAc,CAAC,CAACqF,CAAC,EAAEvF,KAAK,CAAC,KAAKC,eAAA,CAAAgB,QAAA,CAAajB,KAAK,CAAC,EAAjDT,GAAG,CAAC+F,KAAK,CAAyC,CAAoB;MAC5F;IACA;MAAwB;QACtB,MAAME,IAAI,GAAGpG,EAAE,CAACG,GAAG,CAACiG,IAAI,CAAC;QACzB,OAAO7E,eAAA,CAAAC,KAAA,CACL,MAAMX,eAAA,CAAAwF,MAAA,CAAa3B,CAAC,IAAK4B,eAAA,CAAAC,OAAA,CAAApG,GAAG,CAACqG,MAAM,CAAC9B,CAAC,CAAC,CAAU,EAA1C0B,IAAI,CAAuC,EAChDH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB/F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;IACA;MACE,OAAOH,EAAE,CAACG,GAAG,CAACsG,EAAE,CAAC;IACnB;MAAwB;QACtB,MAAML,IAAI,GAAGpG,EAAE,CAACG,GAAG,CAACiG,IAAI,CAAC;QACzB,OAAO7E,eAAA,CAAAC,KAAA,CACL,MAAMX,eAAA,CAAAwF,MAAA,CAAa3B,CAAC,IAAK/C,eAAA,CAAA+E,KAAA,CAAsBxF,CAAC,IAAKA,CAAC,CAACyF,QAAQ,CAACjC,CAAC,CAAC,EAAzCvE,GAAG,CAACyG,UAAU,CAA4B,EAA7DR,IAAI,CAA0D,EACnEH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB/F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;EACF;AACF,CAAC,CAAC"}
+{"version":3,"file":"Gen.mjs","names":["InvalidInterpretationError","memoize","genFrom","self","go","tsplus_module_1","getFrom","ast","genTo","getHook","annotations","get","tsplus_module_2","GenHook","record","key","value","tsplus_module_3","map","tuples","out","k","v","arrayWith","maxLength","tuple","_tag","tsplus_module_5","match","type","hook","tsplus_module_4","typeParameters","constant","literal","symbol","undefined","fromIO","tsplus_module_6","haltNow","fileName_1","anything","fullUnicodeString","float","boolean","bigInt","s","Symbol","for","components","head","span","spans","push","join","elements","e","rest","tsplus_module_7","restElement","output","length","tsplus_module_8","isNothing","firstOptionalIndex","findIndex","isOptional","flatMap","as","i","slice","intWith","min","max","isJust","unsafeHead","tail","j","a","unsafeGet","propertySignatureTypes","ps","propertySignatures","indexSignatures","is","parameter","requiredGens","optionalGens","name","zipWith","partial","b","struct","o","d","types","oneOf","f","getAST","defer","handler","enums","_","from","filter","tsplus_module_9","isRight","decode","to","every","validate","validation"],"sources":["../_src/Gen.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;AAKA,SAASA,0BAA0B,QAAQ,0CAA0C;AACrF,SAASC,OAAO,QAAQ,qBAAqB;AAE7C;;;AAGA,OAAM,SAAUC,OAAOA,CAAIC,IAAe;EACxC,OAAOC,EAAE,CAAAC,eAAA,CAAAC,OAAA,CAACH,IAAI,CAACI,GAAG,EAAS;AAC7B;AAEA;;;AAGA,OAAM,SAAUC,KAAKA,CAAIL,IAAe;EACtC,OAAOC,EAAE,CAACD,IAAI,CAACI,GAAG,CAAC;AACrB;AAEA,SAASE,OAAOA,CAACF,GAAQ;EACvB,OAAOA,GAAG,CAACG,WAAW,CAACC,GAAG,CAAAC,eAAA,CAAAC,OAAA,CAAuB;AACnD;AAEA,SAASC,MAAMA,CACbC,GAAkB,EAClBC,KAAoB;EAEpB,OAAOC,eAAA,CAAAC,GAAA,CAECC,MAAM,IAAI;IACd,MAAMC,GAAG,GAAoB,EAAS;IACtC,KAAK,MAAM,CAACC,CAAC,EAAEC,CAAC,CAAC,IAAIH,MAAM,EAAE;MAC3BC,GAAG,CAACC,CAAC,CAAC,GAAGC,CAAC;IACZ;IACA,OAAOF,GAAG;EACZ,CAAC,EARIH,eAAA,CAAAM,SAAA,CACM;IAAEC,SAAS,EAAE;EAAE,CAAE,EADvBP,eAAA,CAAAQ,KAAA,CAAUV,GAAG,EAAEC,KAAK,CAAC,CACG,CAO3B;AACN;AAEA,MAAMZ,EAAE,gBAAGH,OAAO,CAAC,SAASG,EAAEA,CAACG,GAAQ;EACrC;EACA,QAAQA,GAAG,CAACmB,IAAI;IACd;MACE,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMxB,EAAE,CAACG,GAAG,CAACsB,IAAI,CAAC,EACjBC,IAAI,IAAKA,IAAI,CAAC,GAAGC,eAAA,CAAAb,GAAA,CAAuBd,EAAE,EAAzBG,GAAG,CAACyB,cAAc,CAAQ,CAAC,EAFxCvB,OAAO,CAACF,GAAG,CAAC,CAGlB;IACH;MACE,OAAOU,eAAA,CAAAgB,QAAA,CAAa1B,GAAG,CAAC2B,OAAO,CAAC;IAClC;MACE,OAAOjB,eAAA,CAAAgB,QAAA,CAAa1B,GAAG,CAAC4B,MAAM,CAAC;IACjC;MACE,OAAOlB,eAAA,CAAAgB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOnB,eAAA,CAAAgB,QAAA,CAAaG,SAAS,CAAC;IAChC;MACE,OAAOnB,eAAA,CAAAoB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIvC,0BAA0B,CAAC,gCAAgC,CAAC,EAAAwC,UAAA,YAAC,CAAC;IACjG;MACE,OAAOvB,eAAA,CAAAwB,QAAA,EAAc;IACvB;MACE,OAAOxB,eAAA,CAAAwB,QAAA,EAAc;IACvB;MACE,OAAOxB,eAAA,CAAAyB,iBAAA,EAAuB;IAChC;MACE,OAAAzB,eAAA,CAAA0B,KAAA;IACF;MACE,OAAA1B,eAAA,CAAA2B,OAAA;IACF;MACE,OAAA3B,eAAA,CAAA4B,MAAA;IACF;MACE,OAAO5B,eAAA,CAAAC,GAAA,CAA6B4B,CAAC,IAAKC,MAAM,CAACC,GAAG,CAACF,CAAC,CAAC,EAAhD7B,eAAA,CAAAyB,iBAAA,EAAuB,CAA0B;IAC1D;MACE,OAAOzB,eAAA,CAAAwB,QAAA,EAAc;IACvB;MAA6B;QAC3B,MAAMQ,UAAU,GAA8B,CAAChC,eAAA,CAAAgB,QAAA,CAAa1B,GAAG,CAAC2C,IAAI,CAAC,CAAC;QACtE,KAAK,MAAMC,IAAI,IAAI5C,GAAG,CAAC6C,KAAK,EAAE;UAC5BH,UAAU,CAACI,IAAI,CAACpC,eAAA,CAAAyB,iBAAA,CAAsB;YAAElB,SAAS,EAAE;UAAC,CAAE,CAAC,CAAC;UACxDyB,UAAU,CAACI,IAAI,CAACpC,eAAA,CAAAgB,QAAA,CAAakB,IAAI,CAACjB,OAAO,CAAC,CAAC;QAC7C;QACA,OAAOjB,eAAA,CAAAC,GAAA,CAA8BkC,KAAK,IAAKA,KAAK,CAACE,IAAI,CAAC,EAAE,CAAC,EAAtDrC,eAAA,CAAAQ,KAAA,CAAU,GAAGwB,UAAU,CAAC,CAA+B;MAChE;IACA;MAAmB;QACjB,MAAMM,QAAQ,GAAGxB,eAAA,CAAAb,GAAA,CAAkBsC,CAAC,IAAKpD,EAAE,CAACoD,CAAC,CAAC3B,IAAI,CAAC,EAAlCtB,GAAG,CAACgD,QAAQ,CAAuB;QACpD,MAAME,IAAI,GAAOC,eAAA,CAAAxC,GAAA,CAAcyC,WAAW,IAAK5B,eAAA,CAAAb,GAAA,CAAgBd,EAAE,EAAlBuD,WAAW,CAAQ,EAAjDpD,GAAG,CAACkD,IAAI,CAA0C;QACnE,IAAIG,MAAM,GAAO3C,eAAA,CAAAQ,KAAA,CAAU,GAAG8B,QAAQ,CAAC;QACvC,IAAIA,QAAQ,CAACM,MAAM,GAAG,CAAC,IAAIC,eAAA,CAAAC,SAAA,CAAAN,IAAI,CAAY,EAAE;UAC3C,MAAMO,kBAAkB,GAAGjC,eAAA,CAAAkC,SAAA,CAAwBT,CAAC,IAAKA,CAAC,CAACU,UAAU,EAA1C3D,GAAG,CAACgD,QAAQ,CAA+B;UACtE,IAAIS,kBAAkB,KAAK,CAAC,CAAC,EAAE;YAC7BJ,MAAM,GAAG3C,eAAA,CAAAkD,OAAA,CAAgBC,EAAE,IACzBnD,eAAA,CAAAC,GAAA,CAAwEmD,CAAC,IAAKD,EAAE,CAACE,KAAK,CAAC,CAAC,EAAED,CAAC,CAAC,EAA5FpD,eAAA,CAAAsD,OAAA,CAAY;cAAEC,GAAG,EAAER,kBAAkB;cAAES,GAAG,EAAElB,QAAQ,CAACM,MAAM,GAAG;YAAC,CAAE,CAAC,CAA2B,EADtFD,MAAM,CAEd;UACH;QACF;QACA,IAAIE,eAAA,CAAAY,MAAA,CAAAjB,IAAI,CAAS,EAAE;UACjB,MAAMP,IAAI,GAAGnB,eAAA,CAAA4C,UAAA,CAAAlB,IAAI,CAACzC,KAAK,CAAY;UACnC,MAAM4D,IAAI,GAAA7C,eAAA,CAAA6C,IAAA,CAAGnB,IAAI,CAACzC,KAAK,CAAK;UAC5B4C,MAAM,GAAO3C,eAAA,CAAAkD,OAAA,CAAgBC,EAAE,IAAKnD,eAAA,CAAAC,GAAA,CAAsCuC,IAAI,IAAK,CAAC,GAAGW,EAAE,EAAE,GAAGX,IAAI,CAAC,EAA/DxC,eAAA,CAAAM,SAAA,CAAe;YAAEC,SAAS,EAAE;UAAC,CAAE,EAA/B0B,IAAI,CAA4B,CAAgC,EAAvFU,MAAM,CAAkF;UACrG,KAAK,IAAIiB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,IAAI,CAACf,MAAM,EAAEgB,CAAC,EAAE,EAAE;YACpCjB,MAAM,GAAG3C,eAAA,CAAAkD,OAAA,CAAgBC,EAAE,IAAKnD,eAAA,CAAAC,GAAA,CAAc4D,CAAC,IAAK,CAAC,GAAGV,EAAE,EAAEU,CAAC,CAAC,EAA9B/C,eAAA,CAAAgD,SAAA,CAAKF,CAAC,EAAND,IAAI,CAAI,CAAuB,EAAtDhB,MAAM,CAAiD;UAClE;QACF;QACA,OAAOA,MAAyB;MAClC;IACA;MAAyB;QACvB,MAAMoB,sBAAsB,GAAGjD,eAAA,CAAAb,GAAA,CAA4B+D,EAAE,IAAK7E,EAAE,CAAC6E,EAAE,CAACpD,IAAI,CAAC,EAA9CtB,GAAG,CAAC2E,kBAAkB,CAAyB;QAC9E,MAAMC,eAAe,GAAUpD,eAAA,CAAAb,GAAA,CAAyBkE,EAAE,IAAK,CAAChF,EAAE,CAACgF,EAAE,CAACC,SAAS,CAAC,EAAEjF,EAAE,CAACgF,EAAE,CAACvD,IAAI,CAAC,CAAU,EAAxEtB,GAAG,CAAC4E,eAAe,CAAsD;QACxG,MAAMG,YAAY,GAAuC,EAAE;QAC3D,MAAMC,YAAY,GAAuC,EAAE;QAC3D,KAAK,IAAIlB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGW,sBAAsB,CAACnB,MAAM,EAAEQ,CAAC,EAAE,EAAE;UACtD,MAAMY,EAAE,GAAKlD,eAAA,CAAAgD,SAAA,CAAuBV,CAAC,EAAxB9D,GAAG,CAAC2E,kBAAkB,CAAI;UACvC,MAAMM,IAAI,GAAGP,EAAE,CAACO,IAAI;UACpB,IAAI,CAACP,EAAE,CAACf,UAAU,EAAE;YAClBoB,YAAY,CAACE,IAAI,CAAC,GAAGzD,eAAA,CAAAgD,SAAA,CAAuBV,CAAC,EAAxBW,sBAAsB,CAAI;UACjD,CAAC,MAAM;YACLO,YAAY,CAACC,IAAI,CAAC,GAAGzD,eAAA,CAAAgD,SAAA,CAAuBV,CAAC,EAAxBW,sBAAsB,CAAI;UACjD;QACF;QACA,IAAIpB,MAAM,GAAG3C,eAAA,CAAAwE,OAAA,CAAiCxE,eAAA,CAAAyE,OAAA,CAAYH,YAAY,CAAC,EAAE,CAACT,CAAC,EAAEa,CAAC,MAAM;UAAE,GAAGb,CAAC;UAAE,GAAGa;QAAC,CAAE,CAAC,EAAtF1E,eAAA,CAAA2E,MAAA,CAAWN,YAAY,CAAC,CAA+D;QACpG,KAAK,IAAIjB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGc,eAAe,CAACtB,MAAM,EAAEQ,CAAC,EAAE,EAAE;UAC/C,MAAMgB,SAAS,GAAGtD,eAAA,CAAAgD,SAAA,CAAgBV,CAAC,EAAjBc,eAAe,CAAI,CAAC,CAAC,CAAE;UACzC,MAAMtD,IAAI,GAAQE,eAAA,CAAAgD,SAAA,CAAgBV,CAAC,EAAjBc,eAAe,CAAI,CAAC,CAAC,CAAE;UACzCvB,MAAM,GAAY3C,eAAA,CAAAkD,OAAA,CAAgB0B,CAAC,IAAI;YACrC,OAAO5E,eAAA,CAAAC,GAAA,CAA6B4E,CAAC,KAAM;cAAE,GAAGA,CAAC;cAAE,GAAGD;YAAC,CAAE,CAAC,EAAnD/E,MAAM,CAACuE,SAAS,EAAExD,IAAI,CAAC,CAA6B;UAC7D,CAAC,EAFiB+B,MAAM,CAEtB;QACJ;QACA,OAAOA,MAAM;MACf;IACA;MAAmB;QACjB,MAAMmC,KAAK,GAAGhE,eAAA,CAAAb,GAAA,CAAcd,EAAE,EAAhBG,GAAG,CAACwF,KAAK,CAAQ;QAC/B,OAAO9E,eAAA,CAAA+E,KAAA,CAAU,GAAGD,KAAK,CAAoB;MAC/C;IACA;MAAkB;QAChB,OAAOpE,eAAA,CAAAC,KAAA,CACL,MAAK;UACH,MAAMqE,CAAC,GAAKA,CAAA,KAAM7F,EAAE,CAACG,GAAG,CAAC2F,MAAM,EAAE,CAAC;UAClC,MAAMvF,GAAG,GAAGV,OAAO,CAA0BgG,CAAC,CAAC;UAC/C,OAAOhF,eAAA,CAAAkF,KAAA,CAAU,MAAMxF,GAAG,CAACsF,CAAC,CAAC,CAAC;QAChC,CAAC,EACAG,OAAO,IAAKA,OAAO,EAAE,EANjB3F,OAAO,CAACF,GAAG,CAAC,CAOlB;MACH;IACA;MAAkB;QAChB,IAAIA,GAAG,CAAC8F,KAAK,CAACxC,MAAM,KAAK,CAAC,EAAE;UAC1B,OAAO5C,eAAA,CAAAoB,MAAA,CAAWC,eAAA,CAAAC,OAAA,CAAW,IAAIvC,0BAA0B,CAAC,sCAAsC,CAAC,EAAAwC,UAAA,aAAC,CAAC;QACvG;QACA,OAAOvB,eAAA,CAAA+E,KAAA,CAAU,GAAGjE,eAAA,CAAAb,GAAA,CAAc,CAAC,CAACoF,CAAC,EAAEtF,KAAK,CAAC,KAAKC,eAAA,CAAAgB,QAAA,CAAajB,KAAK,CAAC,EAAjDT,GAAG,CAAC8F,KAAK,CAAyC,CAAoB;MAC5F;IACA;MAAwB;QACtB,MAAME,IAAI,GAAGnG,EAAE,CAACG,GAAG,CAACgG,IAAI,CAAC;QACzB,OAAO5E,eAAA,CAAAC,KAAA,CACL,MAAMX,eAAA,CAAAuF,MAAA,CAAa1B,CAAC,IAAK2B,eAAA,CAAAC,OAAA,CAAAnG,GAAG,CAACoG,MAAM,CAAC7B,CAAC,CAAC,CAAU,EAA1CyB,IAAI,CAAuC,EAChDH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB9F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;IACA;MACE,OAAOH,EAAE,CAACG,GAAG,CAACqG,EAAE,CAAC;IACnB;MAAwB;QACtB,MAAML,IAAI,GAAGnG,EAAE,CAACG,GAAG,CAACgG,IAAI,CAAC;QACzB,OAAO5E,eAAA,CAAAC,KAAA,CACL,MAAMX,eAAA,CAAAuF,MAAA,CAAa1B,CAAC,IAAK/C,eAAA,CAAA8E,KAAA,CAAsBvF,CAAC,IAAKA,CAAC,CAACwF,QAAQ,CAAChC,CAAC,CAAC,EAAzCvE,GAAG,CAACwG,UAAU,CAA4B,EAA7DR,IAAI,CAA0D,EACnEH,OAAO,IAAKA,OAAO,CAACG,IAAI,CAAC,EAFrB9F,OAAO,CAACF,GAAG,CAAC,CAGlB;MACH;EACF;AACF,CAAC,CAAC"}

package/_mjs/Schema/derivations.mjs

@@ -43,7 +43,7 @@ export function deriveStruct(...[requiredFields, optionalFields, maybeFields]) {
   tsplus_module_3.createUnion(tsplus_module_1.vector(tsplus_module_3.undefinedKeyword, tsplus_module_3.createLiteral(null), maybeFields[key].ast)), true, true))(maybeFieldsKeys))(propertySignatures), tsplus_module_1.empty()));
   const to = tsplus_module_4.make(tsplus_module_3.createTypeLiteral(tsplus_module_1.concat(tsplus_module_1.map(key =>
   // @ts-expect-error
-  tsplus_module_3.createPropertySignature(key, tsplus_module_5.maybe(maybeFields[key]).ast, true, true))(maybeFieldsKeys))(propertySignatures), tsplus_module_1.empty()));
+  tsplus_module_3.createPropertySignature(key, tsplus_module_5.maybe(maybeFields[key]).ast, false, true))(maybeFieldsKeys))(propertySignatures), tsplus_module_1.empty()));
   return tsplus_module_4.transform(to, input => {
     const output = {
       ...input
@@ -87,12 +87,17 @@ export function deriveLazy(f) {
   return tsplus_module_4.make(ast);
 }
 /**
- * @tsplus derive fncts.schema.Schema[fncts.Array]<_> 10
  * @tsplus derive fncts.schema.Schema[fncts.ReadonlyArray]<_> 10
  */
-export function deriveArray(...[element]) {
+export function deriveReadonlyArray(...[element]) {
   return tsplus_module_4.array(element);
 }
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.Array]<_> 10
+ */
+export function deriveArray(...[element]) {
+  return tsplus_module_4.mutableArray(element);
+}
 /**
  * @tsplus derive fncts.schema.Schema<_> 15
  */

package/_mjs/Schema/derivations.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"derivations.mjs","names":["ownKeys","deriveValidation","base","brands","tsplus_module_4","make","tsplus_module_3","createValidation","ast","tsplus_module_1","from","Object","values","annotations","annotate","tsplus_module_2","Brand","deriveLiteral","value","literal","deriveStruct","requiredFields","optionalFields","maybeFields","maybeFieldsKeys","propertySignatures","map","key","createPropertySignature","concat","struct","createTypeLiteral","empty","isEmpty","createUnion","vector","undefinedKeyword","createLiteral","to","tsplus_module_5","maybe","transform","input","output","tsplus_module_6","fromNullable","tsplus_module_7","isNothing","tsplus_module_8","toUndefined","deriveTuple","components","tuple","deriveLazy","f","cached","createLazy","deriveArray","element","array","deriveRecord","keySchema","valueSchema","record"],"sources":["../../_src/Schema/derivations.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;AAGA,SAASA,OAAO,QAAQ,qBAAqB;AAE7C;;;AAGA,OAAM,SAAUC,gBAAgBA,CAC9B,GAAG,CAACC,IAAI,EAAEC,MAAM,CAOP;EAET,OAAOC,eAAA,CAAAC,IAAA,CACLC,eAAA,CAAAC,gBAAA,CACEL,IAAI,CAACM,GAAG,EACRC,eAAA,CAAAC,IAAA,CAAYC,MAAM,CAACC,MAAM,CAACT,MAAM,CAAC,CAAC,EAClCD,IAAI,CAACM,GAAG,CAACK,WAAW,CAACC,QAAQ,CAAAC,eAAA,CAAAC,KAAA,EAAsBP,eAAA,CAAAC,IAAA,CAAYC,MAAM,CAACC,MAAM,CAACT,MAAM,CAAC,CAAC,CAAC,CACvF,CACF;AACH;AAEA;;;AAGA,OAAM,SAAUc,aAAaA,CAC3B,GAAG,CAACC,KAAK,CAAkG;EAE3G,OAAOd,eAAA,CAAAe,OAAA,CAAeD,KAAK,CAAC;AAC9B;AAIA;;;AAGA,OAAM,SAAUE,YAAYA,CAC1B,GAAG,CAACC,cAAc,EAAEC,cAAc,EAAEC,WAAW,CAsBtC;EAET,MAAMC,eAAe,GAAwBxB,OAAO,CAACuB,WAAW,CAAC;EACjE,IAAIE,kBAAkB,GAAuBhB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG;EAC3E;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEN,cAAc,CAACM,GAAG,CAAE,CAACnB,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,EAF5BR,OAAO,CAACqB,cAAc,CAAC,CAGnE;EAED,IAAIC,cAAc,EAAE;IAClBG,kBAAkB,GAAGhB,eAAA,CAAAoB,MAAA;IACnB;IACApB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG,IAAKrB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEL,cAAc,CAACK,GAAG,CAAE,CAACnB,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAA3GR,OAAO,CAACsB,cAAc,CAAC,CAAqF,EAFzFG,kBAAkB,CAGtC;EACH;EAEA,MAAMK,MAAM,GAAG1B,eAAA,CAAAC,IAAA,CAAeC,eAAA,CAAAyB,iBAAA,CAAsBN,kBAAkB,EAAEhB,eAAA,CAAAuB,KAAA,EAAc,CAAC,CAAC;EAExF,IAAIvB,eAAA,CAAAwB,OAAA,CAAAT,eAAe,CAAU,EAAE;IAC7B,OAAOM,MAAqB;EAC9B;EAEAL,kBAAkB,GAAIK,MAAM,CAACtB,GAAmB,CAACiB,kBAAkB;EAEnE,MAAMf,IAAI,GAAGN,eAAA,CAAAC,IAAA,CACXC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG,IACtBrB,eAAA,CAAAsB,uBAAA,CACED,GAAG;EACH;EACArB,eAAA,CAAA4B,WAAA,CAAgBzB,eAAA,CAAA0B,MAAA,CAAA7B,eAAA,CAAA8B,gBAAA,EAA6B9B,eAAA,CAAA+B,aAAA,CAAkB,IAAI,CAAC,EAAEd,WAAY,CAACI,GAAG,CAAE,CAACnB,GAAG,CAAC,CAAC,EAC9F,IAAI,EACJ,IAAI,CACL,EAPHgB,eAAe,CAQd,EATHC,kBAAkB,CAUjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,MAAMM,EAAE,GAAGlC,eAAA,CAAAC,IAAA,CACTC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG;EACtB;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEY,eAAA,CAAAC,KAAA,CAAajB,WAAY,CAACI,GAAG,CAAE,CAAC,CAACnB,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAFpFgB,eAAe,CAGd,EAJHC,kBAAkB,CAKjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,OAAO5B,eAAA,CAAAqC,SAAA,CACLH,EAAE,EACDI,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIH,eAAe,EAAE;MACjCmB,MAAM,CAAChB,GAAG,CAAC,GAAGiB,eAAA,CAAAC,YAAA,CAAmBH,KAAK,CAACf,GAAG,CAAC,CAAC;IAC9C;IACA,OAAOgB,MAAM;EACf,CAAC,EACAD,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIH,eAAe,EAAE;MACjC,MAAMN,KAAK,GAAewB,KAAK,CAACf,GAAG,CAAC;MACpC,IAAImB,eAAA,CAAAC,SAAA,CAAA7B,KAAK,CAAY,EAAE;QACrB,OAAOyB,MAAM,CAAChB,GAAG,CAAC;QAClB;MACF;MACAgB,MAAM,CAAChB,GAAG,CAAC,GAAAqB,eAAA,CAAAC,WAAA,CAAG/B,KAAK,CAAM;IAC3B;IACA,OAAOyB,MAAM;EACf,CAAC,EApBIjC,IAAI,CAqBV;AACH;AAEA;;;AAGA,OAAM,SAAUwC,WAAWA,CACzB,GAAG,CAACC,UAAU,CAAsG;EAEpH,OAAoB/C,eAAA,CAAAgD,KAAA,CAAa,GAAGD,UAAU,CAAC;AACjD;AAEA;;;AAGA,OAAM,SAAUE,UAAUA,CAAIC,CAA8B;EAC1D,IAAIC,MAAuB;EAC3B,MAAM/C,GAAG,GAAGF,eAAA,CAAAkD,UAAA,CAAe,MAAK;IAC9B,IAAI,CAACD,MAAM,EAAE;MACXA,MAAM,GAAGD,CAAC,CAAClD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC,CAAC,CAACA,GAAG;IACrC;IACA,OAAO+C,MAAM;EACf,CAAC,CAAC;EACF,OAAOnD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC;AAC5B;AAEA;;;;AAIA,OAAM,SAAUiD,WAAWA,CACzB,GAAG,CAACC,OAAO,CAIF;EAET,OAAOtD,eAAA,CAAAuD,KAAA,CAAaD,OAAO,CAAyB;AACtD;AAEA;;;AAGA,OAAM,SAAUE,YAAYA,CAC1B,GAAG,CAACC,SAAS,EAAEC,WAAW,CAIjB;EAET,OAAO1D,eAAA,CAAA2D,MAAA,CAAcF,SAAoC,EAAEC,WAAW,CAAc;AACtF"}
+{"version":3,"file":"derivations.mjs","names":["ownKeys","deriveValidation","base","brands","tsplus_module_4","make","tsplus_module_3","createValidation","ast","tsplus_module_1","from","Object","values","annotations","annotate","tsplus_module_2","Brand","deriveLiteral","value","literal","deriveStruct","requiredFields","optionalFields","maybeFields","maybeFieldsKeys","propertySignatures","map","key","createPropertySignature","concat","struct","createTypeLiteral","empty","isEmpty","createUnion","vector","undefinedKeyword","createLiteral","to","tsplus_module_5","maybe","transform","input","output","tsplus_module_6","fromNullable","tsplus_module_7","isNothing","tsplus_module_8","toUndefined","deriveTuple","components","tuple","deriveLazy","f","cached","createLazy","deriveReadonlyArray","element","array","deriveArray","mutableArray","deriveRecord","keySchema","valueSchema","record"],"sources":["../../_src/Schema/derivations.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;AAGA,SAASA,OAAO,QAAQ,qBAAqB;AAE7C;;;AAGA,OAAM,SAAUC,gBAAgBA,CAC9B,GAAG,CAACC,IAAI,EAAEC,MAAM,CAOP;EAET,OAAOC,eAAA,CAAAC,IAAA,CACLC,eAAA,CAAAC,gBAAA,CACEL,IAAI,CAACM,GAAG,EACRC,eAAA,CAAAC,IAAA,CAAYC,MAAM,CAACC,MAAM,CAACT,MAAM,CAAC,CAAC,EAClCD,IAAI,CAACM,GAAG,CAACK,WAAW,CAACC,QAAQ,CAAAC,eAAA,CAAAC,KAAA,EAAsBP,eAAA,CAAAC,IAAA,CAAYC,MAAM,CAACC,MAAM,CAACT,MAAM,CAAC,CAAC,CAAC,CACvF,CACF;AACH;AAEA;;;AAGA,OAAM,SAAUc,aAAaA,CAC3B,GAAG,CAACC,KAAK,CAAkG;EAE3G,OAAOd,eAAA,CAAAe,OAAA,CAAeD,KAAK,CAAC;AAC9B;AAIA;;;AAGA,OAAM,SAAUE,YAAYA,CAC1B,GAAG,CAACC,cAAc,EAAEC,cAAc,EAAEC,WAAW,CAsBtC;EAET,MAAMC,eAAe,GAAwBxB,OAAO,CAACuB,WAAW,CAAC;EACjE,IAAIE,kBAAkB,GAAuBhB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG;EAC3E;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEN,cAAc,CAACM,GAAG,CAAE,CAACnB,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,EAF5BR,OAAO,CAACqB,cAAc,CAAC,CAGnE;EAED,IAAIC,cAAc,EAAE;IAClBG,kBAAkB,GAAGhB,eAAA,CAAAoB,MAAA;IACnB;IACApB,eAAA,CAAAiB,GAAA,CAA6BC,GAAG,IAAKrB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEL,cAAc,CAACK,GAAG,CAAE,CAACnB,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAA3GR,OAAO,CAACsB,cAAc,CAAC,CAAqF,EAFzFG,kBAAkB,CAGtC;EACH;EAEA,MAAMK,MAAM,GAAG1B,eAAA,CAAAC,IAAA,CAAeC,eAAA,CAAAyB,iBAAA,CAAsBN,kBAAkB,EAAEhB,eAAA,CAAAuB,KAAA,EAAc,CAAC,CAAC;EAExF,IAAIvB,eAAA,CAAAwB,OAAA,CAAAT,eAAe,CAAU,EAAE;IAC7B,OAAOM,MAAqB;EAC9B;EAEAL,kBAAkB,GAAIK,MAAM,CAACtB,GAAmB,CAACiB,kBAAkB;EAEnE,MAAMf,IAAI,GAAGN,eAAA,CAAAC,IAAA,CACXC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG,IACtBrB,eAAA,CAAAsB,uBAAA,CACED,GAAG;EACH;EACArB,eAAA,CAAA4B,WAAA,CAAgBzB,eAAA,CAAA0B,MAAA,CAAA7B,eAAA,CAAA8B,gBAAA,EAA6B9B,eAAA,CAAA+B,aAAA,CAAkB,IAAI,CAAC,EAAEd,WAAY,CAACI,GAAG,CAAE,CAACnB,GAAG,CAAC,CAAC,EAC9F,IAAI,EACJ,IAAI,CACL,EAPHgB,eAAe,CAQd,EATHC,kBAAkB,CAUjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,MAAMM,EAAE,GAAGlC,eAAA,CAAAC,IAAA,CACTC,eAAA,CAAAyB,iBAAA,CACEtB,eAAA,CAAAoB,MAAA,CACEpB,eAAA,CAAAiB,GAAA,CAAqBC,GAAG;EACtB;EACArB,eAAA,CAAAsB,uBAAA,CAA4BD,GAAG,EAAEY,eAAA,CAAAC,KAAA,CAAajB,WAAY,CAACI,GAAG,CAAE,CAAC,CAACnB,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,EAFrFgB,eAAe,CAGd,EAJHC,kBAAkB,CAKjB,EACDhB,eAAA,CAAAuB,KAAA,EAAc,CACf,CACF;EAED,OAAO5B,eAAA,CAAAqC,SAAA,CACLH,EAAE,EACDI,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIH,eAAe,EAAE;MACjCmB,MAAM,CAAChB,GAAG,CAAC,GAAGiB,eAAA,CAAAC,YAAA,CAAmBH,KAAK,CAACf,GAAG,CAAC,CAAC;IAC9C;IACA,OAAOgB,MAAM;EACf,CAAC,EACAD,KAAK,IAAI;IACR,MAAMC,MAAM,GAAG;MAAE,GAAGD;IAAK,CAAE;IAC3B,KAAK,MAAMf,GAAG,IAAIH,eAAe,EAAE;MACjC,MAAMN,KAAK,GAAewB,KAAK,CAACf,GAAG,CAAC;MACpC,IAAImB,eAAA,CAAAC,SAAA,CAAA7B,KAAK,CAAY,EAAE;QACrB,OAAOyB,MAAM,CAAChB,GAAG,CAAC;QAClB;MACF;MACAgB,MAAM,CAAChB,GAAG,CAAC,GAAAqB,eAAA,CAAAC,WAAA,CAAG/B,KAAK,CAAM;IAC3B;IACA,OAAOyB,MAAM;EACf,CAAC,EApBIjC,IAAI,CAqBV;AACH;AAEA;;;AAGA,OAAM,SAAUwC,WAAWA,CACzB,GAAG,CAACC,UAAU,CAAsG;EAEpH,OAAoB/C,eAAA,CAAAgD,KAAA,CAAa,GAAGD,UAAU,CAAC;AACjD;AAEA;;;AAGA,OAAM,SAAUE,UAAUA,CAAIC,CAA8B;EAC1D,IAAIC,MAAuB;EAC3B,MAAM/C,GAAG,GAAGF,eAAA,CAAAkD,UAAA,CAAe,MAAK;IAC9B,IAAI,CAACD,MAAM,EAAE;MACXA,MAAM,GAAGD,CAAC,CAAClD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC,CAAC,CAACA,GAAG;IACrC;IACA,OAAO+C,MAAM;EACf,CAAC,CAAC;EACF,OAAOnD,eAAA,CAAAC,IAAA,CAAeG,GAAG,CAAC;AAC5B;AAEA;;;AAGA,OAAM,SAAUiD,mBAAmBA,CACjC,GAAG,CAACC,OAAO,CAIF;EAET,OAAOtD,eAAA,CAAAuD,KAAA,CAAaD,OAAO,CAAyB;AACtD;AAEA;;;AAGA,OAAM,SAAUE,WAAWA,CACzB,GAAG,CAACF,OAAO,CAIF;EAET,OAAOtD,eAAA,CAAAyD,YAAA,CAAoBH,OAAO,CAAyB;AAC7D;AAEA;;;AAGA,OAAM,SAAUI,YAAYA,CAC1B,GAAG,CAACC,SAAS,EAAEC,WAAW,CAIjB;EAET,OAAO5D,eAAA,CAAA6D,MAAA,CAAcF,SAAoC,EAAEC,WAAW,CAAc;AACtF"}

package/_mjs/Show.mjs

@@ -0,0 +1,138 @@
+import * as tsplus_module_1 from "@fncts/base/control/Eval/run";
+import * as tsplus_module_2 from "@fncts/base/control/Eval/constructors";
+import * as tsplus_module_3 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_4 from "@fncts/base/control/Eval/instance";
+import * as tsplus_module_5 from "@fncts/base/control/Eval/api";
+import * as tsplus_module_6 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_7 from "@fncts/base/data/Maybe/destructors";
+import { memoize } from "@fncts/schema/utils";
+/**
+ * @tsplus getter fncts.schema.Schema show
+ */
+export function show(self) {
+  const ev = go(self.ast);
+  return tsplus_module_1.run(ev);
+}
+const go = /*#__PURE__*/memoize(function go(ast) {
+  void 0;
+  switch (ast._tag) {
+    case 0 /* ASTTag.Declaration */:
+      {
+        return tsplus_module_7.match(() => tsplus_module_2.now("Unknown Type"), id => {
+          return tsplus_module_5.map(ts => {
+            if (ts.length <= 0) {
+              return id;
+            } else {
+              return `${id}<${tsplus_module_3.join(", ")(ts)}>`;
+            }
+          })(tsplus_module_3._traverse(ast.typeParameters)(tsplus_module_4.Applicative)(go));
+        })(ast.annotations.get(tsplus_module_6.Identifier));
+      }
+    case 1 /* ASTTag.Literal */:
+      {
+        if (ast.literal === null) {
+          return tsplus_module_2.now("null");
+        } else {
+          return tsplus_module_2.now(ast.literal.toString());
+        }
+      }
+    case 2 /* ASTTag.UniqueSymbol */:
+      return tsplus_module_2.now(ast.symbol.toString());
+    case 3 /* ASTTag.UndefinedKeyword */:
+      return tsplus_module_2.now("undefined");
+    case 4 /* ASTTag.VoidKeyword */:
+      return tsplus_module_2.now("void");
+    case 5 /* ASTTag.NeverKeyword */:
+      return tsplus_module_2.now("never");
+    case 6 /* ASTTag.UnknownKeyword */:
+      return tsplus_module_2.now("unknown");
+    case 7 /* ASTTag.AnyKeyword */:
+      return tsplus_module_2.now("any");
+    case 8 /* ASTTag.StringKeyword */:
+      return tsplus_module_2.now("string");
+    case 9 /* ASTTag.NumberKeyword */:
+      return tsplus_module_2.now("number");
+    case 10 /* ASTTag.BooleanKeyword */:
+      return tsplus_module_2.now("boolean");
+    case 11 /* ASTTag.BigIntKeyword */:
+      return tsplus_module_2.now("bigint");
+    case 12 /* ASTTag.SymbolKeyword */:
+      return tsplus_module_2.now("symbol");
+    case 13 /* ASTTag.ObjectKeyword */:
+      return tsplus_module_2.now("object");
+    case 15 /* ASTTag.TemplateLiteral */:
+      return tsplus_module_2.now("`" + formatTemplateLiteral(ast) + "`");
+    case 16 /* ASTTag.Tuple */:
+      return tsplus_module_5.flatMap(elements => tsplus_module_5.flatMap(restElements => tsplus_module_2.always(() => {
+        if (elements.length === 0 && restElements.length === 1) {
+          if (ast.isReadonly) {
+            return `ReadonlyArray<${tsplus_module_3.unsafeGet(0)(restElements)}>`;
+          } else {
+            return `Array<${tsplus_module_3.unsafeGet(0)(restElements)}>`;
+          }
+        }
+        const prefix = (ast.isReadonly ? "readonly " : "") + "[" + tsplus_module_3.join(", ")(elements);
+        const middle = restElements.length > 0 ? ", " : "";
+        const suffix = tsplus_module_3.join(", ")(tsplus_module_3.map(s => `...${s}`)(restElements)) + "]";
+        return prefix + middle + suffix;
+      }))(tsplus_module_7.match(() => tsplus_module_2.now(tsplus_module_3.empty()), rest => tsplus_module_3._traverse(rest)(tsplus_module_4.Applicative)(go))(ast.rest)))(tsplus_module_3._traverse(tsplus_module_3.map(element => element.type)(ast.elements))(tsplus_module_4.Applicative)(go));
+    case 17 /* ASTTag.TypeLiteral */:
+      return tsplus_module_5.flatMap(propertySignatures => tsplus_module_5.map(indexSignatures => {
+        const required = [];
+        const optional = [];
+        tsplus_module_3.forEachWithIndex((i, ps) => {
+          const name = ps.name;
+          if (!ps.isOptional) {
+            required.push([name, tsplus_module_3.unsafeGet(i)(propertySignatures)]);
+          } else {
+            optional.push([name, tsplus_module_3.unsafeGet(i)(propertySignatures)]);
+          }
+        })(ast.propertySignatures);
+        const prefix = "{";
+        const properties = required.concat(optional).sort(([k1], [k2]) => k1.toLocaleString().localeCompare(k2.toLocaleString())).map(([propertyKey, type]) => `${String(propertyKey)}: ${type}`).join(", ");
+        const index = tsplus_module_3.join(", ")(tsplus_module_3.map(([param, type]) => `[x: ${param}]: ${type}`)(indexSignatures));
+        const suffix = "}";
+        return prefix + " " + properties + (index.length === 0 ? "" : ", ") + index + " " + suffix;
+      })(tsplus_module_3._traverse(ast.indexSignatures)(tsplus_module_4.Applicative)(is => tsplus_module_5.zip(go(is.type))(go(is.parameter)))))(tsplus_module_3._traverse(ast.propertySignatures)(tsplus_module_4.Applicative)(ps => go(ps.type)));
+    case 18 /* ASTTag.Union */:
+      return tsplus_module_5.map(ts => tsplus_module_3.join(" | ")(ts))(tsplus_module_3._traverse(ast.types)(tsplus_module_4.Applicative)(go));
+    case 19 /* ASTTag.Lazy */:
+      {
+        const f = () => go(ast.getAST());
+        const get = memoize(f);
+        return tsplus_module_2.defer(() => get(f));
+      }
+    case 14 /* ASTTag.Enum */:
+      {
+        return tsplus_module_2.now(tsplus_module_3.join(" | ")(tsplus_module_3.map(([name]) => name)(ast.enums)));
+      }
+    case 20 /* ASTTag.Refinement */:
+      {
+        return tsplus_module_7.match(() => tsplus_module_5.map(from => `Refined<${from}>`)(go(ast.from)), id => tsplus_module_2.now(id))(ast.annotations.get(tsplus_module_6.Identifier));
+      }
+    case 21 /* ASTTag.Transform */:
+      return go(ast.to);
+    case 22 /* ASTTag.Validation */:
+      {
+        return tsplus_module_5.map(from => {
+          const validationNames = tsplus_module_3.join(" & ")(tsplus_module_3.map(v => v.name)(ast.validation));
+          if (validationNames.length <= 0) {
+            return from;
+          }
+          return `${from} & ${validationNames}`;
+        })(go(ast.from));
+      }
+  }
+});
+function formatTemplateLiteralSpan(span) {
+  switch (span.type._tag) {
+    case 8 /* ASTTag.StringKeyword */:
+      return "${string}";
+    case 9 /* ASTTag.NumberKeyword */:
+      return "${number}";
+  }
+}
+function formatTemplateLiteral(ast) {
+  return ast.head + tsplus_module_3.join("")(tsplus_module_3.map(span => formatTemplateLiteralSpan(span) + span.literal)(ast.spans));
+}
+//# sourceMappingURL=Show.mjs.map

package/_mjs/Show.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Show.mjs","names":["memoize","show","self","ev","go","ast","tsplus_module_1","run","_tag","tsplus_module_7","match","tsplus_module_2","now","id","tsplus_module_5","map","ts","length","tsplus_module_3","join","_traverse","typeParameters","tsplus_module_4","Applicative","annotations","get","tsplus_module_6","Identifier","literal","toString","symbol","formatTemplateLiteral","flatMap","elements","restElements","always","isReadonly","unsafeGet","prefix","middle","suffix","s","empty","rest","element","type","propertySignatures","indexSignatures","required","optional","forEachWithIndex","i","ps","name","isOptional","push","properties","concat","sort","k1","k2","toLocaleString","localeCompare","propertyKey","String","index","param","is","zip","parameter","types","f","getAST","defer","enums","from","to","validationNames","v","validation","formatTemplateLiteralSpan","span","head","spans"],"sources":["../_src/Show.ts"],"sourcesContent":[null],"mappings":";;;;;;;AAIA,SAASA,OAAO,QAAQ,qBAAqB;AAE7C;;;AAGA,OAAM,SAAUC,IAAIA,CAAIC,IAAe;EACrC,MAAMC,EAAE,GAAGC,EAAE,CAACF,IAAI,CAACG,GAAG,CAAC;EACvB,OAAAC,eAAA,CAAAC,GAAA,CAAOJ,EAAE;AACX;AAEA,MAAMC,EAAE,gBAAGJ,OAAO,CAAC,SAASI,EAAEA,CAACC,GAAQ;EACrC;EACA,QAAQA,GAAG,CAACG,IAAI;IACd;MAAyB;QACvB,OAAOC,eAAA,CAAAC,KAAA,CACL,MAAMC,eAAA,CAAAC,GAAA,CAAS,cAAc,CAAC,EAC7BC,EAAE,IAAI;UACL,OAAOC,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAI;YACV,IAAIA,EAAE,CAACC,MAAM,IAAI,CAAC,EAAE;cAClB,OAAOJ,EAAE;YACX,CAAC,MAAM;cACL,OAAO,GAAGA,EAAE,IAAIK,eAAA,CAAAC,IAAA,CAAQ,IAAI,EAAZH,EAAE,CAAW,GAAG;YAClC;UACF,CAAC,EARIE,eAAA,CAAAE,SAAA,CAAAf,GAAG,CAACgB,cAAc,EAAAC,eAAA,CAAAC,WAAA,CACI,CAACnB,EAAE,CAAC,CAO7B;QACN,CAAC,EAZIC,GAAG,CAACmB,WAAW,CAACC,GAAG,CAAAC,eAAA,CAAAC,UAAA,CAA0B,CAanD;MACH;IACA;MAAqB;QACnB,IAAItB,GAAG,CAACuB,OAAO,KAAK,IAAI,EAAE;UACxB,OAAOjB,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;QACzB,CAAC,MAAM;UACL,OAAOD,eAAA,CAAAC,GAAA,CAASP,GAAG,CAACuB,OAAO,CAACC,QAAQ,EAAE,CAAC;QACzC;MACF;IACA;MACE,OAAOlB,eAAA,CAAAC,GAAA,CAASP,GAAG,CAACyB,MAAM,CAACD,QAAQ,EAAE,CAAC;IACxC;MACE,OAAOlB,eAAA,CAAAC,GAAA,CAAS,WAAW,CAAC;IAC9B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;IACzB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,OAAO,CAAC;IAC1B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,KAAK,CAAC;IACxB;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,SAAS,CAAC;IAC5B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,QAAQ,CAAC;IAC3B;MACE,OAAOD,eAAA,CAAAC,GAAA,CAAS,GAAG,GAAGmB,qBAAqB,CAAC1B,GAAG,CAAC,GAAG,GAAG,CAAC;IACzD;MACE,OAAAS,eAAA,CAAAkB,OAAA,CACQC,QAAQ,IAAAnB,eAAA,CAAAkB,OAAA,CACRE,YAAY,IAQhBvB,eAAA,CAAAwB,MAAA,CAAK,MAAK;QACR,IAAIF,QAAQ,CAAChB,MAAM,KAAK,CAAC,IAAIiB,YAAY,CAACjB,MAAM,KAAK,CAAC,EAAE;UACtD,IAAIZ,GAAG,CAAC+B,UAAU,EAAE;YAClB,OAAO,iBAAiBlB,eAAA,CAAAmB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UAC5C,CAAC,MAAM;YACL,OAAO,SAAShB,eAAA,CAAAmB,SAAA,CAAa,CAAC,EAAdH,YAAY,CAAG,GAAG;UACpC;QACF;QAEA,MAAMI,MAAM,GAAG,CAACjC,GAAG,CAAC+B,UAAU,GAAG,WAAW,GAAG,EAAE,IAAI,GAAG,GAAGlB,eAAA,CAAAC,IAAA,CAAc,IAAI,EAAlBc,QAAQ,CAAW;QAC9E,MAAMM,MAAM,GAAGL,YAAY,CAACjB,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE;QAClD,MAAMuB,MAAM,GAAGtB,eAAA,CAAAC,IAAA,CAAwC,IAAI,EAA5CD,eAAA,CAAAH,GAAA,CAAkB0B,CAAC,IAAK,MAAMA,CAAC,EAAE,EAAjCP,YAAY,CAAsB,CAAW,GAAG,GAAG;QAClE,OAAOI,MAAM,GAAGC,MAAM,GAAGC,MAAM;MACjC,CAAC,CAAC,EApBF/B,eAAA,CAAAC,KAAA,CACE,MAAMC,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAwB,KAAA,EAAsB,CAAC,EACrCC,IAAI,IAAKzB,eAAA,CAAAE,SAAA,CAAAuB,IAAI,EAAArB,eAAA,CAAAC,WAAA,CAA2B,CAACnB,EAAE,CAAC,EAF/CC,GAAG,CAACsC,IAAI,CAGP,GALoBzB,eAAA,CAAAE,SAAA,CAAAF,eAAA,CAAAH,GAAA,CAAkB6B,OAAO,IAAKA,OAAO,CAACC,IAAI,EAA1CxC,GAAG,CAAC4B,QAAQ,CAA+B,EAAAX,eAAA,CAAAC,WAAA,CAA2B,CAACnB,EAAE,CAAC;IAyBrG;MACE,OAAAU,eAAA,CAAAkB,OAAA,CACQc,kBAAkB,IAAAhC,eAAA,CAAAC,GAAA,CAClBgC,eAAe;QAIrB,MAAMC,QAAQ,GAAiC,EAAE;QACjD,MAAMC,QAAQ,GAAiC,EAAE;QAEjD/B,eAAA,CAAAgC,gBAAA,CAAwC,CAACC,CAAC,EAAEC,EAAE,KAAI;UAChD,MAAMC,IAAI,GAAGD,EAAE,CAACC,IAAI;UACpB,IAAI,CAACD,EAAE,CAACE,UAAU,EAAE;YAClBN,QAAQ,CAACO,IAAI,CAAC,CAACF,IAAI,EAAEnC,eAAA,CAAAmB,SAAA,CAAmBc,CAAC,EAApBL,kBAAkB,CAAI,CAAC,CAAC;UAC/C,CAAC,MAAM;YACLG,QAAQ,CAACM,IAAI,CAAC,CAACF,IAAI,EAAEnC,eAAA,CAAAmB,SAAA,CAAmBc,CAAC,EAApBL,kBAAkB,CAAI,CAAC,CAAC;UAC/C;QACF,CAAC,EAPDzC,GAAG,CAACyC,kBAAkB,CAOpB;QAEF,MAAMR,MAAM,GAAO,GAAG;QACtB,MAAMkB,UAAU,GAAGR,QAAQ,CACxBS,MAAM,CAACR,QAAQ,CAAC,CAChBS,IAAI,CAAC,CAAC,CAACC,EAAE,CAAC,EAAE,CAACC,EAAE,CAAC,KAAKD,EAAE,CAACE,cAAc,EAAE,CAACC,aAAa,CAACF,EAAE,CAACC,cAAc,EAAE,CAAC,CAAC,CAC5E9C,GAAG,CAAC,CAAC,CAACgD,WAAW,EAAElB,IAAI,CAAC,KAAK,GAAGmB,MAAM,CAACD,WAAW,CAAC,KAAKlB,IAAI,EAAE,CAAC,CAC/D1B,IAAI,CAAC,IAAI,CAAC;QACb,MAAM8C,KAAK,GAAI/C,eAAA,CAAAC,IAAA,CAAsE,IAAI,EAA1ED,eAAA,CAAAH,GAAA,CAAoB,CAAC,CAACmD,KAAK,EAAErB,IAAI,CAAC,KAAK,OAAOqB,KAAK,MAAMrB,IAAI,EAAE,EAA/DE,eAAe,CAAiD,CAAW;QAC1F,MAAMP,MAAM,GAAG,GAAG;QAElB,OAAOF,MAAM,GAAG,GAAG,GAAGkB,UAAU,IAAIS,KAAK,CAAChD,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAGgD,KAAK,GAAG,GAAG,GAAGzB,MAAM;SAxBxFtB,eAAA,CAAAE,SAAA,CAAAf,GAAG,CAAC0C,eAAe,EAAAzB,eAAA,CAAAC,WAAA,CAA2B,CAAE4C,EAAE,IAAKrD,eAAA,CAAAsD,GAAA,CAAqBhE,EAAE,CAAC+D,EAAE,CAACtB,IAAI,CAAC,EAAhCzC,EAAE,CAAC+D,EAAE,CAACE,SAAS,CAAC,CAAiB,CAAC,GAF9DnD,eAAA,CAAAE,SAAA,CAAAf,GAAG,CAACyC,kBAAkB,EAAAxB,eAAA,CAAAC,WAAA,CAA2B,CAAE6B,EAAE,IAAKhD,EAAE,CAACgD,EAAE,CAACP,IAAI,CAAC,CAAC;IA4BvG;MACE,OAAO/B,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAKE,eAAA,CAAAC,IAAA,CAAQ,KAAK,EAAbH,EAAE,CAAY,EAFtBE,eAAA,CAAAE,SAAA,CAAAf,GAAG,CAACiE,KAAK,EAAAhD,eAAA,CAAAC,WAAA,CACa,CAACnB,EAAE,CAAC,CACH;IAChC;MAAkB;QAChB,MAAMmE,CAAC,GAAKA,CAAA,KAAMnE,EAAE,CAACC,GAAG,CAACmE,MAAM,EAAE,CAAC;QAClC,MAAM/C,GAAG,GAAGzB,OAAO,CAAyBuE,CAAC,CAAC;QAC9C,OAAO5D,eAAA,CAAA8D,KAAA,CAAW,MAAMhD,GAAG,CAAC8C,CAAC,CAAC,CAAC;MACjC;IACA;MAAkB;QAChB,OAAO5D,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAC,IAAA,CAAqC,KAAK,EAA1CD,eAAA,CAAAH,GAAA,CAAc,CAAC,CAACsC,IAAI,CAAC,KAAKA,IAAI,EAA9BhD,GAAG,CAACqE,KAAK,CAAsB,CAAY,CAAC;MAC9D;IACA;MAAwB;QACtB,OAAOjE,eAAA,CAAAC,KAAA,CACL,MAAMI,eAAA,CAAAC,GAAA,CAAkB4D,IAAI,IAAK,WAAWA,IAAI,GAAG,EAA7CvE,EAAE,CAACC,GAAG,CAACsE,IAAI,CAAC,CAAkC,EACnD9D,EAAE,IAAKF,eAAA,CAAAC,GAAA,CAASC,EAAE,CAAC,EAFfR,GAAG,CAACmB,WAAW,CAACC,GAAG,CAAAC,eAAA,CAAAC,UAAA,CAA0B,CAGnD;MACH;IACA;MACE,OAAOvB,EAAE,CAACC,GAAG,CAACuE,EAAE,CAAC;IACnB;MAAwB;QACtB,OAAO9D,eAAA,CAAAC,GAAA,CAAkB4D,IAAI,IAAI;UAC/B,MAAME,eAAe,GAAG3D,eAAA,CAAAC,IAAA,CAAuC,KAAK,EAA5CD,eAAA,CAAAH,GAAA,CAAoB+D,CAAC,IAAKA,CAAC,CAACzB,IAAI,EAAhChD,GAAG,CAAC0E,UAAU,CAAmB,CAAY;UAErE,IAAIF,eAAe,CAAC5D,MAAM,IAAI,CAAC,EAAE;YAC/B,OAAO0D,IAAI;UACb;UAEA,OAAO,GAAGA,IAAI,MAAME,eAAe,EAAE;QACvC,CAAC,EARMzE,EAAE,CAACC,GAAG,CAACsE,IAAI,CAAC,CAQjB;MACJ;EACF;AACF,CAAC,CAAC;AAEF,SAASK,yBAAyBA,CAACC,IAAyB;EAC1D,QAAQA,IAAI,CAACpC,IAAI,CAACrC,IAAI;IACpB;MACE,OAAO,WAAW;IACpB;MACE,OAAO,WAAW;EACtB;AACF;AAEA,SAASuB,qBAAqBA,CAAC1B,GAAoB;EACjD,OAAOA,GAAG,CAAC6E,IAAI,GAAGhE,eAAA,CAAAC,IAAA,CAA6E,EAAE,EAA/ED,eAAA,CAAAH,GAAA,CAAekE,IAAI,IAAKD,yBAAyB,CAACC,IAAI,CAAC,GAAGA,IAAI,CAACrD,OAAO,EAAtEvB,GAAG,CAAC8E,KAAK,CAA8D,CAAS;AACpG"}

package/_src/Gen.ts

@@ -106,7 +106,6 @@ const go = memoize(function go(ast: AST): Gen<Sized, any> {
     case ASTTag.TypeLiteral: {
       const propertySignatureTypes = ast.propertySignatures.map((ps) => go(ps.type));
       const indexSignatures        = ast.indexSignatures.map((is) => [go(is.parameter), go(is.type)] as const);
-      const gens: any              = {};
       const requiredGens: Record<PropertyKey, Gen<any, any>> = {};
       const optionalGens: Record<PropertyKey, Gen<any, any>> = {};
       for (let i = 0; i < propertySignatureTypes.length; i++) {

package/_src/Schema/derivations.ts

@@ -107,7 +107,7 @@ export function deriveStruct<A extends Record<string, any>>(
       propertySignatures.concat(
         maybeFieldsKeys.map((key) =>
           // @ts-expect-error
-          AST.createPropertySignature(key, Schema.maybe(maybeFields![key]!).ast, true, true),
+          AST.createPropertySignature(key, Schema.maybe(maybeFields![key]!).ast, false, true),
         ),
       ),
       Vector.empty(),
@@ -162,10 +162,9 @@ export 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
  */
-export function deriveArray<A extends ReadonlyArray<any>>(
+export function deriveReadonlyArray<A extends ReadonlyArray<any>>(
   ...[element]: [A] extends [ReadonlyArray<infer _A>]
     ? Check<Check.IsEqual<A, ReadonlyArray<_A>>> extends Check.True
       ? [element: Schema<_A>]
@@ -175,6 +174,19 @@ export function deriveArray<A extends ReadonlyArray<any>>(
   return Schema.array(element) as unknown as Schema<A>;
 }
 
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.Array]<_> 10
+ */
+export 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> {
+  return Schema.mutableArray(element) as unknown as Schema<A>;
+}
+
 /**
  * @tsplus derive fncts.schema.Schema<_> 15
  */

package/_src/Show.ts

@@ -0,0 +1,169 @@
+import type { TemplateLiteral, TemplateLiteralSpan } from "@fncts/schema/AST";
+
+import { ASTTag } from "@fncts/schema/AST";
+import { ASTAnnotation } from "@fncts/schema/ASTAnnotation";
+import { memoize } from "@fncts/schema/utils";
+
+/**
+ * @tsplus getter fncts.schema.Schema show
+ */
+export function show<A>(self: Schema<A>): string {
+  const ev = go(self.ast);
+  return ev.run;
+}
+
+const go = memoize(function go(ast: AST): Eval<string> {
+  AST.concrete(ast);
+  switch (ast._tag) {
+    case ASTTag.Declaration: {
+      return ast.annotations.get(ASTAnnotation.Identifier).match(
+        () => Eval.now("Unknown Type"),
+        (id) => {
+          return ast.typeParameters
+            .traverse(Eval.Applicative)(go)
+            .map((ts) => {
+              if (ts.length <= 0) {
+                return id;
+              } else {
+                return `${id}<${ts.join(", ")}>`;
+              }
+            });
+        },
+      );
+    }
+    case ASTTag.Literal: {
+      if (ast.literal === null) {
+        return Eval.now("null");
+      } else {
+        return Eval.now(ast.literal.toString());
+      }
+    }
+    case ASTTag.UniqueSymbol:
+      return Eval.now(ast.symbol.toString());
+    case ASTTag.UndefinedKeyword:
+      return Eval.now("undefined");
+    case ASTTag.VoidKeyword:
+      return Eval.now("void");
+    case ASTTag.NeverKeyword:
+      return Eval.now("never");
+    case ASTTag.UnknownKeyword:
+      return Eval.now("unknown");
+    case ASTTag.AnyKeyword:
+      return Eval.now("any");
+    case ASTTag.StringKeyword:
+      return Eval.now("string");
+    case ASTTag.NumberKeyword:
+      return Eval.now("number");
+    case ASTTag.BooleanKeyword:
+      return Eval.now("boolean");
+    case ASTTag.BigIntKeyword:
+      return Eval.now("bigint");
+    case ASTTag.SymbolKeyword:
+      return Eval.now("symbol");
+    case ASTTag.ObjectKeyword:
+      return Eval.now("object");
+    case ASTTag.TemplateLiteral:
+      return Eval.now("`" + formatTemplateLiteral(ast) + "`");
+    case ASTTag.Tuple:
+      return Do((Δ) => {
+        const elements     = Δ(ast.elements.map((element) => element.type).traverse(Eval.Applicative)(go));
+        const restElements = Δ(
+          ast.rest.match(
+            () => Eval.now(Vector.empty<string>()),
+            (rest) => rest.traverse(Eval.Applicative)(go),
+          ),
+        );
+
+        return Δ(
+          Eval(() => {
+            if (elements.length === 0 && restElements.length === 1) {
+              if (ast.isReadonly) {
+                return `ReadonlyArray<${restElements[0]}>`;
+              } else {
+                return `Array<${restElements[0]}>`;
+              }
+            }
+
+            const prefix = (ast.isReadonly ? "readonly " : "") + "[" + elements.join(", ");
+            const middle = restElements.length > 0 ? ", " : "";
+            const suffix = restElements.map((s) => `...${s}`).join(", ") + "]";
+            return prefix + middle + suffix;
+          }),
+        );
+      });
+    case ASTTag.TypeLiteral:
+      return Do((Δ) => {
+        const propertySignatures = Δ(ast.propertySignatures.traverse(Eval.Applicative)((ps) => go(ps.type)));
+        const indexSignatures    = Δ(
+          ast.indexSignatures.traverse(Eval.Applicative)((is) => go(is.parameter).zip(go(is.type))),
+        );
+
+        const required: Array<[PropertyKey, string]> = [];
+        const optional: Array<[PropertyKey, string]> = [];
+
+        ast.propertySignatures.forEachWithIndex((i, ps) => {
+          const name = ps.name;
+          if (!ps.isOptional) {
+            required.push([name, propertySignatures[i]!]);
+          } else {
+            optional.push([name, propertySignatures[i]!]);
+          }
+        });
+
+        const prefix     = "{";
+        const properties = required
+          .concat(optional)
+          .sort(([k1], [k2]) => k1.toLocaleString().localeCompare(k2.toLocaleString()))
+          .map(([propertyKey, type]) => `${String(propertyKey)}: ${type}`)
+          .join(", ");
+        const index  = indexSignatures.map(([param, type]) => `[x: ${param}]: ${type}`).join(", ");
+        const suffix = "}";
+
+        return prefix + " " + properties + (index.length === 0 ? "" : ", ") + index + " " + suffix;
+      });
+    case ASTTag.Union:
+      return ast.types
+        .traverse(Eval.Applicative)(go)
+        .map((ts) => ts.join(" | "));
+    case ASTTag.Lazy: {
+      const f   = () => go(ast.getAST());
+      const get = memoize<typeof f, Eval<string>>(f);
+      return Eval.defer(() => get(f));
+    }
+    case ASTTag.Enum: {
+      return Eval.now(ast.enums.map(([name]) => name).join(" | "));
+    }
+    case ASTTag.Refinement: {
+      return ast.annotations.get(ASTAnnotation.Identifier).match(
+        () => go(ast.from).map((from) => `Refined<${from}>`),
+        (id) => Eval.now(id),
+      );
+    }
+    case ASTTag.Transform:
+      return go(ast.to);
+    case ASTTag.Validation: {
+      return go(ast.from).map((from) => {
+        const validationNames = ast.validation.map((v) => v.name).join(" & ");
+
+        if (validationNames.length <= 0) {
+          return from;
+        }
+
+        return `${from} & ${validationNames}`;
+      });
+    }
+  }
+});
+
+function formatTemplateLiteralSpan(span: TemplateLiteralSpan): string {
+  switch (span.type._tag) {
+    case ASTTag.StringKeyword:
+      return "${string}";
+    case ASTTag.NumberKeyword:
+      return "${number}";
+  }
+}
+
+function formatTemplateLiteral(ast: TemplateLiteral): string {
+  return ast.head + ast.spans.map((span) => formatTemplateLiteralSpan(span) + span.literal).join("");
+}

package/_src/global.ts

@@ -55,6 +55,10 @@ import {} from "@fncts/schema/Schema";
  * @tsplus global
  */
 import { OptionalSchema, Schema } from "@fncts/schema/Schema/definition";
+/**
+ * @tsplus global
+ */
+import {} from "@fncts/schema/Show";
 /**
  * @tsplus global
  */

package/global.d.ts

@@ -54,6 +54,10 @@ import {} from "@fncts/schema/Schema";
  * @tsplus global
  */
 import { OptionalSchema, Schema } from "@fncts/schema/Schema/definition";
+/**
+ * @tsplus global
+ */
+import {} from "@fncts/schema/Show";
 /**
  * @tsplus global
  */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fncts/schema",
-  "version": "0.0.12",
+  "version": "0.0.13",
   "dependencies": {
     "@fncts/base": "0.0.33",
     "@fncts/typelevel": "0.0.16"