@helios-lang/effect 0.2.0 → 0.4.31

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 (189) hide show
  1. package/.vscode/settings.json +3 -0
  2. package/dist/Cardano/Ledger/Address.js +1 -1
  3. package/dist/Cardano/Ledger/Address.js.map +1 -1
  4. package/dist/Cardano/Ledger/AssetClass.js +6 -1
  5. package/dist/Cardano/Ledger/AssetClass.js.map +1 -1
  6. package/dist/Cardano/Ledger/Assets.js +85 -3
  7. package/dist/Cardano/Ledger/Assets.js.map +1 -1
  8. package/dist/Cardano/Ledger/Credential.js +1 -1
  9. package/dist/Cardano/Ledger/Credential.js.map +1 -1
  10. package/dist/Cardano/Ledger/DCert.js +2 -1
  11. package/dist/Cardano/Ledger/DCert.js.map +1 -1
  12. package/dist/Cardano/Ledger/DatumHash.js +2 -2
  13. package/dist/Cardano/Ledger/DatumHash.js.map +1 -1
  14. package/dist/Cardano/Ledger/MintingPolicy.js +2 -0
  15. package/dist/Cardano/Ledger/MintingPolicy.js.map +1 -1
  16. package/dist/Cardano/Ledger/NativeScript.js +2 -1
  17. package/dist/Cardano/Ledger/NativeScript.js.map +1 -1
  18. package/dist/Cardano/Ledger/PubKey.js +17 -15
  19. package/dist/Cardano/Ledger/PubKey.js.map +1 -1
  20. package/dist/Cardano/Ledger/PubKeyHash.js +1 -1
  21. package/dist/Cardano/Ledger/PubKeyHash.js.map +1 -1
  22. package/dist/Cardano/Ledger/Redeemer.js +1 -1
  23. package/dist/Cardano/Ledger/Redeemer.js.map +1 -1
  24. package/dist/Cardano/Ledger/Signature.js +1 -0
  25. package/dist/Cardano/Ledger/Signature.js.map +1 -1
  26. package/dist/Cardano/Ledger/Tx.js +165 -17
  27. package/dist/Cardano/Ledger/Tx.js.map +1 -1
  28. package/dist/Cardano/Ledger/TxOutput.js +12 -6
  29. package/dist/Cardano/Ledger/TxOutput.js.map +1 -1
  30. package/dist/Cardano/Ledger/TxOutputDatum.js +36 -34
  31. package/dist/Cardano/Ledger/TxOutputDatum.js.map +1 -1
  32. package/dist/Cardano/Ledger/UTxO.js +1 -1
  33. package/dist/Cardano/Ledger/UTxO.js.map +1 -1
  34. package/dist/Cardano/Ledger/UTxORef.js +1 -0
  35. package/dist/Cardano/Ledger/UTxORef.js.map +1 -1
  36. package/dist/Cardano/Ledger/ValidatorHash.js +1 -1
  37. package/dist/Cardano/Ledger/ValidatorHash.js.map +1 -1
  38. package/dist/Cardano/Ledger/index.js +1 -0
  39. package/dist/Cardano/Ledger/index.js.map +1 -1
  40. package/dist/Cardano/Network/AssetMetadata.js +11 -0
  41. package/dist/Cardano/Network/AssetMetadata.js.map +1 -0
  42. package/dist/Cardano/Network/IsMainnet.js +1 -1
  43. package/dist/Cardano/Network/IsMainnet.js.map +1 -1
  44. package/dist/Cardano/Network/Params.js +105 -1
  45. package/dist/Cardano/Network/Params.js.map +1 -1
  46. package/dist/Cardano/Network/Submit.js +15 -0
  47. package/dist/Cardano/Network/Submit.js.map +1 -0
  48. package/dist/Cardano/Network/UTxO.js +2 -2
  49. package/dist/Cardano/Network/UTxO.js.map +1 -1
  50. package/dist/Cardano/Network/UTxOsAt.js +3 -2
  51. package/dist/Cardano/Network/UTxOsAt.js.map +1 -1
  52. package/dist/Cardano/Network/errors.js +16 -3
  53. package/dist/Cardano/Network/errors.js.map +1 -1
  54. package/dist/Cardano/Network/index.js +2 -0
  55. package/dist/Cardano/Network/index.js.map +1 -1
  56. package/dist/Cardano/ScriptContext.js +264 -0
  57. package/dist/Cardano/ScriptContext.js.map +1 -0
  58. package/dist/Cardano/TxBuilder.js +109 -46
  59. package/dist/Cardano/TxBuilder.js.map +1 -1
  60. package/dist/Cardano/Uplc/Builtins.js +293 -32
  61. package/dist/Cardano/Uplc/Builtins.js.map +1 -1
  62. package/dist/Cardano/Uplc/Cek.js +6 -5
  63. package/dist/Cardano/Uplc/Cek.js.map +1 -1
  64. package/dist/Cardano/Uplc/Cost.js +257 -1
  65. package/dist/Cardano/Uplc/Cost.js.map +1 -1
  66. package/dist/Cardano/Uplc/Data.js +22 -8
  67. package/dist/Cardano/Uplc/Data.js.map +1 -1
  68. package/dist/Cardano/Uplc/Script.js +52 -10
  69. package/dist/Cardano/Uplc/Script.js.map +1 -1
  70. package/dist/Cardano/Uplc/Term.js +14 -0
  71. package/dist/Cardano/Uplc/Term.js.map +1 -1
  72. package/dist/Cardano/Uplc/index.js +2 -1
  73. package/dist/Cardano/Uplc/index.js.map +1 -1
  74. package/dist/Cardano/Wallet.js +51 -0
  75. package/dist/Cardano/Wallet.js.map +1 -0
  76. package/dist/Cardano/index.js +4 -3
  77. package/dist/Cardano/index.js.map +1 -1
  78. package/dist/Codecs/Base32.js +4 -1
  79. package/dist/Codecs/Base32.js.map +1 -1
  80. package/dist/Codecs/BigEndian.js +1 -1
  81. package/dist/Codecs/BigEndian.js.map +1 -1
  82. package/dist/Codecs/Bytes.js +1 -1
  83. package/dist/Codecs/Bytes.js.map +1 -1
  84. package/dist/Codecs/LittleEndian.js +4 -0
  85. package/dist/Codecs/LittleEndian.js.map +1 -1
  86. package/dist/Codecs/Utf8.js +1 -1
  87. package/dist/Codecs/Utf8.js.map +1 -1
  88. package/dist/Crypto/Bip32.js +134 -0
  89. package/dist/Crypto/Bip32.js.map +1 -0
  90. package/dist/Crypto/Bip39.js +2176 -0
  91. package/dist/Crypto/Bip39.js.map +1 -0
  92. package/dist/Crypto/Curve.js +1 -0
  93. package/dist/Crypto/Curve.js.map +1 -1
  94. package/dist/Crypto/Ed25519.js +2 -1
  95. package/dist/Crypto/Ed25519.js.map +1 -1
  96. package/dist/Crypto/EdDSA.js +2 -1
  97. package/dist/Crypto/EdDSA.js.map +1 -1
  98. package/dist/Crypto/Sha3_256.js +1 -0
  99. package/dist/Crypto/Sha3_256.js.map +1 -1
  100. package/dist/Crypto/index.js +2 -0
  101. package/dist/Crypto/index.js.map +1 -1
  102. package/dist/index.js +3 -3
  103. package/dist/index.js.map +1 -1
  104. package/package.json +2 -1
  105. package/types/Cardano/Ledger/Address.d.ts +2 -2
  106. package/types/Cardano/Ledger/Address.d.ts.map +1 -1
  107. package/types/Cardano/Ledger/AssetClass.d.ts +6 -1
  108. package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
  109. package/types/Cardano/Ledger/Assets.d.ts +14 -2
  110. package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
  111. package/types/Cardano/Ledger/Credential.d.ts +1 -1
  112. package/types/Cardano/Ledger/Credential.d.ts.map +1 -1
  113. package/types/Cardano/Ledger/DatumHash.d.ts +2 -2
  114. package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
  115. package/types/Cardano/Ledger/MintingPolicy.d.ts +1 -0
  116. package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
  117. package/types/Cardano/Ledger/PubKey.d.ts +13 -9
  118. package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
  119. package/types/Cardano/Ledger/PubKeyHash.d.ts +2 -2
  120. package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
  121. package/types/Cardano/Ledger/Redeemer.d.ts +1 -1
  122. package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
  123. package/types/Cardano/Ledger/Signature.d.ts +2 -2
  124. package/types/Cardano/Ledger/Signature.d.ts.map +1 -1
  125. package/types/Cardano/Ledger/Tx.d.ts +19 -241
  126. package/types/Cardano/Ledger/Tx.d.ts.map +1 -1
  127. package/types/Cardano/Ledger/TxOutput.d.ts +98 -108
  128. package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
  129. package/types/Cardano/Ledger/TxOutputDatum.d.ts +69 -68
  130. package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
  131. package/types/Cardano/Ledger/UTxO.d.ts +275 -325
  132. package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
  133. package/types/Cardano/Ledger/ValidatorHash.d.ts +2 -2
  134. package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
  135. package/types/Cardano/Ledger/index.d.ts +1 -0
  136. package/types/Cardano/Ledger/index.d.ts.map +1 -1
  137. package/types/Cardano/Network/AssetMetadata.d.ts +15 -0
  138. package/types/Cardano/Network/AssetMetadata.d.ts.map +1 -0
  139. package/types/Cardano/Network/IsMainnet.d.ts +1 -1
  140. package/types/Cardano/Network/Params.d.ts +9 -1
  141. package/types/Cardano/Network/Params.d.ts.map +1 -1
  142. package/types/Cardano/Network/Submit.d.ts +18 -0
  143. package/types/Cardano/Network/Submit.d.ts.map +1 -0
  144. package/types/Cardano/Network/UTxO.d.ts +1 -1
  145. package/types/Cardano/Network/UTxO.d.ts.map +1 -1
  146. package/types/Cardano/Network/UTxOsAt.d.ts +2 -2
  147. package/types/Cardano/Network/UTxOsAt.d.ts.map +1 -1
  148. package/types/Cardano/Network/errors.d.ts +22 -2
  149. package/types/Cardano/Network/errors.d.ts.map +1 -1
  150. package/types/Cardano/Network/index.d.ts +2 -0
  151. package/types/Cardano/Network/index.d.ts.map +1 -1
  152. package/types/Cardano/ScriptContext.d.ts +1340 -0
  153. package/types/Cardano/ScriptContext.d.ts.map +1 -0
  154. package/types/Cardano/TxBuilder.d.ts +12 -39
  155. package/types/Cardano/TxBuilder.d.ts.map +1 -1
  156. package/types/Cardano/Uplc/Builtins.d.ts.map +1 -1
  157. package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
  158. package/types/Cardano/Uplc/Cost.d.ts +1 -0
  159. package/types/Cardano/Uplc/Cost.d.ts.map +1 -1
  160. package/types/Cardano/Uplc/Data.d.ts.map +1 -1
  161. package/types/Cardano/Uplc/Script.d.ts +5 -3
  162. package/types/Cardano/Uplc/Script.d.ts.map +1 -1
  163. package/types/Cardano/Uplc/Term.d.ts +3 -0
  164. package/types/Cardano/Uplc/Term.d.ts.map +1 -1
  165. package/types/Cardano/Uplc/index.d.ts +2 -1
  166. package/types/Cardano/Uplc/index.d.ts.map +1 -1
  167. package/types/Cardano/Wallet.d.ts +68 -0
  168. package/types/Cardano/Wallet.d.ts.map +1 -0
  169. package/types/Cardano/index.d.ts +4 -3
  170. package/types/Cardano/index.d.ts.map +1 -1
  171. package/types/Codecs/Base32.d.ts +4 -1
  172. package/types/Codecs/Base32.d.ts.map +1 -1
  173. package/types/Codecs/LittleEndian.d.ts +1 -0
  174. package/types/Codecs/LittleEndian.d.ts.map +1 -1
  175. package/types/Crypto/Bip32.d.ts +31 -0
  176. package/types/Crypto/Bip32.d.ts.map +1 -0
  177. package/types/Crypto/Bip39.d.ts +43 -0
  178. package/types/Crypto/Bip39.d.ts.map +1 -0
  179. package/types/Crypto/EdDSA.d.ts +1 -1
  180. package/types/Crypto/EdDSA.d.ts.map +1 -1
  181. package/types/Crypto/index.d.ts +2 -0
  182. package/types/Crypto/index.d.ts.map +1 -1
  183. package/types/index.d.ts +3 -3
  184. package/types/index.d.ts.map +1 -1
  185. package/bun.lock +0 -60
  186. package/tsconfig.build.json +0 -14
  187. package/tsconfig.build.tsbuildinfo +0 -1
  188. package/tsconfig.json +0 -38
  189. package/tsconfig.tsbuildinfo +0 -1
@@ -2,43 +2,48 @@ import { Schema } from "effect";
2
2
  import * as Bytes from "../../Codecs/Bytes.js";
3
3
  import * as Cbor from "../../Codecs/Cbor.js";
4
4
  import * as Data from "../Uplc/Data.js";
5
- export declare const TxOutputDatum: Schema.Union<[Schema.TaggedStruct<"Inline", {
6
- data: Schema.SchemaClass<{
7
- readonly bytes: Uint8Array<ArrayBufferLike>;
8
- } | {
9
- readonly int: bigint;
10
- } | {
11
- readonly list: readonly Data.Data[];
12
- } | {
13
- readonly map: readonly {
14
- readonly k: Data.Data;
15
- readonly v: Data.Data;
16
- }[];
17
- } | {
18
- readonly fields: readonly Data.Data[];
19
- readonly constructor: number;
20
- }, {
21
- readonly bytes: Uint8Array<ArrayBufferLike>;
22
- } | {
23
- readonly int: bigint;
24
- } | {
25
- readonly list: readonly Data.Data[];
26
- } | {
27
- readonly map: readonly {
28
- readonly k: Data.Data;
29
- readonly v: Data.Data;
30
- }[];
31
- } | {
32
- readonly fields: readonly Data.Data[];
33
- readonly constructor: number;
34
- }, never>;
35
- }>, Schema.TaggedStruct<"Hash", {
5
+ /**
6
+ * Keep things simple by not requiring a tag here
7
+ */
8
+ export declare const TxOutputDatum: Schema.Union<[Schema.SchemaClass<{
9
+ readonly bytes: Uint8Array<ArrayBufferLike>;
10
+ } | {
11
+ readonly int: bigint;
12
+ } | {
13
+ readonly list: readonly Data.Data[];
14
+ } | {
15
+ readonly map: readonly {
16
+ readonly k: Data.Data;
17
+ readonly v: Data.Data;
18
+ }[];
19
+ } | {
20
+ readonly fields: readonly Data.Data[];
21
+ readonly constructor: number;
22
+ }, {
23
+ readonly bytes: Uint8Array<ArrayBufferLike>;
24
+ } | {
25
+ readonly int: bigint;
26
+ } | {
27
+ readonly list: readonly Data.Data[];
28
+ } | {
29
+ readonly map: readonly {
30
+ readonly k: Data.Data;
31
+ readonly v: Data.Data;
32
+ }[];
33
+ } | {
34
+ readonly fields: readonly Data.Data[];
35
+ readonly constructor: number;
36
+ }, never>, Schema.Struct<{
36
37
  hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
37
38
  }>]>;
38
39
  export type TxOutputDatum = Schema.Schema.Type<typeof TxOutputDatum>;
39
40
  export declare const FromUplcData: Schema.transform<Schema.Schema<({
40
41
  _tag: "None";
41
42
  } & {}) | ({
43
+ _tag: "Hash";
44
+ } & {
45
+ hash: string & import("effect/Brand").Brand<"DatumHash">;
46
+ }) | ({
42
47
  _tag: "Inline";
43
48
  } & {
44
49
  data: {
@@ -56,43 +61,39 @@ export declare const FromUplcData: Schema.transform<Schema.Schema<({
56
61
  readonly fields: readonly Data.Data[];
57
62
  readonly constructor: number;
58
63
  };
59
- }) | ({
60
- _tag: "Hash";
61
- } & {
62
- hash: string & import("effect/Brand").Brand<"DatumHash">;
63
- }), Data.Data, never>, Schema.Union<[Schema.Union<[Schema.TaggedStruct<"Inline", {
64
- data: Schema.SchemaClass<{
65
- readonly bytes: Uint8Array<ArrayBufferLike>;
66
- } | {
67
- readonly int: bigint;
68
- } | {
69
- readonly list: readonly Data.Data[];
70
- } | {
71
- readonly map: readonly {
72
- readonly k: Data.Data;
73
- readonly v: Data.Data;
74
- }[];
75
- } | {
76
- readonly fields: readonly Data.Data[];
77
- readonly constructor: number;
78
- }, {
79
- readonly bytes: Uint8Array<ArrayBufferLike>;
80
- } | {
81
- readonly int: bigint;
82
- } | {
83
- readonly list: readonly Data.Data[];
84
- } | {
85
- readonly map: readonly {
86
- readonly k: Data.Data;
87
- readonly v: Data.Data;
88
- }[];
89
- } | {
90
- readonly fields: readonly Data.Data[];
91
- readonly constructor: number;
92
- }, never>;
93
- }>, Schema.TaggedStruct<"Hash", {
94
- hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
95
- }>]>, typeof Schema.Undefined]>>;
64
+ }), Data.Data, never>, Schema.SchemaClass<{
65
+ readonly bytes: Uint8Array<ArrayBufferLike>;
66
+ } | {
67
+ readonly int: bigint;
68
+ } | {
69
+ readonly list: readonly Data.Data[];
70
+ } | {
71
+ readonly map: readonly {
72
+ readonly k: Data.Data;
73
+ readonly v: Data.Data;
74
+ }[];
75
+ } | {
76
+ readonly fields: readonly Data.Data[];
77
+ readonly constructor: number;
78
+ } | {
79
+ readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
80
+ } | undefined, {
81
+ readonly bytes: Uint8Array<ArrayBufferLike>;
82
+ } | {
83
+ readonly int: bigint;
84
+ } | {
85
+ readonly list: readonly Data.Data[];
86
+ } | {
87
+ readonly map: readonly {
88
+ readonly k: Data.Data;
89
+ readonly v: Data.Data;
90
+ }[];
91
+ } | {
92
+ readonly fields: readonly Data.Data[];
93
+ readonly constructor: number;
94
+ } | {
95
+ readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
96
+ } | undefined, never>>;
96
97
  export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<TxOutputDatum>;
97
98
  export declare function encode(txOutputDatum: TxOutputDatum): number[];
98
99
  //# sourceMappingURL=TxOutputDatum.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"TxOutputDatum.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutputDatum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAGvC,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gCAoCxB,CAAA;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CA+B9B,CAAA;AAEJ,wBAAgB,MAAM,CAAC,aAAa,EAAE,aAAa,GAAG,MAAM,EAAE,CAe7D"}
1
+ {"version":3,"file":"TxOutputDatum.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutputDatum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAGvC;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAuCxB,CAAA;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CA4B9B,CAAA;AAEJ,wBAAgB,MAAM,CAAC,aAAa,EAAE,aAAa,GAAG,MAAM,EAAE,CAY7D"}