@helios-lang/effect 0.1.15 → 0.3.0

package/dist/Cardano/Uplc/Term.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Term.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Term.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;IACF,GAAG,EAAE,MAAM,CAAC,QAAQ,CAClB,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CACH;CACF,CAAC,CAAA;AAIF,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,EAAE,CAAC,IAAI,CAAC,CAAA;AAE3E,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAChD,EAAE,EAAE,aAAa;IACjB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AASF,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE;IAC9C,EAAE,EAAE,MAAM,CAAC,GAAG,EAAE,sCAAsC;IACtD,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,uGAAuG;IAC7I,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAIF,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,CAAA;AAE9B,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;IAC9C,GAAG,EAAE,aAAa;IAClB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AASF,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAChD,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE;IAClD,GAAG,EAAE,MAAM,CAAC,GAAG;IACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AASF,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAChD,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AASF,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAC1C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAIF,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAChD,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAQF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE;IAClD,IAAI,EAAE,aAAa;IACnB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACrC,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE;IAC5C,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,uCAAuC;IAC1D,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAC9B,KAAK,EACL,QAAQ,EACR,IAAI,EACJ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,GAAG,CACJ,CAAA;AAcD;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnD,KAAK,SAAS;YACZ,OAAO,CAAC,GAAG,CAAC,CAAA;QACd,KAAK,MAAM;YACT,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;QACrE,KAAK,OAAO;YACV,OAAO,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACvC,KAAK,QAAQ;YACX,OAAO,CACL,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CACvE,CAAA;QACH,KAAK,OAAO;YACV,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC/B,KAAK,OAAO;YACV,OAAO,CAAC,CAAA;QACV,KAAK,OAAO;YACV,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC/B,KAAK,QAAQ;YACX,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,KAAK,KAAK;YACR,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC9C,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAA;AAClB,MAAM,UAAU,GAAG,CAAC,CAAA;AACpB,MAAM,OAAO,GAAG,CAAC,CAAA;AACjB,MAAM,QAAQ,GAAG,CAAC,CAAA;AAClB,MAAM,SAAS,GAAG,CAAC,CAAA;AACnB,MAAM,QAAQ,GAAG,CAAC,CAAA;AAClB,MAAM,QAAQ,GAAG,CAAC,CAAA;AAClB,MAAM,QAAQ,GAAG,CAAC,CAAA;AAClB,MAAM,SAAS,GAAG,CAAC,CAAA;AACnB,MAAM,MAAM,GAAG,CAAC,CAAA;AAEhB,MAAM,UAAU,OAAO,CAAC,IAAU;IAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAA;QACjB,KAAK,SAAS;YACZ,OAAO,UAAU,CAAA;QACnB,KAAK,MAAM;YACT,OAAO,OAAO,CAAA;QAChB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAA;QACjB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAA;QAClB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAA;QACjB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAA;QACjB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAA;QACjB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAA;QAClB,KAAK,KAAK;YACR,OAAO,MAAM,CAAA;IACjB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAC,EAAE,WAAW,EAAwD,EAAE,EAAE,CAC1E,CAAC,CAAc,EAA8B,EAAE;IAC7C;;;OAGG;IACH,IAAI,IAAI,GAAqB,SAAS,CAAA;IAEtC,MAAM,OAAO,GA8BP,EAAE,CAAA;IAER,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,CAAA;YAEvB,QAAQ,GAAG,EAAE,CAAC;gBACZ,KAAK,MAAM;oBACT,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAA;oBAClD,MAAK;gBACP,KAAK,QAAQ;oBACX,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;oBAC/B,MAAK;gBACP,KAAK,SAAS;oBACZ,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;oBAChC,MAAK;gBACP,KAAK,QAAQ;oBACX,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;oBACjC,MAAK;gBACP,KAAK,QAAQ;oBACX,CAAC;wBACC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;wBAE7B,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;4BACzB,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;wBAChC,CAAC;wBACD,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;oBAC9C,CAAC;oBACD,MAAK;gBACP,KAAK,QAAQ;oBACX,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;oBAC/B,MAAK;gBACP,KAAK,QAAQ;oBACX,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;oBACxB,MAAK;gBACP,KAAK,UAAU;oBACb,CAAC;wBACC,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAA;wBAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;oBACzD,CAAC;oBACD,MAAK;gBACP,KAAK,SAAS;oBACZ,CAAC;wBACC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;wBACrC,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;wBAC/B,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;4BACnB,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;wBACrD,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,IAAI,CAAC;gCACX,IAAI,EAAE,QAAQ;gCACd,GAAG,EAAE,SAAS;gCACd,IAAI,EAAE,EAAE;6BACT,CAAC,CAAA;wBACJ,CAAC;oBACH,CAAC;oBACD,MAAK;gBACP,KAAK,OAAO;oBACV,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;oBACjC,MAAK;gBACP;oBACE,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,KAAK,CAAC,WAAW,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,CACvD,CAAA;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;YAEvB,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,KAAK,CAAC,wCAAwC,CAAC,CACpD,CAAA;YACH,CAAC;YAED,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,OAAO;oBACV,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;oBAC7C,MAAK;gBACP,KAAK,SAAS;oBACZ,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;oBACzC,IAAI,GAAG,SAAS,CAAA;oBAChB,MAAK;gBACP,KAAK,MAAM;oBACT,CAAC;wBACC,MAAM,KAAK,GAAW,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;wBAC5C,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;wBAC/B,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;4BACnB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAA;wBAC5C,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;4BAC7B,IAAI,GAAG,SAAS,CAAA;wBAClB,CAAC;oBACH,CAAC;oBACD,MAAK;gBACP,KAAK,SAAS;oBACZ,CAAC;wBACC,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;wBAC/B,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;4BACnB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;wBAC/C,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAA;4BACpD,IAAI,GAAG,SAAS,CAAA;wBAClB,CAAC;oBACH,CAAC;oBACD,MAAK;gBACP,KAAK,QAAQ;oBACX,CAAC;wBACC,MAAM,IAAI,GAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;wBAC1C,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;wBAC/B,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;4BACnB,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAA;wBAC7C,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;4BAC5B,IAAI,GAAG,SAAS,CAAA;wBAClB,CAAC;oBACH,CAAC;oBACD,MAAK;gBACP,KAAK,OAAO;oBACV,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;oBACnC,MAAK;gBACP,KAAK,OAAO;oBACV,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;oBACnC,MAAK;gBACP,KAAK,QAAQ;oBACX,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;oBACrC,MAAK;YACT,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAA;IACvD,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;AAC3B,CAAC,CAAA;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAC,CAAc,EAAE,EAAE,CACnB,CAAC,IAAU,EAAQ,EAAE;IACnB,MAAM,OAAO,GAYP;QACJ;YACE,IAAI,EAAE,WAAW;YACjB,IAAI;SACL;KACF,CAAA;IAED,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IAE1B,OAAO,MAAM,EAAE,CAAC;QACd,IAAI,MAAM,CAAC,IAAI,IAAI,UAAU,IAAI,MAAM,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC;YAC5D,IAAI,MAAM,CAAC,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,CAAC,CAAC,aAAa,EAAE,CAAA;YACnB,CAAC;YAED,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAA;YACrB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS;oBACZ,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,CAAA;oBAC1B,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBACtB,MAAK;gBACP,KAAK,OAAO;oBACV,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;oBACxB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;oBAChD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;oBAC/C,MAAK;gBACP,KAAK,MAAM;oBACT,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;oBACvB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;oBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC7C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBACtD,CAAC;oBACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;oBAChD,MAAK;gBACP,KAAK,OAAO;oBACV,IACE,CAAC,CAAC,KAAK,KAAK,IAAI;wBAChB,OAAO,CAAC,CAAC,KAAK,IAAI,QAAQ;wBAC1B,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK;4BACrB,WAAW,IAAI,CAAC,CAAC,KAAK;4BACtB,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,EACxB,CAAC;wBACD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;oBACxC,CAAC;yBAAM,CAAC;wBACN,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;wBACxB,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;wBACtC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;oBAC1B,CAAC;oBACD,MAAK;gBACP,KAAK,QAAQ;oBACX,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;oBACzB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;oBACjB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;oBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC5C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBACrD,CAAC;oBACD,MAAK;gBACP,KAAK,OAAO;oBACV,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;oBACxB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;oBAChD,MAAK;gBACP,KAAK,OAAO;oBACV,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;oBACxB,MAAK;gBACP,KAAK,OAAO;oBACV,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;oBACxB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;oBAChD,MAAK;gBACP,KAAK,QAAQ;oBACX,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;oBACzB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;oBACjD,MAAK;gBACP,KAAK,KAAK;oBACR,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;oBACtB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;oBAC3B,MAAK;YACT,CAAC;QACH,CAAC;aAAM,CAAC;YACN,CAAC,CAAC,YAAY,EAAE,CAAA;QAClB,CAAC;QAED,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACxB,CAAC;AACH,CAAC,CAAA;AAEH;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;QACvD,KAAK,SAAS;YACZ,OAAO,YAAY,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAA;QAC1C,KAAK,MAAM;YACT,OAAO,UAAU,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;QAChG,KAAK,OAAO;YACV,OAAO,QAAQ,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;QACzF,KAAK,QAAQ;YACX,OAAO,WAAW,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;QACpE,KAAK,OAAO;YACV,OAAO,UAAU,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;QACxC,KAAK,OAAO;YACV,OAAO,SAAS,CAAA;QAClB,KAAK,OAAO;YACV,OAAO,UAAU,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;QACxC,KAAK,QAAQ;YACX,OAAO,QACL,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EACpD,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC3B,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAA;IACxC,CAAC;AACH,CAAC"}

package/dist/Cardano/Uplc/Type.js

@@ -0,0 +1,131 @@
+import { Schema } from "effect";
+/**
+ * TODO: more accurate test
+ * @param s
+ * @returns
+ */
+export function isValid(s) {
+    return /^[0-1]+$/.test(s) && s.length >= 4;
+}
+export const Type = Schema.String.pipe(Schema.filter((s) => isValid(s) || "Invalid Uplc Type bits"), Schema.brand("UplcType"));
+export const Bool = "0100";
+export const ByteArray = "0001";
+export const Data = "1000";
+export const Int = "0000";
+export const String = "0010";
+export const Unit = "0011";
+export const Bls12_381_G1Element = "1001";
+export const Bls12_381_G2Element = "1010";
+export const Bls12_381_MlResult = "1011";
+const ContainerHead = "0111";
+const ListHead = "0101";
+export function List(item) {
+    return [ContainerHead, ListHead, item].join("1");
+}
+const PairHead = "0110";
+export function Pair(first, second) {
+    return [ContainerHead, ContainerHead, PairHead, first, second].join("1");
+}
+export const DataPair = /* @__PURE__ */ Pair(Data, Data);
+export const DataMap = /* @__PURE__ */ List(DataPair);
+/**
+ * Stack-based algorithm
+ * @param t
+ * @returns
+ */
+export function toString(t) {
+    const stack = [];
+    function popBits() {
+        const b = t.slice(0, 4);
+        t = t.slice(5);
+        return b;
+    }
+    while (t.length > 0) {
+        let b = popBits();
+        switch (b) {
+            case Int:
+                stack.push("integer");
+                break;
+            case ByteArray:
+                stack.push("bytestring");
+                break;
+            case String:
+                stack.push("string");
+                break;
+            case Unit:
+                stack.push("unit");
+                break;
+            case Bool:
+                stack.push("bool");
+                break;
+            case Data:
+                stack.push("data");
+                break;
+            case Bls12_381_G1Element:
+                stack.push("bls12_381_G1_element");
+                break;
+            case Bls12_381_G2Element:
+                stack.push("bls12_381_G2_element");
+                break;
+            case Bls12_381_MlResult:
+                stack.push("bls12_381_mlresult");
+                break;
+            case ContainerHead: {
+                b = popBits();
+                switch (b) {
+                    case ContainerHead: {
+                        b = popBits();
+                        if (b != PairHead) {
+                            throw new Error("invalid Uplc.Type");
+                        }
+                        else {
+                            stack.push("pair");
+                        }
+                        break;
+                    }
+                    case ListHead:
+                        stack.push("list");
+                        break;
+                    default:
+                        throw new Error(`invalid Uplc.Type ${t}`);
+                }
+                break;
+            }
+            default:
+                throw new Error("invalid UplcType");
+        }
+    }
+    function stackToString(stack) {
+        const head = stack[0];
+        const tail = stack.slice(1);
+        switch (head) {
+            case "integer":
+            case "bytestring":
+            case "string":
+            case "unit":
+            case "bool":
+            case "data":
+            case "bls12_381_G1_element":
+            case "bls12_381_G2_element":
+            case "bls12_381_mlresult":
+                return [head, tail];
+            case "list": {
+                const [item, rest] = stackToString(tail);
+                return [`(list ${item})`, rest];
+            }
+            case "pair": {
+                const [first, rest1] = stackToString(tail);
+                const [second, rest2] = stackToString(rest1);
+                return [`(pair ${first} ${second})`, rest2];
+            }
+            default:
+                throw new Error(`unhandled Uplc.Type ${head}`);
+        }
+    }
+    const [result, rest] = stackToString(stack);
+    if (rest.length != 0) {
+        throw new Error("invalid Uplc.Type");
+    }
+    return result;
+}
+//# sourceMappingURL=Type.js.map

package/dist/Cardano/Uplc/Type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Type.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAA;AAC5C,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACpC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,wBAAwB,CAAC,EACpE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CACzB,CAAA;AAID,MAAM,CAAC,MAAM,IAAI,GAAG,MAAc,CAAA;AAElC,MAAM,CAAC,MAAM,SAAS,GAAG,MAAc,CAAA;AAEvC,MAAM,CAAC,MAAM,IAAI,GAAG,MAAc,CAAA;AAElC,MAAM,CAAC,MAAM,GAAG,GAAG,MAAc,CAAA;AAEjC,MAAM,CAAC,MAAM,MAAM,GAAG,MAAc,CAAA;AAEpC,MAAM,CAAC,MAAM,IAAI,GAAG,MAAc,CAAA;AAElC,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAc,CAAA;AAEjD,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAc,CAAA;AAEjD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAc,CAAA;AAEhD,MAAM,aAAa,GAAG,MAAc,CAAA;AAEpC,MAAM,QAAQ,GAAG,MAAe,CAAA;AAEhC,MAAM,UAAU,IAAI,CAAC,IAAU;IAC7B,OAAO,CAAC,aAAa,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAS,CAAA;AAC1D,CAAC;AAED,MAAM,QAAQ,GAAG,MAAe,CAAA;AAEhC,MAAM,UAAU,IAAI,CAAC,KAAW,EAAE,MAAY;IAC5C,OAAO,CAAC,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CACjE,GAAG,CACI,CAAA;AACX,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;AAExD,MAAM,CAAC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;AAErD;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAO;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,SAAS,OAAO;QACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACvB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAS,CAAA;QACtB,OAAO,CAAC,CAAA;IACV,CAAC;IAED,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC,GAAG,OAAO,EAAE,CAAA;QAEjB,QAAQ,CAAC,EAAE,CAAC;YACV,KAAK,GAAG;gBACN,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBACrB,MAAK;YACP,KAAK,SAAS;gBACZ,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;gBACxB,MAAK;YACP,KAAK,MAAM;gBACT,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBACpB,MAAK;YACP,KAAK,IAAI;gBACP,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBAClB,MAAK;YACP,KAAK,IAAI;gBACP,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBAClB,MAAK;YACP,KAAK,IAAI;gBACP,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBAClB,MAAK;YACP,KAAK,mBAAmB;gBACtB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAA;gBAClC,MAAK;YACP,KAAK,mBAAmB;gBACtB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAA;gBAClC,MAAK;YACP,KAAK,kBAAkB;gBACrB,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;gBAChC,MAAK;YACP,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,CAAC,GAAG,OAAO,EAAE,CAAA;gBAEb,QAAQ,CAAC,EAAE,CAAC;oBACV,KAAK,aAAa,CAAC,CAAC,CAAC;wBACnB,CAAC,GAAG,OAAO,EAAE,CAAA;wBAEb,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;4BAClB,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAA;wBACtC,CAAC;6BAAM,CAAC;4BACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;wBACpB,CAAC;wBACD,MAAK;oBACP,CAAC;oBACD,KAAK,QAAQ;wBACX,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;wBAClB,MAAK;oBACP;wBACE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAA;gBAC7C,CAAC;gBACD,MAAK;YACP,CAAC;YACD;gBACE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAA;QACvC,CAAC;IACH,CAAC;IAED,SAAS,aAAa,CAAC,KAAe;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAE3B,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,SAAS,CAAC;YACf,KAAK,YAAY,CAAC;YAClB,KAAK,QAAQ,CAAC;YACd,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM,CAAC;YACZ,KAAK,sBAAsB,CAAC;YAC5B,KAAK,sBAAsB,CAAC;YAC5B,KAAK,oBAAoB;gBACvB,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACrB,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;gBACxC,OAAO,CAAC,SAAS,IAAI,GAAG,EAAE,IAAI,CAAC,CAAA;YACjC,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;gBAC1C,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;gBAE5C,OAAO,CAAC,SAAS,KAAK,IAAI,MAAM,GAAG,EAAE,KAAK,CAAC,CAAA;YAC7C,CAAC;YACD;gBACE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAA;QAClD,CAAC;IACH,CAAC;IAED,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;IAE3C,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAA;IACtC,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/Cardano/Uplc/Value.js

@@ -0,0 +1,315 @@
+import { Either, Encoding, Schema } from "effect";
+import * as Bits from "../../Codecs/Bits.js";
+import { toArray, toUint8Array } from "../../Codecs/Bytes.js";
+import * as Flat from "../../Codecs/Flat.js";
+import * as Utf8 from "../../Codecs/Utf8.js";
+import * as ZigZag from "../../Codecs/ZigZag.js";
+import * as Data from "./Data.js";
+import * as Type from "./Type.js";
+// these value Schemas don't encode to JSON
+const SuspendedValue = Schema.suspend(() => Value);
+export const Bool = Schema.Boolean;
+export const ByteArray = Schema.Uint8ArrayFromSelf;
+const Data$ = Schema.Struct({
+    data: Data.Data
+});
+export { Data$ as Data };
+export function isData(v) {
+    return typeof v == "object" && v != null && "data" in v;
+}
+export const Int = Schema.BigIntFromSelf;
+export const String = Schema.String;
+export const Unit = Schema.Null;
+export const List = Schema.Struct({
+    itemType: Schema.typeSchema(Type.Type),
+    items: Schema.Array(SuspendedValue)
+});
+export function isList(v) {
+    return typeof v == "object" && v != null && "items" in v;
+}
+export const Pair = Schema.Struct({
+    first: SuspendedValue,
+    second: SuspendedValue
+});
+export function isPair(v) {
+    return typeof v == "object" && v != null && "first" in v;
+}
+export const Bls12_381_G1Element = Schema.Struct({
+    g1Element: Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf, Schema.BigIntFromSelf)
+});
+export const Bls12_381_G2Element = Schema.Struct({
+    g2Element: Schema.Tuple(Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf), Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf), Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf))
+});
+export const Bls12_381_MlResult = Schema.Struct({
+    mlResult: Schema.Tuple(Schema.Tuple(Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf), Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf), Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf)), Schema.Tuple(Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf), Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf), Schema.Tuple(Schema.BigIntFromSelf, Schema.BigIntFromSelf)))
+});
+/**
+ * TODO: add Bls values
+ */
+export const Value = Schema.Union(Bool, ByteArray, Data$, Int, List, Pair, String, Unit, Bls12_381_G1Element, Bls12_381_G2Element, Bls12_381_MlResult);
+export function flatSize(v) {
+    if (typeof v == "boolean") {
+        return 5;
+    }
+    else if (v === null) {
+        return 4;
+    }
+    else if (v instanceof Uint8Array) {
+        return Flat.bytesSize(v.length);
+    }
+    else if (typeof v === "string") {
+        return Flat.bytesSize(Utf8.encode(v).length);
+    }
+    else if (typeof v === "bigint") {
+        return Flat.intSize(v);
+    }
+    else if ("data" in v) {
+        return Flat.bytesSize(Data.encode(v.data).length);
+    }
+    else if ("first" in v) {
+        // 16 additional type bits on top of first and second bits
+        return 16 + flatSize(v.first) + flatSize(v.second);
+    }
+    else if ("items" in v) {
+        const nItemTypeBits = v.itemType.length;
+        return (10 +
+            nItemTypeBits +
+            v.items.reduce((prev, item) => flatSize(item) - nItemTypeBits + prev, 0));
+    }
+    else {
+        throw new Error(`unhandled value kind in Uplc.Value.flatSize() (got: ${v})`);
+    }
+}
+export function memSize(v) {
+    if (typeof v == "boolean" || v === null) {
+        return 1;
+    }
+    else if (v instanceof Uint8Array) {
+        return Data.memSizeOfByteArray(v);
+    }
+    else if (typeof v === "string") {
+        return v.length;
+    }
+    else if (typeof v === "bigint") {
+        return Data.memSizeOfInt(v); // TODO: should ZigZag encoding be taken into account here?
+    }
+    else if ("data" in v) {
+        return Data.memSize(v.data);
+    }
+    else if ("first" in v) {
+        return memSize(v.first) + memSize(v.second);
+    }
+    else if ("items" in v) {
+        return v.items.reduce((prev, item) => prev + memSize(item), 0);
+    }
+    else {
+        throw new Error(`unhandled value kind in Uplc.Value.memSize() (got: ${v})`);
+    }
+}
+/**
+ * Doesn't include type bits
+ * Simple recursive algorithm (containers are expected to be that big anyway)
+ * @param v
+ * @param w
+ */
+export const toFlat = (w) => (v) => {
+    if (typeof v == "boolean") {
+        w.writeBool(v);
+    }
+    else if (v === null) {
+        // doesn't do anything, handled by type bits
+    }
+    else if (v instanceof Uint8Array) {
+        w.writeBytes(toArray(v));
+    }
+    else if (typeof v == "string") {
+        w.writeBytes(toArray(Utf8.encode(v)));
+    }
+    else if (typeof v == "bigint") {
+        // assumes the number is signed
+        w.writeInt(ZigZag.toUnsigned(v));
+    }
+    else if ("data" in v) {
+        w.writeBytes(Data.encode(v.data));
+    }
+    else if ("first" in v) {
+        toFlat(w)(v.first);
+        toFlat(w)(v.second);
+    }
+    else if ("items" in v) {
+        v.items.forEach((item) => {
+            w.writeListCons();
+            toFlat(w)(item);
+        });
+        w.writeListNil();
+    }
+    else {
+        throw new Error(`unhandled value kind in Uplc.Value.toFlat() (got: ${v})`);
+    }
+};
+/**
+ * Simple recursive function which return a lazy decoder
+ */
+const makeTypedDecoder = (r, typeList) => Either.gen(function* () {
+    const type = typeList.shift();
+    if (type === undefined) {
+        return yield* Either.left(new Error("empty type list"));
+    }
+    switch (type) {
+        case 0: // signed Integer
+            return () => Either.right(ZigZag.toSigned(r.readInt()));
+        case 1: // bytearray
+            return () => Either.right(toUint8Array(r.readBytes()));
+        case 2: // utf-8 string
+            return () => Utf8.decode(r.readBytes()).pipe(Either.mapLeft((e) => new Error(e.message)));
+        case 3: // unit
+            return () => Either.right(null);
+        case 4: // boolean
+            return () => Either.right(r.readBool());
+        case 5:
+        case 6:
+            return yield* Either.left(new Error("unexpected type tag without type application"));
+        case 7: {
+            const containerType = typeList.shift();
+            if (containerType === undefined) {
+                return yield* Either.left(new Error("expected nested type for container"));
+            }
+            switch (containerType) {
+                case 5: {
+                    return yield* makeTypedListDecoder(r, typeList);
+                }
+                case 7: {
+                    const nestedContainerType = typeList.shift();
+                    if (nestedContainerType === undefined) {
+                        return yield* Either.left(new Error("expected nested type for container"));
+                    }
+                    else if (nestedContainerType != 6) {
+                        return yield* Either.left(new Error(`unexpected nested container type tag (expected 6, got ${nestedContainerType})`));
+                    }
+                    const firstReader = yield* makeTypedDecoder(r, typeList);
+                    const secondReader = yield* makeTypedDecoder(r, typeList);
+                    return () => Either.zipWith(firstReader(), secondReader(), (first, second) => ({ first, second }));
+                }
+                default:
+                    return yield* Either.left(new Error(`unexpected container type tag ${containerType}`));
+            }
+        }
+        case 8:
+            return () => Data.decode(r.readBytes()).pipe(Either.map((d) => ({ data: d })), Either.mapLeft((e) => new Error(e.message)));
+        case 9:
+            return yield* Either.left(new Error("Bls12_381_G1Element can't be deserialized"));
+        case 10:
+            return yield* Either.left(new Error("Bls12_381_G2Element can't be deserialized"));
+        case 11:
+            return yield* Either.left(new Error("Bls12_381_MlResult can't be deserialized"));
+        default:
+            return yield* Either.left(new Error(`unhandled value type ${type.toString()}`));
+    }
+});
+function makeTypedListDecoder(r, itemTypeList) {
+    const itemTypeParts = Either.all(itemTypeList.map((x) => Bits.fromByte(x, 4, false)));
+    if (Either.isLeft(itemTypeParts)) {
+        return Either.left(itemTypeParts.left);
+    }
+    const itemType = itemTypeParts.right.join("1");
+    const itemDecoder = makeTypedDecoder(r, itemTypeList);
+    if (Either.isLeft(itemDecoder)) {
+        return Either.left(itemDecoder.left);
+    }
+    return Either.right(() => {
+        const items = [];
+        while (r.readBool()) {
+            const item = itemDecoder.right();
+            if (item._tag == "Left") {
+                return Either.left(item.left);
+            }
+            items.push(item.right);
+        }
+        return Either.right({ items, itemType });
+    });
+}
+/**
+ * Mutates the Flat.Reader
+ * Takes the type bits into account
+ * @param r
+ */
+export const decode = (r) => Either.gen(function* () {
+    const typeList = r.readList((r) => r.readBits(4));
+    const callback = yield* makeTypedDecoder(r, typeList);
+    if (typeList.length != 0) {
+        return yield* Either.left(new Error("did not consume all type bits"));
+    }
+    return yield* callback();
+});
+/**
+ * Simple recursive algorithm
+ * @param v
+ * @returns
+ */
+export function toString(v) {
+    if (typeof v == "boolean") {
+        return v ? "true" : "false";
+    }
+    else if (v === null) {
+        return "()";
+    }
+    else if (v instanceof Uint8Array) {
+        return `#${Encoding.encodeHex(v)}`;
+    }
+    else if (typeof v == "string") {
+        return `"${v}"`;
+    }
+    else if (typeof v == "bigint") {
+        return v.toString();
+    }
+    else if ("data" in v) {
+        return Data.toString(v.data);
+    }
+    else if ("first" in v) {
+        return `(${toString(v.first)}, ${toString(v.second)})`;
+    }
+    else if ("items" in v) {
+        if (v.items.length == 0) {
+            return `[]${Type.toString(v.itemType)}`;
+        }
+        else {
+            return `[${v.items.map(toString).join(", ")}]`;
+        }
+    }
+    else {
+        throw new Error(`unhandled value kind in Uplc.Value.toString() (got: ${v})`);
+    }
+}
+export function toType(v) {
+    if (typeof v == "boolean") {
+        return Type.Bool;
+    }
+    else if (v === null) {
+        return Type.Unit;
+    }
+    else if (v instanceof Uint8Array) {
+        return Type.ByteArray;
+    }
+    else if (typeof v == "string") {
+        return Type.String;
+    }
+    else if (typeof v == "bigint") {
+        return Type.Int;
+    }
+    else if ("data" in v) {
+        return Type.Data;
+    }
+    else if ("first" in v) {
+        return Type.Pair(toType(v.first), toType(v.second));
+    }
+    else if ("items" in v) {
+        return Type.List(v.itemType);
+    }
+    else {
+        throw new Error(`unhandled value kind in Uplc.Value.toType() (got: ${v})`);
+    }
+}
+export function describeType(v) {
+    return Type.toString(toType(v));
+}
+//# sourceMappingURL=Value.js.map

package/dist/Cardano/Uplc/Value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Value.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Value.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAC7D,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC,2CAA2C;AAE3C,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAgC,EAAE,CAAC,KAAK,CAAC,CAAA;AAE/E,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAA;AAIlC,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,kBAAkB,CAAA;AAIlD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAA;AAIF,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,MAAM,UAAU,MAAM,CAAC,CAAQ;IAC7B,OAAO,OAAO,CAAC,IAAI,QAAQ,IAAI,CAAC,IAAI,IAAI,IAAI,MAAM,IAAI,CAAC,CAAA;AACzD,CAAC;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAA;AAIxC,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;AAInC,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;AAS/B,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC;CACpC,CAAC,CAAA;AAEF,MAAM,UAAU,MAAM,CAAC,CAAQ;IAC7B,OAAO,OAAO,CAAC,IAAI,QAAQ,IAAI,CAAC,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,CAAA;AAC1D,CAAC;AAOD,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,KAAK,EAAE,cAAc;IACrB,MAAM,EAAE,cAAc;CACvB,CAAC,CAAA;AAEF,MAAM,UAAU,MAAM,CAAC,CAAQ;IAC7B,OAAO,OAAO,CAAC,IAAI,QAAQ,IAAI,CAAC,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,CAAA;AAC1D,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,SAAS,EAAE,MAAM,CAAC,KAAK,CACrB,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,cAAc,CACtB;CACF,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,SAAS,EAAE,MAAM,CAAC,KAAK,CACrB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,EAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,EAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,CAC3D;CACF,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,MAAM,CAAC,KAAK,CACpB,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,EAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,EAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,CAC3D,EACD,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,EAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,EAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,CAC3D,CACF;CACF,CAAC,CAAA;AAoBF;;GAEG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAC/B,IAAI,EACJ,SAAS,EACT,KAAK,EACL,GAAG,EACH,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,mBAAmB,EACnB,mBAAmB,EACnB,kBAAkB,CACnB,CAAA;AAED,MAAM,UAAU,QAAQ,CAAC,CAAQ;IAC/B,IAAI,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,OAAO,CAAC,CAAA;IACV,CAAC;SAAM,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,CAAA;IACV,CAAC;SAAM,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IACjC,CAAC;SAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IAC9C,CAAC;SAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACxB,CAAC;SAAM,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAA;IACnD,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,0DAA0D;QAC1D,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IACpD,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,aAAa,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAA;QACvC,OAAO,CACL,EAAE;YACF,aAAa;YACb,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,GAAG,IAAI,EAAE,CAAC,CAAC,CACzE,CAAA;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CACb,uDAAuD,CAAmB,GAAG,CAC9E,CAAA;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAQ;IAC9B,IAAI,OAAO,CAAC,IAAI,SAAS,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,CAAC,CAAA;IACV,CAAC;SAAM,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAA;IACnC,CAAC;SAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,MAAM,CAAA;IACjB,CAAC;SAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA,CAAC,2DAA2D;IACzF,CAAC;SAAM,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC7B,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IAC7C,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IAChE,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CACb,sDAAsD,CAAmB,GAAG,CAC7E,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAC,CAAc,EAAE,EAAE,CACnB,CAAC,CAAQ,EAAQ,EAAE;IACjB,IAAI,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAChB,CAAC;SAAM,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACtB,4CAA4C;IAC9C,CAAC;SAAM,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1B,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,+BAA+B;QAC/B,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAClC,CAAC;SAAM,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACnC,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QAClB,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IACrB,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACvB,CAAC,CAAC,aAAa,EAAE,CAAA;YACjB,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QACjB,CAAC,CAAC,CAAA;QAEF,CAAC,CAAC,YAAY,EAAE,CAAA;IAClB,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CACb,qDAAqD,CAAmB,GAAG,CAC5E,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAMH;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,CAAc,EACd,QAAkB,EAC8B,EAAE,CAClD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAA;IAE7B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAA;IACzD,CAAC;IAED,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,CAAC,EAAE,iBAAiB;YACvB,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QACzD,KAAK,CAAC,EAAE,YAAY;YAClB,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;QACxD,KAAK,CAAC,EAAE,eAAe;YACrB,OAAO,GAAG,EAAE,CACV,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAC7B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAC5C,CAAA;QACL,KAAK,CAAC,EAAE,OAAO;YACb,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACjC,KAAK,CAAC,EAAE,UAAU;YAChB,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAA;QACzC,KAAK,CAAC,CAAC;QACP,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAC1D,CAAA;QACH,KAAK,CAAC,CAAC,CAAC,CAAC;YACP,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAA;YAEtC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAChC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAChD,CAAA;YACH,CAAC;YAED,QAAQ,aAAa,EAAE,CAAC;gBACtB,KAAK,CAAC,CAAC,CAAC,CAAC;oBACP,OAAO,KAAK,CAAC,CAAC,oBAAoB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;gBACjD,CAAC;gBACD,KAAK,CAAC,CAAC,CAAC,CAAC;oBACP,MAAM,mBAAmB,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAA;oBAE5C,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;wBACtC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAChD,CAAA;oBACH,CAAC;yBAAM,IAAI,mBAAmB,IAAI,CAAC,EAAE,CAAC;wBACpC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CACP,yDAAyD,mBAAmB,GAAG,CAChF,CACF,CAAA;oBACH,CAAC;oBAED,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;oBACxD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;oBAEzD,OAAO,GAAG,EAAE,CACV,MAAM,CAAC,OAAO,CACZ,WAAW,EAAE,EACb,YAAY,EAAE,EACd,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CACvC,CAAA;gBACL,CAAC;gBACD;oBACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,iCAAiC,aAAa,EAAE,CAAC,CAC5D,CAAA;YACL,CAAC;QACH,CAAC;QACD,KAAK,CAAC;YACJ,OAAO,GAAG,EAAE,CACV,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAC5C,CAAA;QACL,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,2CAA2C,CAAC,CACvD,CAAA;QACH,KAAK,EAAE;YACL,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,2CAA2C,CAAC,CACvD,CAAA;QACH,KAAK,EAAE;YACL,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,0CAA0C,CAAC,CACtD,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CACrD,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,SAAS,oBAAoB,CAC3B,CAAc,EACd,YAAsB;IAEtB,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAC9B,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CACpD,CAAA;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;IACxC,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAc,CAAA;IAC3D,MAAM,WAAW,GAAG,gBAAgB,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;IAErD,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;IACtC,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE;QACvB,MAAM,KAAK,GAAY,EAAE,CAAA;QAEzB,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,CAAA;YAEhC,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC/B,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACxB,CAAC;QAED,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;IAC1C,CAAC,CAAC,CAAA;AACJ,CAAC;AACD;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAc,EAA+B,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IAEjD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;IAErD,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAA;AAC1B,CAAC,CAAC,CAAA;AAEJ;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAQ;IAC/B,IAAI,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAA;IAC7B,CAAC;SAAM,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,CAAA;IACb,CAAC;SAAM,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;QACnC,OAAO,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAA;IACpC,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAA;IACrB,CAAC;SAAM,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACxD,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAA;QACzC,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAChD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CACb,uDAAuD,CAAmB,GAAG,CAC9E,CAAA;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAQ;IAC7B,IAAI,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,CAAC;SAAM,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,CAAC;SAAM,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,SAAS,CAAA;IACvB,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,MAAM,CAAA;IACpB,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;SAAM,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IACrD,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC9B,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CACb,qDAAqD,CAAmB,GAAG,CAC5E,CAAA;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAQ;IACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AACjC,CAAC"}

package/dist/Cardano/Uplc/index.js

@@ -0,0 +1,7 @@
+export * as Cek from "./Cek.js";
+export * as Cost from "./Cost.js";
+export * as Data from "./Data.js";
+export * as Script from "./Script.js";
+export * as ScriptContext from "./ScriptContext.js";
+export * as Value from "./Value.js";
+//# sourceMappingURL=index.js.map

package/dist/Cardano/Uplc/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA"}

package/dist/Cardano/Wallet.js

@@ -0,0 +1,48 @@
+import { Context, Effect } from "effect";
+import * as Bip32 from "../Crypto/Bip32.js";
+import * as Bip39 from "../Crypto/Bip39.js";
+import * as Address from "./Ledger/Address.js";
+import * as PubKey from "./Ledger/PubKey.js";
+import * as Tx from "./Ledger/Tx.js";
+import * as Network from "./Network";
+export class Balancing extends Context.Tag("Cardano.Wallet.Balancing")() {
+}
+/**
+ * @param phrase
+ * Space separated
+ * @returns
+ */
+export const Phrase = (phrase, account = 0, subAccount = 0) => Effect.gen(function* () {
+    /**
+     * First turn phrase into private key
+     */
+    const entropy = yield* Bip39.phraseToEntropy(phrase);
+    const root = Bip32.skFromEntropy(entropy);
+    /**
+     * Then derive spending private-public key-pair
+     */
+    const spendingPrivateKey = Bip32.derivePath(root, [
+        1852 + Bip32.HARDEN,
+        1815 + Bip32.HARDEN,
+        account + Bip32.HARDEN,
+        0,
+        subAccount
+    ]);
+    const spendingPublicKey = Bip32.deriveVerificationKey(spendingPrivateKey);
+    const spendingPubKeyHash = PubKey.hash(spendingPublicKey);
+    const isMainnet = yield* Network.IsMainnet;
+    const address = Address.make(isMainnet, {
+        _tag: "PubKey",
+        hash: spendingPubKeyHash
+    });
+    const utxosAt = yield* Network.UTxOsAt;
+    return {
+        changeAddress: Effect.succeed(address),
+        utxos: utxosAt(address).pipe(Effect.mapError((e) => new Error(e.message))),
+        signTx: (tx) => Effect.succeed([Bip32.sign(spendingPrivateKey)(Tx.hash(tx))])
+    };
+});
+export const Browser = (_handle) => {
+    throw new Error("not yet implemented");
+};
+//# sourceMappingURL=Wallet.js.map

package/dist/Cardano/Wallet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Wallet.js","sourceRoot":"","sources":["../../src/Cardano/Wallet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAE5C,OAAO,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAEpC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAA;AAEpC,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,EAOnE;CAAG;AAEN;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,MAAyB,EACzB,UAAkB,CAAC,EACnB,aAAqB,CAAC,EACtB,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB;;OAEG;IACH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAA;IACpD,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,CAAA;IAEzC;;OAEG;IACH,MAAM,kBAAkB,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE;QAChD,IAAI,GAAG,KAAK,CAAC,MAAM;QACnB,IAAI,GAAG,KAAK,CAAC,MAAM;QACnB,OAAO,GAAG,KAAK,CAAC,MAAM;QACtB,CAAC;QACD,UAAU;KACX,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,KAAK,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,CAAA;IACzE,MAAM,kBAAkB,GAAG,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAEzD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAA;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE;QACtC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,kBAAkB;KACzB,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAA;IAEtC,OAAO;QACL,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;QACtC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAC7C;QACD,MAAM,EAAE,CAAC,EAAS,EAAE,EAAE,CACpB,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAChE,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAgB,EAAE,EAAE;IAC1C,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;AACxC,CAAC,CAAA"}

package/dist/Cardano/index.js

@@ -0,0 +1,7 @@
+export * as CoinSelection from "./CoinSelection.js";
+export * as Ledger from "./Ledger";
+export * as Network from "./Network";
+export * as TxBuilder from "./TxBuilder.js";
+export * as Uplc from "./Uplc";
+export * as Wallet from "./Wallet.js";
+//# sourceMappingURL=index.js.map

package/dist/Cardano/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/Cardano/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,UAAU,CAAA;AAClC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAA;AACpC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAA;AAC9B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA"}

package/dist/{internal → Codecs}/Base32.js

@@ -47,7 +47,7 @@ class Base32Impl {
     decode(encoded) {
         const writer = Bits.makeWriter();
         const rawResult = this.decodeRaw(encoded);
-        if (rawResult._tag == "Left") {
+        if (Either.isLeft(rawResult)) {
             return Either.left(rawResult.left);
         }
         const raw = rawResult.right;
@@ -73,7 +73,7 @@ class Base32Impl {
      */
     decodeRaw(encoded) {
         const trimResult = trim(encoded, this.padChar, this.strict);
-        if (trimResult._tag == "Left") {
+        if (Either.isLeft(trimResult)) {
             return Either.left(trimResult.left);
         }
         encoded = trimResult.right;

package/dist/Codecs/Base32.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Base32.js","sourceRoot":"","sources":["../../src/Codecs/Base32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAiDjC,MAAM,CAAC,MAAM,gBAAgB,GAAG,kCAA2C,CAAA;AAE3E,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAY,CAAA;AAE5C,MAAM,CAAC,MAAM,aAAa,GAAU;IAClC,QAAQ,EAAE,gBAAgB;IAC1B,OAAO,EAAE,gBAAgB;IACzB,MAAM,EAAE,KAAK;CACd,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAW,eAAe,CAAC,IAAI,EAAE,CAAA;AAErD;;;GAGG;AACH,MAAM,UAAU,IAAI,CAAC,QAAe,aAAa;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,gBAAgB,CAAA;IACnD,MAAM,OAAO,GAAG,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;IACvD,MAAM,MAAM,GAAG,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IAElE,IAAI,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,oDAAoD,QAAQ,CAAC,MAAM,aAAa,CACjF,CAAA;IACH,CAAC;IAED,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAA;IACH,CAAC;IAED,IAAI,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;IACnD,CAAC;IAED,IAAI,SAAS,IAAI,KAAK,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAC7D,CAAC;IAED,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;AAClD,CAAC;AAED,MAAM,UAAU;IACL,QAAQ,CAAQ;IAChB,OAAO,CAAQ;IACf,MAAM,CAAS;IAExB,YAAY,QAAgB,EAAE,OAAe,EAAE,MAAe;QAC5D,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,OAAe;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;QAEhC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QAEzC,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QACpC,CAAC;QAED,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAA;QAE3B,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAA;QAEpB,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,mCAAmC;gBAEnC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBAEhD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAE1C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;YAC3C,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAE1C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YACxB,CAAC;QACH,CAAC,CAAC,CAAA;QAEF,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QAErC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7C,CAAC;IAED;;;OAGG;IACH,SAAS,CACP,OAAe;QAEf,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QAE3D,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QACrC,CAAC;QAED,OAAO,GAAG,UAAU,CAAC,KAAK,CAAA;QAE1B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAA;QAExB,MAAM,GAAG,GAAa,EAAE,CAAA;QAExB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;YAEpB,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACtB,0BAA0B;gBAC1B,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,OAAO,EACP,iCAAiC,CAAC,iBAAiB,CAAC,EAAE,CACvD,CACF,CAAA;YACH,CAAC;YAED,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAA;YAEnD,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;gBACb,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,OAAO,EACP,6BAA6B,CAAC,iBAAiB,CAAC,EAAE,CACnD,CACF,CAAA;YACH,CAAC;iBAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;gBAEtD,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1C,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,OAAO,EACP,mCAAmC,CAAC,GAAG,CACxC,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YAED,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,CAAC;QAED,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC1B,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,KAAqC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;aAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aAC5B,IAAI,CAAC,EAAE,CAAC,CAAA;QAEX,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;QAElB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAC/D,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,CAAA;QACV,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,SAAS,CAAC,KAAqC;QAC7C,MAAM,MAAM,GAAa,EAAE,CAAA;QAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAE5C,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;QACjC,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,OAAe;QACrB,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAA;QAEtB,IACE,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC;YACxB,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAA;YACd,CAAC;YAED,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAE1C,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClC,OAAO,KAAK,CAAA;gBACd,CAAC;YACH,CAAC;YAED,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAA;YAErB,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;gBACrD,OAAO,KAAK,CAAA;YACd,CAAC;YAED,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YAEhC,CAAC,GAAG,IAAI,CAAA;QACV,CAAC;QAED,6CAA6C;QAE7C,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAA;YAEnD,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;gBACb,OAAO,KAAK,CAAA;YACd,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;gBAEtD,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;YAC9C,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,CAAA;YACb,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC;CACF;AAED;;;;;GAKG;AACH,SAAS,IAAI,CACX,OAAe,EACf,OAAe,EACf,MAAe;IAEf,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAA;QAEtB,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;YAC9C,CAAC,IAAI,CAAC,CAAA;QACR,CAAC;QAED,mFAAmF;QACnF,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,OAAO,EACP,yCAAyC,CAC1C,CACF,CAAA;QACH,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAA;QAE/B,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YACd,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;gBACrD,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,OAAO,EACP,6CAA6C,CAC9C,CACF,CAAA;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC1C,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC9B,CAAC;AACH,CAAC"}

package/dist/{Bech32.js → Codecs/Bech32.js}

@@ -1,5 +1,5 @@
 import { Either, Encoding } from "effect";
-import * as Base32 from "./internal/Base32.js";
+import * as Base32 from "./Base32.js";
 /**
  * Bech32 base32 alphabet
  */
@@ -20,7 +20,7 @@ export function decode(encoded) {
         return Either.left(Encoding.DecodeException(encoded, "invalid bech32 encoding"));
     }
     const bytes = PAYLOAD_CODEC.decode(payload.slice(0, payload.length - 6));
-    if (bytes._tag == "Left") {
+    if (Either.isLeft(bytes)) {
         return Either.left(bytes.left);
     }
     return Either.right({ prefix, bytes: Array.from(bytes.right) });

package/dist/Codecs/Bech32.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bech32.js","sourceRoot":"","sources":["../../src/Codecs/Bech32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;GAEG;AACH,MAAM,QAAQ,GAAG,kCAA2C,CAAA;AAE5D,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;IAChD,QAAQ,EAAE,QAAQ;CACnB,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CACpB,OAAe;IAKf,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;IAExC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAC7D,CAAA;IACH,CAAC;IAED,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAExE,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAChC,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AACjE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,MAAM,CACpB,MAAc,EACd,OAAuC;IAEvC,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IAED,OAAO,GAAG,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE1C,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAE5C,OAAO,CACL,MAAM;QACN,GAAG;QACH,OAAO;aACJ,MAAM,CAAC,MAAM,CAAC;aACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aACvB,IAAI,CAAC,EAAE,CAAC,CACZ,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,OAAe;IACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;IAExC,OAAO,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AACrC,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,KAAK,GAAG,EAAE,CAAA;IAChB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAClC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAEb,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;IAClC,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,KAAK,CAAC,OAAe;IAC5B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAE9B,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;IACtB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACpD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,OAAO,CAAC,KAAe;IAC9B,MAAM,GAAG,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAA;IAExE,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAAG,IAAI,EAAE,CAAA;QACnB,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;QAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;YACf,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CAAC,MAAc,EAAE,OAAiB;IACrD,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAElD,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAEzD,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;IAC1C,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,MAAc,EAAE,OAAe;IAClD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAA;IAEzB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAC7B,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACZ,OAAO,KAAK,CAAA;QACd,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACd,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAE3C,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAEpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC"}