@helios-lang/effect 0.6.15 → 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.
- package/dist/Cardano/Uplc/Data.js +21 -1
- package/dist/Cardano/Uplc/Data.js.map +1 -1
- package/package.json +1 -1
- package/types/Cardano/Contract.d.ts +18 -18
- package/types/Cardano/Ledger/Address.d.ts +30 -58
- package/types/Cardano/Ledger/Address.d.ts.map +1 -1
- package/types/Cardano/Ledger/AssetClass.d.ts +45 -87
- package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
- package/types/Cardano/Ledger/Assets.d.ts +15 -29
- package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
- package/types/Cardano/Ledger/DatumHash.d.ts +15 -29
- package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
- package/types/Cardano/Ledger/MintingPolicy.d.ts +15 -29
- package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
- package/types/Cardano/Ledger/PubKey.d.ts +15 -29
- package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
- package/types/Cardano/Ledger/PubKeyHash.d.ts +15 -29
- package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
- package/types/Cardano/Ledger/Redeemer.d.ts +120 -232
- package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
- package/types/Cardano/Ledger/RewardAddress.d.ts +15 -29
- package/types/Cardano/Ledger/RewardAddress.d.ts.map +1 -1
- package/types/Cardano/Ledger/TxHash.d.ts +45 -87
- package/types/Cardano/Ledger/TxHash.d.ts.map +1 -1
- package/types/Cardano/Ledger/TxOutput.d.ts +90 -174
- package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
- package/types/Cardano/Ledger/TxOutputDatum.d.ts +15 -29
- package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
- package/types/Cardano/Ledger/UTxO.d.ts +300 -580
- package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
- package/types/Cardano/Ledger/UTxORef.d.ts +105 -203
- package/types/Cardano/Ledger/UTxORef.d.ts.map +1 -1
- package/types/Cardano/Ledger/ValidatorHash.d.ts +15 -29
- package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
- package/types/Cardano/ScriptContext.d.ts +285 -551
- package/types/Cardano/ScriptContext.d.ts.map +1 -1
- package/types/Cardano/TxBuilder.d.ts +6 -6
- package/types/Cardano/Uplc/Data.d.ts +276 -495
- package/types/Cardano/Uplc/Data.d.ts.map +1 -1
- package/types/Cardano/Uplc/Script.d.ts +1 -1
- package/types/Cardano/Uplc/Term.d.ts +30 -58
- package/types/Cardano/Uplc/Term.d.ts.map +1 -1
- package/types/Cardano/Uplc/Value.d.ts +30 -58
- package/types/Cardano/Uplc/Value.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
|
|
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
|
|
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.
|
|
88
|
-
|
|
89
|
-
}
|
|
90
|
-
|
|
91
|
-
}
|
|
92
|
-
|
|
93
|
-
}
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
}
|
|
98
|
-
}
|
|
99
|
-
|
|
100
|
-
|
|
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.
|
|
160
|
-
|
|
161
|
-
}
|
|
162
|
-
|
|
163
|
-
}
|
|
164
|
-
|
|
165
|
-
}
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
}
|
|
170
|
-
}
|
|
171
|
-
|
|
172
|
-
|
|
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.
|
|
190
|
-
|
|
191
|
-
}
|
|
192
|
-
|
|
193
|
-
}
|
|
194
|
-
|
|
195
|
-
}
|
|
196
|
-
|
|
197
|
-
|
|
198
|
-
|
|
199
|
-
}
|
|
200
|
-
}
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
},
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
|
|
207
|
-
|
|
208
|
-
|
|
209
|
-
|
|
210
|
-
|
|
211
|
-
|
|
212
|
-
|
|
213
|
-
|
|
214
|
-
}
|
|
215
|
-
|
|
216
|
-
|
|
217
|
-
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
|
|
221
|
-
|
|
222
|
-
|
|
223
|
-
|
|
224
|
-
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
|
|
228
|
-
|
|
229
|
-
}
|
|
230
|
-
|
|
231
|
-
|
|
232
|
-
|
|
233
|
-
|
|
234
|
-
|
|
235
|
-
|
|
236
|
-
}
|
|
237
|
-
|
|
238
|
-
}
|
|
239
|
-
|
|
240
|
-
|
|
241
|
-
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
|
|
245
|
-
|
|
246
|
-
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
|
|
250
|
-
|
|
251
|
-
}
|
|
252
|
-
|
|
253
|
-
}
|
|
254
|
-
|
|
255
|
-
|
|
256
|
-
|
|
257
|
-
|
|
258
|
-
|
|
259
|
-
|
|
260
|
-
|
|
261
|
-
|
|
262
|
-
|
|
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.
|
|
349
|
-
|
|
350
|
-
}
|
|
351
|
-
|
|
352
|
-
}
|
|
353
|
-
|
|
354
|
-
}
|
|
355
|
-
|
|
356
|
-
|
|
357
|
-
|
|
358
|
-
}
|
|
359
|
-
}
|
|
360
|
-
|
|
361
|
-
|
|
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.
|
|
379
|
-
|
|
380
|
-
}
|
|
381
|
-
|
|
382
|
-
}
|
|
383
|
-
|
|
384
|
-
}
|
|
385
|
-
|
|
386
|
-
|
|
387
|
-
|
|
388
|
-
}
|
|
389
|
-
}
|
|
390
|
-
|
|
391
|
-
|
|
392
|
-
}
|
|
393
|
-
|
|
394
|
-
|
|
395
|
-
|
|
396
|
-
|
|
397
|
-
|
|
398
|
-
|
|
399
|
-
|
|
400
|
-
|
|
401
|
-
|
|
402
|
-
|
|
403
|
-
}
|
|
404
|
-
|
|
405
|
-
|
|
406
|
-
|
|
407
|
-
|
|
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.
|
|
452
|
-
|
|
453
|
-
}
|
|
454
|
-
|
|
455
|
-
}
|
|
456
|
-
|
|
457
|
-
}
|
|
458
|
-
|
|
459
|
-
|
|
460
|
-
|
|
461
|
-
}
|
|
462
|
-
}
|
|
463
|
-
|
|
464
|
-
|
|
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.
|
|
511
|
-
|
|
512
|
-
}
|
|
513
|
-
|
|
514
|
-
}
|
|
515
|
-
|
|
516
|
-
}
|
|
517
|
-
|
|
518
|
-
|
|
519
|
-
|
|
520
|
-
}
|
|
521
|
-
}
|
|
522
|
-
|
|
523
|
-
|
|
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.
|
|
542
|
-
|
|
543
|
-
}
|
|
544
|
-
|
|
545
|
-
}
|
|
546
|
-
|
|
547
|
-
}
|
|
548
|
-
|
|
549
|
-
|
|
550
|
-
|
|
551
|
-
}
|
|
552
|
-
}
|
|
553
|
-
|
|
554
|
-
|
|
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.
|
|
573
|
-
|
|
574
|
-
}
|
|
575
|
-
|
|
576
|
-
}
|
|
577
|
-
|
|
578
|
-
}
|
|
579
|
-
|
|
580
|
-
|
|
581
|
-
|
|
582
|
-
}
|
|
583
|
-
}
|
|
584
|
-
|
|
585
|
-
|
|
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.
|
|
626
|
-
|
|
627
|
-
}
|
|
628
|
-
|
|
629
|
-
}
|
|
630
|
-
|
|
631
|
-
}
|
|
632
|
-
|
|
633
|
-
|
|
634
|
-
|
|
635
|
-
}
|
|
636
|
-
}
|
|
637
|
-
|
|
638
|
-
|
|
639
|
-
}
|
|
640
|
-
|
|
641
|
-
|
|
642
|
-
|
|
643
|
-
|
|
644
|
-
|
|
645
|
-
|
|
646
|
-
|
|
647
|
-
|
|
648
|
-
|
|
649
|
-
|
|
650
|
-
}
|
|
651
|
-
|
|
652
|
-
|
|
653
|
-
|
|
654
|
-
|
|
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.
|
|
699
|
-
|
|
700
|
-
}
|
|
701
|
-
|
|
702
|
-
}
|
|
703
|
-
|
|
704
|
-
}
|
|
705
|
-
|
|
706
|
-
|
|
707
|
-
|
|
708
|
-
}
|
|
709
|
-
}
|
|
710
|
-
|
|
711
|
-
|
|
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
|
} & {}) | ({
|