@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/Ledger/Redeemer.d.ts CHANGED
@@ -4,35 +4,21 @@ import * as Cbor from "../../Codecs/Cbor.js";
4
4
  import { Data } from "../Uplc/index.js";
5
5
  export declare const Minting: Schema.TaggedStruct<"Minting", {
6
6
  policyIndex: typeof Schema.Number;
7
- data: Schema.SchemaClass<{
8
- readonly bytes: Uint8Array<ArrayBufferLike>;
9
- } | {
10
- readonly int: bigint;
11
- } | {
12
- readonly list: readonly Data.Data[];
13
- } | {
14
- readonly map: readonly {
15
- readonly k: Data.Data;
16
- readonly v: Data.Data;
17
- }[];
18
- } | {
19
- readonly fields: readonly Data.Data[];
20
- readonly constructor: number;
21
- }, {
22
- readonly bytes: Uint8Array<ArrayBufferLike>;
23
- } | {
24
- readonly int: bigint;
25
- } | {
26
- readonly list: readonly Data.Data[];
27
- } | {
28
- readonly map: readonly {
29
- readonly k: Data.Data;
30
- readonly v: Data.Data;
31
- }[];
32
- } | {
33
- readonly fields: readonly Data.Data[];
34
- readonly constructor: number;
35
- }, never>;
7
+ data: Schema.Union<[Schema.Struct<{
8
+ bytes: typeof Schema.Uint8ArrayFromSelf;
9
+ }>, Schema.Struct<{
10
+ int: typeof Schema.BigIntFromSelf;
11
+ }>, Schema.Struct<{
12
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
13
+ }>, Schema.Struct<{
14
+ map: Schema.Array$<Schema.Struct<{
15
+ k: Schema.suspend<Data.Data, Data.Data, never>;
16
+ v: Schema.suspend<Data.Data, Data.Data, never>;
17
+ }>>;
18
+ }>, Schema.Struct<{
19
+ constructor: typeof Schema.Number;
20
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
21
+ }>]>;
36
22
  cost: Schema.Struct<{
37
23
  cpu: typeof Schema.BigIntFromSelf;
38
24
  mem: typeof Schema.BigIntFromSelf;
@@ -41,35 +27,21 @@ export declare const Minting: Schema.TaggedStruct<"Minting", {
41
27
  export type Minting = Schema.Schema.Type<typeof Minting>;
42
28
  export declare const Spending: Schema.TaggedStruct<"Spending", {
43
29
  inputIndex: typeof Schema.Number;
44
- data: Schema.SchemaClass<{
45
- readonly bytes: Uint8Array<ArrayBufferLike>;
46
- } | {
47
- readonly int: bigint;
48
- } | {
49
- readonly list: readonly Data.Data[];
50
- } | {
51
- readonly map: readonly {
52
- readonly k: Data.Data;
53
- readonly v: Data.Data;
54
- }[];
55
- } | {
56
- readonly fields: readonly Data.Data[];
57
- readonly constructor: number;
58
- }, {
59
- readonly bytes: Uint8Array<ArrayBufferLike>;
60
- } | {
61
- readonly int: bigint;
62
- } | {
63
- readonly list: readonly Data.Data[];
64
- } | {
65
- readonly map: readonly {
66
- readonly k: Data.Data;
67
- readonly v: Data.Data;
68
- }[];
69
- } | {
70
- readonly fields: readonly Data.Data[];
71
- readonly constructor: number;
72
- }, never>;
30
+ data: Schema.Union<[Schema.Struct<{
31
+ bytes: typeof Schema.Uint8ArrayFromSelf;
32
+ }>, Schema.Struct<{
33
+ int: typeof Schema.BigIntFromSelf;
34
+ }>, Schema.Struct<{
35
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
36
+ }>, Schema.Struct<{
37
+ map: Schema.Array$<Schema.Struct<{
38
+ k: Schema.suspend<Data.Data, Data.Data, never>;
39
+ v: Schema.suspend<Data.Data, Data.Data, never>;
40
+ }>>;
41
+ }>, Schema.Struct<{
42
+ constructor: typeof Schema.Number;
43
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
44
+ }>]>;
73
45
  cost: Schema.Struct<{
74
46
  cpu: typeof Schema.BigIntFromSelf;
75
47
  mem: typeof Schema.BigIntFromSelf;
@@ -78,35 +50,21 @@ export declare const Spending: Schema.TaggedStruct<"Spending", {
78
50
  export type Spending = Schema.Schema.Type<typeof Spending>;
79
51
  export declare const Rewarding: Schema.TaggedStruct<"Rewarding", {
80
52
  withdrawalIndex: typeof Schema.Number;
81
- data: Schema.SchemaClass<{
82
- readonly bytes: Uint8Array<ArrayBufferLike>;
83
- } | {
84
- readonly int: bigint;
85
- } | {
86
- readonly list: readonly Data.Data[];
87
- } | {
88
- readonly map: readonly {
89
- readonly k: Data.Data;
90
- readonly v: Data.Data;
91
- }[];
92
- } | {
93
- readonly fields: readonly Data.Data[];
94
- readonly constructor: number;
95
- }, {
96
- readonly bytes: Uint8Array<ArrayBufferLike>;
97
- } | {
98
- readonly int: bigint;
99
- } | {
100
- readonly list: readonly Data.Data[];
101
- } | {
102
- readonly map: readonly {
103
- readonly k: Data.Data;
104
- readonly v: Data.Data;
105
- }[];
106
- } | {
107
- readonly fields: readonly Data.Data[];
108
- readonly constructor: number;
109
- }, never>;
53
+ data: Schema.Union<[Schema.Struct<{
54
+ bytes: typeof Schema.Uint8ArrayFromSelf;
55
+ }>, Schema.Struct<{
56
+ int: typeof Schema.BigIntFromSelf;
57
+ }>, Schema.Struct<{
58
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
59
+ }>, Schema.Struct<{
60
+ map: Schema.Array$<Schema.Struct<{
61
+ k: Schema.suspend<Data.Data, Data.Data, never>;
62
+ v: Schema.suspend<Data.Data, Data.Data, never>;
63
+ }>>;
64
+ }>, Schema.Struct<{
65
+ constructor: typeof Schema.Number;
66
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
67
+ }>]>;
110
68
  cost: Schema.Struct<{
111
69
  cpu: typeof Schema.BigIntFromSelf;
112
70
  mem: typeof Schema.BigIntFromSelf;
@@ -115,35 +73,21 @@ export declare const Rewarding: Schema.TaggedStruct<"Rewarding", {
115
73
  export type Rewarding = Schema.Schema.Type<typeof Rewarding>;
116
74
  export declare const Certifying: Schema.TaggedStruct<"Certifying", {
117
75
  dcertIndex: typeof Schema.Number;
118
- data: Schema.SchemaClass<{
119
- readonly bytes: Uint8Array<ArrayBufferLike>;
120
- } | {
121
- readonly int: bigint;
122
- } | {
123
- readonly list: readonly Data.Data[];
124
- } | {
125
- readonly map: readonly {
126
- readonly k: Data.Data;
127
- readonly v: Data.Data;
128
- }[];
129
- } | {
130
- readonly fields: readonly Data.Data[];
131
- readonly constructor: number;
132
- }, {
133
- readonly bytes: Uint8Array<ArrayBufferLike>;
134
- } | {
135
- readonly int: bigint;
136
- } | {
137
- readonly list: readonly Data.Data[];
138
- } | {
139
- readonly map: readonly {
140
- readonly k: Data.Data;
141
- readonly v: Data.Data;
142
- }[];
143
- } | {
144
- readonly fields: readonly Data.Data[];
145
- readonly constructor: number;
146
- }, never>;
76
+ data: Schema.Union<[Schema.Struct<{
77
+ bytes: typeof Schema.Uint8ArrayFromSelf;
78
+ }>, Schema.Struct<{
79
+ int: typeof Schema.BigIntFromSelf;
80
+ }>, Schema.Struct<{
81
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
82
+ }>, Schema.Struct<{
83
+ map: Schema.Array$<Schema.Struct<{
84
+ k: Schema.suspend<Data.Data, Data.Data, never>;
85
+ v: Schema.suspend<Data.Data, Data.Data, never>;
86
+ }>>;
87
+ }>, Schema.Struct<{
88
+ constructor: typeof Schema.Number;
89
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
90
+ }>]>;
147
91
  cost: Schema.Struct<{
148
92
  cpu: typeof Schema.BigIntFromSelf;
149
93
  mem: typeof Schema.BigIntFromSelf;
@@ -152,140 +96,84 @@ export declare const Certifying: Schema.TaggedStruct<"Certifying", {
152
96
  export type Certifying = Schema.Schema.Type<typeof Certifying>;
153
97
  export declare const Redeemer: Schema.Union<[Schema.TaggedStruct<"Minting", {
154
98
  policyIndex: typeof Schema.Number;
155
- data: Schema.SchemaClass<{
156
- readonly bytes: Uint8Array<ArrayBufferLike>;
157
- } | {
158
- readonly int: bigint;
159
- } | {
160
- readonly list: readonly Data.Data[];
161
- } | {
162
- readonly map: readonly {
163
- readonly k: Data.Data;
164
- readonly v: Data.Data;
165
- }[];
166
- } | {
167
- readonly fields: readonly Data.Data[];
168
- readonly constructor: number;
169
- }, {
170
- readonly bytes: Uint8Array<ArrayBufferLike>;
171
- } | {
172
- readonly int: bigint;
173
- } | {
174
- readonly list: readonly Data.Data[];
175
- } | {
176
- readonly map: readonly {
177
- readonly k: Data.Data;
178
- readonly v: Data.Data;
179
- }[];
180
- } | {
181
- readonly fields: readonly Data.Data[];
182
- readonly constructor: number;
183
- }, never>;
99
+ data: Schema.Union<[Schema.Struct<{
100
+ bytes: typeof Schema.Uint8ArrayFromSelf;
101
+ }>, Schema.Struct<{
102
+ int: typeof Schema.BigIntFromSelf;
103
+ }>, Schema.Struct<{
104
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
105
+ }>, Schema.Struct<{
106
+ map: Schema.Array$<Schema.Struct<{
107
+ k: Schema.suspend<Data.Data, Data.Data, never>;
108
+ v: Schema.suspend<Data.Data, Data.Data, never>;
109
+ }>>;
110
+ }>, Schema.Struct<{
111
+ constructor: typeof Schema.Number;
112
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
113
+ }>]>;
184
114
  cost: Schema.Struct<{
185
115
  cpu: typeof Schema.BigIntFromSelf;
186
116
  mem: typeof Schema.BigIntFromSelf;
187
117
  }>;
188
118
  }>, Schema.TaggedStruct<"Spending", {
189
119
  inputIndex: typeof Schema.Number;
190
- data: Schema.SchemaClass<{
191
- readonly bytes: Uint8Array<ArrayBufferLike>;
192
- } | {
193
- readonly int: bigint;
194
- } | {
195
- readonly list: readonly Data.Data[];
196
- } | {
197
- readonly map: readonly {
198
- readonly k: Data.Data;
199
- readonly v: Data.Data;
200
- }[];
201
- } | {
202
- readonly fields: readonly Data.Data[];
203
- readonly constructor: number;
204
- }, {
205
- readonly bytes: Uint8Array<ArrayBufferLike>;
206
- } | {
207
- readonly int: bigint;
208
- } | {
209
- readonly list: readonly Data.Data[];
210
- } | {
211
- readonly map: readonly {
212
- readonly k: Data.Data;
213
- readonly v: Data.Data;
214
- }[];
215
- } | {
216
- readonly fields: readonly Data.Data[];
217
- readonly constructor: number;
218
- }, never>;
120
+ data: Schema.Union<[Schema.Struct<{
121
+ bytes: typeof Schema.Uint8ArrayFromSelf;
122
+ }>, Schema.Struct<{
123
+ int: typeof Schema.BigIntFromSelf;
124
+ }>, Schema.Struct<{
125
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
126
+ }>, Schema.Struct<{
127
+ map: Schema.Array$<Schema.Struct<{
128
+ k: Schema.suspend<Data.Data, Data.Data, never>;
129
+ v: Schema.suspend<Data.Data, Data.Data, never>;
130
+ }>>;
131
+ }>, Schema.Struct<{
132
+ constructor: typeof Schema.Number;
133
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
134
+ }>]>;
219
135
  cost: Schema.Struct<{
220
136
  cpu: typeof Schema.BigIntFromSelf;
221
137
  mem: typeof Schema.BigIntFromSelf;
222
138
  }>;
223
139
  }>, Schema.TaggedStruct<"Rewarding", {
224
140
  withdrawalIndex: typeof Schema.Number;
225
- data: Schema.SchemaClass<{
226
- readonly bytes: Uint8Array<ArrayBufferLike>;
227
- } | {
228
- readonly int: bigint;
229
- } | {
230
- readonly list: readonly Data.Data[];
231
- } | {
232
- readonly map: readonly {
233
- readonly k: Data.Data;
234
- readonly v: Data.Data;
235
- }[];
236
- } | {
237
- readonly fields: readonly Data.Data[];
238
- readonly constructor: number;
239
- }, {
240
- readonly bytes: Uint8Array<ArrayBufferLike>;
241
- } | {
242
- readonly int: bigint;
243
- } | {
244
- readonly list: readonly Data.Data[];
245
- } | {
246
- readonly map: readonly {
247
- readonly k: Data.Data;
248
- readonly v: Data.Data;
249
- }[];
250
- } | {
251
- readonly fields: readonly Data.Data[];
252
- readonly constructor: number;
253
- }, never>;
141
+ data: Schema.Union<[Schema.Struct<{
142
+ bytes: typeof Schema.Uint8ArrayFromSelf;
143
+ }>, Schema.Struct<{
144
+ int: typeof Schema.BigIntFromSelf;
145
+ }>, Schema.Struct<{
146
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
147
+ }>, Schema.Struct<{
148
+ map: Schema.Array$<Schema.Struct<{
149
+ k: Schema.suspend<Data.Data, Data.Data, never>;
150
+ v: Schema.suspend<Data.Data, Data.Data, never>;
151
+ }>>;
152
+ }>, Schema.Struct<{
153
+ constructor: typeof Schema.Number;
154
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
155
+ }>]>;
254
156
  cost: Schema.Struct<{
255
157
  cpu: typeof Schema.BigIntFromSelf;
256
158
  mem: typeof Schema.BigIntFromSelf;
257
159
  }>;
258
160
  }>, Schema.TaggedStruct<"Certifying", {
259
161
  dcertIndex: typeof Schema.Number;
260
- data: Schema.SchemaClass<{
261
- readonly bytes: Uint8Array<ArrayBufferLike>;
262
- } | {
263
- readonly int: bigint;
264
- } | {
265
- readonly list: readonly Data.Data[];
266
- } | {
267
- readonly map: readonly {
268
- readonly k: Data.Data;
269
- readonly v: Data.Data;
270
- }[];
271
- } | {
272
- readonly fields: readonly Data.Data[];
273
- readonly constructor: number;
274
- }, {
275
- readonly bytes: Uint8Array<ArrayBufferLike>;
276
- } | {
277
- readonly int: bigint;
278
- } | {
279
- readonly list: readonly Data.Data[];
280
- } | {
281
- readonly map: readonly {
282
- readonly k: Data.Data;
283
- readonly v: Data.Data;
284
- }[];
285
- } | {
286
- readonly fields: readonly Data.Data[];
287
- readonly constructor: number;
288
- }, never>;
162
+ data: Schema.Union<[Schema.Struct<{
163
+ bytes: typeof Schema.Uint8ArrayFromSelf;
164
+ }>, Schema.Struct<{
165
+ int: typeof Schema.BigIntFromSelf;
166
+ }>, Schema.Struct<{
167
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
168
+ }>, Schema.Struct<{
169
+ map: Schema.Array$<Schema.Struct<{
170
+ k: Schema.suspend<Data.Data, Data.Data, never>;
171
+ v: Schema.suspend<Data.Data, Data.Data, never>;
172
+ }>>;
173
+ }>, Schema.Struct<{
174
+ constructor: typeof Schema.Number;
175
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
176
+ }>]>;
289
177
  cost: Schema.Struct<{
290
178
  cpu: typeof Schema.BigIntFromSelf;
291
179
  mem: typeof Schema.BigIntFromSelf;
package/types/Cardano/Ledger/Redeemer.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Redeemer.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Redeemer.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,EAAQ,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAE7C,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIlB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAInB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIpB,CAAA;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIrB,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAE9D,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAAyD,CAAA;AAE9E,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,MAAM,CA2DxD;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CA0CtE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,EAAE,CA+BnD"}
1
+ {"version":3,"file":"Redeemer.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Redeemer.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,EAAQ,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAE7C,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;EAIlB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;EAInB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;EAIpB,CAAA;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;EAIrB,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAE9D,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAAyD,CAAA;AAE9E,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,MAAM,CA2DxD;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CA0CtE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,EAAE,CA+BnD"}
package/types/Cardano/Ledger/RewardAddress.d.ts CHANGED
@@ -8,35 +8,21 @@ import * as ValidatorHash from "./ValidatorHash.js";
8
8
  export declare function isValid(addr: string): boolean;
9
9
  export declare const RewardAddress: Schema.brand<Schema.filter<typeof Schema.String>, "RewardAddress">;
10
10
  export type RewardAddress = Schema.Schema.Type<typeof RewardAddress>;
11
- export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail<Schema.SchemaClass<{
12
- readonly bytes: Uint8Array<ArrayBufferLike>;
13
- } | {
14
- readonly int: bigint;
15
- } | {
16
- readonly list: readonly Data.Data[];
17
- } | {
18
- readonly map: readonly {
19
- readonly k: Data.Data;
20
- readonly v: Data.Data;
21
- }[];
22
- } | {
23
- readonly fields: readonly Data.Data[];
24
- readonly constructor: number;
25
- }, {
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
- }, never>, Schema.Struct<{
11
+ export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
12
+ bytes: typeof Schema.Uint8ArrayFromSelf;
13
+ }>, Schema.Struct<{
14
+ int: typeof Schema.BigIntFromSelf;
15
+ }>, Schema.Struct<{
16
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
17
+ }>, Schema.Struct<{
18
+ map: Schema.Array$<Schema.Struct<{
19
+ k: Schema.suspend<Data.Data, Data.Data, never>;
20
+ v: Schema.suspend<Data.Data, Data.Data, never>;
21
+ }>>;
22
+ }>, Schema.Struct<{
23
+ constructor: typeof Schema.Number;
24
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
25
+ }>]>, Schema.Struct<{
40
26
  credential: Schema.transform<Schema.Schema<({
41
27
  _tag: "PubKey";
42
28
  } & {
package/types/Cardano/Ledger/RewardAddress.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"RewardAddress.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAuB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM7C;AAED,eAAO,MAAM,aAAa,oEAKzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iKAYxB,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,IAAI,aAAa,CAAC,aAAa,4FAKlD,CAAA;AAEJ,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,UAAU,CAAC,UAAU,GAC1B,aAAa,CAKf;AAqDD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CAkB/B,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAEpD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAEtD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEzD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC,UAAU,CAExE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAElE"}
1
+ {"version":3,"file":"RewardAddress.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAuB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM7C;AAED,eAAO,MAAM,aAAa,oEAKzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;iKAYxB,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,IAAI,aAAa,CAAC,aAAa,4FAKlD,CAAA;AAEJ,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,UAAU,CAAC,UAAU,GAC1B,aAAa,CAKf;AAqDD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CAkB/B,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAEpD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAEtD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEzD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC,UAAU,CAExE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAElE"}
package/types/Cardano/Ledger/TxHash.d.ts CHANGED
@@ -5,94 +5,52 @@ import { Data } from "../Uplc/index.js";
5
5
  export declare function isValid(hash: string): hash is TxHash;
6
6
  export declare const TxHash: Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">;
7
7
  export type TxHash = Schema.Schema.Type<typeof TxHash>;
8
- export declare const FromUplcData: Schema.transform<Schema.transformOrFail<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<{
37
- bytes: Schema.transformOrFail<Schema.SchemaClass<{
38
- readonly bytes: Uint8Array<ArrayBufferLike>;
39
- } | {
40
- readonly int: bigint;
41
- } | {
42
- readonly list: readonly Data.Data[];
43
- } | {
44
- readonly map: readonly {
45
- readonly k: Data.Data;
46
- readonly v: Data.Data;
47
- }[];
48
- } | {
49
- readonly fields: readonly Data.Data[];
50
- readonly constructor: number;
51
- }, {
52
- readonly bytes: Uint8Array<ArrayBufferLike>;
53
- } | {
54
- readonly int: bigint;
55
- } | {
56
- readonly list: readonly Data.Data[];
57
- } | {
58
- readonly map: readonly {
59
- readonly k: Data.Data;
60
- readonly v: Data.Data;
61
- }[];
62
- } | {
63
- readonly fields: readonly Data.Data[];
64
- readonly constructor: number;
65
- }, never>, typeof Schema.Uint8ArrayFromSelf, never>;
8
+ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
9
+ bytes: typeof Schema.Uint8ArrayFromSelf;
10
+ }>, Schema.Struct<{
11
+ int: typeof Schema.BigIntFromSelf;
12
+ }>, Schema.Struct<{
13
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
14
+ }>, Schema.Struct<{
15
+ map: Schema.Array$<Schema.Struct<{
16
+ k: Schema.suspend<Data.Data, Data.Data, never>;
17
+ v: Schema.suspend<Data.Data, Data.Data, never>;
18
+ }>>;
19
+ }>, Schema.Struct<{
20
+ constructor: typeof Schema.Number;
21
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
22
+ }>]>, Schema.Struct<{
23
+ bytes: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
24
+ bytes: typeof Schema.Uint8ArrayFromSelf;
25
+ }>, Schema.Struct<{
26
+ int: typeof Schema.BigIntFromSelf;
27
+ }>, Schema.Struct<{
28
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
29
+ }>, Schema.Struct<{
30
+ map: Schema.Array$<Schema.Struct<{
31
+ k: Schema.suspend<Data.Data, Data.Data, never>;
32
+ v: Schema.suspend<Data.Data, Data.Data, never>;
33
+ }>>;
34
+ }>, Schema.Struct<{
35
+ constructor: typeof Schema.Number;
36
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
37
+ }>]>, typeof Schema.Uint8ArrayFromSelf, never>;
66
38
  }>, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
67
- export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
68
- readonly bytes: Uint8Array<ArrayBufferLike>;
69
- } | {
70
- readonly int: bigint;
71
- } | {
72
- readonly list: readonly Data.Data[];
73
- } | {
74
- readonly map: readonly {
75
- readonly k: Data.Data;
76
- readonly v: Data.Data;
77
- }[];
78
- } | {
79
- readonly fields: readonly Data.Data[];
80
- readonly constructor: number;
81
- }, {
82
- readonly bytes: Uint8Array<ArrayBufferLike>;
83
- } | {
84
- readonly int: bigint;
85
- } | {
86
- readonly list: readonly Data.Data[];
87
- } | {
88
- readonly map: readonly {
89
- readonly k: Data.Data;
90
- readonly v: Data.Data;
91
- }[];
92
- } | {
93
- readonly fields: readonly Data.Data[];
94
- readonly constructor: number;
95
- }, never>, typeof Schema.String, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
39
+ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
40
+ bytes: typeof Schema.Uint8ArrayFromSelf;
41
+ }>, Schema.Struct<{
42
+ int: typeof Schema.BigIntFromSelf;
43
+ }>, Schema.Struct<{
44
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
45
+ }>, Schema.Struct<{
46
+ map: Schema.Array$<Schema.Struct<{
47
+ k: Schema.suspend<Data.Data, Data.Data, never>;
48
+ v: Schema.suspend<Data.Data, Data.Data, never>;
49
+ }>>;
50
+ }>, Schema.Struct<{
51
+ constructor: typeof Schema.Number;
52
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
53
+ }>]>, typeof Schema.String, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
96
54
  export declare function make(txId: Bytes.BytesLike): Either.Either<string & import("effect/Brand").Brand<"TxHash">, import("effect/ParseResult").ParseError>;
97
55
  export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<TxHash>;
98
56
  export declare function encode(txId: TxHash): number[];
package/types/Cardano/Ledger/TxHash.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"TxHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAEvC,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,MAAM,CAEpD;AAED,eAAO,MAAM,MAAM,6DAGlB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wEAUxB,CAAA;AAED,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;qGAIzB,CAAA;AAEF,wBAAgB,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,2GAEzC;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAUrE,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAE7C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEpD"}
1
+ {"version":3,"file":"TxHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAEvC,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,MAAM,CAEpD;AAED,eAAO,MAAM,MAAM,6DAGlB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wEAUxB,CAAA;AAED,eAAO,MAAM,cAAc;;;;;;;;;;;;;;gGAIzB,CAAA;AAEF,wBAAgB,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,2GAEzC;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAUrE,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAE7C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEpD"}