npm - @helios-lang/effect - Versions diffs - 0.6.11 → 0.6.12 - Mend

@helios-lang/effect 0.6.11 → 0.6.12

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.

Files changed (15) hide show

package/dist/Cardano/Uplc/Cek.js +23 -2
package/dist/Cardano/Uplc/Cek.js.map +1 -1
package/dist/Cardano/Uplc/Script.js +48 -33
package/dist/Cardano/Uplc/Script.js.map +1 -1
package/package.json +1 -1
package/types/Cardano/Contract.d.ts +19 -19
package/types/Cardano/Ledger/Tx.d.ts +1 -1
package/types/Cardano/Ledger/UTxO.d.ts +4 -4
package/types/Cardano/ScriptContext.d.ts +10 -10
package/types/Cardano/TxBuilder.d.ts +2 -2
package/types/Cardano/Uplc/Cek.d.ts +16 -1
package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
package/types/Cardano/Uplc/Script.d.ts +2 -13
package/types/Cardano/Uplc/Script.d.ts.map +1 -1
package/types/Cardano/Wallet.d.ts +1 -1

package/dist/Cardano/Uplc/Cek.js CHANGED Viewed

@@ -11,6 +11,7 @@ import { memSize } from "./Value.js";
 function eval$(entryPoint, evalContext) {
     const tracker = new Cost.Tracker(Cost.makeModel(evalContext.costParams, evalContext.builtins));
     const logs = [];
+    const captured = [];
     // initialize the machine state
     let state = {
         kind: "computing",
@@ -33,6 +34,14 @@ function eval$(entryPoint, evalContext) {
         },
         popLastMessage: () => {
             return logs.pop()?.message;
+        },
+        captureValue: (id, value, callSite) => {
+            captured.push({
+                index: captured.length,
+                id,
+                value,
+                callSite
+            });
         }
     };
     // initialize the execution cost
@@ -116,7 +125,8 @@ function eval$(entryPoint, evalContext) {
                 cpu: tracker.cpu
             },
             logs: logs,
-            breakdown: tracker.breakdown
+            breakdown: tracker.breakdown,
+            captured
         };
     }
     else if (state.kind == "error") {
@@ -130,7 +140,8 @@ function eval$(entryPoint, evalContext) {
                 cpu: tracker.cpu
             },
             logs: logs,
-            breakdown: tracker.breakdown
+            breakdown: tracker.breakdown,
+            captured
         };
     }
     else {
@@ -138,6 +149,12 @@ function eval$(entryPoint, evalContext) {
     }
 }
 export { eval$ as eval };
+export function evalWithCapture(entryPoint, evalContext) {
+    return eval$(entryPoint, {
+        ...evalContext,
+        capture: evalContext.capture ?? {}
+    });
+}
 function computeApplyTerm({ term, stack, frames }, machineContext) {
     machineContext.cost.incrApplyCost();
     return {
@@ -586,6 +603,10 @@ function reduceApplyToFrame(frames, leftValue, rightValue, frameStack, ctx, info
             ...rightValue,
             name: info.argName
         };
+        const capturePrefix = ctx.capture?.prefix ?? "__helios_capture:";
+        if (info.argName.startsWith(capturePrefix)) {
+            ctx.captureValue(info.argName.slice(capturePrefix.length), rightValue, info.callSite);
+        }
     }
     if (leftValue._tag == "Lambda") {
         /**

package/dist/Cardano/Uplc/Cek.js.map CHANGED Viewed

	@@ -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;AAsUpC;;;;;;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;IAEvE,+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;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;SAC7B,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;SAC7B,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,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;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,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"}

package/dist/Cardano/Uplc/Script.js CHANGED Viewed

@@ -83,41 +83,56 @@ export function encode(script) {
  * @param costParams
  */
 const eval$ = (script, args, costParams = undefined, logger = undefined) => Effect.gen(function* () {
-    let root = yield* entryPoint(script);
-    if (args !== undefined) {
-        if (args.length == 0) {
-            root = { _tag: "Force", arg: root };
-        }
-        else {
-            for (const arg of args) {
-                root = { _tag: "Apply", fn: root, arg: { _tag: "Const", value: arg } };
-            }
-        }
-    }
-    const ctx = (() => {
-        switch (script.version) {
-            case 1:
-                return {
-                    builtins: Builtins.V1,
-                    costParams: costParams ?? Cost.PARAMS_V1_CONWAY,
-                    logger
-                };
-            case 2:
-                return {
-                    builtins: Builtins.V2,
-                    costParams: costParams ?? Cost.PARAMS_V2_CONWAY,
-                    logger
-                };
-            case 3:
-                return {
-                    builtins: Builtins.V3,
-                    costParams: costParams ?? Cost.PARAMS_V3_CONWAY,
-                    logger
-                };
-        }
-    })();
+    const root = yield* entryPointWithArgs(script, args);
+    const ctx = evalContext(script, costParams, logger);
     return Cek.eval(root, ctx);
 });
+export const evalWithCapture = (script, args, costParams = undefined, logger = undefined, capture = {}) => Effect.gen(function* () {
+    const root = yield* entryPointWithArgs(script, args);
+    const ctx = evalContext(script, costParams, logger);
+    return Cek.evalWithCapture(root, {
+        ...ctx,
+        capture
+    });
+});
+function evalContext(script, costParams, logger) {
+    switch (script.version) {
+        case 1:
+            return {
+                builtins: Builtins.V1,
+                costParams: costParams ?? Cost.PARAMS_V1_CONWAY,
+                logger
+            };
+        case 2:
+            return {
+                builtins: Builtins.V2,
+                costParams: costParams ?? Cost.PARAMS_V2_CONWAY,
+                logger
+            };
+        case 3:
+            return {
+                builtins: Builtins.V3,
+                costParams: costParams ?? Cost.PARAMS_V3_CONWAY,
+                logger
+            };
+    }
+}
+function entryPointWithArgs(script, args) {
+    return Effect.gen(function* () {
+        let root = yield* entryPoint(script);
+        if (args !== undefined) {
+            if (args.length == 0) {
+                root = { _tag: "Force", arg: root };
+            }
+            else {
+                for (const arg of args) {
+                    root = { _tag: "Apply", fn: root, arg: { _tag: "Const", value: arg } };
+                }
+            }
+        }
+        return root;
+    });
+}
 export const apply = (script, args) => Effect.gen(function* () {
     let rootTerm = yield* entryPoint(script);
     for (const arg of args) {

package/dist/Cardano/Uplc/Script.js.map CHANGED Viewed

	@@ -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,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAE1E,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,~~IAAI~~,IAAI,GAAG,KAAK,CAAC,CAAC,~~UAAU~~,CAAC,MAAM,CAAC,CAAA;~~IAEpC~~,~~IAAI~~,~~IAAI~~,~~KAAK~~,~~SAAS~~,~~EAAE,~~CAAC~~;QACvB~~,~~IAAI~~,~~IAAI~~,~~CAAC~~,MAAM,~~IAAI,~~CAAC,~~EAAE,CAAC~~;~~YACrB~~,~~IAAI~~,GAAG,~~EAAE~~,IAAI,~~EAAE~~,~~OAAO~~,EAAE,GAAG,~~EAAE~~,~~IAAI,EAAE,~~CAAA;~~QACrC~~,CAAC~~;aAAM~~,CAAC;~~YACN~~,~~KAAK~~,MAAM,GAAG,~~IAAI~~,~~IAAI~~,EAAE,CAAC;~~gBACvB~~,IAAI,GAAG,~~EAAE~~,~~IAAI~~,~~EAAE~~,~~OAAO~~,~~EAAE~~,~~EAAE~~,EAAE,IAAI,~~EAAE~~,GAAG,~~EAAE~~,EAAE,~~IAAI~~,EAAE,OAAO,~~EAAE~~,~~KAAK~~,EAAE,GAAG,~~EAAE~~,~~EAAE~~,CAAA;~~YACxE~~,CAAC~~;QACH~~,CAAC~~;IACH~~,~~CAAC~~;~~IAED~~,~~MAAM~~,~~GAAG~~,~~GAAoB~~,~~CAAC~~,~~GAAG~~,~~EAAE~~;~~QACjC~~,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;~~YACvB~~,KAAK,CAAC;~~gBACJ~~,OAAO;~~oBACL~~,QAAQ,EAAE,QAAQ,CAAC,EAAE;~~oBACrB~~,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;~~oBAC~~/C,MAAM;~~iBACP~~,CAAA;~~YACH~~,KAAK,CAAC;~~gBACJ~~,OAAO;~~oBACL~~,QAAQ,EAAE,QAAQ,CAAC,EAAE;~~oBACrB~~,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;~~oBAC~~/C,MAAM;~~iBACP~~,CAAA;~~YACH~~,KAAK,CAAC;~~gBACJ~~,OAAO;~~oBACL~~,QAAQ,EAAE,QAAQ,CAAC,EAAE;~~oBACrB~~,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;~~oBAC~~/C,MAAM;~~iBACP~~,CAAA;~~QACL~~,CAAC;~~IACH~~,CAAC,CAAC,~~EAAE~~,CAAA;~~IAEJ~~,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;~~AAC5B~~,CAAC,CAAC,CAAA;~~AAEJ~~,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,UAAU,CAAC,MAAM,CAAC,CAAA;IAExC,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,UAAU,CAAC;YACtC,GAAG,MAAM;YACT,IAAI,EAAE,MAAM,CAAC,OAAO;SACrB,CAAC,CAAA;QAEF,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,UAAU,CAAC,MAAM,CAAC,CAAA;IAEpC,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	+ {"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,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAE1E,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,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;IAEnD,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,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;IAEnD,OAAO,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE;QAC/B,GAAG,GAAG;QACN,OAAO;KACR,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEJ,SAAS,WAAW,CAClB,MAAc,EACd,UAAyC,EACzC,MAA8B;IAE9B,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;QACvB,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,UAAU,CAAC,MAAM,CAAC,CAAA;QAEpC,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,UAAU,CAAC,MAAM,CAAC,CAAA;IAExC,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,UAAU,CAAC;YACtC,GAAG,MAAM;YACT,IAAI,EAAE,MAAM,CAAC,OAAO;SACrB,CAAC,CAAA;QAEF,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,UAAU,CAAC,MAAM,CAAC,CAAA;IAEpC,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"}

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@helios-lang/effect",
-  "version": "0.6.11",
+  "version": "0.6.12",
   "description": "",
   "type": "module",
   "main": "./dist/index.js",

package/types/Cardano/Contract.d.ts CHANGED Viewed

@@ -3,7 +3,7 @@ import { Assets, PubKeyHash, ValidatorHash, UTxO, UTxORef } from "./Ledger/index
 import { Data, Script } from "./Uplc/index.js";
 import * as Network from "./Network/index.js";
 import * as TxBuilder from "./TxBuilder.js";
-export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<2 | 1 | 3>, Error, never>;
+export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<1 | 2 | 3>, Error, never>;
 declare const Contract_base: Context.TagClass<Contract, "Cardano.Contract", Script.Script<3>>;
 export declare class Contract extends Contract_base {
 }
@@ -63,23 +63,23 @@ declare const $utxos: () => Effect.Effect<{
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
-}[], Network.ConnectionError | Network.UnexpectedFormat, Network.UTxOsAt | Network.IsMainnet | Contract>;
+}[], Network.ConnectionError | Network.UnexpectedFormat, Network.IsMainnet | Network.UTxOsAt | Contract>;
 export { $utxos as utxos };
-export declare const initialize: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.UTxO | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const addValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const addValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract | R>;
-export declare const addAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const addAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract | R>;
-export declare const addWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const addWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract | R>;
-export declare const removeValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const removeValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract | R>;
-export declare const removeAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const removeAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract | R>;
-export declare const removeWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const removeWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract | R>;
-export declare const mint: (assets: Assets.Assets) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | Contract>;
-export declare const mintEffect: (assets: Assets.Assets) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | Contract | R>;
-export declare const spend: (inputs: UTxO.UTxO | UTxO.UTxO[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract>;
-export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | Contract | R>;
+export declare const initialize: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxO | TxBuilder.GetDatum | Contract>;
+export declare const addValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
+export declare const addValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
+export declare const addAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
+export declare const addAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
+export declare const addWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
+export declare const addWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
+export declare const removeValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
+export declare const removeValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
+export declare const removeAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
+export declare const removeAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
+export declare const removeWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
+export declare const removeWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
+export declare const mint: (assets: Assets.Assets) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | Contract>;
+export declare const mintEffect: (assets: Assets.Assets) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | Contract | R>;
+export declare const spend: (inputs: UTxO.UTxO | UTxO.UTxO[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
+export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
 //# sourceMappingURL=Contract.d.ts.map

package/types/Cardano/Ledger/Tx.d.ts CHANGED Viewed

@@ -113,7 +113,7 @@ export type MetadataAttr = string | number | readonly MetadataAttr[] | Readonly<
 export declare const empty: Tx;
 export declare const decode: (options?: {
     trusted?: boolean;
-}) => (bytes: Bytes.BytesLike) => Effect.Effect<Tx, import("../Network/errors.js").ConnectionError | import("../Network/errors.js").UnexpectedFormat | Bytes.EndOfStreamError | Cbor.DecodeError | import("../Network/errors.js").UTxONotFound, import("../Network/UTxO.js").UTxO>;
+}) => (bytes: Bytes.BytesLike) => Effect.Effect<Tx, Bytes.EndOfStreamError | Cbor.DecodeError | import("../Network/errors.js").ConnectionError | import("../Network/errors.js").UnexpectedFormat | import("../Network/errors.js").UTxONotFound, import("../Network/UTxO.js").UTxO>;
 export declare const encode: (options?: {
     forFeeCalculation?: boolean;
     full?: boolean;

package/types/Cardano/Ledger/UTxO.d.ts CHANGED Viewed

@@ -306,11 +306,11 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
                 readonly fields: readonly Data.Data[];
                 readonly constructor: number;
             }, never>, Schema.Option<Schema.Schema<{
-                readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
                 readonly _tag: "PubKey";
+                readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
             } | {
-                readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
                 readonly _tag: "Validator";
+                readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
             }, {
                 readonly bytes: Uint8Array<ArrayBufferLike>;
             } | {
@@ -853,11 +853,11 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
                 readonly fields: readonly Data.Data[];
                 readonly constructor: number;
             }, never>, Schema.Option<Schema.Schema<{
-                readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
                 readonly _tag: "PubKey";
+                readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
             } | {
-                readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
                 readonly _tag: "Validator";
+                readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
             }, {
                 readonly bytes: Uint8Array<ArrayBufferLike>;
             } | {

package/types/Cardano/ScriptContext.d.ts CHANGED Viewed

@@ -1160,7 +1160,6 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
 } & {
     dcert: import("./Ledger/DCert.js").DCert;
 }), Data.Data, never>, Schema.SchemaClass<{
-    readonly policyIndex: number;
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1176,11 +1175,12 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Minting";
+    readonly policyIndex: number;
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Minting";
 } | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
@@ -1197,11 +1197,11 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Spending";
     readonly inputIndex: number;
 } | {
     readonly data: {
@@ -1219,11 +1219,11 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Rewarding";
     readonly withdrawalIndex: number;
 } | {
     readonly data: {
@@ -1241,14 +1241,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Certifying";
     readonly dcertIndex: number;
 }, {
-    readonly policyIndex: number;
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1264,11 +1263,12 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Minting";
+    readonly policyIndex: number;
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Minting";
 } | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
@@ -1285,11 +1285,11 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Spending";
     readonly inputIndex: number;
 } | {
     readonly data: {
@@ -1307,11 +1307,11 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Rewarding";
     readonly withdrawalIndex: number;
 } | {
     readonly data: {
@@ -1329,11 +1329,11 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly _tag: "Certifying";
     readonly dcertIndex: number;
 }, never>, CurrentTx>;
 export {};

package/types/Cardano/TxBuilder.d.ts CHANGED Viewed

@@ -264,7 +264,7 @@ export interface BabelFeeOptions {
      */
     readonly assetClass: AssetClass.AssetClass;
 }
-export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | Network.UTxO | Network.IsMainnet | BalancingWallet>;
-export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError | E, Network.Params.params | Network.UTxO | Network.IsMainnet | BalancingWallet | R>;
+export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet>;
+export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError | E, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet | R>;
 export {};
 //# sourceMappingURL=TxBuilder.d.ts.map

package/types/Cardano/Uplc/Cek.d.ts CHANGED Viewed

@@ -6,6 +6,16 @@ export type EvalContext = {
     builtins: readonly Builtin[];
     costParams: readonly number[];
     logger?: Logger | undefined;
+    capture?: CaptureConfig | undefined;
+};
+export type CaptureConfig = {
+    prefix?: string | undefined;
+};
+export type CapturedValue = {
+    index: number;
+    id: string;
+    value: Value;
+    callSite?: CallSite | undefined;
 };
 /**
  * The context that terms and frames need to operate.
@@ -14,6 +24,7 @@ export interface MachineContext extends EvalContext {
     readonly cost: Cost.Tracker;
     print(message: string, site?: CallSite): void;
     popLastMessage(): string | undefined;
+    captureValue(id: string, value: Value, callSite?: CallSite | undefined): void;
 }
 /**
  * `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):
@@ -102,7 +113,7 @@ export interface Logger {
 /**
  * Return value is optional and can be omitted if the UplcValue doesn't suffice to contain it (eg. lambda functions).
  */
-type Result = {
+export type Result = {
     value: Either.Either<Value, {
         error: string;
         callSites: CallSite[];
@@ -113,6 +124,7 @@ type Result = {
         callSite?: CallSite | undefined;
     }[];
     breakdown: Cost.Breakdown;
+    captured: CapturedValue[];
 };
 /**
  * This is main evaluation function of the CEK Machine
@@ -123,6 +135,9 @@ type Result = {
  */
 declare function eval$(entryPoint: Term, evalContext: EvalContext): Result;
 export { eval$ as eval };
+export declare function evalWithCapture(entryPoint: Term, evalContext: Omit<EvalContext, "capture"> & {
+    capture?: CaptureConfig | undefined;
+}): Result;
 /**
  * @param callSite
  * @returns

package/types/Cardano/Uplc/Cek.d.ts.map CHANGED Viewed

	@@ -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;CAC5B,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;~~CACrC~~;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,~~KAAK~~,MAAM,GAAG;~~IACZ~~,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;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,MAAM,~~CAwIjE~~;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;~~AAyTxB~~;;;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;~~AA8RD~~;;GAEG"}
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,SAAS,GAAG,IAAI,CAAA;CAC9E;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;AAuSD;;GAEG"}

package/types/Cardano/Uplc/Script.d.ts CHANGED Viewed

@@ -3,7 +3,6 @@ import * as Bytes from "../../Codecs/Bytes.js";
 import * as Cbor from "../../Codecs/Cbor.js";
 import type { ValidatorHash } from "../Ledger/ValidatorHash.js";
 import * as Cek from "./Cek.js";
-import * as Cost from "./Cost.js";
 import * as Term from "./Term.js";
 import * as Value from "./Value.js";
 export declare const Version: Schema.Union<[Schema.Literal<[1]>, Schema.Literal<[2]>, Schema.Literal<[3]>]>;
@@ -70,18 +69,8 @@ export declare function encode(script: Script): number[];
  * If non-empty -> apply consecutive const terms
  * @param costParams
  */
-declare const eval$: (script: Script, args: readonly Value.Value[] | undefined, costParams?: readonly number[] | undefined, logger?: Cek.Logger | undefined) => Effect.Effect<{
-    value: Either.Either<Cek.Value, {
-        error: string;
-        callSites: Cek.CallSite[];
-    }>;
-    cost: Cost.Cost;
-    logs: {
-        message: string;
-        callSite?: Cek.CallSite | undefined;
-    }[];
-    breakdown: Cost.Breakdown;
-}, Error, never>;
+declare const eval$: (script: Script, args: readonly Value.Value[] | undefined, costParams?: readonly number[] | undefined, logger?: Cek.Logger | undefined) => Effect.Effect<Cek.Result, Error, never>;
+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>;
 export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<1 | 2 | 3>, Error, never>;
 export declare const extractParams: (script: Script) => Effect.Effect<Value.Value[], Error, never>;
 export { eval$ as eval };

package/types/Cardano/Uplc/Script.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAY,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;~~AAC~~/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,~~IAAI,MAAM,WAAW,CAAA;AACjC,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,GAAI,QAAQ,MAAM,oCAAiC,CAAA;AAE1E,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~~;;;;;;;;gBAiH2+I~~,~~CAAC;;;gBA1EphJ~~,CAAA;AAEJ,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,EAAE,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,mDAyC9D,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"}
1	+ {"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAY,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;AAE/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,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,GAAI,QAAQ,MAAM,oCAAiC,CAAA;AAE1E,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,mDAyC9D,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"}

package/types/Cardano/Wallet.d.ts CHANGED Viewed

@@ -67,7 +67,7 @@ export declare const Phrase: (phrase: string | string[], account?: number, subAc
         key: string & import("effect/Brand").Brand<"Crypto.Bip32.VerificationKey">;
     }, Error, never>;
     signTx: (tx: Tx.Tx) => Effect.Effect<Bip32.Signature[], never, never>;
-}, Bip39.InvalidPhraseLength | Bip39.InvalidWord | Bip39.InvalidChecksum, Network.UTxOsAt | Network.IsMainnet>;
+}, Bip39.InvalidPhraseLength | Bip39.InvalidWord | Bip39.InvalidChecksum, Network.IsMainnet | Network.UTxOsAt>;
 export declare const Browser: (_handle: unknown) => never;
 export {};
 //# sourceMappingURL=Wallet.d.ts.map