@fncts/schema 0.0.16 → 0.0.17

package/_mjs/Show.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Show.mjs","names":["globalValue","memoize","showMemoMap","Symbol","for","WeakMap","goMemo","ast","memo","get","s","go","set","show","self","ev","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","tsplus_module_6","Identifier","literal","toString","symbol","formatTemplateLiteral","flatMap","elements","restElements","always","isReadonly","unsafeGet","prefix","middle","suffix","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":";;;;;;;AAEA,SAASA,WAAW,QAAQ,yBAAyB;AAGrD,SAASC,OAAO,QAAQ,qBAAqB;AAE7C,MAAMC,WAAW,gBAAGF,WAAW,eAACG,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC,EAAE,MAAM,IAAIC,OAAO,EAAqB,CAAC;AAErH,SAASC,MAAMA,CAACC,GAAQ;EACtB,MAAMC,IAAI,GAAGN,WAAW,CAACO,GAAG,CAACF,GAAG,CAAC;EACjC,IAAIC,IAAI,EAAE;IACR,OAAOA,IAAI;EACb;EACA,MAAME,CAAC,GAAGC,EAAE,CAACJ,GAAG,CAAC;EACjBL,WAAW,CAACU,GAAG,CAACL,GAAG,EAAEG,CAAC,CAAC;EACvB,OAAOA,CAAC;AACV;AAEA;;;AAGA,OAAM,SAAUG,IAAIA,CAAIC,IAAe;EACrC,MAAMC,EAAE,GAAGT,MAAM,CAACQ,IAAI,CAACP,GAAG,CAAC;EAC3B,OAAAS,eAAA,CAAAC,GAAA,CAAOF,EAAE;AACX;AAEA,SAASJ,EAAEA,CAACJ,GAAQ;EAClB;EACA,QAAQA,GAAG,CAACW,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,CAAAvB,GAAG,CAACwB,cAAc,EAAAC,eAAA,CAAAC,WAAA,CACI,CAAC3B,MAAM,CAAC,CAOjC;QACN,CAAC,EAZIC,GAAG,CAAC2B,WAAW,CAACzB,GAAG,CAAA0B,eAAA,CAAAC,UAAA,CAA0B,CAanD;MACH;IACA;MAAqB;QACnB,IAAI7B,GAAG,CAAC8B,OAAO,KAAK,IAAI,EAAE;UACxB,OAAOhB,eAAA,CAAAC,GAAA,CAAS,MAAM,CAAC;QACzB,CAAC,MAAM;UACL,OAAOD,eAAA,CAAAC,GAAA,CAASf,GAAG,CAAC8B,OAAO,CAACC,QAAQ,EAAE,CAAC;QACzC;MACF;IACA;MACE,OAAOjB,eAAA,CAAAC,GAAA,CAASf,GAAG,CAACgC,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,CAACjC,GAAG,CAAC,GAAG,GAAG,CAAC;IACzD;MACE,OAAAiB,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,IAAIpB,GAAG,CAACsC,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,CAACxC,GAAG,CAACsC,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,CAAkBf,CAAC,IAAK,MAAMA,CAAC,EAAE,EAAjCiC,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,CAAAsB,KAAA,EAAsB,CAAC,EACrCC,IAAI,IAAKvB,eAAA,CAAAE,SAAA,CAAAqB,IAAI,EAAAnB,eAAA,CAAAC,WAAA,CAA2B,CAAC3B,MAAM,CAAC,EAFnDC,GAAG,CAAC4C,IAAI,CAGP,GALoBvB,eAAA,CAAAE,SAAA,CAAAvB,GAAG,CAACmC,QAAQ,EAAAV,eAAA,CAAAC,WAAA,CAA2B,CAAEmB,OAAO,IAAK9C,MAAM,CAAC8C,OAAO,CAACC,IAAI,CAAC,CAAC;IAyBrG;MACE,OAAA7B,eAAA,CAAAiB,OAAA,CACQa,kBAAkB,IAAA9B,eAAA,CAAAC,GAAA,CAClB8B,eAAe;QAIrB,MAAMC,QAAQ,GAAiC,EAAE;QACjD,MAAMC,QAAQ,GAAiC,EAAE;QAEjD7B,eAAA,CAAA8B,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,EAAEjC,eAAA,CAAAkB,SAAA,CAAmBa,CAAC,EAApBL,kBAAkB,CAAI,CAAC,CAAC;UAC/C,CAAC,MAAM;YACLG,QAAQ,CAACM,IAAI,CAAC,CAACF,IAAI,EAAEjC,eAAA,CAAAkB,SAAA,CAAmBa,CAAC,EAApBL,kBAAkB,CAAI,CAAC,CAAC;UAC/C;QACF,CAAC,EAPD/C,GAAG,CAAC+C,kBAAkB,CAOpB;QAEF,MAAMP,MAAM,GAAO,GAAG;QACtB,MAAMiB,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,CAC5E5C,GAAG,CAAC,CAAC,CAAC8C,WAAW,EAAElB,IAAI,CAAC,KAAK,GAAGmB,MAAM,CAACD,WAAW,CAAC,KAAKlB,IAAI,EAAE,CAAC,CAC/DxB,IAAI,CAAC,IAAI,CAAC;QACb,MAAM4C,KAAK,GAAI7C,eAAA,CAAAC,IAAA,CAAsE,IAAI,EAA1ED,eAAA,CAAAH,GAAA,CAAoB,CAAC,CAACiD,KAAK,EAAErB,IAAI,CAAC,KAAK,OAAOqB,KAAK,MAAMrB,IAAI,EAAE,EAA/DE,eAAe,CAAiD,CAAW;QAC1F,MAAMN,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,CAAAvB,GAAG,CAACgD,eAAe,EAAAvB,eAAA,CAAAC,WAAA,CAA2B,CAAE0C,EAAE,IAAKnD,eAAA,CAAAoD,GAAA,CAAyBtE,MAAM,CAACqE,EAAE,CAACtB,IAAI,CAAC,EAAxC/C,MAAM,CAACqE,EAAE,CAACE,SAAS,CAAC,CAAqB,CAAC,GAFtEjD,eAAA,CAAAE,SAAA,CAAAvB,GAAG,CAAC+C,kBAAkB,EAAAtB,eAAA,CAAAC,WAAA,CAA2B,CAAE2B,EAAE,IAAKtD,MAAM,CAACsD,EAAE,CAACP,IAAI,CAAC,CAAC;IA4B3G;MACE,OAAO7B,eAAA,CAAAC,GAAA,CAECC,EAAE,IAAKE,eAAA,CAAAC,IAAA,CAAQ,KAAK,EAAbH,EAAE,CAAY,EAFtBE,eAAA,CAAAE,SAAA,CAAAvB,GAAG,CAACuE,KAAK,EAAA9C,eAAA,CAAAC,WAAA,CACa,CAAC3B,MAAM,CAAC,CACP;IAChC;MAAkB;QAChB,MAAMyE,CAAC,GAAKA,CAAA,KAAMzE,MAAM,CAACC,GAAG,CAACyE,MAAM,EAAE,CAAC;QACtC,MAAMvE,GAAG,GAAGR,OAAO,CAAqB8E,CAAC,CAAC;QAC1C,OAAO1D,eAAA,CAAA4D,KAAA,CAAW,MAAMxE,GAAG,EAAE,CAAC;MAChC;IACA;MAAkB;QAChB,OAAOY,eAAA,CAAAC,GAAA,CAASM,eAAA,CAAAC,IAAA,CAAqC,KAAK,EAA1CD,eAAA,CAAAH,GAAA,CAAc,CAAC,CAACoC,IAAI,CAAC,KAAKA,IAAI,EAA9BtD,GAAG,CAAC2E,KAAK,CAAsB,CAAY,CAAC;MAC9D;IACA;MAAwB;QACtB,OAAO/D,eAAA,CAAAC,KAAA,CACL,MAAMI,eAAA,CAAAC,GAAA,CAAsB0D,IAAI,IAAK,WAAWA,IAAI,GAAG,EAAjD7E,MAAM,CAACC,GAAG,CAAC4E,IAAI,CAAC,CAAkC,EACvD5D,EAAE,IAAKF,eAAA,CAAAC,GAAA,CAASC,EAAE,CAAC,EAFfhB,GAAG,CAAC2B,WAAW,CAACzB,GAAG,CAAA0B,eAAA,CAAAC,UAAA,CAA0B,CAGnD;MACH;IACA;MACE,OAAO9B,MAAM,CAACC,GAAG,CAAC6E,EAAE,CAAC;IACvB;MAAwB;QACtB,OAAO5D,eAAA,CAAAC,GAAA,CAAsB0D,IAAI,IAAI;UACnC,MAAME,eAAe,GAAGzD,eAAA,CAAAC,IAAA,CAAuC,KAAK,EAA5CD,eAAA,CAAAH,GAAA,CAAoB6D,CAAC,IAAKA,CAAC,CAACzB,IAAI,EAAhCtD,GAAG,CAACgF,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,EARM/E,MAAM,CAACC,GAAG,CAAC4E,IAAI,CAAC,CAQrB;MACJ;EACF;AACF;AAEA,SAASK,yBAAyBA,CAACC,IAAyB;EAC1D,QAAQA,IAAI,CAACpC,IAAI,CAACnC,IAAI;IACpB;MACE,OAAO,WAAW;IACpB;MACE,OAAO,WAAW;EACtB;AACF;AAEA,SAASsB,qBAAqBA,CAACjC,GAAoB;EACjD,OAAOA,GAAG,CAACmF,IAAI,GAAG9D,eAAA,CAAAC,IAAA,CAA6E,EAAE,EAA/ED,eAAA,CAAAH,GAAA,CAAegE,IAAI,IAAKD,yBAAyB,CAACC,IAAI,CAAC,GAAGA,IAAI,CAACpD,OAAO,EAAtE9B,GAAG,CAACoF,KAAK,CAA8D,CAAS;AACpG"}
+{"version":3,"file":"Show.mjs","names":["globalValue","formatUnknown","showMemoMap","Symbol","for","WeakMap","showMemoMapVerbose","goMemo","ast","verbose","memoMap","memo","get","s","go","set","show","self","showAST","_tag","tsplus_module_2","getOrElse","tsplus_module_1","getFormattedExpected","literal","symbol","formatTemplateLiteral","formatTuple","formatTypeLiteral","tsplus_module_3","join","map","types","orElse","flatMap","tsplus_module_4","tryCatch","getAST","enums","length","_","value","JSON","stringify","from","to","v","name","validation","formatTemplateLiteralSpan","span","type","head","spans","formatElement","isOptional","getParameterBase","formattedElements","element","elements","tsplus_module_5","match","isReadonly","rest","unsafeHead","tail","formattedHead","wrappedHead","includes","formattedTail","filter","isNonEmpty","formattedPropertySignatures","ps","String","propertySignatures","indexSignatures","formattedIndexSignatures","is","parameter"],"sources":["../_src/Show.ts"],"sourcesContent":[null],"mappings":";;;;;AAWA,SAASA,WAAW,QAAQ,yBAAyB;AAErD,SAASC,aAAa,QAAQ,qBAAqB;AAEnD,MAAMC,WAAW,gBAAGF,WAAW,eAACG,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC,EAAE,MAAM,IAAIC,OAAO,EAAe,CAAC;AAC/G,MAAMC,kBAAkB,gBAAGN,WAAW,eACpCG,MAAM,CAACC,GAAG,CAAC,uCAAuC,CAAC,EACnD,MAAM,IAAIC,OAAO,EAAe,CACjC;AAED,SAASE,MAAMA,CAACC,GAAQ,EAAEC,OAAgB;EACxC,MAAMC,OAAO,GAAGD,OAAO,GAAGH,kBAAkB,GAAGJ,WAAW;EAC1D,MAAMS,IAAI,GAAGD,OAAO,CAACE,GAAG,CAACJ,GAAG,CAAC;EAC7B,IAAIG,IAAI,EAAE;IACR,OAAOA,IAAI;EACb;EACA,MAAME,CAAC,GAAGC,EAAE,CAACN,GAAG,EAAEC,OAAO,CAAC;EAC1BC,OAAO,CAACK,GAAG,CAACP,GAAG,EAAEK,CAAC,CAAC;EACnB,OAAOA,CAAC;AACV;AAEA;;;AAGA,OAAM,SAAUG,IAAIA,CAACP,OAAA,GAAmB,KAAK;EAC3C,OAAWQ,IAAe,IAAaV,MAAM,CAACU,IAAI,CAACT,GAAG,EAAEC,OAAO,CAAC;AAClE;AAEA;;;AAGA,OAAM,SAAUS,OAAOA,CAACT,OAAA,GAAmB,KAAK;EAC9C,OAAQQ,IAAS,IAAaV,MAAM,CAACU,IAAI,EAAER,OAAO,CAAC;AACrD;AAEA,SAASK,EAAEA,CAACN,GAAQ,EAAEC,OAAgB;EACpC;EACA,QAAQD,GAAG,CAACW,IAAI;IACd;MAAyB;QACvB,OAAOC,eAAA,CAAAC,SAAA,OAA4C,sBAAsB,EAAlEC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAkC;MAC5E;IACA;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4CpB,aAAa,CAACO,GAAG,CAACgB,OAAO,CAAC,EAAtEF,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAsC;IAChF;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4CpB,aAAa,CAACO,GAAG,CAACiB,MAAM,CAAC,EAArEH,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAqC;IAC/E;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,WAAW,EAAvDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAuB;IACjE;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,MAAM,EAAlDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAkB;IAC5D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,OAAO,EAAnDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAmB;IAC7D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,SAAS,EAArDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAqB;IAC/D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,KAAK,EAAjDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAiB;IAC3D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,QAAQ,EAApDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAoB;IAC9D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,QAAQ,EAApDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAoB;IAC9D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,SAAS,EAArDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAqB;IAC/D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,QAAQ,EAApDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAoB;IAC9D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,QAAQ,EAApDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAoB;IAC9D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4C,QAAQ,EAApDC,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAoB;IAC9D;MACE,OAAOY,eAAA,CAAAC,SAAA,OAA4CK,qBAAqB,CAAClB,GAAG,CAAC,EAAtEc,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAsC;IAChF;MAAmB;QACjB,OAAOY,eAAA,CAAAC,SAAA,OAA4CM,WAAW,CAACnB,GAAG,EAAEC,OAAO,CAAC,EAArEa,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAqC;MAC/E;IACA;MAAyB;QACvB,OAAOY,eAAA,CAAAC,SAAA,OAA4CO,iBAAiB,CAACpB,GAAG,EAAEC,OAAO,CAAC,EAA3Ea,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAA2C;MACrF;IACA;MAAmB;QACjB,OAAOY,eAAA,CAAAC,SAAA,OAA4CQ,eAAA,CAAAC,IAAA,CAAkD,KAAK,EAAvDD,eAAA,CAAAE,GAAA,CAAevB,GAAG,IAAKD,MAAM,CAACC,GAAG,EAAEC,OAAO,CAAC,EAA3CD,GAAG,CAACwB,KAAK,CAAmC,CAAY,EAApGV,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAoE;MAC9G;IACA;MAAkB;QAChB,OAAOY,eAAA,CAAAC,SAAA,OAGM,eAAe,EAHrBD,eAAA,CAAAa,MAAA,OAEGb,eAAA,CAAAc,OAAA,CAAoC1B,GAAG,IAAKc,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,EAA7E2B,eAAA,CAAAC,QAAA,CAAe5B,GAAG,CAAC6B,MAAM,CAAC,CAAoD,EAFjFf,eAAA,CAAAC,oBAAA,CACiBd,OAAO,EADxBD,GAAG,CACsB,CACyD,CAC5D;MAC/B;IACA;MAAkB;QAChB,OAAOY,eAAA,CAAAC,SAAA,OAGH,SAASb,GAAG,CAAC8B,KAAK,CAACC,MAAM,eAAeV,eAAA,CAAAC,IAAA,CAA0D,KAAK,EAA/DD,eAAA,CAAAE,GAAA,CAAc,CAAC,CAACS,CAAC,EAAEC,KAAK,CAAC,KAAKC,IAAI,CAACC,SAAS,CAACF,KAAK,CAAC,EAAnDjC,GAAG,CAAC8B,KAAK,CAA2C,CAAY,EAAE,EAHvGhB,eAAA,CAAAC,oBAAA,CACiBd,OAAO,EADxBD,GAAG,CACsB,CAG7B;MACL;IACA;MAAwB;QACtB,OAAOY,eAAA,CAAAC,SAAA,OAA4C,KAAKd,MAAM,CAACC,GAAG,CAACoC,IAAI,EAAEnC,OAAO,CAAC,aAAa,EAAvFa,eAAA,CAAAC,oBAAA,CAAyBd,OAAO,EAAhCD,GAAG,CAA8B,CAAuD;MACjG;IACA;MAAuB;QACrB,OAAOY,eAAA,CAAAC,SAAA,OAEM,IAAId,MAAM,CAACC,GAAG,CAACoC,IAAI,EAAEnC,OAAO,CAAC,QAAQF,MAAM,CAACC,GAAG,CAACqC,EAAE,EAAEpC,OAAO,CAAC,GAAG,EAFrEa,eAAA,CAAAC,oBAAA,CACiBd,OAAO,EADxBD,GAAG,CACsB,CAC6C;MAC/E;IACA;MAAwB;QACtB,OAAOY,eAAA,CAAAC,SAAA,OAEM,GAAGd,MAAM,CAACC,GAAG,CAACoC,IAAI,EAAEnC,OAAO,CAAC,KAAKoB,eAAA,CAAAC,IAAA,CAAuC,KAAK,EAA5CD,eAAA,CAAAE,GAAA,CAAoBe,CAAC,IAAKA,CAAC,CAACC,IAAI,EAAhCvC,GAAG,CAACwC,UAAU,CAAmB,CAAY,GAAG,EAFvF1B,eAAA,CAAAC,oBAAA,CACiBd,OAAO,EADxBD,GAAG,CACsB,CAC+D;MACjG;EACF;AACF;AAEA,SAASyC,yBAAyBA,CAACC,IAAyB;EAC1D,QAAQA,IAAI,CAACC,IAAI,CAAChC,IAAI;IACpB;MACE,OAAO,WAAW;IACpB;MACE,OAAO,WAAW;EACtB;AACF;AAEA,SAASO,qBAAqBA,CAAClB,GAAoB;EACjD,OAAO,GAAG,GAAGA,GAAG,CAAC4C,IAAI,GAAGvB,eAAA,CAAAC,IAAA,CAA6E,EAAE,EAA/ED,eAAA,CAAAE,GAAA,CAAemB,IAAI,IAAKD,yBAAyB,CAACC,IAAI,CAAC,GAAGA,IAAI,CAAC1B,OAAO,EAAtEhB,GAAG,CAAC6C,KAAK,CAA8D,CAAS,GAAG,GAAG;AAChH;AAEA,SAASC,aAAaA,CAAC9C,GAAY,EAAEC,OAAgB;EACnD,OAAOF,MAAM,CAACC,GAAG,CAAC2C,IAAI,EAAE1C,OAAO,CAAC,IAAID,GAAG,CAAC+C,UAAU,GAAG,GAAG,GAAG,EAAE,CAAC;AAChE;AAEA,SAASC,gBAAgBA,CACvBvC,IAAkE;EAElE,QAAQA,IAAI,CAACE,IAAI;IACf;IACA;IACA;MACE,OAAOF,IAAI;IACb;MACE,OAAOuC,gBAAgB,CAACvC,IAAI,CAAC;EACjC;AACF;AAEA,SAASU,WAAWA,CAACnB,GAAU,EAAEC,OAAgB;EAC/C,MAAMgD,iBAAiB,GAAG5B,eAAA,CAAAC,IAAA,CAAoE,IAAI,EAAxED,eAAA,CAAAE,GAAA,CAAkB2B,OAAO,IAAKJ,aAAa,CAACI,OAAO,EAAEjD,OAAO,CAAC,EAA7DD,GAAG,CAACmD,QAAQ,CAAkD,CAAW;EACnG,OAAOC,eAAA,CAAAC,KAAA,CAGH,MAAM,GAAGrD,GAAG,CAACsD,UAAU,GAAG,WAAW,GAAG,EAAE,IAAIL,iBAAiB,GAAG,EACjEM,IAAI,IAAI;IACP,MAAMX,IAAI,GAAGvB,eAAA,CAAAmC,UAAA,CAAAD,IAAI,CAAY;IAC7B,MAAME,IAAI,GAAApC,eAAA,CAAAoC,IAAA,CAAGF,IAAI,CAAK;IACtB,MAAMG,aAAa,GAAG3D,MAAM,CAAC6C,IAAI,EAAE3C,OAAO,CAAC;IAC3C,MAAM0D,WAAW,GAAGD,aAAa,CAACE,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAIF,aAAa,GAAG,GAAGA,aAAa;IAExF,IAAID,IAAI,CAAC1B,MAAM,GAAG,CAAC,EAAE;MACnB,MAAM8B,aAAa,GAAGxC,eAAA,CAAAC,IAAA,CAA6C,IAAI,EAAjDD,eAAA,CAAAE,GAAA,CAAUvB,GAAG,IAAKD,MAAM,CAACC,GAAG,EAAEC,OAAO,CAAC,EAAtCwD,IAAI,CAAmC,CAAW;MACxE,IAAIzD,GAAG,CAACmD,QAAQ,CAACpB,MAAM,GAAG,CAAC,EAAE;QAC3B,OAAO,GAAG/B,GAAG,CAACsD,UAAU,GAAG,WAAW,GAAG,GAAG,IAAIL,iBAAiB,QAAQU,WAAW,OAAOE,aAAa,GAAG;MAC7G,CAAC,MAAM;QACL,OAAO,GAAG7D,GAAG,CAACsD,UAAU,GAAG,WAAW,GAAG,GAAG,OAAOK,WAAW,OAAOE,aAAa,GAAG;MACvF;IACF,CAAC,MAAM;MACL,IAAI7D,GAAG,CAACmD,QAAQ,CAACpB,MAAM,GAAG,CAAC,EAAE;QAC3B,OAAO,GAAG/B,GAAG,CAACsD,UAAU,GAAG,WAAW,GAAG,GAAG,IAAIL,iBAAiB,QAAQU,WAAW,KAAK;MAC3F,CAAC,MAAM;QACL,OAAO,GAAG3D,GAAG,CAACsD,UAAU,GAAG,UAAU,GAAG,EAAE,SAASI,aAAa,GAAG;MACrE;IACF;EACF,CAAC,EAxBE9C,eAAA,CAAAkD,MAAA,CACIP,IAAI,IAAKlC,eAAA,CAAA0C,UAAA,CAAAR,IAAI,CAAa,EAD9BvD,GAAG,CAACuD,IAAI,CACuB,CAwBnC;AACL;AAEA,SAASnC,iBAAiBA,CAACpB,GAAgB,EAAEC,OAAgB;EAC3D,MAAM+D,2BAA2B,GAAG3C,eAAA,CAAAC,IAAA,CAS5B,IAAI,EATwBD,eAAA,CAAAE,GAAA,CAE/B0C,EAAE,IACD,CAACA,EAAE,CAACX,UAAU,GAAG,WAAW,GAAG,EAAE,IACjCY,MAAM,CAACD,EAAE,CAAC1B,IAAI,CAAC,IACd0B,EAAE,CAAClB,UAAU,GAAG,GAAG,GAAG,EAAE,CAAC,GAC1B,IAAI,GACJhD,MAAM,CAACkE,EAAE,CAACtB,IAAI,EAAE1C,OAAO,CAAC,EAPMD,GAAG,CAACmE,kBAAkB,CAQvD,CACU;EACb,IAAInE,GAAG,CAACoE,eAAe,CAACrC,MAAM,GAAG,CAAC,EAAE;IAClC,MAAMsC,wBAAwB,GAAGhD,eAAA,CAAAC,IAAA,CAMzB,IAAI,EANqBD,eAAA,CAAAE,GAAA,CAE5B+C,EAAE,IACD,CAACA,EAAE,CAAChB,UAAU,GAAG,WAAW,GAAG,EAAE,IACjC,OAAOvD,MAAM,CAACiD,gBAAgB,CAACsB,EAAE,CAACC,SAAS,CAAC,EAAEtE,OAAO,CAAC,MAAMF,MAAM,CAACuE,EAAE,CAAC3B,IAAI,EAAE1C,OAAO,CAAC,EAAE,EAJ3DD,GAAG,CAACoE,eAAe,CAKjD,CACU;IACb,IAAIpE,GAAG,CAACmE,kBAAkB,CAACpC,MAAM,GAAG,CAAC,EAAE;MACrC,OAAO,KAAKiC,2BAA2B,KAAKK,wBAAwB,IAAI;IAC1E,CAAC,MAAM;MACL,OAAO,KAAKA,wBAAwB,IAAI;IAC1C;EACF,CAAC,MAAM;IACL,IAAIrE,GAAG,CAACmE,kBAAkB,CAACpC,MAAM,GAAG,CAAC,EAAE;MACrC,OAAO,KAAKiC,2BAA2B,IAAI;IAC7C,CAAC,MAAM;MACL,OAAO,IAAI;IACb;EACF;AACF"}

package/_mjs/utils.mjs

@@ -1,5 +1,6 @@
 import * as tsplus_module_1 from "@fncts/base/collection/immutable/Vector/api";
 import * as tsplus_module_2 from "@fncts/schema/AST";
+import { showWithOptions } from "@fncts/base/data/Showable";
 export function memoize(f) {
   const cache = new Map();
   return a => {
@@ -38,4 +39,7 @@ export function getKeysForIndexSignature(input, parameter) {
       return getKeysForIndexSignature(input, parameter.from);
   }
 }
+export function formatUnknown(u) {
+  return showWithOptions(u, {});
+}
 //# sourceMappingURL=utils.mjs.map

package/_mjs/utils.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"utils.mjs","names":["memoize","f","cache","Map","a","has","b","set","get","ownKeys","o","tsplus_module_1","from","Reflect","empty","getTemplateLiteralRegex","ast","pattern","head","span","spans","tsplus_module_2","isStringKeyword","type","isNumberKeyword","literal","RegExp","getKeysForIndexSignature","input","parameter","_tag","Object","keys","getOwnPropertySymbols"],"sources":["../_src/utils.ts"],"sourcesContent":[null],"mappings":";;AAIA,OAAM,SAAUA,OAAOA,CAAOC,CAAc;EAC1C,MAAMC,KAAK,GAAG,IAAIC,GAAG,EAAE;EACvB,OAAQC,CAAC,IAAI;IACX,IAAI,CAACF,KAAK,CAACG,GAAG,CAACD,CAAC,CAAC,EAAE;MACjB,MAAME,CAAC,GAAGL,CAAC,CAACG,CAAC,CAAC;MACdF,KAAK,CAACK,GAAG,CAACH,CAAC,EAAEE,CAAC,CAAC;MACf,OAAOA,CAAC;IACV;IACA,OAAOJ,KAAK,CAACM,GAAG,CAACJ,CAAC,CAAC;EACrB,CAAC;AACH;AAEA,OAAM,SAAUK,OAAOA,CAACC,CAAqB;EAC3C,OAAOA,CAAC,GAAGC,eAAA,CAAAC,IAAA,CAAYC,OAAO,CAACJ,OAAO,CAACC,CAAC,CAAC,CAAC,GAAGC,eAAA,CAAAG,KAAA,EAAc;AAC7D;AAEA,OAAM,SAAUC,uBAAuBA,CAACC,GAAoB;EAC1D,IAAIC,OAAO,GAAG,IAAID,GAAG,CAACE,IAAI,EAAE;EAC5B,KAAK,MAAMC,IAAI,IAAIH,GAAG,CAACI,KAAK,EAAE;IAC5B,IAAIC,eAAA,CAAAC,eAAA,CAAAH,IAAI,CAACI,IAAI,CAAkB,EAAE;MAC/BN,OAAO,IAAI,IAAI;IACjB,CAAC,MAAM,IAAII,eAAA,CAAAG,eAAA,CAAAL,IAAI,CAACI,IAAI,CAAkB,EAAE;MACtCN,OAAO,IAAI,kBAAkB;IAC/B;IACAA,OAAO,IAAIE,IAAI,CAACM,OAAO;EACzB;EACAR,OAAO,IAAI,GAAG;EACd,OAAO,IAAIS,MAAM,CAACT,OAAO,CAAC;AAC5B;AAEA,OAAM,SAAUU,wBAAwBA,CACtCC,KAA6C,EAC7CC,SAAsC;EAEtC,QAAQA,SAAS,CAACC,IAAI;IACpB;IACA;MACE,OAAOnB,eAAA,CAAAC,IAAA,CAAYmB,MAAM,CAACC,IAAI,CAACJ,KAAK,CAAC,CAAC;IACxC;MACE,OAAOjB,eAAA,CAAAC,IAAA,CAAYmB,MAAM,CAACE,qBAAqB,CAACL,KAAK,CAAC,CAAC;IACzD;MACE,OAAOD,wBAAwB,CAACC,KAAK,EAAEC,SAAS,CAACjB,IAAW,CAAC;EACjE;AACF"}
+{"version":3,"file":"utils.mjs","names":["showWithOptions","memoize","f","cache","Map","a","has","b","set","get","ownKeys","o","tsplus_module_1","from","Reflect","empty","getTemplateLiteralRegex","ast","pattern","head","span","spans","tsplus_module_2","isStringKeyword","type","isNumberKeyword","literal","RegExp","getKeysForIndexSignature","input","parameter","_tag","Object","keys","getOwnPropertySymbols","formatUnknown","u"],"sources":["../_src/utils.ts"],"sourcesContent":[null],"mappings":";;AAGA,SAASA,eAAe,QAAQ,2BAA2B;AAE3D,OAAM,SAAUC,OAAOA,CAAOC,CAAc;EAC1C,MAAMC,KAAK,GAAG,IAAIC,GAAG,EAAE;EACvB,OAAQC,CAAC,IAAI;IACX,IAAI,CAACF,KAAK,CAACG,GAAG,CAACD,CAAC,CAAC,EAAE;MACjB,MAAME,CAAC,GAAGL,CAAC,CAACG,CAAC,CAAC;MACdF,KAAK,CAACK,GAAG,CAACH,CAAC,EAAEE,CAAC,CAAC;MACf,OAAOA,CAAC;IACV;IACA,OAAOJ,KAAK,CAACM,GAAG,CAACJ,CAAC,CAAC;EACrB,CAAC;AACH;AAEA,OAAM,SAAUK,OAAOA,CAACC,CAAqB;EAC3C,OAAOA,CAAC,GAAGC,eAAA,CAAAC,IAAA,CAAYC,OAAO,CAACJ,OAAO,CAACC,CAAC,CAAC,CAAC,GAAGC,eAAA,CAAAG,KAAA,EAAc;AAC7D;AAEA,OAAM,SAAUC,uBAAuBA,CAACC,GAAoB;EAC1D,IAAIC,OAAO,GAAG,IAAID,GAAG,CAACE,IAAI,EAAE;EAC5B,KAAK,MAAMC,IAAI,IAAIH,GAAG,CAACI,KAAK,EAAE;IAC5B,IAAIC,eAAA,CAAAC,eAAA,CAAAH,IAAI,CAACI,IAAI,CAAkB,EAAE;MAC/BN,OAAO,IAAI,IAAI;IACjB,CAAC,MAAM,IAAII,eAAA,CAAAG,eAAA,CAAAL,IAAI,CAACI,IAAI,CAAkB,EAAE;MACtCN,OAAO,IAAI,kBAAkB;IAC/B;IACAA,OAAO,IAAIE,IAAI,CAACM,OAAO;EACzB;EACAR,OAAO,IAAI,GAAG;EACd,OAAO,IAAIS,MAAM,CAACT,OAAO,CAAC;AAC5B;AAEA,OAAM,SAAUU,wBAAwBA,CACtCC,KAA6C,EAC7CC,SAAsC;EAEtC,QAAQA,SAAS,CAACC,IAAI;IACpB;IACA;MACE,OAAOnB,eAAA,CAAAC,IAAA,CAAYmB,MAAM,CAACC,IAAI,CAACJ,KAAK,CAAC,CAAC;IACxC;MACE,OAAOjB,eAAA,CAAAC,IAAA,CAAYmB,MAAM,CAACE,qBAAqB,CAACL,KAAK,CAAC,CAAC;IACzD;MACE,OAAOD,wBAAwB,CAACC,KAAK,EAAEC,SAAS,CAACjB,IAAW,CAAC;EACjE;AACF;AAEA,OAAM,SAAUsB,aAAaA,CAACC,CAAU;EACtC,OAAOpC,eAAe,CAACoC,CAAC,EAAE,EAAE,CAAC;AAC/B"}

package/_src/AST.ts

@@ -22,6 +22,10 @@ export abstract class AST extends Annotated {
   readonly [ASTTypeId]: ASTTypeId = ASTTypeId;
 
   abstract clone(newProperties: Partial<this>): AST;
+
+  toString(verbose: boolean = false): string {
+    return this.show(verbose);
+  }
 }
 
 export declare namespace AST {
@@ -103,14 +107,19 @@ export function getAnnotations<V>(key: ASTAnnotation<V>) {
  * Declaration
  */
 
+/**
+ * @tsplus type fncts.schema.AST.Declaration
+ */
 export class Declaration extends AST {
   readonly _tag = ASTTag.Declaration;
   constructor(
     readonly typeParameters: Vector<AST>,
-    readonly type: AST,
     readonly decode: (
       ...typeParameters: ReadonlyArray<AST>
     ) => (input: any, options?: ParseOptions) => ParseResult<any>,
+    readonly encode: (
+      ...typeParameters: ReadonlyArray<AST>
+    ) => (input: any, options?: ParseOptions) => ParseResult<any>,
     readonly annotations: ASTAnnotationMap = ASTAnnotationMap.empty,
   ) {
     super();
@@ -119,8 +128,8 @@ export class Declaration extends AST {
   clone(newProperties: Partial<this>): AST {
     return new Declaration(
       newProperties.typeParameters ?? this.typeParameters,
-      newProperties.type ?? this.type,
       newProperties.decode ?? this.decode,
+      newProperties.encode ?? this.encode,
       newProperties.annotations ?? this.annotations,
     );
   }
@@ -131,11 +140,11 @@ export class Declaration extends AST {
  */
 export function createDeclaration(
   typeParameters: Vector<AST>,
-  type: AST,
   decode: (...typeParameters: ReadonlyArray<AST>) => (input: any, options?: ParseOptions) => ParseResult<any>,
+  encode: (...typeParameters: ReadonlyArray<AST>) => (input: any, options?: ParseOptions) => ParseResult<any>,
   annotations: ASTAnnotationMap = ASTAnnotationMap.empty,
 ): Declaration {
-  return new Declaration(typeParameters, type, decode, annotations);
+  return new Declaration(typeParameters, decode, encode, annotations);
 }
 
 /**
@@ -528,6 +537,15 @@ export class TemplateLiteralSpan {
     readonly type: StringKeyword | NumberKeyword,
     readonly literal: string,
   ) {}
+
+  toString() {
+    switch (this.type._tag) {
+      case ASTTag.StringKeyword:
+        return "${string}";
+      case ASTTag.NumberKeyword:
+        return "${number}";
+    }
+  }
 }
 
 /*
@@ -577,6 +595,10 @@ export class Element {
     readonly type: AST,
     readonly isOptional: boolean,
   ) {}
+
+  toString() {
+    return String(this.type) + (this.isOptional ? "?" : "");
+  }
 }
 
 /**
@@ -632,18 +654,16 @@ export const unknownArray = AST.createTuple(Vector.empty(), Just(Vector(AST.unkn
  * PropertySignature
  */
 
-export class PropertySignature extends AST {
+export class PropertySignature {
   constructor(
     readonly name: PropertyKey,
     readonly type: AST,
     readonly isOptional: boolean,
     readonly isReadonly: boolean,
     readonly annotations: ASTAnnotationMap = ASTAnnotationMap.empty,
-  ) {
-    super();
-  }
+  ) {}
 
-  clone(newProperties: Partial<this>): AST {
+  clone(newProperties: Partial<this>): PropertySignature {
     return new PropertySignature(
       newProperties.name ?? this.name,
       newProperties.type ?? this.type,
@@ -705,7 +725,7 @@ export class TypeLiteral extends AST {
   ) {
     super();
     this.propertySignatures = sortByAscendingCardinality(propertySignatures);
-    this.indexSignatures    = sortByAscendingCardinality(indexSignatures);
+    this.indexSignatures = sortByAscendingCardinality(indexSignatures);
   }
 
   clone(newProperties: Partial<this>): AST {
@@ -923,6 +943,7 @@ export class Validation extends AST {
   ) {
     super();
   }
+
   clone(newProperties: Partial<this>): AST {
     return new Validation(
       newProperties.from ?? this.from,
@@ -949,8 +970,6 @@ export function createValidation(
 export function getCardinality(ast: AST): number {
   concrete(ast);
   switch (ast._tag) {
-    case ASTTag.Declaration:
-      return getCardinality(ast.type);
     case ASTTag.NeverKeyword:
       return 0;
     case ASTTag.Literal:
@@ -966,7 +985,7 @@ export function getCardinality(ast: AST): number {
     case ASTTag.SymbolKeyword:
       return 3;
     case ASTTag.ObjectKeyword:
-      return 4;
+      return 5;
     case ASTTag.UnknownKeyword:
     case ASTTag.AnyKeyword:
       return 6;
@@ -975,7 +994,7 @@ export function getCardinality(ast: AST): number {
     case ASTTag.Transform:
       return getCardinality(ast.to);
     default:
-      return 5;
+      return 4;
   }
 }
 
@@ -983,30 +1002,64 @@ function sortByAscendingCardinality<A extends { readonly type: AST }>(types: Vec
   return types.sort(Number.Ord.contramap(({ type }) => getCardinality(type)));
 }
 
-export function getWeight(ast: AST): number {
+export type Weight = readonly [number, number, number];
+
+const OrdWeight = Ord.tuple(Number.Ord, Number.Ord, Number.Ord);
+
+const maxWeight = Ord.max(OrdWeight);
+
+function maxWeightAll(weights: Iterable<Weight>): Weight {
+  return weights.foldLeft(emptyWeight, (b, a) => maxWeight(b)(a));
+}
+
+const emptyWeight: Weight = [0, 0, 0];
+
+export function getWeight(ast: AST): Weight {
   concrete(ast);
   switch (ast._tag) {
     case ASTTag.Declaration:
-      return getWeight(ast.type);
+      return ast.annotations.get(ASTAnnotation.Surrogate).match(
+        () => [6, 0, 0],
+        (ast) => {
+          const [_, y, z] = getWeight(ast);
+          return [6, y, z];
+        },
+      );
     case ASTTag.Tuple:
-      return ast.elements.length + (ast.rest.isJust() ? ast.rest.value.length : 0);
-    case ASTTag.TypeLiteral:
-      return ast.propertySignatures.length + ast.indexSignatures.length;
+      return [
+        2,
+        ast.elements.length,
+        ast.rest.match(
+          () => 0,
+          (rest) => rest.length,
+        ),
+      ];
+    case ASTTag.TypeLiteral: {
+      const y = ast.propertySignatures.length;
+      const z = ast.indexSignatures.length;
+      return y + z === 0 ? [-4, 0, 0] : [4, y, z];
+    }
     case ASTTag.Union:
-      return ast.types.foldLeft(0, (n, member) => n + getWeight(member));
+      return maxWeightAll(ast.types.map(getWeight));
     case ASTTag.Lazy:
-      return 10;
+      return [8, 0, 0];
     case ASTTag.Refinement:
-      return getWeight(ast.from);
+      const [x, y, z] = getWeight(ast.from);
+      return [x + 1, y, z];
     case ASTTag.Transform:
-      return getWeight(ast.to);
+      return getWeight(ast.from);
+    case ASTTag.ObjectKeyword:
+      return [-2, 0, 0];
+    case ASTTag.UnknownKeyword:
+    case ASTTag.AnyKeyword:
+      return [-4, 0, 0];
     default:
-      return 0;
+      return emptyWeight;
   }
 }
 
 function sortByDescendingWeight(types: Vector<AST>): Vector<AST> {
-  return types.sort(Number.Ord.contramap(getWeight));
+  return types.sort(OrdWeight.contramap(getWeight));
 }
 
 function unify(candidates: Vector<AST>): Vector<AST> {
@@ -1094,7 +1147,10 @@ export function getPropertySignatures(self: AST): Vector<PropertySignature> {
   concrete(self);
   switch (self._tag) {
     case ASTTag.Declaration:
-      return getPropertySignatures(self.type);
+      return self.annotations.get(ASTAnnotation.Surrogate).match(
+        () => Vector.empty(),
+        (surrogate) => getPropertySignatures(surrogate),
+      );
     case ASTTag.Tuple:
       return self.elements.mapWithIndex((i, element) =>
         createPropertySignature(i, element.type, element.isOptional, self.isReadonly),
@@ -1116,6 +1172,8 @@ export function getPropertySignatures(self: AST): Vector<PropertySignature> {
         return Nothing();
       });
     }
+    case ASTTag.TypeLiteral:
+      return self.propertySignatures;
     case ASTTag.Lazy:
       return getPropertySignatures(self.getAST());
     case ASTTag.Refinement:
@@ -1134,7 +1192,10 @@ export function keysOf(ast: AST): Vector<AST> {
   concrete(ast);
   switch (ast._tag) {
     case ASTTag.Declaration:
-      return keysOf(ast.type);
+      return ast.annotations.get(ASTAnnotation.Surrogate).match(
+        () => Vector.empty(),
+        (surrogate) => keysOf(surrogate),
+      );
     case ASTTag.NeverKeyword:
     case ASTTag.AnyKeyword:
       return Vector(stringKeyword, numberKeyword, symbolKeyword);
@@ -1171,14 +1232,11 @@ export function keyof(self: AST): AST {
  */
 export function createRecord(key: AST, value: AST, isReadonly: boolean): TypeLiteral {
   const propertySignatures: MutableVector<PropertySignature> = Vector.emptyPushable();
-  const indexSignatures: MutableVector<IndexSignature>       = Vector.emptyPushable();
+  const indexSignatures: MutableVector<IndexSignature> = Vector.emptyPushable();
 
   function go(key: AST): void {
     concrete(key);
     switch (key._tag) {
-      case ASTTag.Declaration:
-        go(key.type);
-        break;
       case ASTTag.NeverKeyword:
         break;
       case ASTTag.StringKeyword:
@@ -1236,8 +1294,6 @@ export function omit(keys: Vector<PropertyKey>) {
 export function partial(self: AST): AST {
   concrete(self);
   switch (self._tag) {
-    case ASTTag.Declaration:
-      return partial(self.type);
     case ASTTag.Tuple:
       return createTuple(
         self.elements.map((e) => createElement(e.type, true)),
@@ -1275,8 +1331,13 @@ export function createKey(key: PropertyKey): AST {
 export function getFrom(ast: AST): AST {
   AST.concrete(ast);
   switch (ast._tag) {
-    case ASTTag.Declaration:
-      return AST.createDeclaration(ast.typeParameters.map(getFrom), ast.type, ast.decode, ast.annotations);
+    case ASTTag.Declaration: {
+      const surrogate = ast.annotations.get(ASTAnnotation.Surrogate);
+      if (surrogate.isJust()) {
+        return getFrom(surrogate.value);
+      }
+      break;
+    }
     case ASTTag.Tuple:
       return AST.createTuple(
         ast.elements.map((element) => AST.createElement(getFrom(element.type), element.isOptional)),
@@ -1309,8 +1370,13 @@ export function getFrom(ast: AST): AST {
 export function getTo(ast: AST): AST {
   AST.concrete(ast);
   switch (ast._tag) {
-    case ASTTag.Declaration:
-      return AST.createDeclaration(ast.typeParameters.map(getTo), ast.type, ast.decode, ast.annotations);
+    case ASTTag.Declaration: {
+      const surrogate = ast.annotations.get(ASTAnnotation.Surrogate);
+      if (surrogate.isJust()) {
+        return getTo(surrogate.value);
+      }
+      break;
+    }
     case ASTTag.Tuple:
       return AST.createTuple(
         ast.elements.map((element) => AST.createElement(getTo(element.type), element.isOptional)),
@@ -1352,8 +1418,13 @@ export function getCompiler<A>(match: AST.Match<A>): AST.Compiler<A> {
 export function getLiterals(ast: AST, isDecoding: boolean): ReadonlyArray<[PropertyKey, Literal]> {
   AST.concrete(ast);
   switch (ast._tag) {
-    case ASTTag.Declaration:
-      return getLiterals(ast.type, isDecoding);
+    case ASTTag.Declaration: {
+      const surrogate = ast.annotations.get(ASTAnnotation.Surrogate);
+      if (surrogate.isJust()) {
+        return getLiterals(surrogate.value, isDecoding);
+      }
+      break;
+    }
     case ASTTag.TypeLiteral: {
       const out: Array<[PropertyKey, Literal]> = [];
       for (let i = 0; i < ast.propertySignatures.length; i++) {
@@ -1379,6 +1450,7 @@ export function getSearchTree(
   keys: {
     readonly [key: PropertyKey]: {
       buckets: { [literal: string]: ReadonlyArray<AST> };
+      literals: ReadonlyArray<Literal>;
       ast: AST;
     };
   };
@@ -1387,28 +1459,31 @@ export function getSearchTree(
   const keys: {
     [key: PropertyKey]: {
       buckets: { [literal: string]: Array<AST> };
+      literals: Array<Literal>;
       ast: AST;
     };
   } = {};
   const otherwise: Array<AST> = [];
   for (let i = 0; i < members.length; i++) {
     const member = members[i]!;
-    const tags   = getLiterals(member, isDecoding);
+    const tags = getLiterals(member, isDecoding);
     if (tags.length > 0) {
       for (let j = 0; j < tags.length; j++) {
         const [key, literal] = tags[j]!;
-        const hash           = String(literal.literal);
-        keys[key]!         ||= { buckets: {}, ast: AST.neverKeyword };
-        const buckets        = keys[key]!.buckets;
+        const hash = String(literal.literal);
+        keys[key]! ||= { buckets: {}, ast: AST.neverKeyword, literals: [] };
+        const buckets = keys[key]!.buckets;
         if (Object.prototype.hasOwnProperty.call(buckets, hash)) {
           if (j < tags.length - 1) {
             continue;
           }
           buckets[hash]!.push(member);
           keys[key]!.ast = AST.createUnion(Vector(keys[key]!.ast, literal));
+          keys[key]!.literals.push(literal);
         } else {
           buckets[hash]! = [member];
           keys[key]!.ast = AST.createUnion(Vector(keys[key]!.ast, literal));
+          keys[key]!.literals.push(literal);
           break;
         }
       }
@@ -1418,3 +1493,29 @@ export function getSearchTree(
   }
   return { keys, otherwise };
 }
+
+/**
+ * @tsplus pipeable fncts.schema.AST getFormattedExpected
+ */
+export function getFormattedExpected(verbose: boolean = false) {
+  return (self: AST): Maybe<string> => {
+    if (verbose) {
+      const description = self.annotations
+        .get(ASTAnnotation.Description)
+        .orElse(self.annotations.get(ASTAnnotation.Title));
+      return self.annotations.get(ASTAnnotation.Identifier).match(
+        () => description,
+        (identifier) =>
+          description.match(
+            () => Just(identifier),
+            (description) => Just(`${identifier} (${description})`),
+          ),
+      );
+    } else {
+      return self.annotations
+        .get(ASTAnnotation.Identifier)
+        .orElse(self.annotations.get(ASTAnnotation.Title))
+        .orElse(self.annotations.get(ASTAnnotation.Description));
+    }
+  };
+}

package/_src/ASTAnnotation.ts

@@ -53,7 +53,7 @@ export const DescriptionTag = Tag<string>();
  */
 export const Description = new ASTAnnotation(DescriptionTag, "Description", (_, a) => a);
 
-export const MessageTag = Tag<(_: unknown) => string>();
+export const MessageTag = Tag<(error: ParseError) => string>();
 
 /**
  * @tsplus static fncts.schema.ASTAnnotationOps Message
@@ -81,6 +81,13 @@ export const ParseOptionalTag = Tag<boolean>();
  */
 export const ParseOptional = new ASTAnnotation(ParseOptionalTag, "ParseOptional", (_, b) => b);
 
+export const SurrogateTag = Tag<AST>();
+
+/**
+ * @tsplus static fncts.schema.ASTAnnotationOps Surrogate
+ */
+export const Surrogate = new ASTAnnotation(SurrogateTag, "Surrogate", (_, b) => b);
+
 export type Hook<A> = (...typeParameters: ReadonlyArray<A>) => A;
 
 export function hook(handler: (...typeParameters: ReadonlyArray<any>) => any): Hook<any> {

package/_src/Gen.ts

@@ -44,7 +44,10 @@ const go = memoize(function go(ast: AST): Gen<Sized, any> {
   switch (ast._tag) {
     case ASTTag.Declaration:
       return getHook(ast).match(
-        () => go(ast.type),
+        () =>
+          Gen.fromIO(
+            IO.haltNow(new InvalidInterpretationError("cannot build a Gen for a Declaration without a Gen hook")),
+          ),
         (hook) => hook(...ast.typeParameters.map(go)),
       );
     case ASTTag.Literal:
@@ -83,8 +86,8 @@ const go = memoize(function go(ast: AST): Gen<Sized, any> {
     }
     case ASTTag.Tuple: {
       const elements = ast.elements.map((e) => go(e.type));
-      const rest     = ast.rest.map((restElement) => restElement.map(go));
-      let output     = Gen.tuple(...elements);
+      const rest = ast.rest.map((restElement) => restElement.map(go));
+      let output = Gen.tuple(...elements);
       if (elements.length > 0 && rest.isNothing()) {
         const firstOptionalIndex = ast.elements.findIndex((e) => e.isOptional);
         if (firstOptionalIndex !== -1) {
@@ -96,7 +99,7 @@ const go = memoize(function go(ast: AST): Gen<Sized, any> {
       if (rest.isJust()) {
         const head = rest.value.unsafeHead!;
         const tail = rest.value.tail;
-        output     = output.flatMap((as) => head.arrayWith({ maxLength: 5 }).map((rest) => [...as, ...rest]));
+        output = output.flatMap((as) => head.arrayWith({ maxLength: 5 }).map((rest) => [...as, ...rest]));
         for (let j = 0; j < tail.length; j++) {
           output = output.flatMap((as) => tail[j]!.map((a) => [...as, a]));
         }
@@ -105,11 +108,11 @@ 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 indexSignatures = ast.indexSignatures.map((is) => [go(is.parameter), go(is.type)] as const);
       const requiredGens: Record<PropertyKey, Gen<any, any>> = {};
       const optionalGens: Record<PropertyKey, Gen<any, any>> = {};
       for (let i = 0; i < propertySignatureTypes.length; i++) {
-        const ps   = ast.propertySignatures[i]!;
+        const ps = ast.propertySignatures[i]!;
         const name = ps.name;
         if (!ps.isOptional) {
           requiredGens[name] = propertySignatureTypes[i]!;
@@ -120,8 +123,8 @@ const go = memoize(function go(ast: AST): Gen<Sized, any> {
       let output = Gen.struct(requiredGens).zipWith(Gen.partial(optionalGens), (a, b) => ({ ...a, ...b }));
       for (let i = 0; i < indexSignatures.length; i++) {
         const parameter = indexSignatures[i]![0]!;
-        const type      = indexSignatures[i]![1]!;
-        output          = output.flatMap((o) => {
+        const type = indexSignatures[i]![1]!;
+        output = output.flatMap((o) => {
           return record(parameter, type).map((d) => ({ ...d, ...o }));
         });
       }
@@ -134,7 +137,7 @@ const go = memoize(function go(ast: AST): Gen<Sized, any> {
     case ASTTag.Lazy: {
       return getHook(ast).match(
         () => {
-          const f   = () => go(ast.getAST());
+          const f = () => go(ast.getAST());
           const get = memoize<typeof f, Gen<any, any>>(f);
           return Gen.defer(() => get(f));
         },