@helios-lang/effect 0.6.14 → 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 (60) hide show
  1. package/dist/Cardano/TxBuilder.js +11 -1
  2. package/dist/Cardano/TxBuilder.js.map +1 -1
  3. package/dist/Cardano/Uplc/Cek.js +53 -25
  4. package/dist/Cardano/Uplc/Cek.js.map +1 -1
  5. package/dist/Cardano/Uplc/Data.js +21 -1
  6. package/dist/Cardano/Uplc/Data.js.map +1 -1
  7. package/dist/Cardano/Uplc/Script.js +0 -8
  8. package/dist/Cardano/Uplc/Script.js.map +1 -1
  9. package/dist/Cardano/ZK.js +232 -0
  10. package/dist/Cardano/ZK.js.map +1 -0
  11. package/dist/Cardano/index.js +1 -0
  12. package/dist/Cardano/index.js.map +1 -1
  13. package/package.json +1 -1
  14. package/types/Cardano/Ledger/Address.d.ts +30 -58
  15. package/types/Cardano/Ledger/Address.d.ts.map +1 -1
  16. package/types/Cardano/Ledger/AssetClass.d.ts +45 -87
  17. package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
  18. package/types/Cardano/Ledger/Assets.d.ts +15 -29
  19. package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
  20. package/types/Cardano/Ledger/DatumHash.d.ts +15 -29
  21. package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
  22. package/types/Cardano/Ledger/MintingPolicy.d.ts +15 -29
  23. package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
  24. package/types/Cardano/Ledger/PubKey.d.ts +15 -29
  25. package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
  26. package/types/Cardano/Ledger/PubKeyHash.d.ts +15 -29
  27. package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
  28. package/types/Cardano/Ledger/Redeemer.d.ts +120 -232
  29. package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
  30. package/types/Cardano/Ledger/RewardAddress.d.ts +15 -29
  31. package/types/Cardano/Ledger/RewardAddress.d.ts.map +1 -1
  32. package/types/Cardano/Ledger/TxHash.d.ts +45 -87
  33. package/types/Cardano/Ledger/TxHash.d.ts.map +1 -1
  34. package/types/Cardano/Ledger/TxOutput.d.ts +90 -174
  35. package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
  36. package/types/Cardano/Ledger/TxOutputDatum.d.ts +15 -29
  37. package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
  38. package/types/Cardano/Ledger/UTxO.d.ts +300 -580
  39. package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
  40. package/types/Cardano/Ledger/UTxORef.d.ts +105 -203
  41. package/types/Cardano/Ledger/UTxORef.d.ts.map +1 -1
  42. package/types/Cardano/Ledger/ValidatorHash.d.ts +15 -29
  43. package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
  44. package/types/Cardano/ScriptContext.d.ts +285 -551
  45. package/types/Cardano/ScriptContext.d.ts.map +1 -1
  46. package/types/Cardano/TxBuilder.d.ts +4 -4
  47. package/types/Cardano/Uplc/Cek.d.ts +1 -8
  48. package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
  49. package/types/Cardano/Uplc/Data.d.ts +276 -495
  50. package/types/Cardano/Uplc/Data.d.ts.map +1 -1
  51. package/types/Cardano/Uplc/Script.d.ts +0 -1
  52. package/types/Cardano/Uplc/Script.d.ts.map +1 -1
  53. package/types/Cardano/Uplc/Term.d.ts +30 -58
  54. package/types/Cardano/Uplc/Term.d.ts.map +1 -1
  55. package/types/Cardano/Uplc/Value.d.ts +30 -58
  56. package/types/Cardano/Uplc/Value.d.ts.map +1 -1
  57. package/types/Cardano/ZK.d.ts +188 -0
  58. package/types/Cardano/ZK.d.ts.map +1 -0
  59. package/types/Cardano/index.d.ts +1 -0
  60. package/types/Cardano/index.d.ts.map +1 -1
package/types/Cardano/ScriptContext.d.ts CHANGED
@@ -22,64 +22,36 @@ export declare const makeArgs: (version: 1 | 2 | 3, tx: Tx, redeemerIndex: numbe
22
22
  /**
23
23
  * Only use for testing!
24
24
  */
25
- export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
26
- readonly bytes: Uint8Array<ArrayBufferLike>;
27
- } | {
28
- readonly int: bigint;
29
- } | {
30
- readonly list: readonly Data.Data[];
31
- } | {
32
- readonly map: readonly {
33
- readonly k: Data.Data;
34
- readonly v: Data.Data;
35
- }[];
36
- } | {
37
- readonly fields: readonly Data.Data[];
38
- readonly constructor: number;
39
- }, {
40
- readonly bytes: Uint8Array<ArrayBufferLike>;
41
- } | {
42
- readonly int: bigint;
43
- } | {
44
- readonly list: readonly Data.Data[];
45
- } | {
46
- readonly map: readonly {
47
- readonly k: Data.Data;
48
- readonly v: Data.Data;
49
- }[];
50
- } | {
51
- readonly fields: readonly Data.Data[];
52
- readonly constructor: number;
53
- }, never>, Schema.Struct<{
54
- inputs: Schema.transformOrFail<Schema.SchemaClass<{
55
- readonly bytes: Uint8Array<ArrayBufferLike>;
56
- } | {
57
- readonly int: bigint;
58
- } | {
59
- readonly list: readonly Data.Data[];
60
- } | {
61
- readonly map: readonly {
62
- readonly k: Data.Data;
63
- readonly v: Data.Data;
64
- }[];
65
- } | {
66
- readonly fields: readonly Data.Data[];
67
- readonly constructor: number;
68
- }, {
69
- readonly bytes: Uint8Array<ArrayBufferLike>;
70
- } | {
71
- readonly int: bigint;
72
- } | {
73
- readonly list: readonly Data.Data[];
74
- } | {
75
- readonly map: readonly {
76
- readonly k: Data.Data;
77
- readonly v: Data.Data;
78
- }[];
79
- } | {
80
- readonly fields: readonly Data.Data[];
81
- readonly constructor: number;
82
- }, never>, Schema.Array$<Schema.Schema<{
25
+ export declare const TxInfoV3: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
26
+ bytes: typeof Schema.Uint8ArrayFromSelf;
27
+ }>, Schema.Struct<{
28
+ int: typeof Schema.BigIntFromSelf;
29
+ }>, Schema.Struct<{
30
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
31
+ }>, Schema.Struct<{
32
+ map: Schema.Array$<Schema.Struct<{
33
+ k: Schema.suspend<Data.Data, Data.Data, never>;
34
+ v: Schema.suspend<Data.Data, Data.Data, never>;
35
+ }>>;
36
+ }>, Schema.Struct<{
37
+ constructor: typeof Schema.Number;
38
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
39
+ }>]>, Schema.Struct<{
40
+ inputs: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
41
+ bytes: typeof Schema.Uint8ArrayFromSelf;
42
+ }>, Schema.Struct<{
43
+ int: typeof Schema.BigIntFromSelf;
44
+ }>, Schema.Struct<{
45
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
46
+ }>, Schema.Struct<{
47
+ map: Schema.Array$<Schema.Struct<{
48
+ k: Schema.suspend<Data.Data, Data.Data, never>;
49
+ v: Schema.suspend<Data.Data, Data.Data, never>;
50
+ }>>;
51
+ }>, Schema.Struct<{
52
+ constructor: typeof Schema.Number;
53
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
54
+ }>]>, Schema.Array$<Schema.Schema<{
83
55
  readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
84
56
  readonly output: {
85
57
  readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
@@ -133,35 +105,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
133
105
  readonly fields: readonly Data.Data[];
134
106
  readonly constructor: number;
135
107
  }, import("./Network/IsMainnet.js").IsMainnet>>, never>;
136
- refInputs: Schema.transformOrFail<Schema.SchemaClass<{
137
- readonly bytes: Uint8Array<ArrayBufferLike>;
138
- } | {
139
- readonly int: bigint;
140
- } | {
141
- readonly list: readonly Data.Data[];
142
- } | {
143
- readonly map: readonly {
144
- readonly k: Data.Data;
145
- readonly v: Data.Data;
146
- }[];
147
- } | {
148
- readonly fields: readonly Data.Data[];
149
- readonly constructor: number;
150
- }, {
151
- readonly bytes: Uint8Array<ArrayBufferLike>;
152
- } | {
153
- readonly int: bigint;
154
- } | {
155
- readonly list: readonly Data.Data[];
156
- } | {
157
- readonly map: readonly {
158
- readonly k: Data.Data;
159
- readonly v: Data.Data;
160
- }[];
161
- } | {
162
- readonly fields: readonly Data.Data[];
163
- readonly constructor: number;
164
- }, never>, Schema.Array$<Schema.Schema<{
108
+ refInputs: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
109
+ bytes: typeof Schema.Uint8ArrayFromSelf;
110
+ }>, Schema.Struct<{
111
+ int: typeof Schema.BigIntFromSelf;
112
+ }>, Schema.Struct<{
113
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
114
+ }>, Schema.Struct<{
115
+ map: Schema.Array$<Schema.Struct<{
116
+ k: Schema.suspend<Data.Data, Data.Data, never>;
117
+ v: Schema.suspend<Data.Data, Data.Data, never>;
118
+ }>>;
119
+ }>, Schema.Struct<{
120
+ constructor: typeof Schema.Number;
121
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
122
+ }>]>, Schema.Array$<Schema.Schema<{
165
123
  readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
166
124
  readonly output: {
167
125
  readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
@@ -215,35 +173,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
215
173
  readonly fields: readonly Data.Data[];
216
174
  readonly constructor: number;
217
175
  }, import("./Network/IsMainnet.js").IsMainnet>>, never>;
218
- outputs: Schema.transformOrFail<Schema.SchemaClass<{
219
- readonly bytes: Uint8Array<ArrayBufferLike>;
220
- } | {
221
- readonly int: bigint;
222
- } | {
223
- readonly list: readonly Data.Data[];
224
- } | {
225
- readonly map: readonly {
226
- readonly k: Data.Data;
227
- readonly v: Data.Data;
228
- }[];
229
- } | {
230
- readonly fields: readonly Data.Data[];
231
- readonly constructor: number;
232
- }, {
233
- readonly bytes: Uint8Array<ArrayBufferLike>;
234
- } | {
235
- readonly int: bigint;
236
- } | {
237
- readonly list: readonly Data.Data[];
238
- } | {
239
- readonly map: readonly {
240
- readonly k: Data.Data;
241
- readonly v: Data.Data;
242
- }[];
243
- } | {
244
- readonly fields: readonly Data.Data[];
245
- readonly constructor: number;
246
- }, never>, Schema.Array$<Schema.Schema<{
176
+ outputs: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
177
+ bytes: typeof Schema.Uint8ArrayFromSelf;
178
+ }>, Schema.Struct<{
179
+ int: typeof Schema.BigIntFromSelf;
180
+ }>, Schema.Struct<{
181
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
182
+ }>, Schema.Struct<{
183
+ map: Schema.Array$<Schema.Struct<{
184
+ k: Schema.suspend<Data.Data, Data.Data, never>;
185
+ v: Schema.suspend<Data.Data, Data.Data, never>;
186
+ }>>;
187
+ }>, Schema.Struct<{
188
+ constructor: typeof Schema.Number;
189
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
190
+ }>]>, Schema.Array$<Schema.Schema<{
247
191
  readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
248
192
  readonly assets: {
249
193
  readonly [x: string]: bigint;
@@ -294,35 +238,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
294
238
  readonly fields: readonly Data.Data[];
295
239
  readonly constructor: number;
296
240
  }, import("./Network/IsMainnet.js").IsMainnet>>, never>;
297
- fee: Schema.transform<Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
298
- readonly bytes: Uint8Array<ArrayBufferLike>;
299
- } | {
300
- readonly int: bigint;
301
- } | {
302
- readonly list: readonly Data.Data[];
303
- } | {
304
- readonly map: readonly {
305
- readonly k: Data.Data;
306
- readonly v: Data.Data;
307
- }[];
308
- } | {
309
- readonly fields: readonly Data.Data[];
310
- readonly constructor: number;
311
- }, {
312
- readonly bytes: Uint8Array<ArrayBufferLike>;
313
- } | {
314
- readonly int: bigint;
315
- } | {
316
- readonly list: readonly Data.Data[];
317
- } | {
318
- readonly map: readonly {
319
- readonly k: Data.Data;
320
- readonly v: Data.Data;
321
- }[];
322
- } | {
323
- readonly fields: readonly Data.Data[];
324
- readonly constructor: number;
325
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./Ledger/MintingPolicy.js").MintingPolicy, {
241
+ fee: Schema.transform<Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
242
+ bytes: typeof Schema.Uint8ArrayFromSelf;
243
+ }>, Schema.Struct<{
244
+ int: typeof Schema.BigIntFromSelf;
245
+ }>, Schema.Struct<{
246
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
247
+ }>, Schema.Struct<{
248
+ map: Schema.Array$<Schema.Struct<{
249
+ k: Schema.suspend<Data.Data, Data.Data, never>;
250
+ v: Schema.suspend<Data.Data, Data.Data, never>;
251
+ }>>;
252
+ }>, Schema.Struct<{
253
+ constructor: typeof Schema.Number;
254
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
255
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./Ledger/MintingPolicy.js").MintingPolicy, {
326
256
  readonly bytes: Uint8Array<ArrayBufferLike>;
327
257
  } | {
328
258
  readonly int: bigint;
@@ -351,35 +281,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
351
281
  readonly fields: readonly Data.Data[];
352
282
  readonly constructor: number;
353
283
  }, never>>>, never>, Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>>, typeof Schema.BigIntFromSelf>;
354
- minted: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
355
- readonly bytes: Uint8Array<ArrayBufferLike>;
356
- } | {
357
- readonly int: bigint;
358
- } | {
359
- readonly list: readonly Data.Data[];
360
- } | {
361
- readonly map: readonly {
362
- readonly k: Data.Data;
363
- readonly v: Data.Data;
364
- }[];
365
- } | {
366
- readonly fields: readonly Data.Data[];
367
- readonly constructor: number;
368
- }, {
369
- readonly bytes: Uint8Array<ArrayBufferLike>;
370
- } | {
371
- readonly int: bigint;
372
- } | {
373
- readonly list: readonly Data.Data[];
374
- } | {
375
- readonly map: readonly {
376
- readonly k: Data.Data;
377
- readonly v: Data.Data;
378
- }[];
379
- } | {
380
- readonly fields: readonly Data.Data[];
381
- readonly constructor: number;
382
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./Ledger/MintingPolicy.js").MintingPolicy, {
284
+ minted: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
285
+ bytes: typeof Schema.Uint8ArrayFromSelf;
286
+ }>, Schema.Struct<{
287
+ int: typeof Schema.BigIntFromSelf;
288
+ }>, Schema.Struct<{
289
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
290
+ }>, Schema.Struct<{
291
+ map: Schema.Array$<Schema.Struct<{
292
+ k: Schema.suspend<Data.Data, Data.Data, never>;
293
+ v: Schema.suspend<Data.Data, Data.Data, never>;
294
+ }>>;
295
+ }>, Schema.Struct<{
296
+ constructor: typeof Schema.Number;
297
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
298
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./Ledger/MintingPolicy.js").MintingPolicy, {
383
299
  readonly bytes: Uint8Array<ArrayBufferLike>;
384
300
  } | {
385
301
  readonly int: bigint;
@@ -408,35 +324,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
408
324
  readonly fields: readonly Data.Data[];
409
325
  readonly constructor: number;
410
326
  }, never>>>, never>, Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>>;
411
- dcerts: Schema.transformOrFail<Schema.SchemaClass<{
412
- readonly bytes: Uint8Array<ArrayBufferLike>;
413
- } | {
414
- readonly int: bigint;
415
- } | {
416
- readonly list: readonly Data.Data[];
417
- } | {
418
- readonly map: readonly {
419
- readonly k: Data.Data;
420
- readonly v: Data.Data;
421
- }[];
422
- } | {
423
- readonly fields: readonly Data.Data[];
424
- readonly constructor: number;
425
- }, {
426
- readonly bytes: Uint8Array<ArrayBufferLike>;
427
- } | {
428
- readonly int: bigint;
429
- } | {
430
- readonly list: readonly Data.Data[];
431
- } | {
432
- readonly map: readonly {
433
- readonly k: Data.Data;
434
- readonly v: Data.Data;
435
- }[];
436
- } | {
437
- readonly fields: readonly Data.Data[];
438
- readonly constructor: number;
439
- }, never>, Schema.Array$<Schema.Schema<import("./Ledger/DCert.js").DCert, {
327
+ dcerts: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
328
+ bytes: typeof Schema.Uint8ArrayFromSelf;
329
+ }>, Schema.Struct<{
330
+ int: typeof Schema.BigIntFromSelf;
331
+ }>, Schema.Struct<{
332
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
333
+ }>, Schema.Struct<{
334
+ map: Schema.Array$<Schema.Struct<{
335
+ k: Schema.suspend<Data.Data, Data.Data, never>;
336
+ v: Schema.suspend<Data.Data, Data.Data, never>;
337
+ }>>;
338
+ }>, Schema.Struct<{
339
+ constructor: typeof Schema.Number;
340
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
341
+ }>]>, Schema.Array$<Schema.Schema<import("./Ledger/DCert.js").DCert, {
440
342
  readonly bytes: Uint8Array<ArrayBufferLike>;
441
343
  } | {
442
344
  readonly int: bigint;
@@ -451,35 +353,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
451
353
  readonly fields: readonly Data.Data[];
452
354
  readonly constructor: number;
453
355
  }, never>>, never>;
454
- withdrawals: Schema.transformOrFail<Schema.SchemaClass<{
455
- readonly bytes: Uint8Array<ArrayBufferLike>;
456
- } | {
457
- readonly int: bigint;
458
- } | {
459
- readonly list: readonly Data.Data[];
460
- } | {
461
- readonly map: readonly {
462
- readonly k: Data.Data;
463
- readonly v: Data.Data;
464
- }[];
465
- } | {
466
- readonly fields: readonly Data.Data[];
467
- readonly constructor: number;
468
- }, {
469
- readonly bytes: Uint8Array<ArrayBufferLike>;
470
- } | {
471
- readonly int: bigint;
472
- } | {
473
- readonly list: readonly Data.Data[];
474
- } | {
475
- readonly map: readonly {
476
- readonly k: Data.Data;
477
- readonly v: Data.Data;
478
- }[];
479
- } | {
480
- readonly fields: readonly Data.Data[];
481
- readonly constructor: number;
482
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"RewardAddress">, {
356
+ withdrawals: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
357
+ bytes: typeof Schema.Uint8ArrayFromSelf;
358
+ }>, Schema.Struct<{
359
+ int: typeof Schema.BigIntFromSelf;
360
+ }>, Schema.Struct<{
361
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
362
+ }>, Schema.Struct<{
363
+ map: Schema.Array$<Schema.Struct<{
364
+ k: Schema.suspend<Data.Data, Data.Data, never>;
365
+ v: Schema.suspend<Data.Data, Data.Data, never>;
366
+ }>>;
367
+ }>, Schema.Struct<{
368
+ constructor: typeof Schema.Number;
369
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
370
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"RewardAddress">, {
483
371
  readonly bytes: Uint8Array<ArrayBufferLike>;
484
372
  } | {
485
373
  readonly int: bigint;
@@ -508,64 +396,36 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
508
396
  readonly fields: readonly Data.Data[];
509
397
  readonly constructor: number;
510
398
  }, never>>>, never>;
511
- validityTimeRange: Schema.transformOrFail<Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
512
- readonly bytes: Uint8Array<ArrayBufferLike>;
513
- } | {
514
- readonly int: bigint;
515
- } | {
516
- readonly list: readonly Data.Data[];
517
- } | {
518
- readonly map: readonly {
519
- readonly k: Data.Data;
520
- readonly v: Data.Data;
521
- }[];
522
- } | {
523
- readonly fields: readonly Data.Data[];
524
- readonly constructor: number;
525
- }, {
526
- readonly bytes: Uint8Array<ArrayBufferLike>;
527
- } | {
528
- readonly int: bigint;
529
- } | {
530
- readonly list: readonly Data.Data[];
531
- } | {
532
- readonly map: readonly {
533
- readonly k: Data.Data;
534
- readonly v: Data.Data;
535
- }[];
536
- } | {
537
- readonly fields: readonly Data.Data[];
538
- readonly constructor: number;
539
- }, never>, Schema.Struct<{
540
- start: Schema.transformOrFail<Schema.SchemaClass<{
541
- readonly bytes: Uint8Array<ArrayBufferLike>;
542
- } | {
543
- readonly int: bigint;
544
- } | {
545
- readonly list: readonly Data.Data[];
546
- } | {
547
- readonly map: readonly {
548
- readonly k: Data.Data;
549
- readonly v: Data.Data;
550
- }[];
551
- } | {
552
- readonly fields: readonly Data.Data[];
553
- readonly constructor: number;
554
- }, {
555
- readonly bytes: Uint8Array<ArrayBufferLike>;
556
- } | {
557
- readonly int: bigint;
558
- } | {
559
- readonly list: readonly Data.Data[];
560
- } | {
561
- readonly map: readonly {
562
- readonly k: Data.Data;
563
- readonly v: Data.Data;
564
- }[];
565
- } | {
566
- readonly fields: readonly Data.Data[];
567
- readonly constructor: number;
568
- }, never>, Schema.Struct<{
399
+ validityTimeRange: Schema.transformOrFail<Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
400
+ bytes: typeof Schema.Uint8ArrayFromSelf;
401
+ }>, Schema.Struct<{
402
+ int: typeof Schema.BigIntFromSelf;
403
+ }>, Schema.Struct<{
404
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
405
+ }>, Schema.Struct<{
406
+ map: Schema.Array$<Schema.Struct<{
407
+ k: Schema.suspend<Data.Data, Data.Data, never>;
408
+ v: Schema.suspend<Data.Data, Data.Data, never>;
409
+ }>>;
410
+ }>, Schema.Struct<{
411
+ constructor: typeof Schema.Number;
412
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
413
+ }>]>, Schema.Struct<{
414
+ start: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
415
+ bytes: typeof Schema.Uint8ArrayFromSelf;
416
+ }>, Schema.Struct<{
417
+ int: typeof Schema.BigIntFromSelf;
418
+ }>, Schema.Struct<{
419
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
420
+ }>, Schema.Struct<{
421
+ map: Schema.Array$<Schema.Struct<{
422
+ k: Schema.suspend<Data.Data, Data.Data, never>;
423
+ v: Schema.suspend<Data.Data, Data.Data, never>;
424
+ }>>;
425
+ }>, Schema.Struct<{
426
+ constructor: typeof Schema.Number;
427
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
428
+ }>]>, Schema.Struct<{
569
429
  startTime: Schema.transform<Schema.Schema<({
570
430
  _tag: "NegativeInf";
571
431
  } & {}) | ({
@@ -581,35 +441,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
581
441
  _tag: "True";
582
442
  } & {}), Data.Data, never>, typeof Schema.Boolean>;
583
443
  }>, never>;
584
- end: Schema.transformOrFail<Schema.SchemaClass<{
585
- readonly bytes: Uint8Array<ArrayBufferLike>;
586
- } | {
587
- readonly int: bigint;
588
- } | {
589
- readonly list: readonly Data.Data[];
590
- } | {
591
- readonly map: readonly {
592
- readonly k: Data.Data;
593
- readonly v: Data.Data;
594
- }[];
595
- } | {
596
- readonly fields: readonly Data.Data[];
597
- readonly constructor: number;
598
- }, {
599
- readonly bytes: Uint8Array<ArrayBufferLike>;
600
- } | {
601
- readonly int: bigint;
602
- } | {
603
- readonly list: readonly Data.Data[];
604
- } | {
605
- readonly map: readonly {
606
- readonly k: Data.Data;
607
- readonly v: Data.Data;
608
- }[];
609
- } | {
610
- readonly fields: readonly Data.Data[];
611
- readonly constructor: number;
612
- }, never>, Schema.Struct<{
444
+ end: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
445
+ bytes: typeof Schema.Uint8ArrayFromSelf;
446
+ }>, Schema.Struct<{
447
+ int: typeof Schema.BigIntFromSelf;
448
+ }>, Schema.Struct<{
449
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
450
+ }>, Schema.Struct<{
451
+ map: Schema.Array$<Schema.Struct<{
452
+ k: Schema.suspend<Data.Data, Data.Data, never>;
453
+ v: Schema.suspend<Data.Data, Data.Data, never>;
454
+ }>>;
455
+ }>, Schema.Struct<{
456
+ constructor: typeof Schema.Number;
457
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
458
+ }>]>, Schema.Struct<{
613
459
  endTime: Schema.transform<Schema.Schema<({
614
460
  _tag: "NegativeInf";
615
461
  } & {}) | ({
@@ -632,35 +478,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
632
478
  firstValidSlot: Schema.optional<typeof Schema.Int>;
633
479
  lastValidSlot: Schema.optional<typeof Schema.Int>;
634
480
  }>, Params.params>;
635
- signers: Schema.transformOrFail<Schema.SchemaClass<{
636
- readonly bytes: Uint8Array<ArrayBufferLike>;
637
- } | {
638
- readonly int: bigint;
639
- } | {
640
- readonly list: readonly Data.Data[];
641
- } | {
642
- readonly map: readonly {
643
- readonly k: Data.Data;
644
- readonly v: Data.Data;
645
- }[];
646
- } | {
647
- readonly fields: readonly Data.Data[];
648
- readonly constructor: number;
649
- }, {
650
- readonly bytes: Uint8Array<ArrayBufferLike>;
651
- } | {
652
- readonly int: bigint;
653
- } | {
654
- readonly list: readonly Data.Data[];
655
- } | {
656
- readonly map: readonly {
657
- readonly k: Data.Data;
658
- readonly v: Data.Data;
659
- }[];
660
- } | {
661
- readonly fields: readonly Data.Data[];
662
- readonly constructor: number;
663
- }, never>, Schema.Array$<Schema.Schema<string & import("effect/Brand").Brand<"PubKeyHash">, {
481
+ signers: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
482
+ bytes: typeof Schema.Uint8ArrayFromSelf;
483
+ }>, Schema.Struct<{
484
+ int: typeof Schema.BigIntFromSelf;
485
+ }>, Schema.Struct<{
486
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
487
+ }>, Schema.Struct<{
488
+ map: Schema.Array$<Schema.Struct<{
489
+ k: Schema.suspend<Data.Data, Data.Data, never>;
490
+ v: Schema.suspend<Data.Data, Data.Data, never>;
491
+ }>>;
492
+ }>, Schema.Struct<{
493
+ constructor: typeof Schema.Number;
494
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
495
+ }>]>, Schema.Array$<Schema.Schema<string & import("effect/Brand").Brand<"PubKeyHash">, {
664
496
  readonly bytes: Uint8Array<ArrayBufferLike>;
665
497
  } | {
666
498
  readonly int: bigint;
@@ -675,35 +507,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
675
507
  readonly fields: readonly Data.Data[];
676
508
  readonly constructor: number;
677
509
  }, never>>, never>;
678
- redeemers: Schema.transformOrFail<Schema.SchemaClass<{
679
- readonly bytes: Uint8Array<ArrayBufferLike>;
680
- } | {
681
- readonly int: bigint;
682
- } | {
683
- readonly list: readonly Data.Data[];
684
- } | {
685
- readonly map: readonly {
686
- readonly k: Data.Data;
687
- readonly v: Data.Data;
688
- }[];
689
- } | {
690
- readonly fields: readonly Data.Data[];
691
- readonly constructor: number;
692
- }, {
693
- readonly bytes: Uint8Array<ArrayBufferLike>;
694
- } | {
695
- readonly int: bigint;
696
- } | {
697
- readonly list: readonly Data.Data[];
698
- } | {
699
- readonly map: readonly {
700
- readonly k: Data.Data;
701
- readonly v: Data.Data;
702
- }[];
703
- } | {
704
- readonly fields: readonly Data.Data[];
705
- readonly constructor: number;
706
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<{
510
+ redeemers: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
511
+ bytes: typeof Schema.Uint8ArrayFromSelf;
512
+ }>, Schema.Struct<{
513
+ int: typeof Schema.BigIntFromSelf;
514
+ }>, Schema.Struct<{
515
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
516
+ }>, Schema.Struct<{
517
+ map: Schema.Array$<Schema.Struct<{
518
+ k: Schema.suspend<Data.Data, Data.Data, never>;
519
+ v: Schema.suspend<Data.Data, Data.Data, never>;
520
+ }>>;
521
+ }>, Schema.Struct<{
522
+ constructor: typeof Schema.Number;
523
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
524
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<{
707
525
  readonly bytes: Uint8Array<ArrayBufferLike>;
708
526
  } | {
709
527
  readonly int: bigint;
@@ -760,35 +578,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
760
578
  readonly fields: readonly Data.Data[];
761
579
  readonly constructor: number;
762
580
  }, never>>>, never>;
763
- datums: Schema.transformOrFail<Schema.SchemaClass<{
764
- readonly bytes: Uint8Array<ArrayBufferLike>;
765
- } | {
766
- readonly int: bigint;
767
- } | {
768
- readonly list: readonly Data.Data[];
769
- } | {
770
- readonly map: readonly {
771
- readonly k: Data.Data;
772
- readonly v: Data.Data;
773
- }[];
774
- } | {
775
- readonly fields: readonly Data.Data[];
776
- readonly constructor: number;
777
- }, {
778
- readonly bytes: Uint8Array<ArrayBufferLike>;
779
- } | {
780
- readonly int: bigint;
781
- } | {
782
- readonly list: readonly Data.Data[];
783
- } | {
784
- readonly map: readonly {
785
- readonly k: Data.Data;
786
- readonly v: Data.Data;
787
- }[];
788
- } | {
789
- readonly fields: readonly Data.Data[];
790
- readonly constructor: number;
791
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"DatumHash">, {
581
+ datums: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
582
+ bytes: typeof Schema.Uint8ArrayFromSelf;
583
+ }>, Schema.Struct<{
584
+ int: typeof Schema.BigIntFromSelf;
585
+ }>, Schema.Struct<{
586
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
587
+ }>, Schema.Struct<{
588
+ map: Schema.Array$<Schema.Struct<{
589
+ k: Schema.suspend<Data.Data, Data.Data, never>;
590
+ v: Schema.suspend<Data.Data, Data.Data, never>;
591
+ }>>;
592
+ }>, Schema.Struct<{
593
+ constructor: typeof Schema.Number;
594
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
595
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"DatumHash">, {
792
596
  readonly bytes: Uint8Array<ArrayBufferLike>;
793
597
  } | {
794
598
  readonly int: bigint;
@@ -831,64 +635,36 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
831
635
  readonly fields: readonly Data.Data[];
832
636
  readonly constructor: number;
833
637
  }, never>>>, never>;
834
- txHash: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
835
- readonly bytes: Uint8Array<ArrayBufferLike>;
836
- } | {
837
- readonly int: bigint;
838
- } | {
839
- readonly list: readonly Data.Data[];
840
- } | {
841
- readonly map: readonly {
842
- readonly k: Data.Data;
843
- readonly v: Data.Data;
844
- }[];
845
- } | {
846
- readonly fields: readonly Data.Data[];
847
- readonly constructor: number;
848
- }, {
849
- readonly bytes: Uint8Array<ArrayBufferLike>;
850
- } | {
851
- readonly int: bigint;
852
- } | {
853
- readonly list: readonly Data.Data[];
854
- } | {
855
- readonly map: readonly {
856
- readonly k: Data.Data;
857
- readonly v: Data.Data;
858
- }[];
859
- } | {
860
- readonly fields: readonly Data.Data[];
861
- readonly constructor: number;
862
- }, never>, typeof Schema.String, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
863
- votes: Schema.transformOrFail<Schema.SchemaClass<{
864
- readonly bytes: Uint8Array<ArrayBufferLike>;
865
- } | {
866
- readonly int: bigint;
867
- } | {
868
- readonly list: readonly Data.Data[];
869
- } | {
870
- readonly map: readonly {
871
- readonly k: Data.Data;
872
- readonly v: Data.Data;
873
- }[];
874
- } | {
875
- readonly fields: readonly Data.Data[];
876
- readonly constructor: number;
877
- }, {
878
- readonly bytes: Uint8Array<ArrayBufferLike>;
879
- } | {
880
- readonly int: bigint;
881
- } | {
882
- readonly list: readonly Data.Data[];
883
- } | {
884
- readonly map: readonly {
885
- readonly k: Data.Data;
886
- readonly v: Data.Data;
887
- }[];
888
- } | {
889
- readonly fields: readonly Data.Data[];
890
- readonly constructor: number;
891
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<{
638
+ txHash: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
639
+ bytes: typeof Schema.Uint8ArrayFromSelf;
640
+ }>, Schema.Struct<{
641
+ int: typeof Schema.BigIntFromSelf;
642
+ }>, Schema.Struct<{
643
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
644
+ }>, Schema.Struct<{
645
+ map: Schema.Array$<Schema.Struct<{
646
+ k: Schema.suspend<Data.Data, Data.Data, never>;
647
+ v: Schema.suspend<Data.Data, Data.Data, never>;
648
+ }>>;
649
+ }>, Schema.Struct<{
650
+ constructor: typeof Schema.Number;
651
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
652
+ }>]>, typeof Schema.String, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
653
+ votes: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
654
+ bytes: typeof Schema.Uint8ArrayFromSelf;
655
+ }>, Schema.Struct<{
656
+ int: typeof Schema.BigIntFromSelf;
657
+ }>, Schema.Struct<{
658
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
659
+ }>, Schema.Struct<{
660
+ map: Schema.Array$<Schema.Struct<{
661
+ k: Schema.suspend<Data.Data, Data.Data, never>;
662
+ v: Schema.suspend<Data.Data, Data.Data, never>;
663
+ }>>;
664
+ }>, Schema.Struct<{
665
+ constructor: typeof Schema.Number;
666
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
667
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<{
892
668
  readonly bytes: Uint8Array<ArrayBufferLike>;
893
669
  } | {
894
670
  readonly int: bigint;
@@ -945,35 +721,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
945
721
  readonly fields: readonly Data.Data[];
946
722
  readonly constructor: number;
947
723
  }, never>>>, never>;
948
- proposalProcedures: Schema.transformOrFail<Schema.SchemaClass<{
949
- readonly bytes: Uint8Array<ArrayBufferLike>;
950
- } | {
951
- readonly int: bigint;
952
- } | {
953
- readonly list: readonly Data.Data[];
954
- } | {
955
- readonly map: readonly {
956
- readonly k: Data.Data;
957
- readonly v: Data.Data;
958
- }[];
959
- } | {
960
- readonly fields: readonly Data.Data[];
961
- readonly constructor: number;
962
- }, {
963
- readonly bytes: Uint8Array<ArrayBufferLike>;
964
- } | {
965
- readonly int: bigint;
966
- } | {
967
- readonly list: readonly Data.Data[];
968
- } | {
969
- readonly map: readonly {
970
- readonly k: Data.Data;
971
- readonly v: Data.Data;
972
- }[];
973
- } | {
974
- readonly fields: readonly Data.Data[];
975
- readonly constructor: number;
976
- }, never>, Schema.Array$<Schema.Schema<{
724
+ proposalProcedures: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
725
+ bytes: typeof Schema.Uint8ArrayFromSelf;
726
+ }>, Schema.Struct<{
727
+ int: typeof Schema.BigIntFromSelf;
728
+ }>, Schema.Struct<{
729
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
730
+ }>, Schema.Struct<{
731
+ map: Schema.Array$<Schema.Struct<{
732
+ k: Schema.suspend<Data.Data, Data.Data, never>;
733
+ v: Schema.suspend<Data.Data, Data.Data, never>;
734
+ }>>;
735
+ }>, Schema.Struct<{
736
+ constructor: typeof Schema.Number;
737
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
738
+ }>]>, Schema.Array$<Schema.Schema<{
977
739
  readonly bytes: Uint8Array<ArrayBufferLike>;
978
740
  } | {
979
741
  readonly int: bigint;
@@ -1002,35 +764,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
1002
764
  readonly fields: readonly Data.Data[];
1003
765
  readonly constructor: number;
1004
766
  }, never>>, never>;
1005
- currentTreasuryAmount: Schema.transformOrFail<Schema.SchemaClass<{
1006
- readonly bytes: Uint8Array<ArrayBufferLike>;
1007
- } | {
1008
- readonly int: bigint;
1009
- } | {
1010
- readonly list: readonly Data.Data[];
1011
- } | {
1012
- readonly map: readonly {
1013
- readonly k: Data.Data;
1014
- readonly v: Data.Data;
1015
- }[];
1016
- } | {
1017
- readonly fields: readonly Data.Data[];
1018
- readonly constructor: number;
1019
- }, {
1020
- readonly bytes: Uint8Array<ArrayBufferLike>;
1021
- } | {
1022
- readonly int: bigint;
1023
- } | {
1024
- readonly list: readonly Data.Data[];
1025
- } | {
1026
- readonly map: readonly {
1027
- readonly k: Data.Data;
1028
- readonly v: Data.Data;
1029
- }[];
1030
- } | {
1031
- readonly fields: readonly Data.Data[];
1032
- readonly constructor: number;
1033
- }, never>, Schema.Option<Schema.Schema<{
767
+ currentTreasuryAmount: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
768
+ bytes: typeof Schema.Uint8ArrayFromSelf;
769
+ }>, Schema.Struct<{
770
+ int: typeof Schema.BigIntFromSelf;
771
+ }>, Schema.Struct<{
772
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
773
+ }>, Schema.Struct<{
774
+ map: Schema.Array$<Schema.Struct<{
775
+ k: Schema.suspend<Data.Data, Data.Data, never>;
776
+ v: Schema.suspend<Data.Data, Data.Data, never>;
777
+ }>>;
778
+ }>, Schema.Struct<{
779
+ constructor: typeof Schema.Number;
780
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
781
+ }>]>, Schema.Option<Schema.Schema<{
1034
782
  readonly bytes: Uint8Array<ArrayBufferLike>;
1035
783
  } | {
1036
784
  readonly int: bigint;
@@ -1059,35 +807,21 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
1059
807
  readonly fields: readonly Data.Data[];
1060
808
  readonly constructor: number;
1061
809
  }, never>>, never>;
1062
- treasuryDonation: Schema.transformOrFail<Schema.SchemaClass<{
1063
- readonly bytes: Uint8Array<ArrayBufferLike>;
1064
- } | {
1065
- readonly int: bigint;
1066
- } | {
1067
- readonly list: readonly Data.Data[];
1068
- } | {
1069
- readonly map: readonly {
1070
- readonly k: Data.Data;
1071
- readonly v: Data.Data;
1072
- }[];
1073
- } | {
1074
- readonly fields: readonly Data.Data[];
1075
- readonly constructor: number;
1076
- }, {
1077
- readonly bytes: Uint8Array<ArrayBufferLike>;
1078
- } | {
1079
- readonly int: bigint;
1080
- } | {
1081
- readonly list: readonly Data.Data[];
1082
- } | {
1083
- readonly map: readonly {
1084
- readonly k: Data.Data;
1085
- readonly v: Data.Data;
1086
- }[];
1087
- } | {
1088
- readonly fields: readonly Data.Data[];
1089
- readonly constructor: number;
1090
- }, never>, Schema.Option<Schema.Schema<{
810
+ treasuryDonation: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
811
+ bytes: typeof Schema.Uint8ArrayFromSelf;
812
+ }>, Schema.Struct<{
813
+ int: typeof Schema.BigIntFromSelf;
814
+ }>, Schema.Struct<{
815
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
816
+ }>, Schema.Struct<{
817
+ map: Schema.Array$<Schema.Struct<{
818
+ k: Schema.suspend<Data.Data, Data.Data, never>;
819
+ v: Schema.suspend<Data.Data, Data.Data, never>;
820
+ }>>;
821
+ }>, Schema.Struct<{
822
+ constructor: typeof Schema.Number;
823
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
824
+ }>]>, Schema.Option<Schema.Schema<{
1091
825
  readonly bytes: Uint8Array<ArrayBufferLike>;
1092
826
  } | {
1093
827
  readonly int: bigint;