@helios-lang/effect 0.6.15 → 0.6.16

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 (44) hide show
  1. package/dist/Cardano/Uplc/Data.js +21 -1
  2. package/dist/Cardano/Uplc/Data.js.map +1 -1
  3. package/package.json +1 -1
  4. package/types/Cardano/Contract.d.ts +18 -18
  5. package/types/Cardano/Ledger/Address.d.ts +30 -58
  6. package/types/Cardano/Ledger/Address.d.ts.map +1 -1
  7. package/types/Cardano/Ledger/AssetClass.d.ts +45 -87
  8. package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
  9. package/types/Cardano/Ledger/Assets.d.ts +15 -29
  10. package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
  11. package/types/Cardano/Ledger/DatumHash.d.ts +15 -29
  12. package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
  13. package/types/Cardano/Ledger/MintingPolicy.d.ts +15 -29
  14. package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
  15. package/types/Cardano/Ledger/PubKey.d.ts +15 -29
  16. package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
  17. package/types/Cardano/Ledger/PubKeyHash.d.ts +15 -29
  18. package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
  19. package/types/Cardano/Ledger/Redeemer.d.ts +120 -232
  20. package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
  21. package/types/Cardano/Ledger/RewardAddress.d.ts +15 -29
  22. package/types/Cardano/Ledger/RewardAddress.d.ts.map +1 -1
  23. package/types/Cardano/Ledger/TxHash.d.ts +45 -87
  24. package/types/Cardano/Ledger/TxHash.d.ts.map +1 -1
  25. package/types/Cardano/Ledger/TxOutput.d.ts +90 -174
  26. package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
  27. package/types/Cardano/Ledger/TxOutputDatum.d.ts +15 -29
  28. package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
  29. package/types/Cardano/Ledger/UTxO.d.ts +300 -580
  30. package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
  31. package/types/Cardano/Ledger/UTxORef.d.ts +105 -203
  32. package/types/Cardano/Ledger/UTxORef.d.ts.map +1 -1
  33. package/types/Cardano/Ledger/ValidatorHash.d.ts +15 -29
  34. package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
  35. package/types/Cardano/ScriptContext.d.ts +285 -551
  36. package/types/Cardano/ScriptContext.d.ts.map +1 -1
  37. package/types/Cardano/TxBuilder.d.ts +6 -6
  38. package/types/Cardano/Uplc/Data.d.ts +276 -495
  39. package/types/Cardano/Uplc/Data.d.ts.map +1 -1
  40. package/types/Cardano/Uplc/Script.d.ts +1 -1
  41. package/types/Cardano/Uplc/Term.d.ts +30 -58
  42. package/types/Cardano/Uplc/Term.d.ts.map +1 -1
  43. package/types/Cardano/Uplc/Value.d.ts +30 -58
  44. package/types/Cardano/Uplc/Value.d.ts.map +1 -1
@@ -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;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"}
@@ -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, 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>;
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>;
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, 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>;
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 | Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound, 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 | Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | 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, Error | import("effect/ParseResult").ParseError, Network.Params.params | BalancingWallet | Network.IsMainnet | Network.UTxO>;
268
- export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError | E, Network.Params.params | BalancingWallet | Network.IsMainnet | Network.UTxO | R>;
267
+ export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet>;
268
+ export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError | E, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet | R>;
269
269
  export {};
270
270
  //# sourceMappingURL=TxBuilder.d.ts.map