@helios-lang/effect 0.3.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 (173) hide show
  1. package/.vscode/settings.json +3 -0
  2. package/dist/Cardano/Ledger/AssetClass.js +6 -1
  3. package/dist/Cardano/Ledger/AssetClass.js.map +1 -1
  4. package/dist/Cardano/Ledger/Assets.js +85 -3
  5. package/dist/Cardano/Ledger/Assets.js.map +1 -1
  6. package/dist/Cardano/Ledger/Credential.js +1 -1
  7. package/dist/Cardano/Ledger/Credential.js.map +1 -1
  8. package/dist/Cardano/Ledger/DCert.js +2 -1
  9. package/dist/Cardano/Ledger/DCert.js.map +1 -1
  10. package/dist/Cardano/Ledger/DatumHash.js +2 -2
  11. package/dist/Cardano/Ledger/DatumHash.js.map +1 -1
  12. package/dist/Cardano/Ledger/MintingPolicy.js +2 -0
  13. package/dist/Cardano/Ledger/MintingPolicy.js.map +1 -1
  14. package/dist/Cardano/Ledger/NativeScript.js +2 -1
  15. package/dist/Cardano/Ledger/NativeScript.js.map +1 -1
  16. package/dist/Cardano/Ledger/PubKey.js +1 -1
  17. package/dist/Cardano/Ledger/PubKey.js.map +1 -1
  18. package/dist/Cardano/Ledger/PubKeyHash.js +1 -1
  19. package/dist/Cardano/Ledger/PubKeyHash.js.map +1 -1
  20. package/dist/Cardano/Ledger/Redeemer.js +1 -1
  21. package/dist/Cardano/Ledger/Redeemer.js.map +1 -1
  22. package/dist/Cardano/Ledger/Signature.js +1 -0
  23. package/dist/Cardano/Ledger/Signature.js.map +1 -1
  24. package/dist/Cardano/Ledger/Tx.js +165 -17
  25. package/dist/Cardano/Ledger/Tx.js.map +1 -1
  26. package/dist/Cardano/Ledger/TxOutput.js +12 -6
  27. package/dist/Cardano/Ledger/TxOutput.js.map +1 -1
  28. package/dist/Cardano/Ledger/TxOutputDatum.js +36 -34
  29. package/dist/Cardano/Ledger/TxOutputDatum.js.map +1 -1
  30. package/dist/Cardano/Ledger/UTxO.js +1 -1
  31. package/dist/Cardano/Ledger/UTxO.js.map +1 -1
  32. package/dist/Cardano/Ledger/UTxORef.js +1 -0
  33. package/dist/Cardano/Ledger/UTxORef.js.map +1 -1
  34. package/dist/Cardano/Ledger/ValidatorHash.js +1 -1
  35. package/dist/Cardano/Ledger/ValidatorHash.js.map +1 -1
  36. package/dist/Cardano/Network/AssetMetadata.js +11 -0
  37. package/dist/Cardano/Network/AssetMetadata.js.map +1 -0
  38. package/dist/Cardano/Network/IsMainnet.js +1 -1
  39. package/dist/Cardano/Network/IsMainnet.js.map +1 -1
  40. package/dist/Cardano/Network/Params.js +105 -1
  41. package/dist/Cardano/Network/Params.js.map +1 -1
  42. package/dist/Cardano/Network/Submit.js +15 -0
  43. package/dist/Cardano/Network/Submit.js.map +1 -0
  44. package/dist/Cardano/Network/UTxO.js +2 -2
  45. package/dist/Cardano/Network/UTxO.js.map +1 -1
  46. package/dist/Cardano/Network/UTxOsAt.js +3 -2
  47. package/dist/Cardano/Network/UTxOsAt.js.map +1 -1
  48. package/dist/Cardano/Network/errors.js +16 -3
  49. package/dist/Cardano/Network/errors.js.map +1 -1
  50. package/dist/Cardano/Network/index.js +2 -0
  51. package/dist/Cardano/Network/index.js.map +1 -1
  52. package/dist/Cardano/ScriptContext.js +264 -0
  53. package/dist/Cardano/ScriptContext.js.map +1 -0
  54. package/dist/Cardano/TxBuilder.js +88 -42
  55. package/dist/Cardano/TxBuilder.js.map +1 -1
  56. package/dist/Cardano/Uplc/Builtins.js +293 -32
  57. package/dist/Cardano/Uplc/Builtins.js.map +1 -1
  58. package/dist/Cardano/Uplc/Cek.js +6 -5
  59. package/dist/Cardano/Uplc/Cek.js.map +1 -1
  60. package/dist/Cardano/Uplc/Cost.js +257 -1
  61. package/dist/Cardano/Uplc/Cost.js.map +1 -1
  62. package/dist/Cardano/Uplc/Data.js +22 -8
  63. package/dist/Cardano/Uplc/Data.js.map +1 -1
  64. package/dist/Cardano/Uplc/Script.js +52 -10
  65. package/dist/Cardano/Uplc/Script.js.map +1 -1
  66. package/dist/Cardano/Uplc/Term.js +14 -0
  67. package/dist/Cardano/Uplc/Term.js.map +1 -1
  68. package/dist/Cardano/Uplc/index.js +2 -1
  69. package/dist/Cardano/Uplc/index.js.map +1 -1
  70. package/dist/Cardano/Wallet.js +4 -1
  71. package/dist/Cardano/Wallet.js.map +1 -1
  72. package/dist/Cardano/index.js +3 -3
  73. package/dist/Cardano/index.js.map +1 -1
  74. package/dist/Codecs/Base32.js +4 -1
  75. package/dist/Codecs/Base32.js.map +1 -1
  76. package/dist/Codecs/BigEndian.js +1 -1
  77. package/dist/Codecs/BigEndian.js.map +1 -1
  78. package/dist/Codecs/Bytes.js +1 -1
  79. package/dist/Codecs/Bytes.js.map +1 -1
  80. package/dist/Codecs/LittleEndian.js +1 -1
  81. package/dist/Codecs/LittleEndian.js.map +1 -1
  82. package/dist/Codecs/Utf8.js +1 -1
  83. package/dist/Codecs/Utf8.js.map +1 -1
  84. package/dist/Crypto/Bip32.js +5 -2
  85. package/dist/Crypto/Bip32.js.map +1 -1
  86. package/dist/Crypto/Curve.js +1 -0
  87. package/dist/Crypto/Curve.js.map +1 -1
  88. package/dist/Crypto/Ed25519.js +2 -1
  89. package/dist/Crypto/Ed25519.js.map +1 -1
  90. package/dist/Crypto/EdDSA.js +2 -1
  91. package/dist/Crypto/EdDSA.js.map +1 -1
  92. package/dist/Crypto/Sha3_256.js +1 -0
  93. package/dist/Crypto/Sha3_256.js.map +1 -1
  94. package/dist/Crypto/index.js +2 -0
  95. package/dist/Crypto/index.js.map +1 -1
  96. package/dist/index.js +3 -3
  97. package/dist/index.js.map +1 -1
  98. package/package.json +2 -1
  99. package/types/Cardano/Ledger/AssetClass.d.ts +6 -1
  100. package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
  101. package/types/Cardano/Ledger/Assets.d.ts +14 -2
  102. package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
  103. package/types/Cardano/Ledger/Credential.d.ts +1 -1
  104. package/types/Cardano/Ledger/Credential.d.ts.map +1 -1
  105. package/types/Cardano/Ledger/DatumHash.d.ts +2 -2
  106. package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
  107. package/types/Cardano/Ledger/MintingPolicy.d.ts +1 -0
  108. package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
  109. package/types/Cardano/Ledger/PubKey.d.ts +2 -2
  110. package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
  111. package/types/Cardano/Ledger/PubKeyHash.d.ts +2 -2
  112. package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
  113. package/types/Cardano/Ledger/Redeemer.d.ts +1 -1
  114. package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
  115. package/types/Cardano/Ledger/Signature.d.ts +1 -1
  116. package/types/Cardano/Ledger/Signature.d.ts.map +1 -1
  117. package/types/Cardano/Ledger/Tx.d.ts +19 -241
  118. package/types/Cardano/Ledger/Tx.d.ts.map +1 -1
  119. package/types/Cardano/Ledger/TxOutput.d.ts +95 -105
  120. package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
  121. package/types/Cardano/Ledger/TxOutputDatum.d.ts +69 -68
  122. package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
  123. package/types/Cardano/Ledger/UTxO.d.ts +268 -318
  124. package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
  125. package/types/Cardano/Ledger/ValidatorHash.d.ts +2 -2
  126. package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
  127. package/types/Cardano/Network/AssetMetadata.d.ts +15 -0
  128. package/types/Cardano/Network/AssetMetadata.d.ts.map +1 -0
  129. package/types/Cardano/Network/IsMainnet.d.ts +1 -1
  130. package/types/Cardano/Network/Params.d.ts +9 -1
  131. package/types/Cardano/Network/Params.d.ts.map +1 -1
  132. package/types/Cardano/Network/Submit.d.ts +18 -0
  133. package/types/Cardano/Network/Submit.d.ts.map +1 -0
  134. package/types/Cardano/Network/UTxO.d.ts +1 -1
  135. package/types/Cardano/Network/UTxO.d.ts.map +1 -1
  136. package/types/Cardano/Network/UTxOsAt.d.ts +2 -2
  137. package/types/Cardano/Network/UTxOsAt.d.ts.map +1 -1
  138. package/types/Cardano/Network/errors.d.ts +22 -2
  139. package/types/Cardano/Network/errors.d.ts.map +1 -1
  140. package/types/Cardano/Network/index.d.ts +2 -0
  141. package/types/Cardano/Network/index.d.ts.map +1 -1
  142. package/types/Cardano/ScriptContext.d.ts +1340 -0
  143. package/types/Cardano/ScriptContext.d.ts.map +1 -0
  144. package/types/Cardano/TxBuilder.d.ts +7 -5
  145. package/types/Cardano/TxBuilder.d.ts.map +1 -1
  146. package/types/Cardano/Uplc/Builtins.d.ts.map +1 -1
  147. package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
  148. package/types/Cardano/Uplc/Cost.d.ts +1 -0
  149. package/types/Cardano/Uplc/Cost.d.ts.map +1 -1
  150. package/types/Cardano/Uplc/Data.d.ts.map +1 -1
  151. package/types/Cardano/Uplc/Script.d.ts +5 -3
  152. package/types/Cardano/Uplc/Script.d.ts.map +1 -1
  153. package/types/Cardano/Uplc/Term.d.ts +3 -0
  154. package/types/Cardano/Uplc/Term.d.ts.map +1 -1
  155. package/types/Cardano/Uplc/index.d.ts +2 -1
  156. package/types/Cardano/Uplc/index.d.ts.map +1 -1
  157. package/types/Cardano/Wallet.d.ts +18 -23
  158. package/types/Cardano/Wallet.d.ts.map +1 -1
  159. package/types/Cardano/index.d.ts +3 -3
  160. package/types/Cardano/index.d.ts.map +1 -1
  161. package/types/Codecs/Base32.d.ts +4 -1
  162. package/types/Codecs/Base32.d.ts.map +1 -1
  163. package/types/Crypto/Bip32.d.ts +5 -3
  164. package/types/Crypto/Bip32.d.ts.map +1 -1
  165. package/types/Crypto/EdDSA.d.ts +1 -1
  166. package/types/Crypto/EdDSA.d.ts.map +1 -1
  167. package/types/Crypto/index.d.ts +2 -0
  168. package/types/Crypto/index.d.ts.map +1 -1
  169. package/types/index.d.ts +3 -3
  170. package/types/index.d.ts.map +1 -1
  171. package/bun.lock +0 -60
  172. package/tsconfig.build.json +0 -14
  173. package/tsconfig.json +0 -38
@@ -1,8 +1,8 @@
1
1
  import { Effect, Schema } from "effect";
2
2
  import * as Bytes from "../../Codecs/Bytes.js";
3
3
  import * as Cbor from "../../Codecs/Cbor.js";
4
- import { Params } from "../Network";
5
- import * as Uplc from "../Uplc";
4
+ import * as Params from "../Network/Params.js";
5
+ import * as Uplc from "../Uplc/index.js";
6
6
  import * as Address from "./Address.js";
7
7
  import * as Assets from "./Assets.js";
8
8
  import * as TxOutputDatum from "./TxOutputDatum.js";
@@ -14,37 +14,35 @@ export declare const DEFAULT_TX_OUTPUT_ENCODING_CONFIG: TxOutputEncodingConfig;
14
14
  export declare const TxOutput: Schema.Struct<{
15
15
  address: Schema.brand<Schema.filter<typeof Schema.String>, "Cardano.Ledger.Address">;
16
16
  assets: Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>;
17
- datum: Schema.optional<Schema.Union<[Schema.TaggedStruct<"Inline", {
18
- data: Schema.SchemaClass<{
19
- readonly bytes: Uint8Array<ArrayBufferLike>;
20
- } | {
21
- readonly int: bigint;
22
- } | {
23
- readonly list: readonly Uplc.Data.Data[];
24
- } | {
25
- readonly map: readonly {
26
- readonly k: Uplc.Data.Data;
27
- readonly v: Uplc.Data.Data;
28
- }[];
29
- } | {
30
- readonly fields: readonly Uplc.Data.Data[];
31
- readonly constructor: number;
32
- }, {
33
- readonly bytes: Uint8Array<ArrayBufferLike>;
34
- } | {
35
- readonly int: bigint;
36
- } | {
37
- readonly list: readonly Uplc.Data.Data[];
38
- } | {
39
- readonly map: readonly {
40
- readonly k: Uplc.Data.Data;
41
- readonly v: Uplc.Data.Data;
42
- }[];
43
- } | {
44
- readonly fields: readonly Uplc.Data.Data[];
45
- readonly constructor: number;
46
- }, never>;
47
- }>, Schema.TaggedStruct<"Hash", {
17
+ datum: Schema.optional<Schema.Union<[Schema.SchemaClass<{
18
+ readonly bytes: Uint8Array<ArrayBufferLike>;
19
+ } | {
20
+ readonly int: bigint;
21
+ } | {
22
+ readonly list: readonly Uplc.Data.Data[];
23
+ } | {
24
+ readonly map: readonly {
25
+ readonly k: Uplc.Data.Data;
26
+ readonly v: Uplc.Data.Data;
27
+ }[];
28
+ } | {
29
+ readonly fields: readonly Uplc.Data.Data[];
30
+ readonly constructor: number;
31
+ }, {
32
+ readonly bytes: Uint8Array<ArrayBufferLike>;
33
+ } | {
34
+ readonly int: bigint;
35
+ } | {
36
+ readonly list: readonly Uplc.Data.Data[];
37
+ } | {
38
+ readonly map: readonly {
39
+ readonly k: Uplc.Data.Data;
40
+ readonly v: Uplc.Data.Data;
41
+ }[];
42
+ } | {
43
+ readonly fields: readonly Uplc.Data.Data[];
44
+ readonly constructor: number;
45
+ }, never>, Schema.Struct<{
48
46
  hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
49
47
  }>]>>;
50
48
  refScript: Schema.optional<Schema.Union<[Schema.extend<Schema.Struct<{
@@ -183,7 +181,7 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
183
181
  readonly fields: readonly Uplc.Data.Data[];
184
182
  readonly constructor: number;
185
183
  }, never>>, never>;
186
- }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never>, import("../Network").IsMainnet>;
184
+ }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never>, import("../Network/IsMainnet.js").IsMainnet>;
187
185
  assets: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
188
186
  readonly bytes: Uint8Array<ArrayBufferLike>;
189
187
  } | {
@@ -244,6 +242,10 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
244
242
  datum: Schema.transform<Schema.Schema<({
245
243
  _tag: "None";
246
244
  } & {}) | ({
245
+ _tag: "Hash";
246
+ } & {
247
+ hash: string & import("effect/Brand").Brand<"DatumHash">;
248
+ }) | ({
247
249
  _tag: "Inline";
248
250
  } & {
249
251
  data: {
@@ -261,43 +263,39 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
261
263
  readonly fields: readonly Uplc.Data.Data[];
262
264
  readonly constructor: number;
263
265
  };
264
- }) | ({
265
- _tag: "Hash";
266
- } & {
267
- hash: string & import("effect/Brand").Brand<"DatumHash">;
268
- }), Uplc.Data.Data, never>, Schema.Union<[Schema.Union<[Schema.TaggedStruct<"Inline", {
269
- data: Schema.SchemaClass<{
270
- readonly bytes: Uint8Array<ArrayBufferLike>;
271
- } | {
272
- readonly int: bigint;
273
- } | {
274
- readonly list: readonly Uplc.Data.Data[];
275
- } | {
276
- readonly map: readonly {
277
- readonly k: Uplc.Data.Data;
278
- readonly v: Uplc.Data.Data;
279
- }[];
280
- } | {
281
- readonly fields: readonly Uplc.Data.Data[];
282
- readonly constructor: number;
283
- }, {
284
- readonly bytes: Uint8Array<ArrayBufferLike>;
285
- } | {
286
- readonly int: bigint;
287
- } | {
288
- readonly list: readonly Uplc.Data.Data[];
289
- } | {
290
- readonly map: readonly {
291
- readonly k: Uplc.Data.Data;
292
- readonly v: Uplc.Data.Data;
293
- }[];
294
- } | {
295
- readonly fields: readonly Uplc.Data.Data[];
296
- readonly constructor: number;
297
- }, never>;
298
- }>, Schema.TaggedStruct<"Hash", {
299
- hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
300
- }>]>, typeof Schema.Undefined]>>;
266
+ }), Uplc.Data.Data, never>, Schema.SchemaClass<{
267
+ readonly bytes: Uint8Array<ArrayBufferLike>;
268
+ } | {
269
+ readonly int: bigint;
270
+ } | {
271
+ readonly list: readonly Uplc.Data.Data[];
272
+ } | {
273
+ readonly map: readonly {
274
+ readonly k: Uplc.Data.Data;
275
+ readonly v: Uplc.Data.Data;
276
+ }[];
277
+ } | {
278
+ readonly fields: readonly Uplc.Data.Data[];
279
+ readonly constructor: number;
280
+ } | {
281
+ readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
282
+ } | undefined, {
283
+ readonly bytes: Uint8Array<ArrayBufferLike>;
284
+ } | {
285
+ readonly int: bigint;
286
+ } | {
287
+ readonly list: readonly Uplc.Data.Data[];
288
+ } | {
289
+ readonly map: readonly {
290
+ readonly k: Uplc.Data.Data;
291
+ readonly v: Uplc.Data.Data;
292
+ }[];
293
+ } | {
294
+ readonly fields: readonly Uplc.Data.Data[];
295
+ readonly constructor: number;
296
+ } | {
297
+ readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
298
+ } | undefined, never>>;
301
299
  refScript: Schema.transformOrFail<Schema.SchemaClass<{
302
300
  readonly bytes: Uint8Array<ArrayBufferLike>;
303
301
  } | {
@@ -347,24 +345,20 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
347
345
  readonly [x: string]: bigint;
348
346
  };
349
347
  readonly datum?: {
350
- readonly _tag: "Inline";
351
- readonly data: {
352
- readonly bytes: Uint8Array<ArrayBufferLike>;
353
- } | {
354
- readonly int: bigint;
355
- } | {
356
- readonly list: readonly Uplc.Data.Data[];
357
- } | {
358
- readonly map: readonly {
359
- readonly k: Uplc.Data.Data;
360
- readonly v: Uplc.Data.Data;
361
- }[];
362
- } | {
363
- readonly fields: readonly Uplc.Data.Data[];
364
- readonly constructor: number;
365
- };
348
+ readonly bytes: Uint8Array<ArrayBufferLike>;
349
+ } | {
350
+ readonly int: bigint;
351
+ } | {
352
+ readonly list: readonly Uplc.Data.Data[];
353
+ } | {
354
+ readonly map: readonly {
355
+ readonly k: Uplc.Data.Data;
356
+ readonly v: Uplc.Data.Data;
357
+ }[];
358
+ } | {
359
+ readonly fields: readonly Uplc.Data.Data[];
360
+ readonly constructor: number;
366
361
  } | {
367
- readonly _tag: "Hash";
368
362
  readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
369
363
  } | undefined;
370
364
  readonly refScript?: ({
@@ -387,24 +381,20 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
387
381
  readonly [x: string]: bigint;
388
382
  };
389
383
  readonly datum?: {
390
- readonly _tag: "Inline";
391
- readonly data: {
392
- readonly bytes: Uint8Array<ArrayBufferLike>;
393
- } | {
394
- readonly int: bigint;
395
- } | {
396
- readonly list: readonly Uplc.Data.Data[];
397
- } | {
398
- readonly map: readonly {
399
- readonly k: Uplc.Data.Data;
400
- readonly v: Uplc.Data.Data;
401
- }[];
402
- } | {
403
- readonly fields: readonly Uplc.Data.Data[];
404
- readonly constructor: number;
405
- };
384
+ readonly bytes: Uint8Array<ArrayBufferLike>;
385
+ } | {
386
+ readonly int: bigint;
387
+ } | {
388
+ readonly list: readonly Uplc.Data.Data[];
389
+ } | {
390
+ readonly map: readonly {
391
+ readonly k: Uplc.Data.Data;
392
+ readonly v: Uplc.Data.Data;
393
+ }[];
394
+ } | {
395
+ readonly fields: readonly Uplc.Data.Data[];
396
+ readonly constructor: number;
406
397
  } | {
407
- readonly _tag: "Hash";
408
398
  readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
409
399
  } | undefined;
410
400
  readonly refScript?: ({
@@ -1 +1 @@
1
- {"version":3,"file":"TxOutput.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,SAAS,CAAA;AAC/B,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAGnD,eAAO,MAAM,sBAAsB;;EAEjC,CAAA;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACrD,OAAO,sBAAsB,CAC9B,CAAA;AAED,eAAO,MAAM,iCAAiC,EAAE,sBAE/C,CAAA;AAED,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYnB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAyBxB,CAAA;AAED,wBAAgB,IAAI,CAAC,EACnB,OAAO,EACP,MAAM,EACN,KAAiB,EACjB,SAAqB,EACrB,cAAkD,EACnD,EAAE;IACD,OAAO,EAAE,OAAO,CAAC,OAAO,CAAA;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAA;IACrB,KAAK,CAAC,EAAE,aAAa,CAAC,aAAa,CAAA;IACnC,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACzD,cAAc,CAAC,EAAE,sBAAsB,CAAA;CACxC,GAAG,QAAQ,CAQX;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CA8GtE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,EAAE,CA+CjD;AAED,eAAO,MAAM,WAAW,GAAI,QAAQ,QAAQ,gDAUzC,CAAA;AAEH,eAAO,MAAM,SAAS,GAAI,GAAG,SAAS,QAAQ,EAAE;;CACO,CAAA"}
1
+ {"version":3,"file":"TxOutput.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,sBAAsB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AACxC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAGnD,eAAO,MAAM,sBAAsB;;EAEjC,CAAA;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACrD,OAAO,sBAAsB,CAC9B,CAAA;AAED,eAAO,MAAM,iCAAiC,EAAE,sBAE/C,CAAA;AAED,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYnB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAyBxB,CAAA;AAED,wBAAgB,IAAI,CAAC,EACnB,OAAO,EACP,MAAM,EACN,KAAiB,EACjB,SAAqB,EACrB,cAAkD,EACnD,EAAE;IACD,OAAO,EAAE,OAAO,CAAC,OAAO,CAAA;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAA;IACrB,KAAK,CAAC,EAAE,aAAa,CAAC,aAAa,CAAA;IACnC,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACzD,cAAc,CAAC,EAAE,sBAAsB,CAAA;CACxC,GAAG,QAAQ,CAQX;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CA8GtE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,EAAE,CA+CjD;AAED,eAAO,MAAM,WAAW,GAAI,QAAQ,QAAQ,gDAsBzC,CAAA;AAEH,eAAO,MAAM,SAAS,GAAI,GAAG,SAAS,QAAQ,EAAE;;CACO,CAAA"}
@@ -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"}