@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
@@ -4,7 +4,10 @@ import * as Cbor from "../../Codecs/Cbor.js";
4
4
  export declare const ByteArrayDataFromJSON: Schema.Struct<{
5
5
  bytes: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
6
6
  }>;
7
- export type ByteArrayData = Schema.Schema.Type<typeof ByteArrayDataFromJSON>;
7
+ export declare const ByteArrayData: Schema.Struct<{
8
+ bytes: typeof Schema.Uint8ArrayFromSelf;
9
+ }>;
10
+ export type ByteArrayData = Schema.Schema.Type<typeof ByteArrayData>;
8
11
  export type ByteArrayDataJSON = Schema.Schema.Encoded<typeof ByteArrayDataFromJSON>;
9
12
  export declare function makeByteArrayData(bytes: string | number[] | Uint8Array): ByteArrayData;
10
13
  /**
@@ -15,12 +18,18 @@ export declare function makeByteArrayData(bytes: string | number[] | Uint8Array)
15
18
  export declare const IntDataFromJSON: Schema.Struct<{
16
19
  int: typeof Schema.BigIntFromNumber;
17
20
  }>;
18
- export type IntData = Schema.Schema.Type<typeof IntDataFromJSON>;
21
+ export declare const IntData: Schema.Struct<{
22
+ int: typeof Schema.BigIntFromSelf;
23
+ }>;
24
+ export type IntData = Schema.Schema.Type<typeof IntData>;
19
25
  export type IntDataJSON = Schema.Schema.Encoded<typeof IntDataFromJSON>;
20
26
  export declare function makeIntData(value: number | bigint): IntData;
21
27
  export declare const ListDataFromJSON: Schema.Struct<{
22
28
  list: Schema.Array$<Schema.suspend<Data, DataJSON, never>>;
23
29
  }>;
30
+ export declare const ListData: Schema.Struct<{
31
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
32
+ }>;
24
33
  /**
25
34
  * Must be defined explicitly to avoid circular reference problems
26
35
  */
@@ -37,6 +46,12 @@ export declare const MapDataFromJSON: Schema.Struct<{
37
46
  v: Schema.suspend<Data, DataJSON, never>;
38
47
  }>>;
39
48
  }>;
49
+ export declare const MapData: Schema.Struct<{
50
+ map: Schema.Array$<Schema.Struct<{
51
+ k: Schema.suspend<Data, Data, never>;
52
+ v: Schema.suspend<Data, Data, never>;
53
+ }>>;
54
+ }>;
40
55
  /**
41
56
  * Must be defined explicitly to avoid circular reference problems
42
57
  */
@@ -57,6 +72,10 @@ export declare const ConstrDataFromJSON: Schema.Struct<{
57
72
  constructor: typeof Schema.Number;
58
73
  fields: Schema.Array$<Schema.suspend<Data, DataJSON, never>>;
59
74
  }>;
75
+ export declare const ConstrData: Schema.Struct<{
76
+ constructor: typeof Schema.Number;
77
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
78
+ }>;
60
79
  /**
61
80
  * Must be defined explicitly to avoid circular reference problems
62
81
  */
@@ -84,35 +103,21 @@ export declare const DataFromJSON: Schema.Union<[Schema.Struct<{
84
103
  constructor: typeof Schema.Number;
85
104
  fields: Schema.Array$<Schema.suspend<Data, DataJSON, never>>;
86
105
  }>]>;
87
- export declare const Data: Schema.SchemaClass<{
88
- readonly bytes: Uint8Array<ArrayBufferLike>;
89
- } | {
90
- readonly int: bigint;
91
- } | {
92
- readonly list: readonly Data[];
93
- } | {
94
- readonly map: readonly {
95
- readonly k: Data;
96
- readonly v: Data;
97
- }[];
98
- } | {
99
- readonly fields: readonly Data[];
100
- readonly constructor: number;
101
- }, {
102
- readonly bytes: Uint8Array<ArrayBufferLike>;
103
- } | {
104
- readonly int: bigint;
105
- } | {
106
- readonly list: readonly Data[];
107
- } | {
108
- readonly map: readonly {
109
- readonly k: Data;
110
- readonly v: Data;
111
- }[];
112
- } | {
113
- readonly fields: readonly Data[];
114
- readonly constructor: number;
115
- }, never>;
106
+ export declare const Data: Schema.Union<[Schema.Struct<{
107
+ bytes: typeof Schema.Uint8ArrayFromSelf;
108
+ }>, Schema.Struct<{
109
+ int: typeof Schema.BigIntFromSelf;
110
+ }>, Schema.Struct<{
111
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
112
+ }>, Schema.Struct<{
113
+ map: Schema.Array$<Schema.Struct<{
114
+ k: Schema.suspend<Data, Data, never>;
115
+ v: Schema.suspend<Data, Data, never>;
116
+ }>>;
117
+ }>, Schema.Struct<{
118
+ constructor: typeof Schema.Number;
119
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
120
+ }>]>;
116
121
  /**
117
122
  * Must be defined explicitly to avoid circular reference problems
118
123
  */
@@ -156,181 +161,97 @@ export declare function memSizeOfInt(value: bigint): number;
156
161
  * @returns
157
162
  */
158
163
  export declare function log2i(x: bigint): number;
159
- declare const BigInt$: Schema.transformOrFail<Schema.SchemaClass<{
160
- readonly bytes: Uint8Array<ArrayBufferLike>;
161
- } | {
162
- readonly int: bigint;
163
- } | {
164
- readonly list: readonly Data[];
165
- } | {
166
- readonly map: readonly {
167
- readonly k: Data;
168
- readonly v: Data;
169
- }[];
170
- } | {
171
- readonly fields: readonly Data[];
172
- readonly constructor: number;
173
- }, {
174
- readonly bytes: Uint8Array<ArrayBufferLike>;
175
- } | {
176
- readonly int: bigint;
177
- } | {
178
- readonly list: readonly Data[];
179
- } | {
180
- readonly map: readonly {
181
- readonly k: Data;
182
- readonly v: Data;
183
- }[];
184
- } | {
185
- readonly fields: readonly Data[];
186
- readonly constructor: number;
187
- }, never>, typeof Schema.BigIntFromSelf, never>;
164
+ declare const BigInt$: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
165
+ bytes: typeof Schema.Uint8ArrayFromSelf;
166
+ }>, Schema.Struct<{
167
+ int: typeof Schema.BigIntFromSelf;
168
+ }>, Schema.Struct<{
169
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
170
+ }>, Schema.Struct<{
171
+ map: Schema.Array$<Schema.Struct<{
172
+ k: Schema.suspend<Data, Data, never>;
173
+ v: Schema.suspend<Data, Data, never>;
174
+ }>>;
175
+ }>, Schema.Struct<{
176
+ constructor: typeof Schema.Number;
177
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
178
+ }>]>, typeof Schema.BigIntFromSelf, never>;
188
179
  export { BigInt$ as BigInt };
189
- export declare const Int: Schema.transformOrFail<Schema.SchemaClass<{
190
- readonly bytes: Uint8Array<ArrayBufferLike>;
191
- } | {
192
- readonly int: bigint;
193
- } | {
194
- readonly list: readonly Data[];
195
- } | {
196
- readonly map: readonly {
197
- readonly k: Data;
198
- readonly v: Data;
199
- }[];
200
- } | {
201
- readonly fields: readonly Data[];
202
- readonly constructor: number;
203
- }, {
204
- readonly bytes: Uint8Array<ArrayBufferLike>;
205
- } | {
206
- readonly int: bigint;
207
- } | {
208
- readonly list: readonly Data[];
209
- } | {
210
- readonly map: readonly {
211
- readonly k: Data;
212
- readonly v: Data;
213
- }[];
214
- } | {
215
- readonly fields: readonly Data[];
216
- readonly constructor: number;
217
- }, never>, typeof Schema.Int, never>;
218
- export declare const Real: (decimals?: number) => Schema.transformOrFail<Schema.SchemaClass<{
219
- readonly bytes: Uint8Array<ArrayBufferLike>;
220
- } | {
221
- readonly int: bigint;
222
- } | {
223
- readonly list: readonly Data[];
224
- } | {
225
- readonly map: readonly {
226
- readonly k: Data;
227
- readonly v: Data;
228
- }[];
229
- } | {
230
- readonly fields: readonly Data[];
231
- readonly constructor: number;
232
- }, {
233
- readonly bytes: Uint8Array<ArrayBufferLike>;
234
- } | {
235
- readonly int: bigint;
236
- } | {
237
- readonly list: readonly Data[];
238
- } | {
239
- readonly map: readonly {
240
- readonly k: Data;
241
- readonly v: Data;
242
- }[];
243
- } | {
244
- readonly fields: readonly Data[];
245
- readonly constructor: number;
246
- }, never>, typeof Schema.Number, never>;
247
- export declare const ByteArray: Schema.transformOrFail<Schema.SchemaClass<{
248
- readonly bytes: Uint8Array<ArrayBufferLike>;
249
- } | {
250
- readonly int: bigint;
251
- } | {
252
- readonly list: readonly Data[];
253
- } | {
254
- readonly map: readonly {
255
- readonly k: Data;
256
- readonly v: Data;
257
- }[];
258
- } | {
259
- readonly fields: readonly Data[];
260
- readonly constructor: number;
261
- }, {
262
- readonly bytes: Uint8Array<ArrayBufferLike>;
263
- } | {
264
- readonly int: bigint;
265
- } | {
266
- readonly list: readonly Data[];
267
- } | {
268
- readonly map: readonly {
269
- readonly k: Data;
270
- readonly v: Data;
271
- }[];
272
- } | {
273
- readonly fields: readonly Data[];
274
- readonly constructor: number;
275
- }, never>, typeof Schema.Uint8ArrayFromSelf, never>;
276
- export declare const Hex: Schema.transformOrFail<Schema.SchemaClass<{
277
- readonly bytes: Uint8Array<ArrayBufferLike>;
278
- } | {
279
- readonly int: bigint;
280
- } | {
281
- readonly list: readonly Data[];
282
- } | {
283
- readonly map: readonly {
284
- readonly k: Data;
285
- readonly v: Data;
286
- }[];
287
- } | {
288
- readonly fields: readonly Data[];
289
- readonly constructor: number;
290
- }, {
291
- readonly bytes: Uint8Array<ArrayBufferLike>;
292
- } | {
293
- readonly int: bigint;
294
- } | {
295
- readonly list: readonly Data[];
296
- } | {
297
- readonly map: readonly {
298
- readonly k: Data;
299
- readonly v: Data;
300
- }[];
301
- } | {
302
- readonly fields: readonly Data[];
303
- readonly constructor: number;
304
- }, never>, typeof Schema.String, never>;
305
- export declare const Option: <SomeType>(someSchema: Schema.Schema<SomeType, Schema.Schema.Encoded<typeof Data>>) => Schema.transformOrFail<Schema.SchemaClass<{
306
- readonly bytes: Uint8Array<ArrayBufferLike>;
307
- } | {
308
- readonly int: bigint;
309
- } | {
310
- readonly list: readonly Data[];
311
- } | {
312
- readonly map: readonly {
313
- readonly k: Data;
314
- readonly v: Data;
315
- }[];
316
- } | {
317
- readonly fields: readonly Data[];
318
- readonly constructor: number;
319
- }, {
320
- readonly bytes: Uint8Array<ArrayBufferLike>;
321
- } | {
322
- readonly int: bigint;
323
- } | {
324
- readonly list: readonly Data[];
325
- } | {
326
- readonly map: readonly {
327
- readonly k: Data;
328
- readonly v: Data;
329
- }[];
330
- } | {
331
- readonly fields: readonly Data[];
332
- readonly constructor: number;
333
- }, never>, Schema.Option<Schema.Schema<SomeType, {
180
+ export declare const Int: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
181
+ bytes: typeof Schema.Uint8ArrayFromSelf;
182
+ }>, Schema.Struct<{
183
+ int: typeof Schema.BigIntFromSelf;
184
+ }>, Schema.Struct<{
185
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
186
+ }>, Schema.Struct<{
187
+ map: Schema.Array$<Schema.Struct<{
188
+ k: Schema.suspend<Data, Data, never>;
189
+ v: Schema.suspend<Data, Data, never>;
190
+ }>>;
191
+ }>, Schema.Struct<{
192
+ constructor: typeof Schema.Number;
193
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
194
+ }>]>, typeof Schema.Int, never>;
195
+ export declare const Real: (decimals?: number) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
196
+ bytes: typeof Schema.Uint8ArrayFromSelf;
197
+ }>, Schema.Struct<{
198
+ int: typeof Schema.BigIntFromSelf;
199
+ }>, Schema.Struct<{
200
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
201
+ }>, Schema.Struct<{
202
+ map: Schema.Array$<Schema.Struct<{
203
+ k: Schema.suspend<Data, Data, never>;
204
+ v: Schema.suspend<Data, Data, never>;
205
+ }>>;
206
+ }>, Schema.Struct<{
207
+ constructor: typeof Schema.Number;
208
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
209
+ }>]>, typeof Schema.Number, never>;
210
+ export declare const ByteArray: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
211
+ bytes: typeof Schema.Uint8ArrayFromSelf;
212
+ }>, Schema.Struct<{
213
+ int: typeof Schema.BigIntFromSelf;
214
+ }>, Schema.Struct<{
215
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
216
+ }>, Schema.Struct<{
217
+ map: Schema.Array$<Schema.Struct<{
218
+ k: Schema.suspend<Data, Data, never>;
219
+ v: Schema.suspend<Data, Data, never>;
220
+ }>>;
221
+ }>, Schema.Struct<{
222
+ constructor: typeof Schema.Number;
223
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
224
+ }>]>, typeof Schema.Uint8ArrayFromSelf, never>;
225
+ export declare const Hex: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
226
+ bytes: typeof Schema.Uint8ArrayFromSelf;
227
+ }>, Schema.Struct<{
228
+ int: typeof Schema.BigIntFromSelf;
229
+ }>, Schema.Struct<{
230
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
231
+ }>, Schema.Struct<{
232
+ map: Schema.Array$<Schema.Struct<{
233
+ k: Schema.suspend<Data, Data, never>;
234
+ v: Schema.suspend<Data, Data, never>;
235
+ }>>;
236
+ }>, Schema.Struct<{
237
+ constructor: typeof Schema.Number;
238
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
239
+ }>]>, typeof Schema.String, never>;
240
+ export declare const Option: <SomeType>(someSchema: Schema.Schema<SomeType, Schema.Schema.Encoded<typeof Data>>) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
241
+ bytes: typeof Schema.Uint8ArrayFromSelf;
242
+ }>, Schema.Struct<{
243
+ int: typeof Schema.BigIntFromSelf;
244
+ }>, Schema.Struct<{
245
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
246
+ }>, Schema.Struct<{
247
+ map: Schema.Array$<Schema.Struct<{
248
+ k: Schema.suspend<Data, Data, never>;
249
+ v: Schema.suspend<Data, Data, never>;
250
+ }>>;
251
+ }>, Schema.Struct<{
252
+ constructor: typeof Schema.Number;
253
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
254
+ }>]>, Schema.Option<Schema.Schema<SomeType, {
334
255
  readonly bytes: Uint8Array<ArrayBufferLike>;
335
256
  } | {
336
257
  readonly int: bigint;
@@ -345,94 +266,52 @@ export declare const Option: <SomeType>(someSchema: Schema.Schema<SomeType, Sche
345
266
  readonly fields: readonly Data[];
346
267
  readonly constructor: number;
347
268
  }, never>>, never>;
348
- declare const String$: Schema.transformOrFail<Schema.SchemaClass<{
349
- readonly bytes: Uint8Array<ArrayBufferLike>;
350
- } | {
351
- readonly int: bigint;
352
- } | {
353
- readonly list: readonly Data[];
354
- } | {
355
- readonly map: readonly {
356
- readonly k: Data;
357
- readonly v: Data;
358
- }[];
359
- } | {
360
- readonly fields: readonly Data[];
361
- readonly constructor: number;
362
- }, {
363
- readonly bytes: Uint8Array<ArrayBufferLike>;
364
- } | {
365
- readonly int: bigint;
366
- } | {
367
- readonly list: readonly Data[];
368
- } | {
369
- readonly map: readonly {
370
- readonly k: Data;
371
- readonly v: Data;
372
- }[];
373
- } | {
374
- readonly fields: readonly Data[];
375
- readonly constructor: number;
376
- }, never>, typeof Schema.String, never>;
269
+ declare const String$: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
270
+ bytes: typeof Schema.Uint8ArrayFromSelf;
271
+ }>, Schema.Struct<{
272
+ int: typeof Schema.BigIntFromSelf;
273
+ }>, Schema.Struct<{
274
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
275
+ }>, Schema.Struct<{
276
+ map: Schema.Array$<Schema.Struct<{
277
+ k: Schema.suspend<Data, Data, never>;
278
+ v: Schema.suspend<Data, Data, never>;
279
+ }>>;
280
+ }>, Schema.Struct<{
281
+ constructor: typeof Schema.Number;
282
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
283
+ }>]>, typeof Schema.String, never>;
377
284
  export { String$ as String };
378
- export declare const LiteralString: <T extends string>(value: T) => Schema.transformOrFail<Schema.SchemaClass<{
379
- readonly bytes: Uint8Array<ArrayBufferLike>;
380
- } | {
381
- readonly int: bigint;
382
- } | {
383
- readonly list: readonly Data[];
384
- } | {
385
- readonly map: readonly {
386
- readonly k: Data;
387
- readonly v: Data;
388
- }[];
389
- } | {
390
- readonly fields: readonly Data[];
391
- readonly constructor: number;
392
- }, {
393
- readonly bytes: Uint8Array<ArrayBufferLike>;
394
- } | {
395
- readonly int: bigint;
396
- } | {
397
- readonly list: readonly Data[];
398
- } | {
399
- readonly map: readonly {
400
- readonly k: Data;
401
- readonly v: Data;
402
- }[];
403
- } | {
404
- readonly fields: readonly Data[];
405
- readonly constructor: number;
406
- }, never>, Schema.Literal<[T]>, never>;
407
- declare const Array$: <ItemType, ContextType>(itemSchema: Schema.Schema<ItemType, Schema.Schema.Encoded<typeof Data>, ContextType>) => Schema.transformOrFail<Schema.SchemaClass<{
408
- readonly bytes: Uint8Array<ArrayBufferLike>;
409
- } | {
410
- readonly int: bigint;
411
- } | {
412
- readonly list: readonly Data[];
413
- } | {
414
- readonly map: readonly {
415
- readonly k: Data;
416
- readonly v: Data;
417
- }[];
418
- } | {
419
- readonly fields: readonly Data[];
420
- readonly constructor: number;
421
- }, {
422
- readonly bytes: Uint8Array<ArrayBufferLike>;
423
- } | {
424
- readonly int: bigint;
425
- } | {
426
- readonly list: readonly Data[];
427
- } | {
428
- readonly map: readonly {
429
- readonly k: Data;
430
- readonly v: Data;
431
- }[];
432
- } | {
433
- readonly fields: readonly Data[];
434
- readonly constructor: number;
435
- }, never>, Schema.Array$<Schema.Schema<ItemType, {
285
+ export declare const LiteralString: <T extends string>(value: T) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
286
+ bytes: typeof Schema.Uint8ArrayFromSelf;
287
+ }>, Schema.Struct<{
288
+ int: typeof Schema.BigIntFromSelf;
289
+ }>, Schema.Struct<{
290
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
291
+ }>, Schema.Struct<{
292
+ map: Schema.Array$<Schema.Struct<{
293
+ k: Schema.suspend<Data, Data, never>;
294
+ v: Schema.suspend<Data, Data, never>;
295
+ }>>;
296
+ }>, Schema.Struct<{
297
+ constructor: typeof Schema.Number;
298
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
299
+ }>]>, Schema.Literal<[T]>, never>;
300
+ declare const Array$: <ItemType, ContextType>(itemSchema: Schema.Schema<ItemType, Schema.Schema.Encoded<typeof Data>, ContextType>) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
301
+ bytes: typeof Schema.Uint8ArrayFromSelf;
302
+ }>, Schema.Struct<{
303
+ int: typeof Schema.BigIntFromSelf;
304
+ }>, Schema.Struct<{
305
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
306
+ }>, Schema.Struct<{
307
+ map: Schema.Array$<Schema.Struct<{
308
+ k: Schema.suspend<Data, Data, never>;
309
+ v: Schema.suspend<Data, Data, never>;
310
+ }>>;
311
+ }>, Schema.Struct<{
312
+ constructor: typeof Schema.Number;
313
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
314
+ }>]>, Schema.Array$<Schema.Schema<ItemType, {
436
315
  readonly bytes: Uint8Array<ArrayBufferLike>;
437
316
  } | {
438
317
  readonly int: bigint;
@@ -448,35 +327,21 @@ declare const Array$: <ItemType, ContextType>(itemSchema: Schema.Schema<ItemType
448
327
  readonly constructor: number;
449
328
  }, ContextType>>, never>;
450
329
  export { Array$ as Array };
451
- export declare const PairArray: <KeyType, ValueType, KeyContextType, ValueContextType>(keySchema: Schema.Schema<KeyType, Schema.Schema.Encoded<typeof Data>, KeyContextType>, valueSchema: Schema.Schema<ValueType, Schema.Schema.Encoded<typeof Data>, ValueContextType>) => Schema.transformOrFail<Schema.SchemaClass<{
452
- readonly bytes: Uint8Array<ArrayBufferLike>;
453
- } | {
454
- readonly int: bigint;
455
- } | {
456
- readonly list: readonly Data[];
457
- } | {
458
- readonly map: readonly {
459
- readonly k: Data;
460
- readonly v: Data;
461
- }[];
462
- } | {
463
- readonly fields: readonly Data[];
464
- readonly constructor: number;
465
- }, {
466
- readonly bytes: Uint8Array<ArrayBufferLike>;
467
- } | {
468
- readonly int: bigint;
469
- } | {
470
- readonly list: readonly Data[];
471
- } | {
472
- readonly map: readonly {
473
- readonly k: Data;
474
- readonly v: Data;
475
- }[];
476
- } | {
477
- readonly fields: readonly Data[];
478
- readonly constructor: number;
479
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<KeyType, {
330
+ export declare const PairArray: <KeyType, ValueType, KeyContextType, ValueContextType>(keySchema: Schema.Schema<KeyType, Schema.Schema.Encoded<typeof Data>, KeyContextType>, valueSchema: Schema.Schema<ValueType, Schema.Schema.Encoded<typeof Data>, ValueContextType>) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
331
+ bytes: typeof Schema.Uint8ArrayFromSelf;
332
+ }>, Schema.Struct<{
333
+ int: typeof Schema.BigIntFromSelf;
334
+ }>, Schema.Struct<{
335
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
336
+ }>, Schema.Struct<{
337
+ map: Schema.Array$<Schema.Struct<{
338
+ k: Schema.suspend<Data, Data, never>;
339
+ v: Schema.suspend<Data, Data, never>;
340
+ }>>;
341
+ }>, Schema.Struct<{
342
+ constructor: typeof Schema.Number;
343
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
344
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<KeyType, {
480
345
  readonly bytes: Uint8Array<ArrayBufferLike>;
481
346
  } | {
482
347
  readonly int: bigint;
@@ -507,97 +372,55 @@ export declare const PairArray: <KeyType, ValueType, KeyContextType, ValueContex
507
372
  }, ValueContextType>>>, never>;
508
373
  export declare const Struct: <FieldTypes extends {
509
374
  [fieldName: string]: Schema.Schema<any, Data>;
510
- }>(fields: FieldTypes) => Schema.transformOrFail<Schema.SchemaClass<{
511
- readonly bytes: Uint8Array<ArrayBufferLike>;
512
- } | {
513
- readonly int: bigint;
514
- } | {
515
- readonly list: readonly Data[];
516
- } | {
517
- readonly map: readonly {
518
- readonly k: Data;
519
- readonly v: Data;
520
- }[];
521
- } | {
522
- readonly fields: readonly Data[];
523
- readonly constructor: number;
524
- }, {
525
- readonly bytes: Uint8Array<ArrayBufferLike>;
526
- } | {
527
- readonly int: bigint;
528
- } | {
529
- readonly list: readonly Data[];
530
- } | {
531
- readonly map: readonly {
532
- readonly k: Data;
533
- readonly v: Data;
534
- }[];
535
- } | {
536
- readonly fields: readonly Data[];
537
- readonly constructor: number;
538
- }, never>, Schema.Struct<FieldTypes>, never>;
375
+ }>(fields: FieldTypes) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
376
+ bytes: typeof Schema.Uint8ArrayFromSelf;
377
+ }>, Schema.Struct<{
378
+ int: typeof Schema.BigIntFromSelf;
379
+ }>, Schema.Struct<{
380
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
381
+ }>, Schema.Struct<{
382
+ map: Schema.Array$<Schema.Struct<{
383
+ k: Schema.suspend<Data, Data, never>;
384
+ v: Schema.suspend<Data, Data, never>;
385
+ }>>;
386
+ }>, Schema.Struct<{
387
+ constructor: typeof Schema.Number;
388
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
389
+ }>]>, Schema.Struct<FieldTypes>, never>;
539
390
  export declare const StructFromMap: <FieldTypes extends {
540
391
  [fieldName: string]: Schema.Schema<any, Data>;
541
- }>(fields: FieldTypes) => Schema.transformOrFail<Schema.SchemaClass<{
542
- readonly bytes: Uint8Array<ArrayBufferLike>;
543
- } | {
544
- readonly int: bigint;
545
- } | {
546
- readonly list: readonly Data[];
547
- } | {
548
- readonly map: readonly {
549
- readonly k: Data;
550
- readonly v: Data;
551
- }[];
552
- } | {
553
- readonly fields: readonly Data[];
554
- readonly constructor: number;
555
- }, {
556
- readonly bytes: Uint8Array<ArrayBufferLike>;
557
- } | {
558
- readonly int: bigint;
559
- } | {
560
- readonly list: readonly Data[];
561
- } | {
562
- readonly map: readonly {
563
- readonly k: Data;
564
- readonly v: Data;
565
- }[];
566
- } | {
567
- readonly fields: readonly Data[];
568
- readonly constructor: number;
569
- }, never>, Schema.Struct<FieldTypes>, never>;
392
+ }>(fields: FieldTypes) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
393
+ bytes: typeof Schema.Uint8ArrayFromSelf;
394
+ }>, Schema.Struct<{
395
+ int: typeof Schema.BigIntFromSelf;
396
+ }>, Schema.Struct<{
397
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
398
+ }>, Schema.Struct<{
399
+ map: Schema.Array$<Schema.Struct<{
400
+ k: Schema.suspend<Data, Data, never>;
401
+ v: Schema.suspend<Data, Data, never>;
402
+ }>>;
403
+ }>, Schema.Struct<{
404
+ constructor: typeof Schema.Number;
405
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
406
+ }>]>, Schema.Struct<FieldTypes>, never>;
570
407
  export declare const EnumVariant: <FieldTypes extends {
571
408
  [fieldName: string]: Schema.Schema<any, Data, any>;
572
- }>(tag: number | bigint, fields: FieldTypes) => Schema.transformOrFail<Schema.SchemaClass<{
573
- readonly bytes: Uint8Array<ArrayBufferLike>;
574
- } | {
575
- readonly int: bigint;
576
- } | {
577
- readonly list: readonly Data[];
578
- } | {
579
- readonly map: readonly {
580
- readonly k: Data;
581
- readonly v: Data;
582
- }[];
583
- } | {
584
- readonly fields: readonly Data[];
585
- readonly constructor: number;
586
- }, {
587
- readonly bytes: Uint8Array<ArrayBufferLike>;
588
- } | {
589
- readonly int: bigint;
590
- } | {
591
- readonly list: readonly Data[];
592
- } | {
593
- readonly map: readonly {
594
- readonly k: Data;
595
- readonly v: Data;
596
- }[];
597
- } | {
598
- readonly fields: readonly Data[];
599
- readonly constructor: number;
600
- }, never>, Schema.Struct<FieldTypes>, never>;
409
+ }>(tag: number | bigint, fields: FieldTypes) => Schema.transformOrFail<Schema.Union<[Schema.Struct<{
410
+ bytes: typeof Schema.Uint8ArrayFromSelf;
411
+ }>, Schema.Struct<{
412
+ int: typeof Schema.BigIntFromSelf;
413
+ }>, Schema.Struct<{
414
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
415
+ }>, Schema.Struct<{
416
+ map: Schema.Array$<Schema.Struct<{
417
+ k: Schema.suspend<Data, Data, never>;
418
+ v: Schema.suspend<Data, Data, never>;
419
+ }>>;
420
+ }>, Schema.Struct<{
421
+ constructor: typeof Schema.Number;
422
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
423
+ }>]>, Schema.Struct<FieldTypes>, never>;
601
424
  type EnumUnionTypeInternal<VariantName, VariantTypes extends {
602
425
  [variantName: string]: {
603
426
  [fieldName: string]: Schema.Schema<any, Data, any>;
@@ -622,64 +445,36 @@ export declare const Bool: Schema.transform<Schema.Schema<({
622
445
  } & {}) | ({
623
446
  _tag: "True";
624
447
  } & {}), Data, never>, typeof Schema.Boolean>;
625
- export declare const TimeRange: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
626
- readonly bytes: Uint8Array<ArrayBufferLike>;
627
- } | {
628
- readonly int: bigint;
629
- } | {
630
- readonly list: readonly Data[];
631
- } | {
632
- readonly map: readonly {
633
- readonly k: Data;
634
- readonly v: Data;
635
- }[];
636
- } | {
637
- readonly fields: readonly Data[];
638
- readonly constructor: number;
639
- }, {
640
- readonly bytes: Uint8Array<ArrayBufferLike>;
641
- } | {
642
- readonly int: bigint;
643
- } | {
644
- readonly list: readonly Data[];
645
- } | {
646
- readonly map: readonly {
647
- readonly k: Data;
648
- readonly v: Data;
649
- }[];
650
- } | {
651
- readonly fields: readonly Data[];
652
- readonly constructor: number;
653
- }, never>, Schema.Struct<{
654
- start: Schema.transformOrFail<Schema.SchemaClass<{
655
- readonly bytes: Uint8Array<ArrayBufferLike>;
656
- } | {
657
- readonly int: bigint;
658
- } | {
659
- readonly list: readonly Data[];
660
- } | {
661
- readonly map: readonly {
662
- readonly k: Data;
663
- readonly v: Data;
664
- }[];
665
- } | {
666
- readonly fields: readonly Data[];
667
- readonly constructor: number;
668
- }, {
669
- readonly bytes: Uint8Array<ArrayBufferLike>;
670
- } | {
671
- readonly int: bigint;
672
- } | {
673
- readonly list: readonly Data[];
674
- } | {
675
- readonly map: readonly {
676
- readonly k: Data;
677
- readonly v: Data;
678
- }[];
679
- } | {
680
- readonly fields: readonly Data[];
681
- readonly constructor: number;
682
- }, never>, Schema.Struct<{
448
+ export declare const TimeRange: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
449
+ bytes: typeof Schema.Uint8ArrayFromSelf;
450
+ }>, Schema.Struct<{
451
+ int: typeof Schema.BigIntFromSelf;
452
+ }>, Schema.Struct<{
453
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
454
+ }>, Schema.Struct<{
455
+ map: Schema.Array$<Schema.Struct<{
456
+ k: Schema.suspend<Data, Data, never>;
457
+ v: Schema.suspend<Data, Data, never>;
458
+ }>>;
459
+ }>, Schema.Struct<{
460
+ constructor: typeof Schema.Number;
461
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
462
+ }>]>, Schema.Struct<{
463
+ start: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
464
+ bytes: typeof Schema.Uint8ArrayFromSelf;
465
+ }>, Schema.Struct<{
466
+ int: typeof Schema.BigIntFromSelf;
467
+ }>, Schema.Struct<{
468
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
469
+ }>, Schema.Struct<{
470
+ map: Schema.Array$<Schema.Struct<{
471
+ k: Schema.suspend<Data, Data, never>;
472
+ v: Schema.suspend<Data, Data, never>;
473
+ }>>;
474
+ }>, Schema.Struct<{
475
+ constructor: typeof Schema.Number;
476
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
477
+ }>]>, Schema.Struct<{
683
478
  startTime: Schema.transform<Schema.Schema<({
684
479
  _tag: "NegativeInf";
685
480
  } & {}) | ({
@@ -695,35 +490,21 @@ export declare const TimeRange: Schema.transform<Schema.transformOrFail<Schema.S
695
490
  _tag: "True";
696
491
  } & {}), Data, never>, typeof Schema.Boolean>;
697
492
  }>, never>;
698
- end: Schema.transformOrFail<Schema.SchemaClass<{
699
- readonly bytes: Uint8Array<ArrayBufferLike>;
700
- } | {
701
- readonly int: bigint;
702
- } | {
703
- readonly list: readonly Data[];
704
- } | {
705
- readonly map: readonly {
706
- readonly k: Data;
707
- readonly v: Data;
708
- }[];
709
- } | {
710
- readonly fields: readonly Data[];
711
- readonly constructor: number;
712
- }, {
713
- readonly bytes: Uint8Array<ArrayBufferLike>;
714
- } | {
715
- readonly int: bigint;
716
- } | {
717
- readonly list: readonly Data[];
718
- } | {
719
- readonly map: readonly {
720
- readonly k: Data;
721
- readonly v: Data;
722
- }[];
723
- } | {
724
- readonly fields: readonly Data[];
725
- readonly constructor: number;
726
- }, never>, Schema.Struct<{
493
+ end: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
494
+ bytes: typeof Schema.Uint8ArrayFromSelf;
495
+ }>, Schema.Struct<{
496
+ int: typeof Schema.BigIntFromSelf;
497
+ }>, Schema.Struct<{
498
+ list: Schema.Array$<Schema.suspend<Data, Data, never>>;
499
+ }>, Schema.Struct<{
500
+ map: Schema.Array$<Schema.Struct<{
501
+ k: Schema.suspend<Data, Data, never>;
502
+ v: Schema.suspend<Data, Data, never>;
503
+ }>>;
504
+ }>, Schema.Struct<{
505
+ constructor: typeof Schema.Number;
506
+ fields: Schema.Array$<Schema.suspend<Data, Data, never>>;
507
+ }>]>, Schema.Struct<{
727
508
  endTime: Schema.transform<Schema.Schema<({
728
509
  _tag: "NegativeInf";
729
510
  } & {}) | ({