@helios-lang/effect 0.6.10 → 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 (14) hide show
  1. package/dist/Cardano/Network/Txs.js +0 -1
  2. package/dist/Cardano/Network/Txs.js.map +1 -1
  3. package/dist/Cardano/Uplc/Cek.js +23 -2
  4. package/dist/Cardano/Uplc/Cek.js.map +1 -1
  5. package/dist/Cardano/Uplc/Script.js +48 -33
  6. package/dist/Cardano/Uplc/Script.js.map +1 -1
  7. package/package.json +1 -1
  8. package/types/Cardano/Network/Txs.d.ts +10 -4
  9. package/types/Cardano/Network/Txs.d.ts.map +1 -1
  10. package/types/Cardano/ScriptContext.d.ts +8 -8
  11. package/types/Cardano/Uplc/Cek.d.ts +16 -1
  12. package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
  13. package/types/Cardano/Uplc/Script.d.ts +2 -13
  14. package/types/Cardano/Uplc/Script.d.ts.map +1 -1
package/dist/Cardano/Network/Txs.js CHANGED
@@ -2,7 +2,6 @@ import { Context, Effect } from "effect";
2
2
  /**
3
3
  * A service that returns all transactions that spend from the given address, or pay to the given address
4
4
  *
5
- * TODO: add config for filtering, pagination etc. (these can potentially be a lot of transactions!)
6
5
  * TODO: add filtering by AssetClass
7
6
  */
8
7
  export class Txs extends Context.Tag("Cardano.Network.Txs")() {
package/dist/Cardano/Network/Txs.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Txs.js","sourceRoot":"","sources":["../../../src/Cardano/Network/Txs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAKxC;;;;;GAKG;AACH,MAAM,OAAO,GAAI,SAAQ,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAWxD;CAAG"}
1
+ {"version":3,"file":"Txs.js","sourceRoot":"","sources":["../../../src/Cardano/Network/Txs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAgBxC;;;;GAIG;AACH,MAAM,OAAO,GAAI,SAAQ,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAWxD;CAAG"}
package/dist/Cardano/Uplc/Cek.js CHANGED
@@ -11,6 +11,7 @@ import { memSize } from "./Value.js";
11
11
  function eval$(entryPoint, evalContext) {
12
12
  const tracker = new Cost.Tracker(Cost.makeModel(evalContext.costParams, evalContext.builtins));
13
13
  const logs = [];
14
+ const captured = [];
14
15
  // initialize the machine state
15
16
  let state = {
16
17
  kind: "computing",
@@ -33,6 +34,14 @@ function eval$(entryPoint, evalContext) {
33
34
  },
34
35
  popLastMessage: () => {
35
36
  return logs.pop()?.message;
37
+ },
38
+ captureValue: (id, value, callSite) => {
39
+ captured.push({
40
+ index: captured.length,
41
+ id,
42
+ value,
43
+ callSite
44
+ });
36
45
  }
37
46
  };
38
47
  // initialize the execution cost
@@ -116,7 +125,8 @@ function eval$(entryPoint, evalContext) {
116
125
  cpu: tracker.cpu
117
126
  },
118
127
  logs: logs,
119
- breakdown: tracker.breakdown
128
+ breakdown: tracker.breakdown,
129
+ captured
120
130
  };
121
131
  }
122
132
  else if (state.kind == "error") {
@@ -130,7 +140,8 @@ function eval$(entryPoint, evalContext) {
130
140
  cpu: tracker.cpu
131
141
  },
132
142
  logs: logs,
133
- breakdown: tracker.breakdown
143
+ breakdown: tracker.breakdown,
144
+ captured
134
145
  };
135
146
  }
136
147
  else {
@@ -138,6 +149,12 @@ function eval$(entryPoint, evalContext) {
138
149
  }
139
150
  }
140
151
  export { eval$ as eval };
152
+ export function evalWithCapture(entryPoint, evalContext) {
153
+ return eval$(entryPoint, {
154
+ ...evalContext,
155
+ capture: evalContext.capture ?? {}
156
+ });
157
+ }
141
158
  function computeApplyTerm({ term, stack, frames }, machineContext) {
142
159
  machineContext.cost.incrApplyCost();
143
160
  return {
@@ -586,6 +603,10 @@ function reduceApplyToFrame(frames, leftValue, rightValue, frameStack, ctx, info
586
603
  ...rightValue,
587
604
  name: info.argName
588
605
  };
606
+ const capturePrefix = ctx.capture?.prefix ?? "__helios_capture:";
607
+ if (info.argName.startsWith(capturePrefix)) {
608
+ ctx.captureValue(info.argName.slice(capturePrefix.length), rightValue, info.callSite);
609
+ }
589
610
  }
590
611
  if (leftValue._tag == "Lambda") {
591
612
  /**
package/dist/Cardano/Uplc/Cek.js.map CHANGED
@@ -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
@@ -83,41 +83,56 @@ export function encode(script) {
83
83
  * @param costParams
84
84
  */
85
85
  const eval$ = (script, args, costParams = undefined, logger = undefined) => Effect.gen(function* () {
86
- let root = yield* entryPoint(script);
87
- if (args !== undefined) {
88
- if (args.length == 0) {
89
- root = { _tag: "Force", arg: root };
90
- }
91
- else {
92
- for (const arg of args) {
93
- root = { _tag: "Apply", fn: root, arg: { _tag: "Const", value: arg } };
94
- }
95
- }
96
- }
97
- const ctx = (() => {
98
- switch (script.version) {
99
- case 1:
100
- return {
101
- builtins: Builtins.V1,
102
- costParams: costParams ?? Cost.PARAMS_V1_CONWAY,
103
- logger
104
- };
105
- case 2:
106
- return {
107
- builtins: Builtins.V2,
108
- costParams: costParams ?? Cost.PARAMS_V2_CONWAY,
109
- logger
110
- };
111
- case 3:
112
- return {
113
- builtins: Builtins.V3,
114
- costParams: costParams ?? Cost.PARAMS_V3_CONWAY,
115
- logger
116
- };
117
- }
118
- })();
86
+ const root = yield* entryPointWithArgs(script, args);
87
+ const ctx = evalContext(script, costParams, logger);
119
88
  return Cek.eval(root, ctx);
120
89
  });
90
+ export const evalWithCapture = (script, args, costParams = undefined, logger = undefined, capture = {}) => Effect.gen(function* () {
91
+ const root = yield* entryPointWithArgs(script, args);
92
+ const ctx = evalContext(script, costParams, logger);
93
+ return Cek.evalWithCapture(root, {
94
+ ...ctx,
95
+ capture
96
+ });
97
+ });
98
+ function evalContext(script, costParams, logger) {
99
+ switch (script.version) {
100
+ case 1:
101
+ return {
102
+ builtins: Builtins.V1,
103
+ costParams: costParams ?? Cost.PARAMS_V1_CONWAY,
104
+ logger
105
+ };
106
+ case 2:
107
+ return {
108
+ builtins: Builtins.V2,
109
+ costParams: costParams ?? Cost.PARAMS_V2_CONWAY,
110
+ logger
111
+ };
112
+ case 3:
113
+ return {
114
+ builtins: Builtins.V3,
115
+ costParams: costParams ?? Cost.PARAMS_V3_CONWAY,
116
+ logger
117
+ };
118
+ }
119
+ }
120
+ function entryPointWithArgs(script, args) {
121
+ return Effect.gen(function* () {
122
+ let root = yield* entryPoint(script);
123
+ if (args !== undefined) {
124
+ if (args.length == 0) {
125
+ root = { _tag: "Force", arg: root };
126
+ }
127
+ else {
128
+ for (const arg of args) {
129
+ root = { _tag: "Apply", fn: root, arg: { _tag: "Const", value: arg } };
130
+ }
131
+ }
132
+ }
133
+ return root;
134
+ });
135
+ }
121
136
  export const apply = (script, args) => Effect.gen(function* () {
122
137
  let rootTerm = yield* entryPoint(script);
123
138
  for (const arg of args) {
package/dist/Cardano/Uplc/Script.js.map CHANGED
@@ -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
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@helios-lang/effect",
3
- "version": "0.6.10",
3
+ "version": "0.6.12",
4
4
  "description": "",
5
5
  "type": "module",
6
6
  "main": "./dist/index.js",
package/types/Cardano/Network/Txs.d.ts CHANGED
@@ -2,9 +2,16 @@ import { Context, Effect } from "effect";
2
2
  import type { Address } from "../Ledger/Address.js";
3
3
  import type { TxHash } from "../Ledger/TxHash.js";
4
4
  import type { ConnectionError, UnexpectedFormat } from "./errors.js";
5
- declare const Txs_base: Context.TagClass<Txs, "Cardano.Network.Txs", (args: {
6
- address: Address;
7
- }) => Effect.Effect<{
5
+ export type TxsOrder = "asc" | "desc";
6
+ export interface TxsArgs {
7
+ readonly address: Address;
8
+ readonly count?: number;
9
+ readonly fromBlock?: number;
10
+ readonly order?: TxsOrder;
11
+ readonly page?: number;
12
+ readonly toBlock?: number;
13
+ }
14
+ declare const Txs_base: Context.TagClass<Txs, "Cardano.Network.Txs", (args: TxsArgs) => Effect.Effect<{
8
15
  hash: TxHash;
9
16
  indexInBlock?: number;
10
17
  blockHeight?: number;
@@ -13,7 +20,6 @@ declare const Txs_base: Context.TagClass<Txs, "Cardano.Network.Txs", (args: {
13
20
  /**
14
21
  * A service that returns all transactions that spend from the given address, or pay to the given address
15
22
  *
16
- * TODO: add config for filtering, pagination etc. (these can potentially be a lot of transactions!)
17
23
  * TODO: add filtering by AssetClass
18
24
  */
19
25
  export declare class Txs extends Txs_base {
package/types/Cardano/Network/Txs.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Txs.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/Txs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;4EAU3D;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,KAAK,MAAM,CAAC,MAAM,CAC3C;IACE,IAAI,EAAE,MAAM,CAAA;IACZ,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,EAAE,EACH,eAAe,GAAG,gBAAgB,CACnC;AAhBH;;;;;GAKG;AACH,qBAAa,GAAI,SAAQ,QAWtB;CAAG"}
1
+ {"version":3,"file":"Txs.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/Txs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAEpE,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAA;AAErC,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;4EASQ,OAAO,KAAK,MAAM,CAAC,MAAM,CAC9B;IACE,IAAI,EAAE,MAAM,CAAA;IACZ,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,EAAE,EACH,eAAe,GAAG,gBAAgB,CACnC;AAfH;;;;GAIG;AACH,qBAAa,GAAI,SAAQ,QAWtB;CAAG"}
package/types/Cardano/ScriptContext.d.ts CHANGED
@@ -1160,7 +1160,6 @@ 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";
1164
1163
  readonly data: {
1165
1164
  readonly bytes: Uint8Array<ArrayBufferLike>;
1166
1165
  } | {
@@ -1176,13 +1175,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1176
1175
  readonly fields: readonly Data.Data[];
1177
1176
  readonly constructor: number;
1178
1177
  };
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";
1186
1185
  readonly data: {
1187
1186
  readonly bytes: Uint8Array<ArrayBufferLike>;
1188
1187
  } | {
@@ -1198,13 +1197,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1198
1197
  readonly fields: readonly Data.Data[];
1199
1198
  readonly constructor: number;
1200
1199
  };
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";
1208
1207
  readonly data: {
1209
1208
  readonly bytes: Uint8Array<ArrayBufferLike>;
1210
1209
  } | {
@@ -1220,13 +1219,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1220
1219
  readonly fields: readonly Data.Data[];
1221
1220
  readonly constructor: number;
1222
1221
  };
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";
1230
1229
  readonly data: {
1231
1230
  readonly bytes: Uint8Array<ArrayBufferLike>;
1232
1231
  } | {
@@ -1242,13 +1241,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1242
1241
  readonly fields: readonly Data.Data[];
1243
1242
  readonly constructor: number;
1244
1243
  };
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";
1252
1251
  readonly data: {
1253
1252
  readonly bytes: Uint8Array<ArrayBufferLike>;
1254
1253
  } | {
@@ -1264,13 +1263,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1264
1263
  readonly fields: readonly Data.Data[];
1265
1264
  readonly constructor: number;
1266
1265
  };
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";
1274
1273
  readonly data: {
1275
1274
  readonly bytes: Uint8Array<ArrayBufferLike>;
1276
1275
  } | {
@@ -1286,13 +1285,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1286
1285
  readonly fields: readonly Data.Data[];
1287
1286
  readonly constructor: number;
1288
1287
  };
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";
1296
1295
  readonly data: {
1297
1296
  readonly bytes: Uint8Array<ArrayBufferLike>;
1298
1297
  } | {
@@ -1308,13 +1307,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1308
1307
  readonly fields: readonly Data.Data[];
1309
1308
  readonly constructor: number;
1310
1309
  };
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";
1318
1317
  readonly data: {
1319
1318
  readonly bytes: Uint8Array<ArrayBufferLike>;
1320
1319
  } | {
@@ -1330,6 +1329,7 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1330
1329
  readonly fields: readonly Data.Data[];
1331
1330
  readonly constructor: number;
1332
1331
  };
1332
+ readonly _tag: "Certifying";
1333
1333
  readonly cost: {
1334
1334
  readonly cpu: bigint;
1335
1335
  readonly mem: bigint;
package/types/Cardano/Uplc/Cek.d.ts CHANGED
@@ -6,6 +6,16 @@ export type EvalContext = {
6
6
  builtins: readonly Builtin[];
7
7
  costParams: readonly number[];
8
8
  logger?: Logger | undefined;
9
+ capture?: CaptureConfig | undefined;
10
+ };
11
+ export type CaptureConfig = {
12
+ prefix?: string | undefined;
13
+ };
14
+ export type CapturedValue = {
15
+ index: number;
16
+ id: string;
17
+ value: Value;
18
+ callSite?: CallSite | undefined;
9
19
  };
10
20
  /**
11
21
  * The context that terms and frames need to operate.
@@ -14,6 +24,7 @@ export interface MachineContext extends EvalContext {
14
24
  readonly cost: Cost.Tracker;
15
25
  print(message: string, site?: CallSite): void;
16
26
  popLastMessage(): string | undefined;
27
+ captureValue(id: string, value: Value, callSite?: CallSite | undefined): void;
17
28
  }
18
29
  /**
19
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):
@@ -102,7 +113,7 @@ export interface Logger {
102
113
  /**
103
114
  * Return value is optional and can be omitted if the UplcValue doesn't suffice to contain it (eg. lambda functions).
104
115
  */
105
- type Result = {
116
+ export type Result = {
106
117
  value: Either.Either<Value, {
107
118
  error: string;
108
119
  callSites: CallSite[];
@@ -113,6 +124,7 @@ type Result = {
113
124
  callSite?: CallSite | undefined;
114
125
  }[];
115
126
  breakdown: Cost.Breakdown;
127
+ captured: CapturedValue[];
116
128
  };
117
129
  /**
118
130
  * This is main evaluation function of the CEK Machine
@@ -123,6 +135,9 @@ type Result = {
123
135
  */
124
136
  declare function eval$(entryPoint: Term, evalContext: EvalContext): Result;
125
137
  export { eval$ as eval };
138
+ export declare function evalWithCapture(entryPoint: Term, evalContext: Omit<EvalContext, "capture"> & {
139
+ capture?: CaptureConfig | undefined;
140
+ }): Result;
126
141
  /**
127
142
  * @param callSite
128
143
  * @returns
package/types/Cardano/Uplc/Cek.d.ts.map CHANGED
@@ -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
@@ -3,7 +3,6 @@ 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 Cost from "./Cost.js";
7
6
  import * as Term from "./Term.js";
8
7
  import * as Value from "./Value.js";
9
8
  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[];
70
69
  * If non-empty -> apply consecutive const terms
71
70
  * @param costParams
72
71
  */
73
- declare const eval$: (script: Script, args: readonly Value.Value[] | undefined, costParams?: readonly number[] | undefined, logger?: Cek.Logger | undefined) => Effect.Effect<{
74
- value: Either.Either<Cek.Value, {
75
- error: string;
76
- callSites: Cek.CallSite[];
77
- }>;
78
- cost: Cost.Cost;
79
- logs: {
80
- message: string;
81
- callSite?: Cek.CallSite | undefined;
82
- }[];
83
- breakdown: Cost.Breakdown;
84
- }, Error, never>;
72
+ 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
+ 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>;
85
74
  export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<1 | 2 | 3>, Error, never>;
86
75
  export declare const extractParams: (script: Script) => Effect.Effect<Value.Value[], Error, never>;
87
76
  export { eval$ as eval };
package/types/Cardano/Uplc/Script.d.ts.map CHANGED
@@ -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"}