@helios-lang/effect 0.7.1 → 0.7.2

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 (7) hide show
  1. package/dist/Cardano/ScriptContext.js +9 -5
  2. package/dist/Cardano/ScriptContext.js.map +1 -1
  3. package/package.json +1 -1
  4. package/types/Cardano/Contract.d.ts +23 -23
  5. package/types/Cardano/ScriptContext.d.ts +25 -13
  6. package/types/Cardano/ScriptContext.d.ts.map +1 -1
  7. package/types/Cardano/TxBuilder.d.ts +6 -6
package/dist/Cardano/ScriptContext.js CHANGED
@@ -5,7 +5,8 @@ import { FromUplcData as AssetsFromUplcData, nonAdaPolicies } from "./Ledger/Ass
5
5
  import { FromUplcData as DCertFromUplcData } from "./Ledger/DCert.js";
6
6
  import { FromUplcData as PubKeyHashFromUplcData } from "./Ledger/PubKeyHash.js";
7
7
  import { Redeemer } from "./Ledger/Redeemer.js";
8
- import { FromUplcData as RewardAddressFromUplcData } from "./Ledger/RewardAddress.js";
8
+ import { FromUplcData as RewardAddressFromUplcData, credential as rewardAddressCredential } from "./Ledger/RewardAddress.js";
9
+ import { FromUplcData as CredentialFromUplcData } from "./Ledger/Credential.js";
9
10
  import { hash as hashTx, inputDatum } from "./Ledger/Tx.js";
10
11
  import { FromUplcData as TxHashFromUplcData, FromUplcDataV3 as TxHashFromUplcDataV3 } from "./Ledger/TxHash.js";
11
12
  import { FromUplcData as TxOutputFromUplcData } from "./Ledger/TxOutput.js";
@@ -80,7 +81,7 @@ export const TxInfoV3 = Data.EnumVariant(0, {
80
81
  fee: LovelaceFromData,
81
82
  minted: AssetsFromUplcData(true),
82
83
  dcerts: Data.Array(DCertFromUplcData),
83
- withdrawals: Data.PairArray(RewardAddressFromUplcData, Data.BigInt),
84
+ withdrawals: Data.PairArray(CredentialFromUplcData, Data.BigInt),
84
85
  validityTimeRange: ValiditySlotRange,
85
86
  signers: Data.Array(PubKeyHashFromUplcData),
86
87
  redeemers: Data.PairArray(Data.Data, Data.Data),
@@ -154,7 +155,7 @@ export const PurposeV3 = Schema.transformOrFail(Data.Enum({
154
155
  datum: Data.Option(Data.Data)
155
156
  },
156
157
  Rewarding: {
157
- address: RewardAddressFromUplcData
158
+ credential: CredentialFromUplcData
158
159
  },
159
160
  Certifying: {
160
161
  dcert: DCertFromUplcData
@@ -179,7 +180,7 @@ export const PurposeV3 = Schema.transformOrFail(Data.Enum({
179
180
  case "Rewarding":
180
181
  return {
181
182
  _tag: "Rewarding",
182
- address: tx.body.withdrawals[redeemer.withdrawalIndex][0]
183
+ credential: rewardAddressCredential(tx.body.withdrawals[redeemer.withdrawalIndex][0])
183
184
  };
184
185
  case "Certifying":
185
186
  return {
@@ -243,7 +244,10 @@ const makeArgsV3 = (tx, redeemerIndex) => Effect.gen(function* () {
243
244
  fee: tx.body.fee,
244
245
  minted: tx.body.minted,
245
246
  dcerts: tx.body.dcerts,
246
- withdrawals: tx.body.withdrawals,
247
+ withdrawals: tx.body.withdrawals.map(([address, lovelace]) => [
248
+ rewardAddressCredential(address),
249
+ lovelace
250
+ ]),
247
251
  validityTimeRange: {
248
252
  firstValidSlot: tx.body.firstValidSlot,
249
253
  lastValidSlot: tx.body.lastValidSlot
package/dist/Cardano/ScriptContext.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"ScriptContext.js","sourceRoot":"","sources":["../../src/Cardano/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrE,OAAO,EACL,YAAY,IAAI,qBAAqB,EACrC,IAAI,IAAI,SAAS,EAClB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,2BAA2B,CAAA;AACrF,OAAO,EACL,YAAY,IAAI,kBAAkB,EAElC,cAAc,EACf,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,YAAY,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrE,OAAO,EAAE,YAAY,IAAI,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAA;AAC/C,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,2BAA2B,CAAA;AACrF,OAAO,EAAW,IAAI,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AACpE,OAAO,EACL,YAAY,IAAI,kBAAkB,EAClC,cAAc,IAAI,oBAAoB,EACvC,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,YAAY,IAAI,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAC3E,OAAO,EACL,YAAY,IAAI,gBAAgB,EAChC,cAAc,IAAI,kBAAkB,EACrC,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,YAAY,IAAI,mBAAmB,EACnC,cAAc,IAAI,qBAAqB,EACxC,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAA;AACtC,OAAO,KAAK,KAAK,MAAM,iBAAiB,CAAA;AAExC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAkB,EAAE,EAAM,EAAE,aAAqB,EAAE,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QAC5D,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;QAC7C,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;IAC/C,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,CACvC,kBAAkB,CAAC,KAAK,CAAC,EACzB,MAAM,CAAC,cAAc,EACrB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;CACvC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CACrC,kBAAkB,CAAC,IAAI,CAAC,EACxB,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAC3C;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;IAC1B,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC;CAC5C,CACF,CAAA;AAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,eAAe,CAC9C,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,MAAM,CAAC;IACZ,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;CAC3C,CAAC,EACF;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAC7B,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC;QAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAC9B,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/C,cAAc;QACd,aAAa;KACd,CAAC,CAAC,CACJ;IACH,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,EAAE,CAAC,cAAc,KAAK,SAAS;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EACxC,EAAE,CAAC,aAAa,KAAK,SAAS;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,CACxC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAkB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CACzE,CACF,CAAA;AAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IACnC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACpC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACvC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,cAAc;IACtB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;IACnE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;CAC1D,CAAC,CAAA;AAIF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAC1C,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACtC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACzC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC;IAChC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;IACnE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,oBAAoB;IAC5B,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACpD,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IAClD,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACtD,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO;CACjD,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CACxC,sCAAsC,CACvC,EAAiB;CAAG;AAErB;;GAEG;AACH,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CACtC,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,mBAAmB;KACzB;IACD,SAAS,EAAE;QACT,OAAO,EAAE,yBAAyB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,WAAW,CAAC,IAAI,CACd,IAAI,WAAW,CAAC,SAAS,CACvB,GAAG,EACH,OAAO,EACP,qCAAqC,CACtC,CACF;IACH,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU;gBACb,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;iBAC7C,CAAA;YACH,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;iBAC1D,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAC7C,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,qBAAqB;QAC1B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;KAC9B;IACD,SAAS,EAAE;QACT,OAAO,EAAE,yBAAyB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,WAAW,CAAC,IAAI,CACd,IAAI,WAAW,CAAC,SAAS,CACvB,GAAG,EACH,OAAO,EACP,qCAAqC,CACtC,CACF;IACH,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;oBAC5C,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;iBAChE,CAAA;YACH,CAAC;YACD,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;iBAC1D,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW;QAChC,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE;KAC7B,CAAC,CAAA;IAEF,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAE/D,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO;gBACL,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAA;YAEjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;YACpE,CAAC;YAED,OAAO;gBACL,EAAE,IAAI,EAAE,KAAK,EAAE;gBACf,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW;QAChC,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAClB,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE;QACtB,qBAAqB,EAAE,MAAM,CAAC,IAAI,EAAE;QACpC,gBAAgB,EAAE,MAAM,CAAC,IAAI,EAAE;KAChC,CAAC,CAAA;IAEF,OAAO;QACL,EAAE,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;KAC3C,CAAA;AAC3B,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"ScriptContext.js","sourceRoot":"","sources":["../../src/Cardano/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrE,OAAO,EACL,YAAY,IAAI,qBAAqB,EACrC,IAAI,IAAI,SAAS,EAClB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,2BAA2B,CAAA;AACrF,OAAO,EACL,YAAY,IAAI,kBAAkB,EAElC,cAAc,EACf,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,YAAY,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrE,OAAO,EAAE,YAAY,IAAI,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAA;AAC/C,OAAO,EACL,YAAY,IAAI,yBAAyB,EACzC,UAAU,IAAI,uBAAuB,EACtC,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,YAAY,IAAI,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AAC/E,OAAO,EAAW,IAAI,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AACpE,OAAO,EACL,YAAY,IAAI,kBAAkB,EAClC,cAAc,IAAI,oBAAoB,EACvC,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,YAAY,IAAI,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAC3E,OAAO,EACL,YAAY,IAAI,gBAAgB,EAChC,cAAc,IAAI,kBAAkB,EACrC,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,YAAY,IAAI,mBAAmB,EACnC,cAAc,IAAI,qBAAqB,EACxC,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAA;AACtC,OAAO,KAAK,KAAK,MAAM,iBAAiB,CAAA;AAExC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAkB,EAAE,EAAM,EAAE,aAAqB,EAAE,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QAC5D,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;QAC7C,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;IAC/C,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,CACvC,kBAAkB,CAAC,KAAK,CAAC,EACzB,MAAM,CAAC,cAAc,EACrB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;CACvC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CACrC,kBAAkB,CAAC,IAAI,CAAC,EACxB,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAC3C;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;IAC1B,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC;CAC5C,CACF,CAAA;AAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,eAAe,CAC9C,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,MAAM,CAAC;IACZ,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;CAC3C,CAAC,EACF;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAC7B,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC;QAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAC9B,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/C,cAAc;QACd,aAAa;KACd,CAAC,CAAC,CACJ;IACH,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,EAAE,CAAC,cAAc,KAAK,SAAS;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EACxC,EAAE,CAAC,aAAa,KAAK,SAAS;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,CACxC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAkB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CACzE,CACF,CAAA;AAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IACnC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACpC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACvC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,cAAc;IACtB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;IACnE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;CAC1D,CAAC,CAAA;AAIF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAC1C,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACtC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACzC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC;IAChC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,sBAAsB,EAAE,IAAI,CAAC,MAAM,CAAC;IAChE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,oBAAoB;IAC5B,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACpD,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IAClD,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACtD,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO;CACjD,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CACxC,sCAAsC,CACvC,EAAiB;CAAG;AAErB;;GAEG;AACH,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CACtC,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,mBAAmB;KACzB;IACD,SAAS,EAAE;QACT,OAAO,EAAE,yBAAyB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,WAAW,CAAC,IAAI,CACd,IAAI,WAAW,CAAC,SAAS,CACvB,GAAG,EACH,OAAO,EACP,qCAAqC,CACtC,CACF;IACH,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU;gBACb,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;iBAC7C,CAAA;YACH,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;iBAC1D,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAC7C,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,qBAAqB;QAC1B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;KAC9B;IACD,SAAS,EAAE;QACT,UAAU,EAAE,sBAAsB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,WAAW,CAAC,IAAI,CACd,IAAI,WAAW,CAAC,SAAS,CACvB,GAAG,EACH,OAAO,EACP,qCAAqC,CACtC,CACF;IACH,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;oBAC5C,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;iBAChE,CAAA;YACH,CAAC;YACD,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,UAAU,EAAE,uBAAuB,CACjC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CACjD;iBACF,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW;QAChC,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE;KAC7B,CAAC,CAAA;IAEF,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAE/D,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO;gBACL,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAA;YAEjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;YACpE,CAAC;YAED,OAAO;gBACL,EAAE,IAAI,EAAE,KAAK,EAAE;gBACf,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;YAC5D,uBAAuB,CAAC,OAAO,CAAC;YAChC,QAAQ;SACT,CAAC;QACF,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAClB,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE;QACtB,qBAAqB,EAAE,MAAM,CAAC,IAAI,EAAE;QACpC,gBAAgB,EAAE,MAAM,CAAC,IAAI,EAAE;KAChC,CAAC,CAAA;IAEF,OAAO;QACL,EAAE,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;KAC3C,CAAA;AAC3B,CAAC,CAAC,CAAA"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@helios-lang/effect",
3
- "version": "0.7.1",
3
+ "version": "0.7.2",
4
4
  "description": "",
5
5
  "type": "module",
6
6
  "main": "./dist/index.js",
package/types/Cardano/Contract.d.ts CHANGED
@@ -3,7 +3,7 @@ import { Assets, PubKeyHash, ValidatorHash, UTxO, UTxORef } from "./Ledger/index
3
3
  import { Data, Script } from "./Uplc/index.js";
4
4
  import * as Network from "./Network/index.js";
5
5
  import * as TxBuilder from "./TxBuilder.js";
6
- export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<2 | 1 | 3>, Error, never>;
6
+ export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<1 | 2 | 3>, Error, never>;
7
7
  declare const Contract_base: Context.TagClass<Contract, "Cardano.Contract", Script.Script<3>>;
8
8
  export declare class Contract extends Contract_base {
9
9
  }
@@ -17,7 +17,7 @@ export declare const WitnessFromUplcData: Schema.Schema<({
17
17
  vh: string & import("effect/Brand").Brand<"ValidatorHash">;
18
18
  }), Data.Data, never>;
19
19
  export type Witness = Schema.Schema.Type<typeof WitnessFromUplcData>;
20
- export declare const seed: (contract: Script.Script<3>) => Effect.Effect<string & import("effect/Brand").Brand<"UTxORef">, Error | import("effect/ParseResult").ParseError, never>;
20
+ export declare const seed: (contract: Script.Script<3>) => Effect.Effect<string & import("effect/Brand").Brand<"UTxORef">, import("effect/ParseResult").ParseError | Error, never>;
21
21
  export declare const hash: Effect.Effect<string & import("effect/Brand").Brand<"ValidatorHash">, never, Contract>;
22
22
  /**
23
23
  * @returns
@@ -63,26 +63,26 @@ declare const $utxos: () => Effect.Effect<{
63
63
  readonly strictBabbage?: boolean | undefined;
64
64
  } | undefined;
65
65
  };
66
- }[], Network.ConnectionError | Network.UnexpectedFormat, Contract | Network.UTxOsAt | Network.IsMainnet>;
66
+ }[], Network.ConnectionError | Network.UnexpectedFormat, Network.IsMainnet | Contract | Network.UTxOsAt>;
67
67
  export { $utxos as utxos };
68
- export declare const init: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Contract | Network.IsMainnet | Network.UTxO | TxBuilder.GetDatum>;
69
- export declare const initEffect: (witnesses: Witness[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Contract | Network.IsMainnet | Network.UTxO | TxBuilder.GetDatum | R>;
70
- export declare const addValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
71
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
72
- export declare const addAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
73
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
74
- export declare const addWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
75
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
76
- export declare const removeValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
77
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
78
- export declare const removeAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
79
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
80
- export declare const removeWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
81
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
82
- export declare const updateWitnesses: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
83
- export declare const updateWitnessesEffect: (witnesses: Witness[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
84
- export declare const mint: (assets: Assets.Assets) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet>;
85
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | R>;
86
- export declare const spend: (inputs: UTxO.UTxO | UTxO.UTxO[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum>;
87
- 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, Contract | Network.UTxOsAt | Network.IsMainnet | TxBuilder.GetDatum | R>;
68
+ export declare const init: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Network.UTxO | Contract>;
69
+ export declare const initEffect: (witnesses: Witness[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Network.UTxO | Contract | R>;
70
+ export declare const addValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
71
+ export declare const addValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
72
+ export declare const addAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
73
+ export declare const addAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
74
+ export declare const addWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
75
+ export declare const addWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
76
+ export declare const removeValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
77
+ export declare const removeValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
78
+ export declare const removeAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
79
+ export declare const removeAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
80
+ export declare const removeWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
81
+ export declare const removeWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
82
+ export declare const updateWitnesses: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
83
+ export declare const updateWitnessesEffect: (witnesses: Witness[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
84
+ export declare const mint: (assets: Assets.Assets) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error, Network.IsMainnet | Contract | Network.UTxOsAt>;
85
+ export declare const mintEffect: (assets: Assets.Assets) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | Contract | Network.UTxOsAt | R>;
86
+ export declare const spend: (inputs: UTxO.UTxO | UTxO.UTxO[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt>;
87
+ export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | TxBuilder.GetDatum | Contract | Network.UTxOsAt | R>;
88
88
  //# sourceMappingURL=Contract.d.ts.map
package/types/Cardano/ScriptContext.d.ts CHANGED
@@ -367,7 +367,13 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.Union<[Schema.Struc
367
367
  }>, Schema.Struct<{
368
368
  constructor: typeof Schema.Number;
369
369
  fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
370
- }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"RewardAddress">, {
370
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<{
371
+ readonly _tag: "PubKey";
372
+ readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
373
+ } | {
374
+ readonly _tag: "Validator";
375
+ readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
376
+ }, {
371
377
  readonly bytes: Uint8Array<ArrayBufferLike>;
372
378
  } | {
373
379
  readonly int: bigint;
@@ -381,7 +387,7 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.Union<[Schema.Struc
381
387
  } | {
382
388
  readonly fields: readonly Data.Data[];
383
389
  readonly constructor: number;
384
- }, import("./Network/IsMainnet.js").IsMainnet>, Schema.Schema<bigint, {
390
+ }, never>, Schema.Schema<bigint, {
385
391
  readonly bytes: Uint8Array<ArrayBufferLike>;
386
392
  } | {
387
393
  readonly int: bigint;
@@ -888,13 +894,19 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
888
894
  }) | ({
889
895
  _tag: "Rewarding";
890
896
  } & {
891
- address: string & import("effect/Brand").Brand<"RewardAddress">;
897
+ credential: {
898
+ readonly _tag: "PubKey";
899
+ readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
900
+ } | {
901
+ readonly _tag: "Validator";
902
+ readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
903
+ };
892
904
  }) | ({
893
905
  _tag: "Certifying";
894
906
  } & {
895
907
  dcert: import("./Ledger/DCert.js").DCert;
896
908
  }), Data.Data, never>, Schema.SchemaClass<{
897
- readonly _tag: "Minting";
909
+ readonly policyIndex: number;
898
910
  readonly data: {
899
911
  readonly bytes: Uint8Array<ArrayBufferLike>;
900
912
  } | {
@@ -910,13 +922,12 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
910
922
  readonly fields: readonly Data.Data[];
911
923
  readonly constructor: number;
912
924
  };
913
- readonly policyIndex: number;
914
925
  readonly cost: {
915
926
  readonly cpu: bigint;
916
927
  readonly mem: bigint;
917
928
  };
929
+ readonly _tag: "Minting";
918
930
  } | {
919
- readonly _tag: "Spending";
920
931
  readonly data: {
921
932
  readonly bytes: Uint8Array<ArrayBufferLike>;
922
933
  } | {
@@ -936,9 +947,9 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
936
947
  readonly cpu: bigint;
937
948
  readonly mem: bigint;
938
949
  };
950
+ readonly _tag: "Spending";
939
951
  readonly inputIndex: number;
940
952
  } | {
941
- readonly _tag: "Rewarding";
942
953
  readonly data: {
943
954
  readonly bytes: Uint8Array<ArrayBufferLike>;
944
955
  } | {
@@ -958,9 +969,9 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
958
969
  readonly cpu: bigint;
959
970
  readonly mem: bigint;
960
971
  };
972
+ readonly _tag: "Rewarding";
961
973
  readonly withdrawalIndex: number;
962
974
  } | {
963
- readonly _tag: "Certifying";
964
975
  readonly data: {
965
976
  readonly bytes: Uint8Array<ArrayBufferLike>;
966
977
  } | {
@@ -980,9 +991,10 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
980
991
  readonly cpu: bigint;
981
992
  readonly mem: bigint;
982
993
  };
994
+ readonly _tag: "Certifying";
983
995
  readonly dcertIndex: number;
984
996
  }, {
985
- readonly _tag: "Minting";
997
+ readonly policyIndex: number;
986
998
  readonly data: {
987
999
  readonly bytes: Uint8Array<ArrayBufferLike>;
988
1000
  } | {
@@ -998,13 +1010,12 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
998
1010
  readonly fields: readonly Data.Data[];
999
1011
  readonly constructor: number;
1000
1012
  };
1001
- readonly policyIndex: number;
1002
1013
  readonly cost: {
1003
1014
  readonly cpu: bigint;
1004
1015
  readonly mem: bigint;
1005
1016
  };
1017
+ readonly _tag: "Minting";
1006
1018
  } | {
1007
- readonly _tag: "Spending";
1008
1019
  readonly data: {
1009
1020
  readonly bytes: Uint8Array<ArrayBufferLike>;
1010
1021
  } | {
@@ -1024,9 +1035,9 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1024
1035
  readonly cpu: bigint;
1025
1036
  readonly mem: bigint;
1026
1037
  };
1038
+ readonly _tag: "Spending";
1027
1039
  readonly inputIndex: number;
1028
1040
  } | {
1029
- readonly _tag: "Rewarding";
1030
1041
  readonly data: {
1031
1042
  readonly bytes: Uint8Array<ArrayBufferLike>;
1032
1043
  } | {
@@ -1046,9 +1057,9 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1046
1057
  readonly cpu: bigint;
1047
1058
  readonly mem: bigint;
1048
1059
  };
1060
+ readonly _tag: "Rewarding";
1049
1061
  readonly withdrawalIndex: number;
1050
1062
  } | {
1051
- readonly _tag: "Certifying";
1052
1063
  readonly data: {
1053
1064
  readonly bytes: Uint8Array<ArrayBufferLike>;
1054
1065
  } | {
@@ -1068,6 +1079,7 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
1068
1079
  readonly cpu: bigint;
1069
1080
  readonly mem: bigint;
1070
1081
  };
1082
+ readonly _tag: "Certifying";
1071
1083
  readonly dcertIndex: number;
1072
1084
  }, never>, CurrentTx>;
1073
1085
  export {};
package/types/Cardano/ScriptContext.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"ScriptContext.d.ts","sourceRoot":"","sources":["../../src/Cardano/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAerE,OAAO,EAAE,KAAK,EAAE,EAA8B,MAAM,gBAAgB,CAAA;AAcpE,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAGtC,eAAO,MAAM,QAAQ,GAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,MAAM;;;;;;;;;;;;;;;;wFAUtE,CAAA;AA4EJ;;GAEG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAiBnB,CAAA;;AAEF;;GAEG;AACH,qBAAa,SAAU,SAAQ,cAEb;CAAG;AA6DrB;;;;GAIG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAyDrB,CAAA"}
1
+ {"version":3,"file":"ScriptContext.d.ts","sourceRoot":"","sources":["../../src/Cardano/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAmBrE,OAAO,EAAE,KAAK,EAAE,EAA8B,MAAM,gBAAgB,CAAA;AAcpE,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAGtC,eAAO,MAAM,QAAQ,GAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,MAAM;;;;;;;;;;;;;;;;wFAUtE,CAAA;AA4EJ;;GAEG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAiBnB,CAAA;;AAEF;;GAEG;AACH,qBAAa,SAAU,SAAQ,cAEb;CAAG;AA6DrB;;;;GAIG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBA2DrB,CAAA"}
package/types/Cardano/TxBuilder.d.ts CHANGED
@@ -184,8 +184,8 @@ export declare const payEffect: (...outputs: TxOutput.TxOutput[]) => <E, R>(self
184
184
  type ReferOptions = {
185
185
  dedupe?: "fail" | "ignore";
186
186
  };
187
- export declare const refer: ({ dedupe }?: ReferOptions) => (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded, never>;
188
- export declare const referEffect: (options: ReferOptions) => (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | E, R>;
187
+ export declare const refer: ({ dedupe }?: ReferOptions) => (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | Assets.SomeNonPositive, never>;
188
+ export declare const referEffect: (options: ReferOptions) => (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | Assets.SomeNonPositive | E, R>;
189
189
  export declare const register: (credential: Credential.Credential) => (b: TxBuilder) => TxBuilder;
190
190
  export declare const registerEffect: (credential: Credential.Credential) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
191
191
  /**
@@ -204,8 +204,8 @@ export declare const signEffect: (...signers: PubKeyHash.PubKeyHash[]) => <E, R>
204
204
  type SpendOptions = {
205
205
  dedupe?: "fail" | "keep" | "update";
206
206
  };
207
- export declare const spend: ({ dedupe }?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Network.ConnectionError, GetDatum>;
208
- export declare const spendEffect: (options?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Network.ConnectionError | E, GetDatum | R>;
207
+ export declare const spend: ({ dedupe }?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Network.ConnectionError | Assets.SomeNonPositive, GetDatum>;
208
+ export declare const spendEffect: (options?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Network.ConnectionError | Assets.SomeNonPositive | E, GetDatum | R>;
209
209
  export declare const validFromSlot: (slot: number) => (b: TxBuilder) => TxBuilder;
210
210
  export declare const validFromSlotEffect: (slot: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
211
211
  /**
@@ -264,7 +264,7 @@ export interface BabelFeeOptions {
264
264
  */
265
265
  readonly assetClass: AssetClass.AssetClass;
266
266
  }
267
- export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, import("effect/ParseResult").ParseError | Error, Network.IsMainnet | Network.Params.params | BalancingWallet | Network.UTxO>;
268
- export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | Network.Params.params | BalancingWallet | Network.UTxO | R>;
267
+ export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, import("effect/ParseResult").ParseError | Error, Network.IsMainnet | Network.Params.params | Network.UTxO | BalancingWallet>;
268
+ export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, import("effect/ParseResult").ParseError | Error | E, Network.IsMainnet | Network.Params.params | Network.UTxO | BalancingWallet | R>;
269
269
  export {};
270
270
  //# sourceMappingURL=TxBuilder.d.ts.map