@helios-lang/effect 0.6.12 → 0.6.14
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/Cardano/Uplc/Cek.js +5 -3
- package/dist/Cardano/Uplc/Cek.js.map +1 -1
- package/dist/Cardano/Uplc/Metadata.js +184 -0
- package/dist/Cardano/Uplc/Metadata.js.map +1 -0
- package/dist/Cardano/Uplc/Script.js +8 -12
- package/dist/Cardano/Uplc/Script.js.map +1 -1
- package/dist/Cardano/Uplc/Term.js +83 -4
- package/dist/Cardano/Uplc/Term.js.map +1 -1
- package/package.json +1 -1
- package/types/Cardano/Contract.d.ts +1 -1
- package/types/Cardano/ScriptContext.d.ts +8 -8
- package/types/Cardano/Uplc/Cek.d.ts +1 -1
- package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
- package/types/Cardano/Uplc/Metadata.d.ts +31 -0
- package/types/Cardano/Uplc/Metadata.d.ts.map +1 -0
- package/types/Cardano/Uplc/Script.d.ts +2 -4
- package/types/Cardano/Uplc/Script.d.ts.map +1 -1
- package/types/Cardano/Uplc/Term.d.ts +110 -5
- package/types/Cardano/Uplc/Term.d.ts.map +1 -1
package/dist/Cardano/Uplc/Cek.js
CHANGED
|
@@ -603,9 +603,11 @@ function reduceApplyToFrame(frames, leftValue, rightValue, frameStack, ctx, info
|
|
|
603
603
|
...rightValue,
|
|
604
604
|
name: info.argName
|
|
605
605
|
};
|
|
606
|
-
|
|
607
|
-
|
|
608
|
-
|
|
606
|
+
if (ctx.capture !== undefined) {
|
|
607
|
+
const capturePrefix = ctx.capture.prefix ?? "__helios_capture:";
|
|
608
|
+
if (info.argName.startsWith(capturePrefix)) {
|
|
609
|
+
ctx.captureValue(info.argName.slice(capturePrefix.length), rightValue, info.callSite);
|
|
610
|
+
}
|
|
609
611
|
}
|
|
610
612
|
}
|
|
611
613
|
if (leftValue._tag == "Lambda") {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Cek.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAejC,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAoVpC;;;;;;GAMG;AACH,SAAS,KAAK,CAAC,UAAgB,EAAE,WAAwB;IACvD,MAAM,OAAO,GAAG,IAAI,IAAI,CAAC,OAAO,CAC9B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC,CAC7D,CAAA;IACD,MAAM,IAAI,GAA2D,EAAE,CAAA;IACvE,MAAM,QAAQ,GAAoB,EAAE,CAAA;IAEpC,+BAA+B;IAC/B,IAAI,KAAK,GAAU;QACjB,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,MAAM,EAAE,EAAE;YACV,SAAS,EAAE,EAAE;SACd;QACD,MAAM,EAAE,EAAE;KACc,CAAA;IAE1B;;OAEG;IACH,MAAM,GAAG,GAAmB;QAC1B,GAAG,WAAW;QACd,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,CAAC,OAAe,EAAE,QAAmB,EAAE,EAAE;YAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,IAAI,SAAS,EAAE,CAAC,CAAA;YACvD,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACjD,CAAC;QACD,cAAc,EAAE,GAAG,EAAE;YACnB,OAAO,IAAI,CAAC,GAAG,EAAE,EAAE,OAAO,CAAA;QAC5B,CAAC;QACD,YAAY,EAAE,CAAC,EAAU,EAAE,KAAY,EAAE,QAAmB,EAAE,EAAE;YAC9D,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,QAAQ,CAAC,MAAM;gBACtB,EAAE;gBACF,KAAK;gBACL,QAAQ;aACT,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;IAED,gCAAgC;IAChC,OAAO,CAAC,eAAe,EAAE,CAAA;IAEzB,OAAO,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC;YAC9B,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,SAAS;oBACZ,KAAK,GAAG,kBAAkB,CAAC,KAAoC,EAAE,GAAG,CAAC,CAAA;oBACrE,MAAK;gBACP,KAAK,MAAM;oBACT,KAAK,GAAG,eAAe,CAAC,KAA6B,EAAE,GAAG,CAAC,CAAA;oBAC3D,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,QAAQ;oBACX,KAAK,GAAG,iBAAiB,CAAC,KAA+B,EAAE,GAAG,CAAC,CAAA;oBAC/D,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAAkC,EAAE,GAAG,CAAC,CAAA;oBACjE,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,QAAQ;oBACX,KAAK,GAAG,iBAAiB,CAAC,KAA+B,EAAE,GAAG,CAAC,CAAA;oBAC/D,MAAK;gBACP,KAAK,KAAK;oBACR,KAAK,GAAG,cAAc,CAAC,KAA4B,EAAE,GAAG,CAAC,CAAA;oBACzD,MAAK;gBACP;oBACE,MAAM,IAAI,KAAK,CACb,wBAAyB,KAAK,CAAC,IAAoC,CAAC,IAAI,GAAG,CAC5E,CAAA;YACL,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,IAAI,UAAU,EAAE,CAAC;YACpC,MAAM,CAAC,GAAsB,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAA;YAE/C,IAAI,CAAC,EAAE,CAAC;gBACN,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;oBACf,KAAK,oBAAoB;wBACvB,KAAK,GAAG,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;wBAC1C,MAAK;oBACP,KAAK,gBAAgB;wBACnB,KAAK,GAAG,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;wBACtC,MAAK;oBACP,KAAK,YAAY;wBACf,KAAK,GAAG,gBAAgB,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;wBACvC,MAAK;oBACP,KAAK,sBAAsB;wBACzB,KAAK,GAAG,0BAA0B,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;wBAC5C,MAAK;oBACP,KAAK,uBAAuB;wBAC1B,KAAK,GAAG,2BAA2B,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;wBAClD,MAAK;oBACP,KAAK,iBAAiB;wBACpB,KAAK,GAAG,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;wBAC5C,MAAK;oBACP;wBACE,MAAM,IAAI,KAAK,CACb,wBAAyB,CAAiC,CAAC,IAAI,EAAE,CAClE,CAAA;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG;oBACN,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,KAAK,CAAC,KAAK;iBACnB,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE;gBACJ,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,GAAG,EAAE,OAAO,CAAC,GAAG;aACjB;YACD,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ;SACT,CAAA;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;QACjC,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC;gBACjB,KAAK,EAAE,KAAK,CAAC,OAAO;gBACpB,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS;aACjC,CAAC;YACF,IAAI,EAAE;gBACJ,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,GAAG,EAAE,OAAO,CAAC,GAAG;aACjB;YACD,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ;SACT,CAAA;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,MAAM,UAAU,eAAe,CAC7B,UAAgB,EAChB,WAAmF;IAEnF,OAAO,KAAK,CAAC,UAAU,EAAE;QACvB,GAAG,WAAW;QACd,OAAO,EAAE,WAAW,CAAC,OAAO,IAAI,EAAE;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAyB,EAC9C,cAA8B;IAE9B,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAEnC,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK;gBACL,QAAQ,EAAE;oBACR,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B;aAC6B;SACjC,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,EAAE,IAAI,EAAE,MAAM,EAA+B,EAC7C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,CAAA;IAE1B,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI;YAC9C,IAAI,EAAE,EAAE;YACR,UAAU,EAAE,CAAC,CAAC,iCAAiC;SAChD;QACD,MAAM,EAAE,MAAM;KACf,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CACtB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAwB,EAC7C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAA;IAEvB,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,IAAI,CAAC,GAAG;QACd,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK;aACuB;SAC/B,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,MAAM,EAAyB,EACvC,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAExB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,MAAM;KACf,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAA0B,EAC/C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAA;IAEzB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,IAAI,EAAE,EAAE;aACT;YACD,MAAM;SACP,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAClB,KAAK;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,gBAAgB;oBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,aAAa,EAAE,EAAE;oBACjB,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC/B,KAAK;iBACmB;aAC3B,CAAC;SACH,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAyB,EAC9C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAExB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI,CAAC,GAAG;YACd,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB;QACD,MAAM;KACP,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,KAAK,EAA6B,EACpC,GAAmB;IAEnB,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,EAAE;QACnC,KAAK,EAAE,KAAK;KACb,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAyB,EAC9C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAExB,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,IAAI,CAAC,GAAG;QACd,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB;gBACE,IAAI,EAAE,YAAY;gBAClB,KAAK;gBACL,QAAQ,EAAE;oBACR,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B;aACmB;SACvB,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAA0B,EAC/C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAA;IAEzB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK;YACL,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,SAAS;YAClC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,SAAS;SAC7B;QACD,MAAM;KACP,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CACrB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAuB,EAC5C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;IAEtB,MAAM,CAAC,GAAW,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAA;IAClD,MAAM,CAAC,GAAsB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAE5C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,OAAO,IAAI,CAAC,KAAK,kCAAkC,KAAK,CAAC,MAAM,CAAC,MAAM,WAAW,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7I,KAAK;SACN,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC;YACR,MAAM;SACP,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAyB,EACzB,EAAE,MAAM,EAAE,KAAK,EAAiB;IAEhC,IAAI,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;QAErB,MAAM,CAAC,GAAqB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAE5C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,wBAAwB;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAA;QACH,CAAC;QAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAC/B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC;YACC,IAAI,EAAE,uBAAuB;YAC7B,GAAG,EAAE,CAAC;YACN,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,SAAS;SACpB,CAAiC,CACrC,CAAA;QAED,UAAU,CAAC,OAAO,EAAE,CAAA;QAEpB,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,CAAC;YACP,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,iBAAiB;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;SAClC,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,4BAA4B;YACrC,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,EAAE,MAAM,EAAE,KAAK,EAAiB;IAEhC,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IAEzD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,IAAI,EAAE,aAAa;aACpB;YACD,MAAM;SACP,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,gBAAgB;oBACtB,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,aAAa;oBACb,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;oBACvC,KAAK,EAAE,KAAK,CAAC,KAAK;iBACM;aAC3B,CAAC;SACH,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,KAAY;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAElD,IAAI,IAAI,EAAE,IAAI,IAAI,MAAM,EAAE,CAAC;QACzB,OAAO,IAAI,CAAA;IACb,CAAC;SAAM,CAAC;QACN,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,eAAsB,EAAE,kBAAyB;IAClE,OAAO;QACL,MAAM,EAAE,eAAe,CAAC,MAAM;QAC9B,SAAS,EAAE,kBAAkB,CAAC,SAAS;KACxC,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA8B;IAChE,OAAO,CACL,QAAQ,KAAK,SAAS;QACtB,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS;YAChC,QAAQ,CAAC,YAAY,KAAK,SAAS;YACnC,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,CACpC,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAA8B;IAE9B,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;AACvC,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CACxB,KAAY,EACZ,QAA8B;IAE9B,IAAI,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC;SAC9C,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAY,EACZ,GAAG,SAAqB;IAExB,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;KAC5E,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAY,EAAE,KAAY;IACvD,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,KAAY,EACZ,KAAY,EACZ,QAA8B;IAE9B,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAC/B,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CACnD;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAAY,EACZ,KAAY,EACZ,GAAG,SAAqB;IAExB,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC;KAC7C,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAiB,EACjB,EAAE,MAAM,EAAE,KAAK,EAAiB,EAChC,GAAmB;IAEnB,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QAC5B;;WAEG;QACH,MAAM,aAAa,GAAsB,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAEtE,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,SAAS,CACd,KAAK,CAAC,KAAK,EACX,iBAAiB,CACf,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,QAAQ,EAAE,UAAU;gBACxB,CAAC,CAAC;oBACE,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU;oBACtC,YAAY,EAAE,KAAK,CAAC,IAAI;oBACxB,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;iBACvD;gBACH,CAAC,CAAC,SAAS,CACd,CACF;YACD,MAAM;SACP,CAAA;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,CAAC,GAAwB,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAErD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,WAAW,KAAK,CAAC,EAAE,YAAY;gBACxC,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAA;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC5C,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,+BAA+B,CAAC,CAAC,IAAI,KAC5C,KAAK,CAAC,UAAU,GAAG,CACrB,MAAM,CAAC,CAAC,UAAU,EAAE;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE;oBACL,GAAG,KAAK;oBACR,UAAU,EAAE,KAAK,CAAC,UAAU,GAAG,CAAC;iBACjC;gBACD,MAAM;aACP,CAAA;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,6CAA6C;YACtD,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,0BAA0B,CACjC,KAA2B,EAC3B,EAAE,MAAM,EAAE,KAAK,EAAiB;IAEhC,IAAI,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QACpD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,EAAE,EAAE;wBACF,GAAG,KAAK;wBACR,KAAK,EAAE,QAAQ;qBAChB;oBACD,KAAK,EAAE,QAAQ;oBACf,IAAI,EAAE;wBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;wBACxB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;qBACvB;iBACwB;aAC5B,CAAC;SACH,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,IAAI,EAAE;wBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;qBACzB;iBACwB;aAC5B,CAAC;SACH,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CACzB,MAAe,EACf,SAAgB,EAChB,UAAiB,EACjB,UAAiB,EACjB,GAAmB,EACnB,OAAkB,EAAE;IAEpB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,UAAU,GAAG;YACX,GAAG,UAAU;YACb,IAAI,EAAE,IAAI,CAAC,OAAO;SACnB,CAAA;QAED,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,mBAAmB,CAAA;QAChE,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,YAAY,CACd,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,EACxC,UAAU,EACV,IAAI,CAAC,QAAQ,CACd,CAAA;QACH,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC/B;;WAEG;QACH,MAAM,aAAa,GAAsB,gBAAgB,CAAC,UAAU,CAAC,CAAA;QAErE,MAAM,QAAQ,GAAa;YACzB,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU;YACrC,YAAY,EAAE,IAAI,CAAC,IAAI;YACvB,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;SACtE,CAAA;QAED,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,KAAK,EAAE,yBAAyB,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC;YACvE,MAAM;SACP,CAAA;IACH,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QACvC,MAAM,CAAC,GAAwB,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QAEzD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,WAAW,SAAS,CAAC,EAAE,YAAY;gBAC5C,KAAK,EAAE,UAAU;aAClB,CAAA;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU,EAAE,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,kCAAkC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,MAAM,CAAC,CAAC,UAAU,EAAE;gBAC9F,KAAK,EAAE,UAAU;aAClB,CAAA;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;YAEhD,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBAC3B,GAAG,CAAC,IAAI,CAAC,gBAAgB,CACvB,CAAC,CAAC,IAAI,EACN,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACb,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;wBACjB,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;oBACzB,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,CAAA;oBACV,CAAC;gBACH,CAAC,CAAC,CACH,CAAA;gBAED,MAAM,SAAS,GAAe,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC9C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACzB,OAAO;4BACL,IAAI,EAAE,IAAI,CAAC,QAAQ;4BACnB,YAAY,EAAE,CAAC,CAAC,IAAI;4BACpB,QAAQ,EAAE,CAAC;yBACZ,CAAA;oBACH,CAAC;yBAAM,CAAC;wBACN,OAAO;4BACL,QAAQ,EAAE,CAAC;yBACZ,CAAA;oBACH,CAAC;gBACH,CAAC,CAAC,CAAA;gBAEF,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC9B,GAAG,GAAG;oBACN,KAAK,EAAE,CAAC,OAAe,EAAE,EAAE;wBACzB,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;oBACnC,CAAC;iBACF,CAAC,CAAA;gBAEF,IAAI,UAAU,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;oBAC9B,OAAO;wBACL,IAAI,EAAE,OAAO;wBACb,OAAO,EACL,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;4BACjD,QAAQ,CAAC,CAAC,IAAI,GAAG;wBACnB,KAAK,EAAE,kBAAkB,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC;qBACpD,CAAA;gBACH,CAAC;qBAAM,CAAC;oBACN,OAAO;wBACL,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,UAAU,CAAC,KAAK;wBACvB,MAAM;qBACP,CAAA;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,SAAS,CAAC,EAAE;wBAChB,IAAI,EAAE,SAAS,CAAC,IAAI;wBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;wBACxB,IAAI,EAAE,IAAI;qBACX;oBACD,MAAM;iBACP,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,uCAAuC;YAChD,KAAK,EAAE,UAAU;SAClB,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,KAA4B,EAC5B,EAAE,MAAM,EAAE,KAAK,EAAiB,EAChC,GAAmB;IAEnB,OAAO,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE;QACpE,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAA;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAC5B,KAAsB,EACtB,EAAE,MAAM,EAAE,KAAK,EAAiB,EAChC,GAAmB;IAEnB,OAAO,kBAAkB,CACvB,MAAM,EACN,KAAK,CAAC,EAAE,EACR,KAAK,EACL,KAAK,CAAC,KAAK,EACX,GAAG,EACH,KAAK,CAAC,IAAI,CACX,CAAA;AACH,CAAC;AAED;;GAEG;AACH,4CAA4C;AAC5C,gCAAgC;AAChC,uCAAuC;AACvC,yBAAyB;AACzB,sDAAsD;AACtD,kBAAkB;AAClB,GAAG"}
|
|
1
|
+
{"version":3,"file":"Cek.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAejC,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAoVpC;;;;;;GAMG;AACH,SAAS,KAAK,CAAC,UAAgB,EAAE,WAAwB;IACvD,MAAM,OAAO,GAAG,IAAI,IAAI,CAAC,OAAO,CAC9B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC,CAC7D,CAAA;IACD,MAAM,IAAI,GAA2D,EAAE,CAAA;IACvE,MAAM,QAAQ,GAAoB,EAAE,CAAA;IAEpC,+BAA+B;IAC/B,IAAI,KAAK,GAAU;QACjB,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,MAAM,EAAE,EAAE;YACV,SAAS,EAAE,EAAE;SACd;QACD,MAAM,EAAE,EAAE;KACc,CAAA;IAE1B;;OAEG;IACH,MAAM,GAAG,GAAmB;QAC1B,GAAG,WAAW;QACd,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,CAAC,OAAe,EAAE,QAAmB,EAAE,EAAE;YAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,IAAI,SAAS,EAAE,CAAC,CAAA;YACvD,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACjD,CAAC;QACD,cAAc,EAAE,GAAG,EAAE;YACnB,OAAO,IAAI,CAAC,GAAG,EAAE,EAAE,OAAO,CAAA;QAC5B,CAAC;QACD,YAAY,EAAE,CAAC,EAAU,EAAE,KAAY,EAAE,QAAmB,EAAE,EAAE;YAC9D,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,QAAQ,CAAC,MAAM;gBACtB,EAAE;gBACF,KAAK;gBACL,QAAQ;aACT,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;IAED,gCAAgC;IAChC,OAAO,CAAC,eAAe,EAAE,CAAA;IAEzB,OAAO,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC;YAC9B,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,SAAS;oBACZ,KAAK,GAAG,kBAAkB,CAAC,KAAoC,EAAE,GAAG,CAAC,CAAA;oBACrE,MAAK;gBACP,KAAK,MAAM;oBACT,KAAK,GAAG,eAAe,CAAC,KAA6B,EAAE,GAAG,CAAC,CAAA;oBAC3D,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,QAAQ;oBACX,KAAK,GAAG,iBAAiB,CAAC,KAA+B,EAAE,GAAG,CAAC,CAAA;oBAC/D,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAAkC,EAAE,GAAG,CAAC,CAAA;oBACjE,MAAK;gBACP,KAAK,OAAO;oBACV,KAAK,GAAG,gBAAgB,CAAC,KAA8B,EAAE,GAAG,CAAC,CAAA;oBAC7D,MAAK;gBACP,KAAK,QAAQ;oBACX,KAAK,GAAG,iBAAiB,CAAC,KAA+B,EAAE,GAAG,CAAC,CAAA;oBAC/D,MAAK;gBACP,KAAK,KAAK;oBACR,KAAK,GAAG,cAAc,CAAC,KAA4B,EAAE,GAAG,CAAC,CAAA;oBACzD,MAAK;gBACP;oBACE,MAAM,IAAI,KAAK,CACb,wBAAyB,KAAK,CAAC,IAAoC,CAAC,IAAI,GAAG,CAC5E,CAAA;YACL,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,IAAI,UAAU,EAAE,CAAC;YACpC,MAAM,CAAC,GAAsB,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAA;YAE/C,IAAI,CAAC,EAAE,CAAC;gBACN,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;oBACf,KAAK,oBAAoB;wBACvB,KAAK,GAAG,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;wBAC1C,MAAK;oBACP,KAAK,gBAAgB;wBACnB,KAAK,GAAG,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;wBACtC,MAAK;oBACP,KAAK,YAAY;wBACf,KAAK,GAAG,gBAAgB,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;wBACvC,MAAK;oBACP,KAAK,sBAAsB;wBACzB,KAAK,GAAG,0BAA0B,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;wBAC5C,MAAK;oBACP,KAAK,uBAAuB;wBAC1B,KAAK,GAAG,2BAA2B,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;wBAClD,MAAK;oBACP,KAAK,iBAAiB;wBACpB,KAAK,GAAG,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;wBAC5C,MAAK;oBACP;wBACE,MAAM,IAAI,KAAK,CACb,wBAAyB,CAAiC,CAAC,IAAI,EAAE,CAClE,CAAA;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG;oBACN,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,KAAK,CAAC,KAAK;iBACnB,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE;gBACJ,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,GAAG,EAAE,OAAO,CAAC,GAAG;aACjB;YACD,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ;SACT,CAAA;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;QACjC,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC;gBACjB,KAAK,EAAE,KAAK,CAAC,OAAO;gBACpB,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS;aACjC,CAAC;YACF,IAAI,EAAE;gBACJ,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,GAAG,EAAE,OAAO,CAAC,GAAG;aACjB;YACD,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ;SACT,CAAA;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,MAAM,UAAU,eAAe,CAC7B,UAAgB,EAChB,WAAmF;IAEnF,OAAO,KAAK,CAAC,UAAU,EAAE;QACvB,GAAG,WAAW;QACd,OAAO,EAAE,WAAW,CAAC,OAAO,IAAI,EAAE;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAyB,EAC9C,cAA8B;IAE9B,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAEnC,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK;gBACL,QAAQ,EAAE;oBACR,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B;aAC6B;SACjC,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,EAAE,IAAI,EAAE,MAAM,EAA+B,EAC7C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,CAAA;IAE1B,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI;YAC9C,IAAI,EAAE,EAAE;YACR,UAAU,EAAE,CAAC,CAAC,iCAAiC;SAChD;QACD,MAAM,EAAE,MAAM;KACf,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CACtB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAwB,EAC7C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAA;IAEvB,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,IAAI,CAAC,GAAG;QACd,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK;aACuB;SAC/B,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,MAAM,EAAyB,EACvC,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAExB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,MAAM;KACf,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAA0B,EAC/C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAA;IAEzB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,IAAI,EAAE,EAAE;aACT;YACD,MAAM;SACP,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAClB,KAAK;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,gBAAgB;oBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,aAAa,EAAE,EAAE;oBACjB,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC/B,KAAK;iBACmB;aAC3B,CAAC;SACH,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAyB,EAC9C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAExB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI,CAAC,GAAG;YACd,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB;QACD,MAAM;KACP,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,KAAK,EAA6B,EACpC,GAAmB;IAEnB,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,EAAE;QACnC,KAAK,EAAE,KAAK;KACb,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAyB,EAC9C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAA;IAExB,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,IAAI,CAAC,GAAG;QACd,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB;gBACE,IAAI,EAAE,YAAY;gBAClB,KAAK;gBACL,QAAQ,EAAE;oBACR,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B;aACmB;SACvB,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAA0B,EAC/C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAA;IAEzB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK;YACL,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,SAAS;YAClC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,SAAS;SAC7B;QACD,MAAM;KACP,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CACrB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAuB,EAC5C,GAAmB;IAEnB,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;IAEtB,MAAM,CAAC,GAAW,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAA;IAClD,MAAM,CAAC,GAAsB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAE5C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,OAAO,IAAI,CAAC,KAAK,kCAAkC,KAAK,CAAC,MAAM,CAAC,MAAM,WAAW,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7I,KAAK;SACN,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC;YACR,MAAM;SACP,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAyB,EACzB,EAAE,MAAM,EAAE,KAAK,EAAiB;IAEhC,IAAI,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;QAErB,MAAM,CAAC,GAAqB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAE5C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,wBAAwB;gBACjC,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAA;QACH,CAAC;QAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAC/B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC;YACC,IAAI,EAAE,uBAAuB;YAC7B,GAAG,EAAE,CAAC;YACN,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,SAAS;SACpB,CAAiC,CACrC,CAAA;QAED,UAAU,CAAC,OAAO,EAAE,CAAA;QAEpB,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,CAAC;YACP,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,iBAAiB;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;SAClC,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,4BAA4B;YACrC,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,EAAE,MAAM,EAAE,KAAK,EAAiB;IAEhC,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IAEzD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,IAAI,EAAE,aAAa;aACpB;YACD,MAAM;SACP,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,gBAAgB;oBACtB,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,aAAa;oBACb,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;oBACvC,KAAK,EAAE,KAAK,CAAC,KAAK;iBACM;aAC3B,CAAC;SACH,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,KAAY;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAElD,IAAI,IAAI,EAAE,IAAI,IAAI,MAAM,EAAE,CAAC;QACzB,OAAO,IAAI,CAAA;IACb,CAAC;SAAM,CAAC;QACN,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,eAAsB,EAAE,kBAAyB;IAClE,OAAO;QACL,MAAM,EAAE,eAAe,CAAC,MAAM;QAC9B,SAAS,EAAE,kBAAkB,CAAC,SAAS;KACxC,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA8B;IAChE,OAAO,CACL,QAAQ,KAAK,SAAS;QACtB,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS;YAChC,QAAQ,CAAC,YAAY,KAAK,SAAS;YACnC,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,CACpC,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAA8B;IAE9B,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;AACvC,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CACxB,KAAY,EACZ,QAA8B;IAE9B,IAAI,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC;SAC9C,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAY,EACZ,GAAG,SAAqB;IAExB,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;KAC5E,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAY,EAAE,KAAY;IACvD,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,KAAY,EACZ,KAAY,EACZ,QAA8B;IAE9B,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAC/B,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CACnD;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAAY,EACZ,KAAY,EACZ,GAAG,SAAqB;IAExB,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC;KAC7C,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAiB,EACjB,EAAE,MAAM,EAAE,KAAK,EAAiB,EAChC,GAAmB;IAEnB,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QAC5B;;WAEG;QACH,MAAM,aAAa,GAAsB,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAEtE,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,SAAS,CACd,KAAK,CAAC,KAAK,EACX,iBAAiB,CACf,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,QAAQ,EAAE,UAAU;gBACxB,CAAC,CAAC;oBACE,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU;oBACtC,YAAY,EAAE,KAAK,CAAC,IAAI;oBACxB,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;iBACvD;gBACH,CAAC,CAAC,SAAS,CACd,CACF;YACD,MAAM;SACP,CAAA;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,CAAC,GAAwB,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAErD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,WAAW,KAAK,CAAC,EAAE,YAAY;gBACxC,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAA;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC5C,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,+BAA+B,CAAC,CAAC,IAAI,KAC5C,KAAK,CAAC,UAAU,GAAG,CACrB,MAAM,CAAC,CAAC,UAAU,EAAE;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE;oBACL,GAAG,KAAK;oBACR,UAAU,EAAE,KAAK,CAAC,UAAU,GAAG,CAAC;iBACjC;gBACD,MAAM;aACP,CAAA;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,6CAA6C;YACtD,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,0BAA0B,CACjC,KAA2B,EAC3B,EAAE,MAAM,EAAE,KAAK,EAAiB;IAEhC,IAAI,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QACpD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,EAAE,EAAE;wBACF,GAAG,KAAK;wBACR,KAAK,EAAE,QAAQ;qBAChB;oBACD,KAAK,EAAE,QAAQ;oBACf,IAAI,EAAE;wBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;wBACxB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;qBACvB;iBACwB;aAC5B,CAAC;SACH,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,IAAI,EAAE;wBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;qBACzB;iBACwB;aAC5B,CAAC;SACH,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CACzB,MAAe,EACf,SAAgB,EAChB,UAAiB,EACjB,UAAiB,EACjB,GAAmB,EACnB,OAAkB,EAAE;IAEpB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,UAAU,GAAG;YACX,GAAG,UAAU;YACb,IAAI,EAAE,IAAI,CAAC,OAAO;SACnB,CAAA;QAED,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,mBAAmB,CAAA;YAC/D,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC3C,GAAG,CAAC,YAAY,CACd,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,EACxC,UAAU,EACV,IAAI,CAAC,QAAQ,CACd,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC/B;;WAEG;QACH,MAAM,aAAa,GAAsB,gBAAgB,CAAC,UAAU,CAAC,CAAA;QAErE,MAAM,QAAQ,GAAa;YACzB,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU;YACrC,YAAY,EAAE,IAAI,CAAC,IAAI;YACvB,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;SACtE,CAAA;QAED,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,KAAK,EAAE,yBAAyB,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC;YACvE,MAAM;SACP,CAAA;IACH,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QACvC,MAAM,CAAC,GAAwB,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QAEzD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,WAAW,SAAS,CAAC,EAAE,YAAY;gBAC5C,KAAK,EAAE,UAAU;aAClB,CAAA;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU,EAAE,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,kCAAkC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,MAAM,CAAC,CAAC,UAAU,EAAE;gBAC9F,KAAK,EAAE,UAAU;aAClB,CAAA;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;YAEhD,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBAC3B,GAAG,CAAC,IAAI,CAAC,gBAAgB,CACvB,CAAC,CAAC,IAAI,EACN,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACb,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;wBACjB,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;oBACzB,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,CAAA;oBACV,CAAC;gBACH,CAAC,CAAC,CACH,CAAA;gBAED,MAAM,SAAS,GAAe,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC9C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACzB,OAAO;4BACL,IAAI,EAAE,IAAI,CAAC,QAAQ;4BACnB,YAAY,EAAE,CAAC,CAAC,IAAI;4BACpB,QAAQ,EAAE,CAAC;yBACZ,CAAA;oBACH,CAAC;yBAAM,CAAC;wBACN,OAAO;4BACL,QAAQ,EAAE,CAAC;yBACZ,CAAA;oBACH,CAAC;gBACH,CAAC,CAAC,CAAA;gBAEF,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC9B,GAAG,GAAG;oBACN,KAAK,EAAE,CAAC,OAAe,EAAE,EAAE;wBACzB,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;oBACnC,CAAC;iBACF,CAAC,CAAA;gBAEF,IAAI,UAAU,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;oBAC9B,OAAO;wBACL,IAAI,EAAE,OAAO;wBACb,OAAO,EACL,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;4BACjD,QAAQ,CAAC,CAAC,IAAI,GAAG;wBACnB,KAAK,EAAE,kBAAkB,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC;qBACpD,CAAA;gBACH,CAAC;qBAAM,CAAC;oBACN,OAAO;wBACL,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,UAAU,CAAC,KAAK;wBACvB,MAAM;qBACP,CAAA;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,SAAS,CAAC,EAAE;wBAChB,IAAI,EAAE,SAAS,CAAC,IAAI;wBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;wBACxB,IAAI,EAAE,IAAI;qBACX;oBACD,MAAM;iBACP,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,uCAAuC;YAChD,KAAK,EAAE,UAAU;SAClB,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,KAA4B,EAC5B,EAAE,MAAM,EAAE,KAAK,EAAiB,EAChC,GAAmB;IAEnB,OAAO,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE;QACpE,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAA;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAC5B,KAAsB,EACtB,EAAE,MAAM,EAAE,KAAK,EAAiB,EAChC,GAAmB;IAEnB,OAAO,kBAAkB,CACvB,MAAM,EACN,KAAK,CAAC,EAAE,EACR,KAAK,EACL,KAAK,CAAC,KAAK,EACX,GAAG,EACH,KAAK,CAAC,IAAI,CACX,CAAA;AACH,CAAC;AAED;;GAEG;AACH,4CAA4C;AAC5C,gCAAgC;AAChC,uCAAuC;AACvC,yBAAyB;AACzB,sDAAsD;AACtD,kBAAkB;AAClB,GAAG"}
|
|
@@ -0,0 +1,184 @@
|
|
|
1
|
+
import { Either } from "effect";
|
|
2
|
+
import * as Bytes from "../../Codecs/Bytes.js";
|
|
3
|
+
import * as Cbor from "../../Codecs/Cbor.js";
|
|
4
|
+
export function traverseTerms(root, callback) {
|
|
5
|
+
let terms = [root];
|
|
6
|
+
let term = terms.pop();
|
|
7
|
+
let index = 0;
|
|
8
|
+
while (term) {
|
|
9
|
+
callback(term, index);
|
|
10
|
+
switch (term._tag) {
|
|
11
|
+
case "Apply":
|
|
12
|
+
terms = terms.concat([term.arg, term.fn]);
|
|
13
|
+
break;
|
|
14
|
+
case "Case":
|
|
15
|
+
terms = terms.concat(term.cases.slice().reverse(), [term.arg]);
|
|
16
|
+
break;
|
|
17
|
+
case "Constr":
|
|
18
|
+
terms = terms.concat(term.args.slice().reverse());
|
|
19
|
+
break;
|
|
20
|
+
case "Delay":
|
|
21
|
+
case "Force":
|
|
22
|
+
terms.push(term.arg);
|
|
23
|
+
break;
|
|
24
|
+
case "Lambda":
|
|
25
|
+
terms.push(term.body);
|
|
26
|
+
break;
|
|
27
|
+
case "Builtin":
|
|
28
|
+
case "Const":
|
|
29
|
+
case "Error":
|
|
30
|
+
case "Var":
|
|
31
|
+
break;
|
|
32
|
+
}
|
|
33
|
+
term = terms.pop();
|
|
34
|
+
index++;
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
export function termByIndex(root) {
|
|
38
|
+
const res = new Map();
|
|
39
|
+
traverseTerms(root, (term, index) => {
|
|
40
|
+
res.set(index, term);
|
|
41
|
+
});
|
|
42
|
+
return res;
|
|
43
|
+
}
|
|
44
|
+
export const decode = (bytes) => Cbor.decodeObjectIKey({
|
|
45
|
+
0: Cbor.decodeList(Cbor.decodeString),
|
|
46
|
+
1: Cbor.decodeList(Cbor.decodeIntAsNumber),
|
|
47
|
+
2: Cbor.decodeMap(Cbor.decodeIntAsNumber, Cbor.decodeString),
|
|
48
|
+
3: Cbor.decodeMap(Cbor.decodeIntAsNumber, Cbor.decodeString),
|
|
49
|
+
4: Cbor.decodeMap(Cbor.decodeIntAsNumber, Cbor.decodeString),
|
|
50
|
+
5: Cbor.decodeMap(Cbor.decodeIntAsNumber, Cbor.decodeString)
|
|
51
|
+
})(bytes).pipe(Either.map(({ 0: sourceNames, 1: sourceSpans, 2: argNames, 3: termNames, 4: termDescriptions, 5: captures }) => ({
|
|
52
|
+
sourceNames: sourceNames ?? [],
|
|
53
|
+
sourceSpans: sourceSpans ?? [],
|
|
54
|
+
argNames: argNames ?? [],
|
|
55
|
+
names: termNames ?? [],
|
|
56
|
+
descriptions: termDescriptions ?? [],
|
|
57
|
+
captures: captures ?? []
|
|
58
|
+
})));
|
|
59
|
+
export const encode = (metadata) => Cbor.encodeObjectIKey({
|
|
60
|
+
0: Cbor.encodeList(metadata.sourceNames.map((s) => Cbor.encodeString(s))),
|
|
61
|
+
1: Cbor.encodeList(metadata.sourceSpans.map(Cbor.encodeInt)),
|
|
62
|
+
2: encodeStringMap(metadata.argNames),
|
|
63
|
+
3: encodeStringMap(metadata.names),
|
|
64
|
+
4: encodeStringMap(metadata.descriptions),
|
|
65
|
+
5: encodeStringMap(metadata.captures)
|
|
66
|
+
});
|
|
67
|
+
function encodeStringMap(entries) {
|
|
68
|
+
return Cbor.encodeMap(entries.map(([key, value]) => [
|
|
69
|
+
Cbor.encodeInt(key),
|
|
70
|
+
Cbor.encodeString(value)
|
|
71
|
+
]));
|
|
72
|
+
}
|
|
73
|
+
export const fromRootTerm = (root) => {
|
|
74
|
+
const sourceNames = [];
|
|
75
|
+
const metadata = {
|
|
76
|
+
sourceNames,
|
|
77
|
+
sourceSpans: [],
|
|
78
|
+
argNames: [],
|
|
79
|
+
names: [],
|
|
80
|
+
descriptions: [],
|
|
81
|
+
captures: []
|
|
82
|
+
};
|
|
83
|
+
traverseTerms(root, (term, index) => {
|
|
84
|
+
if (term.sourceSpan) {
|
|
85
|
+
let sourceIndex = sourceNames.indexOf(term.sourceSpan.file);
|
|
86
|
+
if (sourceIndex == -1) {
|
|
87
|
+
sourceIndex = sourceNames.length;
|
|
88
|
+
sourceNames.push(term.sourceSpan.file);
|
|
89
|
+
}
|
|
90
|
+
metadata.sourceSpans.push(index, sourceIndex, term.sourceSpan.start.line, term.sourceSpan.start.column, term.sourceSpan.end?.line ?? -1, term.sourceSpan.end?.column ?? -1);
|
|
91
|
+
}
|
|
92
|
+
if (term._tag == "Lambda" && term.argName !== undefined) {
|
|
93
|
+
metadata.argNames.push([index, term.argName]);
|
|
94
|
+
}
|
|
95
|
+
if ((term._tag == "Builtin" ||
|
|
96
|
+
term._tag == "Const" ||
|
|
97
|
+
term._tag == "Delay" ||
|
|
98
|
+
term._tag == "Lambda" ||
|
|
99
|
+
term._tag == "Var") &&
|
|
100
|
+
term.name !== undefined) {
|
|
101
|
+
metadata.names.push([index, term.name]);
|
|
102
|
+
}
|
|
103
|
+
if (term.description !== undefined) {
|
|
104
|
+
metadata.descriptions.push([index, term.description]);
|
|
105
|
+
}
|
|
106
|
+
if (term.capture !== undefined) {
|
|
107
|
+
metadata.captures.push([index, term.capture]);
|
|
108
|
+
}
|
|
109
|
+
});
|
|
110
|
+
return metadata;
|
|
111
|
+
};
|
|
112
|
+
export function isEmpty(metadata) {
|
|
113
|
+
return (metadata.sourceNames.length == 0 &&
|
|
114
|
+
metadata.sourceSpans.length == 0 &&
|
|
115
|
+
metadata.argNames.length == 0 &&
|
|
116
|
+
metadata.names.length == 0 &&
|
|
117
|
+
metadata.descriptions.length == 0 &&
|
|
118
|
+
metadata.captures.length == 0);
|
|
119
|
+
}
|
|
120
|
+
/**
|
|
121
|
+
* Metadata is applied to the UPLC Ast in 5 loops:
|
|
122
|
+
* 1. source spans
|
|
123
|
+
* 2. lambda arg names
|
|
124
|
+
* 3. term names
|
|
125
|
+
* 4. term descriptions
|
|
126
|
+
* 5. capture ids
|
|
127
|
+
*
|
|
128
|
+
* The Ast fields are mutated
|
|
129
|
+
* @param root
|
|
130
|
+
* @param metadata
|
|
131
|
+
*/
|
|
132
|
+
export function apply(root, metadata) {
|
|
133
|
+
const terms = termByIndex(root);
|
|
134
|
+
// apply source spans
|
|
135
|
+
for (let i = 0; i < metadata.sourceSpans.length; i += 6) {
|
|
136
|
+
const [termIndex, sourceIndex, startLine, startColumn, endLine, endColumn] = metadata.sourceSpans.slice(i, i + 6);
|
|
137
|
+
const term = terms.get(termIndex);
|
|
138
|
+
const file = metadata.sourceNames[sourceIndex];
|
|
139
|
+
if (term && file !== undefined) {
|
|
140
|
+
term.sourceSpan = {
|
|
141
|
+
file,
|
|
142
|
+
start: {
|
|
143
|
+
line: startLine,
|
|
144
|
+
column: startColumn
|
|
145
|
+
},
|
|
146
|
+
end: endLine == -1 || endColumn == -1
|
|
147
|
+
? undefined
|
|
148
|
+
: {
|
|
149
|
+
line: endLine,
|
|
150
|
+
column: endColumn
|
|
151
|
+
}
|
|
152
|
+
};
|
|
153
|
+
}
|
|
154
|
+
}
|
|
155
|
+
for (const [index, argName] of metadata.argNames) {
|
|
156
|
+
const term = terms.get(index);
|
|
157
|
+
if (term?._tag == "Lambda") {
|
|
158
|
+
term.argName = argName;
|
|
159
|
+
}
|
|
160
|
+
}
|
|
161
|
+
for (const [index, name] of metadata.names) {
|
|
162
|
+
const term = terms.get(index);
|
|
163
|
+
if (term?._tag == "Builtin" ||
|
|
164
|
+
term?._tag == "Const" ||
|
|
165
|
+
term?._tag == "Delay" ||
|
|
166
|
+
term?._tag == "Lambda" ||
|
|
167
|
+
term?._tag == "Var") {
|
|
168
|
+
term.name = name;
|
|
169
|
+
}
|
|
170
|
+
}
|
|
171
|
+
for (const [index, description] of metadata.descriptions) {
|
|
172
|
+
const term = terms.get(index);
|
|
173
|
+
if (term) {
|
|
174
|
+
term.description = description;
|
|
175
|
+
}
|
|
176
|
+
}
|
|
177
|
+
for (const [index, capture] of metadata.captures) {
|
|
178
|
+
const term = terms.get(index);
|
|
179
|
+
if (term) {
|
|
180
|
+
term.capture = capture;
|
|
181
|
+
}
|
|
182
|
+
}
|
|
183
|
+
}
|
|
184
|
+
//# sourceMappingURL=Metadata.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Metadata.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Metadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAY5C,MAAM,UAAU,aAAa,CAC3B,IAAU,EACV,QAA6C;IAE7C,IAAI,KAAK,GAAW,CAAC,IAAI,CAAC,CAAA;IAC1B,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAA;IACtB,IAAI,KAAK,GAAG,CAAC,CAAA;IAEb,OAAO,IAAI,EAAE,CAAC;QACZ,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAErB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO;gBACV,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;gBACzC,MAAK;YACP,KAAK,MAAM;gBACT,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;gBAC9D,MAAK;YACP,KAAK,QAAQ;gBACX,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,CAAA;gBACjD,MAAK;YACP,KAAK,OAAO,CAAC;YACb,KAAK,OAAO;gBACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACpB,MAAK;YACP,KAAK,QAAQ;gBACX,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACrB,MAAK;YACP,KAAK,SAAS,CAAC;YACf,KAAK,OAAO,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,KAAK;gBACR,MAAK;QACT,CAAC;QAED,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAA;QAClB,KAAK,EAAE,CAAA;IACT,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAU;IACpC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAgB,CAAA;IAEnC,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAClC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACtB,CAAC,CAAC,CAAA;IAEF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,KAAsB,EACO,EAAE,CAC/B,IAAI,CAAC,gBAAgB,CAAC;IACpB,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC;IACrC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC;IAC1C,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,YAAY,CAAC;IAC5D,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,YAAY,CAAC;IAC5D,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,YAAY,CAAC;IAC5D,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,YAAY,CAAC;CAC7D,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CACR,CAAC,EACC,CAAC,EAAE,WAAW,EACd,CAAC,EAAE,WAAW,EACd,CAAC,EAAE,QAAQ,EACX,CAAC,EAAE,SAAS,EACZ,CAAC,EAAE,gBAAgB,EACnB,CAAC,EAAE,QAAQ,EACZ,EAAY,EAAE,CAAC,CAAC;IACf,WAAW,EAAE,WAAW,IAAI,EAAE;IAC9B,WAAW,EAAE,WAAW,IAAI,EAAE;IAC9B,QAAQ,EAAE,QAAQ,IAAI,EAAE;IACxB,KAAK,EAAE,SAAS,IAAI,EAAE;IACtB,YAAY,EAAE,gBAAgB,IAAI,EAAE;IACpC,QAAQ,EAAE,QAAQ,IAAI,EAAE;CACzB,CAAC,CACH,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,QAAkB,EAAY,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC;IAC1E,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5D,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC;IACrC,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC;IAClC,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,YAAY,CAAC;IACzC,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC;CACtC,CAAC,CAAA;AAEJ,SAAS,eAAe,CAAC,OAA2B;IAClD,OAAO,IAAI,CAAC,SAAS,CACnB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QACnB,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;KACzB,CAAC,CACH,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAU,EAAY,EAAE;IACnD,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,MAAM,QAAQ,GAAa;QACzB,WAAW;QACX,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,EAAE;QACT,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,EAAE;KACb,CAAA;IAED,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAClC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,IAAI,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;YAC3D,IAAI,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC;gBACtB,WAAW,GAAG,WAAW,CAAC,MAAM,CAAA;gBAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;YACxC,CAAC;YAED,QAAQ,CAAC,WAAW,CAAC,IAAI,CACvB,KAAK,EACL,WAAW,EACX,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC,EAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,IAAI,CAAC,CAAC,CAClC,CAAA;QACH,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,IAAI,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACxD,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;QAC/C,CAAC;QAED,IACE,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS;YACrB,IAAI,CAAC,IAAI,IAAI,OAAO;YACpB,IAAI,CAAC,IAAI,IAAI,OAAO;YACpB,IAAI,CAAC,IAAI,IAAI,QAAQ;YACrB,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,SAAS,EACvB,CAAC;YACD,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QACzC,CAAC;QAED,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACnC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;QACvD,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;QAC/C,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,UAAU,OAAO,CAAC,QAAkB;IACxC,OAAO,CACL,QAAQ,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC;QAChC,QAAQ,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC;QAChC,QAAQ,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC;QAC7B,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC;QAC1B,QAAQ,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC;QACjC,QAAQ,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAC9B,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,KAAK,CAAC,IAAU,EAAE,QAAkB;IAClD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;IAE/B,qBAAqB;IACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,GACxE,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QAEtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;QAE9C,IAAI,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,UAAU,GAAG;gBAChB,IAAI;gBACJ,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,WAAW;iBACpB;gBACD,GAAG,EACD,OAAO,IAAI,CAAC,CAAC,IAAI,SAAS,IAAI,CAAC,CAAC;oBAC9B,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC;wBACE,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,SAAS;qBAClB;aACR,CAAA;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,IAAI,EAAE,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACxB,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC7B,IACE,IAAI,EAAE,IAAI,IAAI,SAAS;YACvB,IAAI,EAAE,IAAI,IAAI,OAAO;YACrB,IAAI,EAAE,IAAI,IAAI,OAAO;YACrB,IAAI,EAAE,IAAI,IAAI,QAAQ;YACtB,IAAI,EAAE,IAAI,IAAI,KAAK,EACnB,CAAC;YACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAClB,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAChC,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACxB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -34,7 +34,6 @@ export const ScriptV2 = Schema.extend(ScriptWithoutVersion, Schema.Struct({
|
|
|
34
34
|
export const ScriptV3 = Schema.extend(ScriptWithoutVersion, Schema.Struct({
|
|
35
35
|
version: Schema.Literal(3)
|
|
36
36
|
}));
|
|
37
|
-
export const entryPoint = (script) => Term.decodeRoot(script.root);
|
|
38
37
|
export const decodeRoot = (bytes) => Either.gen(function* () {
|
|
39
38
|
const stream = Bytes.makeStream(bytes);
|
|
40
39
|
if (!Cbor.isBytes(stream)) {
|
|
@@ -84,19 +83,19 @@ export function encode(script) {
|
|
|
84
83
|
*/
|
|
85
84
|
const eval$ = (script, args, costParams = undefined, logger = undefined) => Effect.gen(function* () {
|
|
86
85
|
const root = yield* entryPointWithArgs(script, args);
|
|
87
|
-
const ctx = evalContext(script, costParams, logger);
|
|
86
|
+
const ctx = evalContext(script.version, costParams, logger);
|
|
88
87
|
return Cek.eval(root, ctx);
|
|
89
88
|
});
|
|
90
89
|
export const evalWithCapture = (script, args, costParams = undefined, logger = undefined, capture = {}) => Effect.gen(function* () {
|
|
91
90
|
const root = yield* entryPointWithArgs(script, args);
|
|
92
|
-
const ctx = evalContext(script, costParams, logger);
|
|
91
|
+
const ctx = evalContext(script.version, costParams, logger);
|
|
93
92
|
return Cek.evalWithCapture(root, {
|
|
94
93
|
...ctx,
|
|
95
94
|
capture
|
|
96
95
|
});
|
|
97
96
|
});
|
|
98
|
-
function evalContext(
|
|
99
|
-
switch (
|
|
97
|
+
function evalContext(version, costParams, logger) {
|
|
98
|
+
switch (version) {
|
|
100
99
|
case 1:
|
|
101
100
|
return {
|
|
102
101
|
builtins: Builtins.V1,
|
|
@@ -119,7 +118,7 @@ function evalContext(script, costParams, logger) {
|
|
|
119
118
|
}
|
|
120
119
|
function entryPointWithArgs(script, args) {
|
|
121
120
|
return Effect.gen(function* () {
|
|
122
|
-
let root = yield*
|
|
121
|
+
let root = yield* Term.decodeRoot(script.root);
|
|
123
122
|
if (args !== undefined) {
|
|
124
123
|
if (args.length == 0) {
|
|
125
124
|
root = { _tag: "Force", arg: root };
|
|
@@ -134,7 +133,7 @@ function entryPointWithArgs(script, args) {
|
|
|
134
133
|
});
|
|
135
134
|
}
|
|
136
135
|
export const apply = (script, args) => Effect.gen(function* () {
|
|
137
|
-
let rootTerm = yield*
|
|
136
|
+
let rootTerm = yield* Term.decodeRoot(script.root);
|
|
138
137
|
for (const arg of args) {
|
|
139
138
|
rootTerm = {
|
|
140
139
|
_tag: "Apply",
|
|
@@ -147,10 +146,7 @@ export const apply = (script, args) => Effect.gen(function* () {
|
|
|
147
146
|
root: Term.encodeRoot(script.version == 3 ? "1.1.0" : "1.0.0", rootTerm)
|
|
148
147
|
};
|
|
149
148
|
if (script.verbose) {
|
|
150
|
-
let verboseRootTerm = yield*
|
|
151
|
-
...script,
|
|
152
|
-
root: script.verbose
|
|
153
|
-
});
|
|
149
|
+
let verboseRootTerm = yield* Term.decodeRoot(script.verbose);
|
|
154
150
|
for (const arg of args) {
|
|
155
151
|
verboseRootTerm = {
|
|
156
152
|
_tag: "Apply",
|
|
@@ -166,7 +162,7 @@ export const apply = (script, args) => Effect.gen(function* () {
|
|
|
166
162
|
return script;
|
|
167
163
|
});
|
|
168
164
|
export const extractParams = (script) => Effect.gen(function* () {
|
|
169
|
-
let term = yield*
|
|
165
|
+
let term = yield* Term.decodeRoot(script.root);
|
|
170
166
|
const params = [];
|
|
171
167
|
while (term._tag == "Apply" && term.arg._tag == "Const") {
|
|
172
168
|
params.unshift(term.arg.value);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Script.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CACjC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAClB,CAAA;AAID,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC,iBAAiB;IAC9B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC;CACnD,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CACjC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,OAAO;CACjB,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAQD,MAAM,CAAC,MAAM,UAAU,GAAG,
|
|
1
|
+
{"version":3,"file":"Script.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CACjC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAClB,CAAA;AAID,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC,iBAAiB;IAC9B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC;CACnD,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CACjC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,OAAO;CACjB,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAQD,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAsB,EACwC,EAAE,CAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,IAAI,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;IAEjD,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9B,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;IACpD,CAAC;IAED,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;IACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAA;IAElE,OAAO;QACL,WAAW;QACX,IAAI,EAAE,IAAI,UAAU,CAAC,WAAW,CAAC;KAClC,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GACjB,CAAoB,OAAU,EAAE,EAAE,CAClC,CAAC,KAAsB,EAAgC,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC,CAAC;QACP,KAAK,CAAC;YACJ,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4BAA4B,WAAW,GAAG,CAC3C,CACF,CAAA;YACH,CAAC;YACD,MAAK;QACP,KAAK,CAAC;YACJ,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4BAA4B,WAAW,GAAG,CAC3C,CACF,CAAA;YACH,CAAC;YACD,MAAK;IACT,CAAC;IAED,OAAO;QACL,OAAO;QACP,IAAI;KACe,CAAA;AACvB,CAAC,CAAC,CAAA;AAEN,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACpE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,KAAK,GAAG,CACZ,MAAc,EACd,IAAwC,EACxC,aAA4C,SAAS,EACrD,SAAiC,SAAS,EAC1C,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;IAE3D,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAAc,EACd,IAAwC,EACxC,aAA4C,SAAS,EACrD,SAAiC,SAAS,EAC1C,UAA6B,EAAE,EAC/B,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;IAE3D,OAAO,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE;QAC/B,GAAG,GAAG;QACN,OAAO;KACR,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEJ,SAAS,WAAW,CAClB,OAAgB,EAChB,UAAyC,EACzC,MAA8B;IAE9B,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,OAAO;gBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;gBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;gBAC/C,MAAM;aACP,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;gBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;gBAC/C,MAAM;aACP,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;gBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;gBAC/C,MAAM;aACP,CAAA;IACL,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAc,EACd,IAAwC;IAExC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAE9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACrB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;YACrC,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAA;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,IAA4B,EAAE,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,QAAQ,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAElD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,QAAQ,GAAG;YACT,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,QAAQ;YACZ,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;SACnC,CAAA;IACH,CAAC;IAED,MAAM,GAAG;QACP,GAAG,MAAM;QACT,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC;KACzE,CAAA;IAED,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,IAAI,eAAe,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAE5D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,eAAe,GAAG;gBAChB,IAAI,EAAE,OAAO;gBACb,EAAE,EAAE,eAAe;gBACnB,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;aACnC,CAAA;QACH,CAAC;QAED,MAAM,GAAG;YACP,GAAG,MAAM;YACT,OAAO,EAAE,IAAI,CAAC,UAAU,CACtB,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EACvC,eAAe,CAChB;SACF,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,EAAE,CAC9C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAE9C,MAAM,MAAM,GAAkB,EAAE,CAAA;IAEhC,OAAO,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAE9B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAA;IAChB,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,MAAM,UAAU,IAAI,CAAC,MAAc;IACjC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAE3C,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAE7B,OAAO,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAkB,CAAA;AAChF,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GACpB,CAAoB,CAAI,EAAE,EAAE,CAC5B,CAAC,MAAc,EAAuB,EAAE,CACtC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA"}
|
|
@@ -1,6 +1,8 @@
|
|
|
1
1
|
import { Either, Schema } from "effect";
|
|
2
2
|
import * as Bytes from "../../Codecs/Bytes.js";
|
|
3
|
+
import * as Cbor from "../../Codecs/Cbor.js";
|
|
3
4
|
import * as Flat from "../../Codecs/Flat.js";
|
|
5
|
+
import * as Metadata from "./Metadata.js";
|
|
4
6
|
import * as Type from "./Type.js";
|
|
5
7
|
import * as Value from "./Value.js";
|
|
6
8
|
export const SourceSpan = Schema.Struct({
|
|
@@ -18,50 +20,71 @@ const SuspendedTerm = Schema.suspend(() => Term);
|
|
|
18
20
|
export const Apply = Schema.TaggedStruct("Apply", {
|
|
19
21
|
fn: SuspendedTerm,
|
|
20
22
|
arg: SuspendedTerm,
|
|
23
|
+
capture: Schema.optional(Schema.String),
|
|
24
|
+
description: Schema.optional(Schema.String),
|
|
21
25
|
sourceSpan: Schema.optional(SourceSpan)
|
|
22
26
|
});
|
|
23
27
|
const Builtin$ = Schema.TaggedStruct("Builtin", {
|
|
24
28
|
id: Schema.Int, // TODO: also constrain to be positive
|
|
25
29
|
name: Schema.optional(Schema.String), // though is redundant information, it is much easier to keep track of this here for debugging purposes
|
|
30
|
+
capture: Schema.optional(Schema.String),
|
|
31
|
+
description: Schema.optional(Schema.String),
|
|
26
32
|
sourceSpan: Schema.optional(SourceSpan)
|
|
27
33
|
});
|
|
28
34
|
export { Builtin$ as Builtin };
|
|
29
35
|
export const Case = Schema.TaggedStruct("Case", {
|
|
30
36
|
arg: SuspendedTerm,
|
|
31
37
|
cases: Schema.Array(SuspendedTerm),
|
|
38
|
+
capture: Schema.optional(Schema.String),
|
|
39
|
+
description: Schema.optional(Schema.String),
|
|
32
40
|
sourceSpan: Schema.optional(SourceSpan)
|
|
33
41
|
});
|
|
34
42
|
export const Const = Schema.TaggedStruct("Const", {
|
|
35
43
|
value: Value.Value,
|
|
36
44
|
name: Schema.optional(Schema.String),
|
|
45
|
+
capture: Schema.optional(Schema.String),
|
|
46
|
+
description: Schema.optional(Schema.String),
|
|
37
47
|
sourceSpan: Schema.optional(SourceSpan)
|
|
38
48
|
});
|
|
39
49
|
export const Constr = Schema.TaggedStruct("Constr", {
|
|
40
50
|
tag: Schema.Int,
|
|
41
51
|
args: Schema.Array(SuspendedTerm),
|
|
52
|
+
capture: Schema.optional(Schema.String),
|
|
53
|
+
description: Schema.optional(Schema.String),
|
|
42
54
|
sourceSpan: Schema.optional(SourceSpan)
|
|
43
55
|
});
|
|
44
56
|
export const Delay = Schema.TaggedStruct("Delay", {
|
|
45
57
|
arg: SuspendedTerm,
|
|
58
|
+
capture: Schema.optional(Schema.String),
|
|
59
|
+
description: Schema.optional(Schema.String),
|
|
60
|
+
name: Schema.optional(Schema.String),
|
|
46
61
|
sourceSpan: Schema.optional(SourceSpan)
|
|
47
62
|
});
|
|
48
63
|
const Error$ = Schema.TaggedStruct("Error", {
|
|
64
|
+
capture: Schema.optional(Schema.String),
|
|
65
|
+
description: Schema.optional(Schema.String),
|
|
49
66
|
sourceSpan: Schema.optional(SourceSpan)
|
|
50
67
|
});
|
|
51
68
|
export { Error$ as Error };
|
|
52
69
|
export const Force = Schema.TaggedStruct("Force", {
|
|
53
70
|
arg: SuspendedTerm,
|
|
71
|
+
capture: Schema.optional(Schema.String),
|
|
72
|
+
description: Schema.optional(Schema.String),
|
|
54
73
|
sourceSpan: Schema.optional(SourceSpan)
|
|
55
74
|
});
|
|
56
75
|
export const Lambda = Schema.TaggedStruct("Lambda", {
|
|
57
76
|
body: SuspendedTerm,
|
|
58
77
|
argName: Schema.optional(Schema.String),
|
|
78
|
+
capture: Schema.optional(Schema.String),
|
|
79
|
+
description: Schema.optional(Schema.String),
|
|
59
80
|
sourceSpan: Schema.optional(SourceSpan),
|
|
60
81
|
name: Schema.optional(Schema.String)
|
|
61
82
|
});
|
|
62
83
|
export const Var = Schema.TaggedStruct("Var", {
|
|
63
84
|
index: Schema.Int, // TODO: also constrain to be positive?
|
|
64
85
|
name: Schema.optional(Schema.String),
|
|
86
|
+
capture: Schema.optional(Schema.String),
|
|
87
|
+
description: Schema.optional(Schema.String),
|
|
65
88
|
sourceSpan: Schema.optional(SourceSpan)
|
|
66
89
|
});
|
|
67
90
|
export const Term = Schema.Union(Apply, Builtin$, Case, Const, Constr, Delay, Error$, Force, Lambda, Var);
|
|
@@ -128,18 +151,74 @@ export function flatTag(term) {
|
|
|
128
151
|
return VarTag;
|
|
129
152
|
}
|
|
130
153
|
}
|
|
131
|
-
|
|
154
|
+
const decodeFlatBytes = (bytes) => {
|
|
132
155
|
const r = Flat.makeReader(Bytes.toUint8Array(bytes));
|
|
133
156
|
void `${r.readInt()}.${r.readInt()}.${r.readInt()}`;
|
|
134
157
|
return decode({})(r);
|
|
135
158
|
};
|
|
136
|
-
|
|
159
|
+
/**
|
|
160
|
+
* Verbose encoding format:
|
|
161
|
+
*
|
|
162
|
+
* {
|
|
163
|
+
* 0: CBORBytes(root flat bytes (i.e. what would be returned if verbose == false)),
|
|
164
|
+
* 1: {
|
|
165
|
+
* 0: CBORList<String> (source names list),
|
|
166
|
+
* 1: CBORList<Int> (flattened source mapping tuples [termIndex, sourceIndex, startLine, startColumn, endLine, endColumn], endLine==-1 and endColumn==-1 means absence of end of sourceSpan, sourceIndex is the index in the source names list),
|
|
167
|
+
* 2: CBORMap<Int, String> (lambda arg names, key is term index)
|
|
168
|
+
* 3: CBORMap<Int, String> (term names, key is term index)
|
|
169
|
+
* 4: CBORMap<Int, String> (term descriptions, key is termIndex)
|
|
170
|
+
* 5: CBORMap<Int, String> (capture names/ids, key is termIndex)
|
|
171
|
+
* }
|
|
172
|
+
* }
|
|
173
|
+
*/
|
|
174
|
+
export const decodeRoot = (bytes) => {
|
|
175
|
+
if (!Cbor.isMap(bytes)) {
|
|
176
|
+
return decodeFlatBytes(bytes);
|
|
177
|
+
}
|
|
178
|
+
else {
|
|
179
|
+
return Cbor.decodeObjectIKey({
|
|
180
|
+
0: Cbor.decodeBytes,
|
|
181
|
+
1: Metadata.decode
|
|
182
|
+
})(bytes).pipe(Either.flatMap(({ 0: rootFlatBytes, 1: metadata }) => {
|
|
183
|
+
if (!rootFlatBytes) {
|
|
184
|
+
return Either.left(new Cbor.DecodeError(Bytes.makeStream(bytes), "Entry 0 missing from verbose UPLC encoding"));
|
|
185
|
+
}
|
|
186
|
+
return decodeFlatBytes(rootFlatBytes).pipe(Either.map(ast => {
|
|
187
|
+
if (metadata) {
|
|
188
|
+
Metadata.apply(ast, metadata);
|
|
189
|
+
}
|
|
190
|
+
return ast;
|
|
191
|
+
}));
|
|
192
|
+
}));
|
|
193
|
+
}
|
|
194
|
+
};
|
|
195
|
+
/**
|
|
196
|
+
* @param uplcVersion
|
|
197
|
+
* @param term
|
|
198
|
+
* @param verbose
|
|
199
|
+
* Optional, defaults to false.
|
|
200
|
+
* Note that if verbose==true but metadata is empty, the plain flat encoded program without metadata is still returned
|
|
201
|
+
*
|
|
202
|
+
* @returns
|
|
203
|
+
* The encoded program
|
|
204
|
+
*/
|
|
205
|
+
export const encodeRoot = (uplcVersion, term, verbose = false) => {
|
|
137
206
|
const w = Flat.makeWriter();
|
|
138
207
|
uplcVersion.split(".").forEach((v) => {
|
|
139
208
|
w.writeInt(Number(v));
|
|
140
209
|
});
|
|
141
210
|
encode(w)(term);
|
|
142
|
-
|
|
211
|
+
const rootFlatBytes = Bytes.toUint8Array(w.finalize());
|
|
212
|
+
if (verbose) {
|
|
213
|
+
const metadata = Metadata.fromRootTerm(term);
|
|
214
|
+
if (!Metadata.isEmpty(metadata)) {
|
|
215
|
+
return Bytes.toUint8Array(Cbor.encodeObjectIKey({
|
|
216
|
+
0: Cbor.encodeBytes(rootFlatBytes),
|
|
217
|
+
1: Metadata.encode(metadata)
|
|
218
|
+
}));
|
|
219
|
+
}
|
|
220
|
+
}
|
|
221
|
+
return rootFlatBytes;
|
|
143
222
|
};
|
|
144
223
|
/**
|
|
145
224
|
* Reads a single Term using stack-based algorithm for its children
|
|
@@ -374,7 +453,7 @@ export const encode = (w) => (term) => {
|
|
|
374
453
|
export function toString(term) {
|
|
375
454
|
switch (term._tag) {
|
|
376
455
|
case "Apply":
|
|
377
|
-
return `[${toString(term.fn)} ${toString(term.arg)}]`;
|
|
456
|
+
return `[${toString(term.fn)} ${toString(term.arg)}${term.capture !== undefined ? ` #capture=${term.capture}` : ""}]`;
|
|
378
457
|
case "Builtin":
|
|
379
458
|
return `(builtin ${term.id.toString()})`;
|
|
380
459
|
case "Case":
|
|
@@ -1 +1 @@
|
|
|
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,KAAK,MAAM,uBAAuB,CAAA;AAC9C,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,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAsB,EAAE,EAAE;IACnD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IAEpD,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAA;IAEnD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,WAA8B,EAC9B,IAAU,EACE,EAAE;IACd,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;IAE3B,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEF,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAEf,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAA;AACzC,CAAC,CAAA;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"}
|
|
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,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,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,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAWF,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,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAWF,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,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAWF,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,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAYF,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,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAWF,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAChD,GAAG,EAAE,aAAa;IAClB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAWF,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAC1C,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AASF,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAChD,GAAG,EAAE,aAAa;IAClB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAUF,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,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACrC,CAAC,CAAA;AAYF,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,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAA;AAWF,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,MAAM,eAAe,GAAG,CAAC,KAAsB,EAAE,EAAE;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IAEpD,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAA;IAEnD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACtB,CAAC,CAAA;AAED;;;;;;;;;;;;;;GAcG;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAsB,EAA8B,EAAE;IAC/E,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAA;IAC/B,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC,gBAAgB,CAAC;YAC3B,CAAC,EAAE,IAAI,CAAC,WAAW;YACnB,CAAC,EAAE,QAAQ,CAAC,MAAM;SACnB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAC,EAAE,EAAE;YAChE,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4CAA4C,CAC7C,CACF,CAAA;YACH,CAAC;YAED,OAAO,eAAe,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBAC1D,IAAI,QAAQ,EAAE,CAAC;oBACb,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;gBAC/B,CAAC;gBAED,OAAO,GAAG,CAAA;YACZ,CAAC,CAAC,CAAC,CAAA;QACL,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,WAA8B,EAC9B,IAAU,EACV,UAAmB,KAAK,EACZ,EAAE;IACd,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;IAE3B,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEF,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAEf,MAAM,aAAa,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAA;IAEtD,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;QAE5C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC,YAAY,CACvB,IAAI,CAAC,gBAAgB,CAAC;gBACpB,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC;gBAClC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;aAC7B,CAAC,CACH,CAAA;QACH,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAA;AACtB,CAAC,CAAA;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,GAChD,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAC7D,GAAG,CAAA;QACL,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/package.json
CHANGED
|
@@ -3,7 +3,7 @@ import { Assets, PubKeyHash, ValidatorHash, UTxO, UTxORef } from "./Ledger/index
|
|
|
3
3
|
import { Data, Script } from "./Uplc/index.js";
|
|
4
4
|
import * as Network from "./Network/index.js";
|
|
5
5
|
import * as TxBuilder from "./TxBuilder.js";
|
|
6
|
-
export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<
|
|
6
|
+
export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<2 | 1 | 3>, Error, never>;
|
|
7
7
|
declare const Contract_base: Context.TagClass<Contract, "Cardano.Contract", Script.Script<3>>;
|
|
8
8
|
export declare class Contract extends Contract_base {
|
|
9
9
|
}
|
|
@@ -1160,6 +1160,7 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1160
1160
|
} & {
|
|
1161
1161
|
dcert: import("./Ledger/DCert.js").DCert;
|
|
1162
1162
|
}), Data.Data, never>, Schema.SchemaClass<{
|
|
1163
|
+
readonly _tag: "Minting";
|
|
1163
1164
|
readonly data: {
|
|
1164
1165
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1165
1166
|
} | {
|
|
@@ -1175,13 +1176,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1175
1176
|
readonly fields: readonly Data.Data[];
|
|
1176
1177
|
readonly constructor: number;
|
|
1177
1178
|
};
|
|
1178
|
-
readonly _tag: "Minting";
|
|
1179
1179
|
readonly policyIndex: number;
|
|
1180
1180
|
readonly cost: {
|
|
1181
1181
|
readonly cpu: bigint;
|
|
1182
1182
|
readonly mem: bigint;
|
|
1183
1183
|
};
|
|
1184
1184
|
} | {
|
|
1185
|
+
readonly _tag: "Spending";
|
|
1185
1186
|
readonly data: {
|
|
1186
1187
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1187
1188
|
} | {
|
|
@@ -1197,13 +1198,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1197
1198
|
readonly fields: readonly Data.Data[];
|
|
1198
1199
|
readonly constructor: number;
|
|
1199
1200
|
};
|
|
1200
|
-
readonly _tag: "Spending";
|
|
1201
1201
|
readonly cost: {
|
|
1202
1202
|
readonly cpu: bigint;
|
|
1203
1203
|
readonly mem: bigint;
|
|
1204
1204
|
};
|
|
1205
1205
|
readonly inputIndex: number;
|
|
1206
1206
|
} | {
|
|
1207
|
+
readonly _tag: "Rewarding";
|
|
1207
1208
|
readonly data: {
|
|
1208
1209
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1209
1210
|
} | {
|
|
@@ -1219,13 +1220,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1219
1220
|
readonly fields: readonly Data.Data[];
|
|
1220
1221
|
readonly constructor: number;
|
|
1221
1222
|
};
|
|
1222
|
-
readonly _tag: "Rewarding";
|
|
1223
1223
|
readonly cost: {
|
|
1224
1224
|
readonly cpu: bigint;
|
|
1225
1225
|
readonly mem: bigint;
|
|
1226
1226
|
};
|
|
1227
1227
|
readonly withdrawalIndex: number;
|
|
1228
1228
|
} | {
|
|
1229
|
+
readonly _tag: "Certifying";
|
|
1229
1230
|
readonly data: {
|
|
1230
1231
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1231
1232
|
} | {
|
|
@@ -1241,13 +1242,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1241
1242
|
readonly fields: readonly Data.Data[];
|
|
1242
1243
|
readonly constructor: number;
|
|
1243
1244
|
};
|
|
1244
|
-
readonly _tag: "Certifying";
|
|
1245
1245
|
readonly cost: {
|
|
1246
1246
|
readonly cpu: bigint;
|
|
1247
1247
|
readonly mem: bigint;
|
|
1248
1248
|
};
|
|
1249
1249
|
readonly dcertIndex: number;
|
|
1250
1250
|
}, {
|
|
1251
|
+
readonly _tag: "Minting";
|
|
1251
1252
|
readonly data: {
|
|
1252
1253
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1253
1254
|
} | {
|
|
@@ -1263,13 +1264,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1263
1264
|
readonly fields: readonly Data.Data[];
|
|
1264
1265
|
readonly constructor: number;
|
|
1265
1266
|
};
|
|
1266
|
-
readonly _tag: "Minting";
|
|
1267
1267
|
readonly policyIndex: number;
|
|
1268
1268
|
readonly cost: {
|
|
1269
1269
|
readonly cpu: bigint;
|
|
1270
1270
|
readonly mem: bigint;
|
|
1271
1271
|
};
|
|
1272
1272
|
} | {
|
|
1273
|
+
readonly _tag: "Spending";
|
|
1273
1274
|
readonly data: {
|
|
1274
1275
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1275
1276
|
} | {
|
|
@@ -1285,13 +1286,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1285
1286
|
readonly fields: readonly Data.Data[];
|
|
1286
1287
|
readonly constructor: number;
|
|
1287
1288
|
};
|
|
1288
|
-
readonly _tag: "Spending";
|
|
1289
1289
|
readonly cost: {
|
|
1290
1290
|
readonly cpu: bigint;
|
|
1291
1291
|
readonly mem: bigint;
|
|
1292
1292
|
};
|
|
1293
1293
|
readonly inputIndex: number;
|
|
1294
1294
|
} | {
|
|
1295
|
+
readonly _tag: "Rewarding";
|
|
1295
1296
|
readonly data: {
|
|
1296
1297
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1297
1298
|
} | {
|
|
@@ -1307,13 +1308,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1307
1308
|
readonly fields: readonly Data.Data[];
|
|
1308
1309
|
readonly constructor: number;
|
|
1309
1310
|
};
|
|
1310
|
-
readonly _tag: "Rewarding";
|
|
1311
1311
|
readonly cost: {
|
|
1312
1312
|
readonly cpu: bigint;
|
|
1313
1313
|
readonly mem: bigint;
|
|
1314
1314
|
};
|
|
1315
1315
|
readonly withdrawalIndex: number;
|
|
1316
1316
|
} | {
|
|
1317
|
+
readonly _tag: "Certifying";
|
|
1317
1318
|
readonly data: {
|
|
1318
1319
|
readonly bytes: Uint8Array<ArrayBufferLike>;
|
|
1319
1320
|
} | {
|
|
@@ -1329,7 +1330,6 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
|
|
|
1329
1330
|
readonly fields: readonly Data.Data[];
|
|
1330
1331
|
readonly constructor: number;
|
|
1331
1332
|
};
|
|
1332
|
-
readonly _tag: "Certifying";
|
|
1333
1333
|
readonly cost: {
|
|
1334
1334
|
readonly cpu: bigint;
|
|
1335
1335
|
readonly mem: bigint;
|
|
@@ -24,7 +24,7 @@ export interface MachineContext extends EvalContext {
|
|
|
24
24
|
readonly cost: Cost.Tracker;
|
|
25
25
|
print(message: string, site?: CallSite): void;
|
|
26
26
|
popLastMessage(): string | undefined;
|
|
27
|
-
captureValue(id: string, value: Value, callSite?: CallSite
|
|
27
|
+
captureValue(id: string, value: Value, callSite?: CallSite): void;
|
|
28
28
|
}
|
|
29
29
|
/**
|
|
30
30
|
* `BuiltinValue` is equivalent to $\langle \texttt{builtin}~b~\overline{V}~\eta\rangle$ in the *CEK Machine* section of the [plutus core spec](https://plutus.cardano.intersectmbo.org/resources/plutus-core-spec.pdf):
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Cek.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,EAIV,KAAK,EAML,UAAU,EACV,IAAI,EAEL,MAAM,WAAW,CAAA;AAGlB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3B,OAAO,CAAC,EAAE,aAAa,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;CAChC,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,WAAW;IACjD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAA;IAE3B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC7C,cAAc,IAAI,MAAM,GAAG,SAAS,CAAA;IACpC,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,
|
|
1
|
+
{"version":3,"file":"Cek.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,EAIV,KAAK,EAML,UAAU,EACV,IAAI,EAEL,MAAM,WAAW,CAAA;AAGlB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3B,OAAO,CAAC,EAAE,aAAa,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;CAChC,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,WAAW;IACjD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAA;IAE3B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC7C,cAAc,IAAI,MAAM,GAAG,SAAS,CAAA;IACpC,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;CAClE;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,KAAK,CAAA;AAE9B;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,KAAK,GACb,YAAY,GACZ,UAAU,GACV,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf,MAAM,MAAM,QAAQ,GAAG;IACrB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,CAAA;CAChC,CAAA;AAWD,MAAM,MAAM,KAAK,GAAG;IAClB,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,SAAS,EAAE,QAAQ,EAAE,CAAA;CACtB,CAAA;AAED,MAAM,WAAW,MAAM;IACrB,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACpD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,KAAK,CAAC,EAAE,MAAM,IAAI,CAAA;IAClB,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,KAAK,IAAI,CAAA;CAC/C;AAiMD;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;KAAE,CAAC,CAAA;IACrE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;IACf,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;KAAE,EAAE,CAAA;IAC5D,SAAS,EAAE,IAAI,CAAC,SAAS,CAAA;IACzB,QAAQ,EAAE,aAAa,EAAE,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,MAAM,CAmJjE;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,eAAe,CAC7B,UAAU,EAAE,IAAI,EAChB,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG;IAAE,OAAO,CAAC,EAAE,aAAa,GAAG,SAAS,CAAA;CAAE,GAClF,MAAM,CAKR;AAyTD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,OAAO,CAO3E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,QAAQ,IAAI,QAAQ,CAEtB;AAqBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAKhE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,KAAK,CAOP;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AAySD;;GAEG"}
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
import * as Bytes from "../../Codecs/Bytes.js";
|
|
2
|
+
import * as Cbor from "../../Codecs/Cbor.js";
|
|
3
|
+
import type { Term } from "./Term.js";
|
|
4
|
+
export type Metadata = {
|
|
5
|
+
sourceNames: string[];
|
|
6
|
+
sourceSpans: number[];
|
|
7
|
+
argNames: [number, string][];
|
|
8
|
+
names: [number, string][];
|
|
9
|
+
descriptions: [number, string][];
|
|
10
|
+
captures: [number, string][];
|
|
11
|
+
};
|
|
12
|
+
export declare function traverseTerms(root: Term, callback: (term: Term, index: number) => void): void;
|
|
13
|
+
export declare function termByIndex(root: Term): Map<number, Term>;
|
|
14
|
+
export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Metadata>;
|
|
15
|
+
export declare const encode: (metadata: Metadata) => number[];
|
|
16
|
+
export declare const fromRootTerm: (root: Term) => Metadata;
|
|
17
|
+
export declare function isEmpty(metadata: Metadata): boolean;
|
|
18
|
+
/**
|
|
19
|
+
* Metadata is applied to the UPLC Ast in 5 loops:
|
|
20
|
+
* 1. source spans
|
|
21
|
+
* 2. lambda arg names
|
|
22
|
+
* 3. term names
|
|
23
|
+
* 4. term descriptions
|
|
24
|
+
* 5. capture ids
|
|
25
|
+
*
|
|
26
|
+
* The Ast fields are mutated
|
|
27
|
+
* @param root
|
|
28
|
+
* @param metadata
|
|
29
|
+
*/
|
|
30
|
+
export declare function apply(root: Term, metadata: Metadata): void;
|
|
31
|
+
//# sourceMappingURL=Metadata.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Metadata.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Metadata.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC,MAAM,MAAM,QAAQ,GAAG;IACrB,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;IAC5B,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;IACzB,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;IAChC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;CAC7B,CAAA;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,GAC5C,IAAI,CAmCN;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAQzD;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,QAAQ,CA0B1B,CAAA;AAEH,eAAO,MAAM,MAAM,GAAI,UAAU,QAAQ,KAAG,MAAM,EAO9C,CAAA;AAWJ,eAAO,MAAM,YAAY,GAAI,MAAM,IAAI,KAAG,QAsDzC,CAAA;AAED,wBAAgB,OAAO,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CASnD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CA8D1D"}
|
|
@@ -1,9 +1,8 @@
|
|
|
1
|
-
import { Effect,
|
|
1
|
+
import { Effect, Schema } from "effect";
|
|
2
2
|
import * as Bytes from "../../Codecs/Bytes.js";
|
|
3
3
|
import * as Cbor from "../../Codecs/Cbor.js";
|
|
4
4
|
import type { ValidatorHash } from "../Ledger/ValidatorHash.js";
|
|
5
5
|
import * as Cek from "./Cek.js";
|
|
6
|
-
import * as Term from "./Term.js";
|
|
7
6
|
import * as Value from "./Value.js";
|
|
8
7
|
export declare const Version: Schema.Union<[Schema.Literal<[1]>, Schema.Literal<[2]>, Schema.Literal<[3]>]>;
|
|
9
8
|
export type Version = Schema.Schema.Type<typeof Version>;
|
|
@@ -54,7 +53,6 @@ export type Script<V extends Version = Version> = {
|
|
|
54
53
|
root: Uint8Array;
|
|
55
54
|
verbose?: Uint8Array | undefined;
|
|
56
55
|
};
|
|
57
|
-
export declare const entryPoint: (script: Script) => Either.Either<Term.Term, Error>;
|
|
58
56
|
export declare const decodeRoot: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<{
|
|
59
57
|
uplcVersion: string;
|
|
60
58
|
root: Uint8Array;
|
|
@@ -71,7 +69,7 @@ export declare function encode(script: Script): number[];
|
|
|
71
69
|
*/
|
|
72
70
|
declare const eval$: (script: Script, args: readonly Value.Value[] | undefined, costParams?: readonly number[] | undefined, logger?: Cek.Logger | undefined) => Effect.Effect<Cek.Result, Error, never>;
|
|
73
71
|
export declare const evalWithCapture: (script: Script, args: readonly Value.Value[] | undefined, costParams?: readonly number[] | undefined, logger?: Cek.Logger | undefined, capture?: Cek.CaptureConfig) => Effect.Effect<Cek.Result, Error, never>;
|
|
74
|
-
export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<
|
|
72
|
+
export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<2 | 1 | 3>, Error, never>;
|
|
75
73
|
export declare const extractParams: (script: Script) => Effect.Effect<Value.Value[], Error, never>;
|
|
76
74
|
export { eval$ as eval };
|
|
77
75
|
export declare function hash(script: Script): ValidatorHash;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAG/B,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,OAAO,+EAInB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAUxD;;;;;GAKG;AACH,eAAO,MAAM,MAAM;IAbjB;;OAEG;;;;;GAgBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IApBnB;;OAEG;;;;;GAuBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IA3BnB;;OAEG;;;;;GA8BJ,CAAA;AAED,eAAO,MAAM,QAAQ;IAlCnB;;OAEG;;;;;GAqCJ,CAAA;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI;IAChD,OAAO,EAAE,CAAC,CAAA;IACV,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAqB1D,CAAA;AAEJ,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,MAC7B,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAgCjD,CAAA;AAEN,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE/C;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,KAAK,GACT,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,aAAY,SAAS,MAAM,EAAE,GAAG,SAAqB,EACrD,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB,4CAOxC,CAAA;AAEJ,eAAO,MAAM,eAAe,GAC1B,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,aAAY,SAAS,MAAM,EAAE,GAAG,SAAqB,EACrD,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB,EAC1C,UAAS,GAAG,CAAC,aAAkB,4CAU7B,CAAA;AAkDJ,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,EAAE,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,mDAsC9D,CAAA;AAEJ,eAAO,MAAM,aAAa,GAAI,QAAQ,MAAM,+CAaxC,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAMlD;AAED,eAAO,MAAM,SAAS,GACnB,CAAC,SAAS,OAAO,EAAE,GAAG,CAAC,MACvB,QAAQ,MAAM,KAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CACf,CAAA"}
|
|
@@ -17,6 +17,8 @@ export type SourceSpan = Schema.Schema.Type<typeof SourceSpan>;
|
|
|
17
17
|
export declare const Apply: Schema.TaggedStruct<"Apply", {
|
|
18
18
|
fn: Schema.suspend<Term, Term, never>;
|
|
19
19
|
arg: Schema.suspend<Term, Term, never>;
|
|
20
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
21
|
+
description: Schema.optional<typeof Schema.String>;
|
|
20
22
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
21
23
|
file: typeof Schema.String;
|
|
22
24
|
start: Schema.Struct<{
|
|
@@ -33,11 +35,15 @@ export type Apply = {
|
|
|
33
35
|
_tag: "Apply";
|
|
34
36
|
fn: Term;
|
|
35
37
|
arg: Term;
|
|
38
|
+
capture?: string | undefined;
|
|
39
|
+
description?: string | undefined;
|
|
36
40
|
sourceSpan?: SourceSpan | undefined;
|
|
37
41
|
};
|
|
38
42
|
declare const Builtin$: Schema.TaggedStruct<"Builtin", {
|
|
39
43
|
id: typeof Schema.Int;
|
|
40
44
|
name: Schema.optional<typeof Schema.String>;
|
|
45
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
46
|
+
description: Schema.optional<typeof Schema.String>;
|
|
41
47
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
42
48
|
file: typeof Schema.String;
|
|
43
49
|
start: Schema.Struct<{
|
|
@@ -50,11 +56,20 @@ declare const Builtin$: Schema.TaggedStruct<"Builtin", {
|
|
|
50
56
|
}>>;
|
|
51
57
|
}>>;
|
|
52
58
|
}>;
|
|
53
|
-
type Builtin$ =
|
|
59
|
+
type Builtin$ = {
|
|
60
|
+
_tag: "Builtin";
|
|
61
|
+
id: number;
|
|
62
|
+
name?: string | undefined;
|
|
63
|
+
capture?: string | undefined;
|
|
64
|
+
description?: string | undefined;
|
|
65
|
+
sourceSpan?: SourceSpan | undefined;
|
|
66
|
+
};
|
|
54
67
|
export { Builtin$ as Builtin };
|
|
55
68
|
export declare const Case: Schema.TaggedStruct<"Case", {
|
|
56
69
|
arg: Schema.suspend<Term, Term, never>;
|
|
57
70
|
cases: Schema.Array$<Schema.suspend<Term, Term, never>>;
|
|
71
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
72
|
+
description: Schema.optional<typeof Schema.String>;
|
|
58
73
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
59
74
|
file: typeof Schema.String;
|
|
60
75
|
start: Schema.Struct<{
|
|
@@ -71,6 +86,8 @@ export type Case = {
|
|
|
71
86
|
_tag: "Case";
|
|
72
87
|
arg: Term;
|
|
73
88
|
cases: readonly Term[];
|
|
89
|
+
capture?: string | undefined;
|
|
90
|
+
description?: string | undefined;
|
|
74
91
|
sourceSpan?: SourceSpan | undefined;
|
|
75
92
|
};
|
|
76
93
|
export declare const Const: Schema.TaggedStruct<"Const", {
|
|
@@ -118,6 +135,8 @@ export declare const Const: Schema.TaggedStruct<"Const", {
|
|
|
118
135
|
mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
|
|
119
136
|
}>]>;
|
|
120
137
|
name: Schema.optional<typeof Schema.String>;
|
|
138
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
139
|
+
description: Schema.optional<typeof Schema.String>;
|
|
121
140
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
122
141
|
file: typeof Schema.String;
|
|
123
142
|
start: Schema.Struct<{
|
|
@@ -130,10 +149,19 @@ export declare const Const: Schema.TaggedStruct<"Const", {
|
|
|
130
149
|
}>>;
|
|
131
150
|
}>>;
|
|
132
151
|
}>;
|
|
133
|
-
export type Const =
|
|
152
|
+
export type Const = {
|
|
153
|
+
_tag: "Const";
|
|
154
|
+
value: Value.Value;
|
|
155
|
+
name?: string | undefined;
|
|
156
|
+
capture?: string | undefined;
|
|
157
|
+
description?: string | undefined;
|
|
158
|
+
sourceSpan?: SourceSpan | undefined;
|
|
159
|
+
};
|
|
134
160
|
export declare const Constr: Schema.TaggedStruct<"Constr", {
|
|
135
161
|
tag: typeof Schema.Int;
|
|
136
162
|
args: Schema.Array$<Schema.suspend<Term, Term, never>>;
|
|
163
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
164
|
+
description: Schema.optional<typeof Schema.String>;
|
|
137
165
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
138
166
|
file: typeof Schema.String;
|
|
139
167
|
start: Schema.Struct<{
|
|
@@ -150,10 +178,15 @@ export type Constr = {
|
|
|
150
178
|
_tag: "Constr";
|
|
151
179
|
tag: number;
|
|
152
180
|
args: readonly Term[];
|
|
181
|
+
capture?: string | undefined;
|
|
182
|
+
description?: string | undefined;
|
|
153
183
|
sourceSpan?: SourceSpan | undefined;
|
|
154
184
|
};
|
|
155
185
|
export declare const Delay: Schema.TaggedStruct<"Delay", {
|
|
156
186
|
arg: Schema.suspend<Term, Term, never>;
|
|
187
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
188
|
+
description: Schema.optional<typeof Schema.String>;
|
|
189
|
+
name: Schema.optional<typeof Schema.String>;
|
|
157
190
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
158
191
|
file: typeof Schema.String;
|
|
159
192
|
start: Schema.Struct<{
|
|
@@ -169,10 +202,14 @@ export declare const Delay: Schema.TaggedStruct<"Delay", {
|
|
|
169
202
|
export type Delay = {
|
|
170
203
|
_tag: "Delay";
|
|
171
204
|
arg: Term;
|
|
205
|
+
capture?: string | undefined;
|
|
206
|
+
description?: string | undefined;
|
|
172
207
|
sourceSpan?: SourceSpan | undefined;
|
|
173
208
|
name?: string | undefined;
|
|
174
209
|
};
|
|
175
210
|
declare const Error$: Schema.TaggedStruct<"Error", {
|
|
211
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
212
|
+
description: Schema.optional<typeof Schema.String>;
|
|
176
213
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
177
214
|
file: typeof Schema.String;
|
|
178
215
|
start: Schema.Struct<{
|
|
@@ -185,10 +222,17 @@ declare const Error$: Schema.TaggedStruct<"Error", {
|
|
|
185
222
|
}>>;
|
|
186
223
|
}>>;
|
|
187
224
|
}>;
|
|
188
|
-
type Error$ =
|
|
225
|
+
type Error$ = {
|
|
226
|
+
_tag: "Error";
|
|
227
|
+
capture?: string | undefined;
|
|
228
|
+
description?: string | undefined;
|
|
229
|
+
sourceSpan?: SourceSpan | undefined;
|
|
230
|
+
};
|
|
189
231
|
export { Error$ as Error };
|
|
190
232
|
export declare const Force: Schema.TaggedStruct<"Force", {
|
|
191
233
|
arg: Schema.suspend<Term, Term, never>;
|
|
234
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
235
|
+
description: Schema.optional<typeof Schema.String>;
|
|
192
236
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
193
237
|
file: typeof Schema.String;
|
|
194
238
|
start: Schema.Struct<{
|
|
@@ -204,11 +248,15 @@ export declare const Force: Schema.TaggedStruct<"Force", {
|
|
|
204
248
|
export type Force = {
|
|
205
249
|
_tag: "Force";
|
|
206
250
|
arg: Term;
|
|
251
|
+
capture?: string | undefined;
|
|
252
|
+
description?: string | undefined;
|
|
207
253
|
sourceSpan?: SourceSpan | undefined;
|
|
208
254
|
};
|
|
209
255
|
export declare const Lambda: Schema.TaggedStruct<"Lambda", {
|
|
210
256
|
body: Schema.suspend<Term, Term, never>;
|
|
211
257
|
argName: Schema.optional<typeof Schema.String>;
|
|
258
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
259
|
+
description: Schema.optional<typeof Schema.String>;
|
|
212
260
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
213
261
|
file: typeof Schema.String;
|
|
214
262
|
start: Schema.Struct<{
|
|
@@ -226,12 +274,16 @@ export type Lambda = {
|
|
|
226
274
|
_tag: "Lambda";
|
|
227
275
|
body: Term;
|
|
228
276
|
argName?: string | undefined;
|
|
277
|
+
capture?: string | undefined;
|
|
278
|
+
description?: string | undefined;
|
|
229
279
|
sourceSpan?: SourceSpan | undefined;
|
|
230
280
|
name?: string | undefined;
|
|
231
281
|
};
|
|
232
282
|
export declare const Var: Schema.TaggedStruct<"Var", {
|
|
233
283
|
index: typeof Schema.Int;
|
|
234
284
|
name: Schema.optional<typeof Schema.String>;
|
|
285
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
286
|
+
description: Schema.optional<typeof Schema.String>;
|
|
235
287
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
236
288
|
file: typeof Schema.String;
|
|
237
289
|
start: Schema.Struct<{
|
|
@@ -244,10 +296,19 @@ export declare const Var: Schema.TaggedStruct<"Var", {
|
|
|
244
296
|
}>>;
|
|
245
297
|
}>>;
|
|
246
298
|
}>;
|
|
247
|
-
export type Var =
|
|
299
|
+
export type Var = {
|
|
300
|
+
_tag: "Var";
|
|
301
|
+
index: number;
|
|
302
|
+
name?: string | undefined;
|
|
303
|
+
capture?: string | undefined;
|
|
304
|
+
description?: string | undefined;
|
|
305
|
+
sourceSpan?: SourceSpan | undefined;
|
|
306
|
+
};
|
|
248
307
|
export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
249
308
|
fn: Schema.suspend<Term, Term, never>;
|
|
250
309
|
arg: Schema.suspend<Term, Term, never>;
|
|
310
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
311
|
+
description: Schema.optional<typeof Schema.String>;
|
|
251
312
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
252
313
|
file: typeof Schema.String;
|
|
253
314
|
start: Schema.Struct<{
|
|
@@ -262,6 +323,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
262
323
|
}>, Schema.TaggedStruct<"Builtin", {
|
|
263
324
|
id: typeof Schema.Int;
|
|
264
325
|
name: Schema.optional<typeof Schema.String>;
|
|
326
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
327
|
+
description: Schema.optional<typeof Schema.String>;
|
|
265
328
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
266
329
|
file: typeof Schema.String;
|
|
267
330
|
start: Schema.Struct<{
|
|
@@ -276,6 +339,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
276
339
|
}>, Schema.TaggedStruct<"Case", {
|
|
277
340
|
arg: Schema.suspend<Term, Term, never>;
|
|
278
341
|
cases: Schema.Array$<Schema.suspend<Term, Term, never>>;
|
|
342
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
343
|
+
description: Schema.optional<typeof Schema.String>;
|
|
279
344
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
280
345
|
file: typeof Schema.String;
|
|
281
346
|
start: Schema.Struct<{
|
|
@@ -332,6 +397,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
332
397
|
mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
|
|
333
398
|
}>]>;
|
|
334
399
|
name: Schema.optional<typeof Schema.String>;
|
|
400
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
401
|
+
description: Schema.optional<typeof Schema.String>;
|
|
335
402
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
336
403
|
file: typeof Schema.String;
|
|
337
404
|
start: Schema.Struct<{
|
|
@@ -346,6 +413,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
346
413
|
}>, Schema.TaggedStruct<"Constr", {
|
|
347
414
|
tag: typeof Schema.Int;
|
|
348
415
|
args: Schema.Array$<Schema.suspend<Term, Term, never>>;
|
|
416
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
417
|
+
description: Schema.optional<typeof Schema.String>;
|
|
349
418
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
350
419
|
file: typeof Schema.String;
|
|
351
420
|
start: Schema.Struct<{
|
|
@@ -359,6 +428,9 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
359
428
|
}>>;
|
|
360
429
|
}>, Schema.TaggedStruct<"Delay", {
|
|
361
430
|
arg: Schema.suspend<Term, Term, never>;
|
|
431
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
432
|
+
description: Schema.optional<typeof Schema.String>;
|
|
433
|
+
name: Schema.optional<typeof Schema.String>;
|
|
362
434
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
363
435
|
file: typeof Schema.String;
|
|
364
436
|
start: Schema.Struct<{
|
|
@@ -371,6 +443,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
371
443
|
}>>;
|
|
372
444
|
}>>;
|
|
373
445
|
}>, Schema.TaggedStruct<"Error", {
|
|
446
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
447
|
+
description: Schema.optional<typeof Schema.String>;
|
|
374
448
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
375
449
|
file: typeof Schema.String;
|
|
376
450
|
start: Schema.Struct<{
|
|
@@ -384,6 +458,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
384
458
|
}>>;
|
|
385
459
|
}>, Schema.TaggedStruct<"Force", {
|
|
386
460
|
arg: Schema.suspend<Term, Term, never>;
|
|
461
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
462
|
+
description: Schema.optional<typeof Schema.String>;
|
|
387
463
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
388
464
|
file: typeof Schema.String;
|
|
389
465
|
start: Schema.Struct<{
|
|
@@ -398,6 +474,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
398
474
|
}>, Schema.TaggedStruct<"Lambda", {
|
|
399
475
|
body: Schema.suspend<Term, Term, never>;
|
|
400
476
|
argName: Schema.optional<typeof Schema.String>;
|
|
477
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
478
|
+
description: Schema.optional<typeof Schema.String>;
|
|
401
479
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
402
480
|
file: typeof Schema.String;
|
|
403
481
|
start: Schema.Struct<{
|
|
@@ -413,6 +491,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
|
|
|
413
491
|
}>, Schema.TaggedStruct<"Var", {
|
|
414
492
|
index: typeof Schema.Int;
|
|
415
493
|
name: Schema.optional<typeof Schema.String>;
|
|
494
|
+
capture: Schema.optional<typeof Schema.String>;
|
|
495
|
+
description: Schema.optional<typeof Schema.String>;
|
|
416
496
|
sourceSpan: Schema.optional<Schema.Struct<{
|
|
417
497
|
file: typeof Schema.String;
|
|
418
498
|
start: Schema.Struct<{
|
|
@@ -433,8 +513,33 @@ export type Term = Apply | Builtin$ | Case | Const | Constr | Delay | Error$ | F
|
|
|
433
513
|
*/
|
|
434
514
|
export declare function flatSize(term: Term): number;
|
|
435
515
|
export declare function flatTag(term: Term): number;
|
|
516
|
+
/**
|
|
517
|
+
* Verbose encoding format:
|
|
518
|
+
*
|
|
519
|
+
* {
|
|
520
|
+
* 0: CBORBytes(root flat bytes (i.e. what would be returned if verbose == false)),
|
|
521
|
+
* 1: {
|
|
522
|
+
* 0: CBORList<String> (source names list),
|
|
523
|
+
* 1: CBORList<Int> (flattened source mapping tuples [termIndex, sourceIndex, startLine, startColumn, endLine, endColumn], endLine==-1 and endColumn==-1 means absence of end of sourceSpan, sourceIndex is the index in the source names list),
|
|
524
|
+
* 2: CBORMap<Int, String> (lambda arg names, key is term index)
|
|
525
|
+
* 3: CBORMap<Int, String> (term names, key is term index)
|
|
526
|
+
* 4: CBORMap<Int, String> (term descriptions, key is termIndex)
|
|
527
|
+
* 5: CBORMap<Int, String> (capture names/ids, key is termIndex)
|
|
528
|
+
* }
|
|
529
|
+
* }
|
|
530
|
+
*/
|
|
436
531
|
export declare const decodeRoot: (bytes: Bytes.BytesLike) => Either.Either<Term, Error>;
|
|
437
|
-
|
|
532
|
+
/**
|
|
533
|
+
* @param uplcVersion
|
|
534
|
+
* @param term
|
|
535
|
+
* @param verbose
|
|
536
|
+
* Optional, defaults to false.
|
|
537
|
+
* Note that if verbose==true but metadata is empty, the plain flat encoded program without metadata is still returned
|
|
538
|
+
*
|
|
539
|
+
* @returns
|
|
540
|
+
* The encoded program
|
|
541
|
+
*/
|
|
542
|
+
export declare const encodeRoot: (uplcVersion: "1.0.0" | "1.1.0", term: Term, verbose?: boolean) => Uint8Array;
|
|
438
543
|
/**
|
|
439
544
|
* Reads a single Term using stack-based algorithm for its children
|
|
440
545
|
* @param param0
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Term.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Term.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;
|
|
1
|
+
{"version":3,"file":"Term.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Term.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,UAAU;;;;;;;;;;EAYrB,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAI9D,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,IAAI,CAAA;IACR,GAAG,EAAE,IAAI,CAAA;IACT,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,QAAA,MAAM,QAAQ;;;;;;;;;;;;;;;;EAMZ,CAAA;AAEF,KAAK,QAAQ,GAAG;IACd,IAAI,EAAE,SAAS,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,CAAA;AAE9B,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;EAMf,CAAA;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,IAAI,CAAA;IACT,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;IACtB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAGD,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;EAMjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,SAAS,IAAI,EAAE,CAAA;IACrB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,QAAA,MAAM,MAAM;;;;;;;;;;;;;;EAIV,CAAA;AAEF,KAAK,MAAM,GAAG;IACZ,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;EAKhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;EAOjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;EAMd,CAAA;AAEF,MAAM,MAAM,GAAG,GAAG;IAChB,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAWhB,CAAA;AAED,MAAM,MAAM,IAAI,GACZ,KAAK,GACL,QAAQ,GACR,IAAI,GACJ,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,GAAG,CAAA;AAEP;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAyB3C;AAaD,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAuB1C;AAUD;;;;;;;;;;;;;;GAcG;AAEH,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CA0B5E,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,GACrB,aAAa,OAAO,GAAG,OAAO,EAC9B,MAAM,IAAI,EACV,UAAS,OAAe,KACvB,UAyBF,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,iBAAiB;IAAE,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAA;CAAE,MACrE,GAAG,IAAI,CAAC,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CA2K1C,CAAA;AAEH;;;GAGG;AACH,eAAO,MAAM,MAAM,GAChB,GAAG,IAAI,CAAC,MAAM,MACd,MAAM,IAAI,KAAG,IAgGb,CAAA;AAEH;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CA2B3C"}
|