@helios-lang/effect 0.5.0 → 0.5.1

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 (30) hide show
  1. package/dist/Cardano/Ledger/AssetClass.js +5 -1
  2. package/dist/Cardano/Ledger/AssetClass.js.map +1 -1
  3. package/dist/Cardano/Ledger/Assets.js.map +1 -1
  4. package/dist/Cardano/Ledger/MintingPolicy.js.map +1 -1
  5. package/dist/Cardano/Ledger/RewardAddress.js +2 -8
  6. package/dist/Cardano/Ledger/RewardAddress.js.map +1 -1
  7. package/dist/Cardano/TxBuilder.js.map +1 -1
  8. package/dist/Cardano/Uplc/Data.js +2 -2
  9. package/dist/Cardano/Uplc/Data.js.map +1 -1
  10. package/package.json +2 -2
  11. package/types/Cardano/CoinSelection.d.ts +1 -1
  12. package/types/Cardano/Contract.d.ts +21 -21
  13. package/types/Cardano/Cose/Sign1.d.ts +3 -3
  14. package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
  15. package/types/Cardano/Ledger/Assets.d.ts +1 -1
  16. package/types/Cardano/Ledger/RewardAddress.d.ts.map +1 -1
  17. package/types/Cardano/Ledger/Tx.d.ts +1 -1
  18. package/types/Cardano/Ledger/UTxO.d.ts +8 -8
  19. package/types/Cardano/Network/errors.d.ts +6 -6
  20. package/types/Cardano/ScriptContext.d.ts +27 -27
  21. package/types/Cardano/TxBuilder.d.ts +19 -19
  22. package/types/Cardano/Uplc/Builtins.d.ts +4 -4
  23. package/types/Cardano/Uplc/Data.d.ts.map +1 -1
  24. package/types/Cardano/Uplc/Script.d.ts +1 -1
  25. package/types/Cardano/Wallet.d.ts +1 -1
  26. package/types/Codecs/Bytes.d.ts +1 -1
  27. package/types/Codecs/Cbor.d.ts +1 -1
  28. package/types/Crypto/Bip39.d.ts +4 -4
  29. package/types/Crypto/EdDSA.d.ts +3 -3
  30. package/types/Crypto/errors.d.ts +1 -1
package/types/Crypto/Bip39.d.ts CHANGED
@@ -1,5 +1,5 @@
1
1
  import { Either } from "effect";
2
- declare const InvalidPhraseLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
2
+ declare const InvalidPhraseLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
3
3
  readonly _tag: "Crypto.Bip39.InvalidPhraseLength";
4
4
  } & Readonly<A>;
5
5
  export declare class InvalidPhraseLength extends InvalidPhraseLength_base<{
@@ -7,7 +7,7 @@ export declare class InvalidPhraseLength extends InvalidPhraseLength_base<{
7
7
  }> {
8
8
  constructor(n: number);
9
9
  }
10
- declare const InvalidWord_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
10
+ declare const InvalidWord_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
11
11
  readonly _tag: "Crypto.Bip39.InvalidWord";
12
12
  } & Readonly<A>;
13
13
  export declare class InvalidWord extends InvalidWord_base<{
@@ -15,7 +15,7 @@ export declare class InvalidWord extends InvalidWord_base<{
15
15
  }> {
16
16
  constructor(w: string);
17
17
  }
18
- declare const InvalidChecksum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
18
+ declare const InvalidChecksum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
19
19
  readonly _tag: "Crypto.Bip39.InvalidChecksum";
20
20
  } & Readonly<A>;
21
21
  export declare class InvalidChecksum extends InvalidChecksum_base<{
@@ -23,7 +23,7 @@ export declare class InvalidChecksum extends InvalidChecksum_base<{
23
23
  }> {
24
24
  constructor(message?: string);
25
25
  }
26
- declare const InvalidEntropyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
26
+ declare const InvalidEntropyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
27
27
  readonly _tag: "Crypto.Bip39.InvalidEntropyLength";
28
28
  } & Readonly<A>;
29
29
  export declare class InvalidEntropyLength extends InvalidEntropyLength_base<{
package/types/Crypto/EdDSA.d.ts CHANGED
@@ -1,7 +1,7 @@
1
1
  import { Either, Encoding } from "effect";
2
2
  import { type Curve, type Point2I } from "./Curve.js";
3
3
  import { type Field } from "./Field.js";
4
- declare const BadPrivateKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
4
+ declare const BadPrivateKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
5
5
  readonly _tag: "Crypto.EdDSA.BadPrivateKeyLength";
6
6
  } & Readonly<A>;
7
7
  export declare class BadPrivateKeyLength extends BadPrivateKeyLength_base<{
@@ -9,7 +9,7 @@ export declare class BadPrivateKeyLength extends BadPrivateKeyLength_base<{
9
9
  }> {
10
10
  constructor(privateKey: Uint8Array);
11
11
  }
12
- declare const BadSignatureLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
12
+ declare const BadSignatureLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
13
13
  readonly _tag: "Crypto.EdDSA.BadSignatureLength";
14
14
  } & Readonly<A>;
15
15
  export declare class BadSignatureLength extends BadSignatureLength_base<{
@@ -17,7 +17,7 @@ export declare class BadSignatureLength extends BadSignatureLength_base<{
17
17
  }> {
18
18
  constructor(signature: Uint8Array);
19
19
  }
20
- declare const BadPublicKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
20
+ declare const BadPublicKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
21
21
  readonly _tag: "Crypto.EdDSA.BadPublicKeyLength";
22
22
  } & Readonly<A>;
23
23
  export declare class BadPublicKeyLength extends BadPublicKeyLength_base<{
package/types/Crypto/errors.d.ts CHANGED
@@ -1,4 +1,4 @@
1
- declare const NativeUnavailable_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
1
+ declare const NativeUnavailable_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
2
2
  readonly _tag: "NativeUnavailable";
3
3
  } & Readonly<A>;
4
4
  export declare class NativeUnavailable extends NativeUnavailable_base<{