@helios-lang/effect 0.2.0 → 0.4.31

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (189) hide show
  1. package/.vscode/settings.json +3 -0
  2. package/dist/Cardano/Ledger/Address.js +1 -1
  3. package/dist/Cardano/Ledger/Address.js.map +1 -1
  4. package/dist/Cardano/Ledger/AssetClass.js +6 -1
  5. package/dist/Cardano/Ledger/AssetClass.js.map +1 -1
  6. package/dist/Cardano/Ledger/Assets.js +85 -3
  7. package/dist/Cardano/Ledger/Assets.js.map +1 -1
  8. package/dist/Cardano/Ledger/Credential.js +1 -1
  9. package/dist/Cardano/Ledger/Credential.js.map +1 -1
  10. package/dist/Cardano/Ledger/DCert.js +2 -1
  11. package/dist/Cardano/Ledger/DCert.js.map +1 -1
  12. package/dist/Cardano/Ledger/DatumHash.js +2 -2
  13. package/dist/Cardano/Ledger/DatumHash.js.map +1 -1
  14. package/dist/Cardano/Ledger/MintingPolicy.js +2 -0
  15. package/dist/Cardano/Ledger/MintingPolicy.js.map +1 -1
  16. package/dist/Cardano/Ledger/NativeScript.js +2 -1
  17. package/dist/Cardano/Ledger/NativeScript.js.map +1 -1
  18. package/dist/Cardano/Ledger/PubKey.js +17 -15
  19. package/dist/Cardano/Ledger/PubKey.js.map +1 -1
  20. package/dist/Cardano/Ledger/PubKeyHash.js +1 -1
  21. package/dist/Cardano/Ledger/PubKeyHash.js.map +1 -1
  22. package/dist/Cardano/Ledger/Redeemer.js +1 -1
  23. package/dist/Cardano/Ledger/Redeemer.js.map +1 -1
  24. package/dist/Cardano/Ledger/Signature.js +1 -0
  25. package/dist/Cardano/Ledger/Signature.js.map +1 -1
  26. package/dist/Cardano/Ledger/Tx.js +165 -17
  27. package/dist/Cardano/Ledger/Tx.js.map +1 -1
  28. package/dist/Cardano/Ledger/TxOutput.js +12 -6
  29. package/dist/Cardano/Ledger/TxOutput.js.map +1 -1
  30. package/dist/Cardano/Ledger/TxOutputDatum.js +36 -34
  31. package/dist/Cardano/Ledger/TxOutputDatum.js.map +1 -1
  32. package/dist/Cardano/Ledger/UTxO.js +1 -1
  33. package/dist/Cardano/Ledger/UTxO.js.map +1 -1
  34. package/dist/Cardano/Ledger/UTxORef.js +1 -0
  35. package/dist/Cardano/Ledger/UTxORef.js.map +1 -1
  36. package/dist/Cardano/Ledger/ValidatorHash.js +1 -1
  37. package/dist/Cardano/Ledger/ValidatorHash.js.map +1 -1
  38. package/dist/Cardano/Ledger/index.js +1 -0
  39. package/dist/Cardano/Ledger/index.js.map +1 -1
  40. package/dist/Cardano/Network/AssetMetadata.js +11 -0
  41. package/dist/Cardano/Network/AssetMetadata.js.map +1 -0
  42. package/dist/Cardano/Network/IsMainnet.js +1 -1
  43. package/dist/Cardano/Network/IsMainnet.js.map +1 -1
  44. package/dist/Cardano/Network/Params.js +105 -1
  45. package/dist/Cardano/Network/Params.js.map +1 -1
  46. package/dist/Cardano/Network/Submit.js +15 -0
  47. package/dist/Cardano/Network/Submit.js.map +1 -0
  48. package/dist/Cardano/Network/UTxO.js +2 -2
  49. package/dist/Cardano/Network/UTxO.js.map +1 -1
  50. package/dist/Cardano/Network/UTxOsAt.js +3 -2
  51. package/dist/Cardano/Network/UTxOsAt.js.map +1 -1
  52. package/dist/Cardano/Network/errors.js +16 -3
  53. package/dist/Cardano/Network/errors.js.map +1 -1
  54. package/dist/Cardano/Network/index.js +2 -0
  55. package/dist/Cardano/Network/index.js.map +1 -1
  56. package/dist/Cardano/ScriptContext.js +264 -0
  57. package/dist/Cardano/ScriptContext.js.map +1 -0
  58. package/dist/Cardano/TxBuilder.js +109 -46
  59. package/dist/Cardano/TxBuilder.js.map +1 -1
  60. package/dist/Cardano/Uplc/Builtins.js +293 -32
  61. package/dist/Cardano/Uplc/Builtins.js.map +1 -1
  62. package/dist/Cardano/Uplc/Cek.js +6 -5
  63. package/dist/Cardano/Uplc/Cek.js.map +1 -1
  64. package/dist/Cardano/Uplc/Cost.js +257 -1
  65. package/dist/Cardano/Uplc/Cost.js.map +1 -1
  66. package/dist/Cardano/Uplc/Data.js +22 -8
  67. package/dist/Cardano/Uplc/Data.js.map +1 -1
  68. package/dist/Cardano/Uplc/Script.js +52 -10
  69. package/dist/Cardano/Uplc/Script.js.map +1 -1
  70. package/dist/Cardano/Uplc/Term.js +14 -0
  71. package/dist/Cardano/Uplc/Term.js.map +1 -1
  72. package/dist/Cardano/Uplc/index.js +2 -1
  73. package/dist/Cardano/Uplc/index.js.map +1 -1
  74. package/dist/Cardano/Wallet.js +51 -0
  75. package/dist/Cardano/Wallet.js.map +1 -0
  76. package/dist/Cardano/index.js +4 -3
  77. package/dist/Cardano/index.js.map +1 -1
  78. package/dist/Codecs/Base32.js +4 -1
  79. package/dist/Codecs/Base32.js.map +1 -1
  80. package/dist/Codecs/BigEndian.js +1 -1
  81. package/dist/Codecs/BigEndian.js.map +1 -1
  82. package/dist/Codecs/Bytes.js +1 -1
  83. package/dist/Codecs/Bytes.js.map +1 -1
  84. package/dist/Codecs/LittleEndian.js +4 -0
  85. package/dist/Codecs/LittleEndian.js.map +1 -1
  86. package/dist/Codecs/Utf8.js +1 -1
  87. package/dist/Codecs/Utf8.js.map +1 -1
  88. package/dist/Crypto/Bip32.js +134 -0
  89. package/dist/Crypto/Bip32.js.map +1 -0
  90. package/dist/Crypto/Bip39.js +2176 -0
  91. package/dist/Crypto/Bip39.js.map +1 -0
  92. package/dist/Crypto/Curve.js +1 -0
  93. package/dist/Crypto/Curve.js.map +1 -1
  94. package/dist/Crypto/Ed25519.js +2 -1
  95. package/dist/Crypto/Ed25519.js.map +1 -1
  96. package/dist/Crypto/EdDSA.js +2 -1
  97. package/dist/Crypto/EdDSA.js.map +1 -1
  98. package/dist/Crypto/Sha3_256.js +1 -0
  99. package/dist/Crypto/Sha3_256.js.map +1 -1
  100. package/dist/Crypto/index.js +2 -0
  101. package/dist/Crypto/index.js.map +1 -1
  102. package/dist/index.js +3 -3
  103. package/dist/index.js.map +1 -1
  104. package/package.json +2 -1
  105. package/types/Cardano/Ledger/Address.d.ts +2 -2
  106. package/types/Cardano/Ledger/Address.d.ts.map +1 -1
  107. package/types/Cardano/Ledger/AssetClass.d.ts +6 -1
  108. package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
  109. package/types/Cardano/Ledger/Assets.d.ts +14 -2
  110. package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
  111. package/types/Cardano/Ledger/Credential.d.ts +1 -1
  112. package/types/Cardano/Ledger/Credential.d.ts.map +1 -1
  113. package/types/Cardano/Ledger/DatumHash.d.ts +2 -2
  114. package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
  115. package/types/Cardano/Ledger/MintingPolicy.d.ts +1 -0
  116. package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
  117. package/types/Cardano/Ledger/PubKey.d.ts +13 -9
  118. package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
  119. package/types/Cardano/Ledger/PubKeyHash.d.ts +2 -2
  120. package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
  121. package/types/Cardano/Ledger/Redeemer.d.ts +1 -1
  122. package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
  123. package/types/Cardano/Ledger/Signature.d.ts +2 -2
  124. package/types/Cardano/Ledger/Signature.d.ts.map +1 -1
  125. package/types/Cardano/Ledger/Tx.d.ts +19 -241
  126. package/types/Cardano/Ledger/Tx.d.ts.map +1 -1
  127. package/types/Cardano/Ledger/TxOutput.d.ts +98 -108
  128. package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
  129. package/types/Cardano/Ledger/TxOutputDatum.d.ts +69 -68
  130. package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
  131. package/types/Cardano/Ledger/UTxO.d.ts +275 -325
  132. package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
  133. package/types/Cardano/Ledger/ValidatorHash.d.ts +2 -2
  134. package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
  135. package/types/Cardano/Ledger/index.d.ts +1 -0
  136. package/types/Cardano/Ledger/index.d.ts.map +1 -1
  137. package/types/Cardano/Network/AssetMetadata.d.ts +15 -0
  138. package/types/Cardano/Network/AssetMetadata.d.ts.map +1 -0
  139. package/types/Cardano/Network/IsMainnet.d.ts +1 -1
  140. package/types/Cardano/Network/Params.d.ts +9 -1
  141. package/types/Cardano/Network/Params.d.ts.map +1 -1
  142. package/types/Cardano/Network/Submit.d.ts +18 -0
  143. package/types/Cardano/Network/Submit.d.ts.map +1 -0
  144. package/types/Cardano/Network/UTxO.d.ts +1 -1
  145. package/types/Cardano/Network/UTxO.d.ts.map +1 -1
  146. package/types/Cardano/Network/UTxOsAt.d.ts +2 -2
  147. package/types/Cardano/Network/UTxOsAt.d.ts.map +1 -1
  148. package/types/Cardano/Network/errors.d.ts +22 -2
  149. package/types/Cardano/Network/errors.d.ts.map +1 -1
  150. package/types/Cardano/Network/index.d.ts +2 -0
  151. package/types/Cardano/Network/index.d.ts.map +1 -1
  152. package/types/Cardano/ScriptContext.d.ts +1340 -0
  153. package/types/Cardano/ScriptContext.d.ts.map +1 -0
  154. package/types/Cardano/TxBuilder.d.ts +12 -39
  155. package/types/Cardano/TxBuilder.d.ts.map +1 -1
  156. package/types/Cardano/Uplc/Builtins.d.ts.map +1 -1
  157. package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
  158. package/types/Cardano/Uplc/Cost.d.ts +1 -0
  159. package/types/Cardano/Uplc/Cost.d.ts.map +1 -1
  160. package/types/Cardano/Uplc/Data.d.ts.map +1 -1
  161. package/types/Cardano/Uplc/Script.d.ts +5 -3
  162. package/types/Cardano/Uplc/Script.d.ts.map +1 -1
  163. package/types/Cardano/Uplc/Term.d.ts +3 -0
  164. package/types/Cardano/Uplc/Term.d.ts.map +1 -1
  165. package/types/Cardano/Uplc/index.d.ts +2 -1
  166. package/types/Cardano/Uplc/index.d.ts.map +1 -1
  167. package/types/Cardano/Wallet.d.ts +68 -0
  168. package/types/Cardano/Wallet.d.ts.map +1 -0
  169. package/types/Cardano/index.d.ts +4 -3
  170. package/types/Cardano/index.d.ts.map +1 -1
  171. package/types/Codecs/Base32.d.ts +4 -1
  172. package/types/Codecs/Base32.d.ts.map +1 -1
  173. package/types/Codecs/LittleEndian.d.ts +1 -0
  174. package/types/Codecs/LittleEndian.d.ts.map +1 -1
  175. package/types/Crypto/Bip32.d.ts +31 -0
  176. package/types/Crypto/Bip32.d.ts.map +1 -0
  177. package/types/Crypto/Bip39.d.ts +43 -0
  178. package/types/Crypto/Bip39.d.ts.map +1 -0
  179. package/types/Crypto/EdDSA.d.ts +1 -1
  180. package/types/Crypto/EdDSA.d.ts.map +1 -1
  181. package/types/Crypto/index.d.ts +2 -0
  182. package/types/Crypto/index.d.ts.map +1 -1
  183. package/types/index.d.ts +3 -3
  184. package/types/index.d.ts.map +1 -1
  185. package/bun.lock +0 -60
  186. package/tsconfig.build.json +0 -14
  187. package/tsconfig.build.tsbuildinfo +0 -1
  188. package/tsconfig.json +0 -38
  189. package/tsconfig.tsbuildinfo +0 -1
@@ -2,7 +2,7 @@ import { Effect } from "effect";
2
2
  import * as Bytes from "../../Codecs/Bytes.js";
3
3
  import * as Cbor from "../../Codecs/Cbor.js";
4
4
  import * as Params from "../Network/Params.js";
5
- import { Data, Script } from "../Uplc";
5
+ import { Cek, Data, Script } from "../Uplc/index.js";
6
6
  import * as Assets from "./Assets.js";
7
7
  import * as DCert from "./DCert.js";
8
8
  import * as NativeScript from "./NativeScript.js";
@@ -113,246 +113,7 @@ export type MetadataAttr = string | number | readonly MetadataAttr[] | Readonly<
113
113
  export declare const empty: Tx;
114
114
  export declare const decode: (options?: {
115
115
  trusted?: boolean;
116
- }) => (bytes: Bytes.BytesLike) => Effect.Effect<{
117
- body: {
118
- inputs: {
119
- readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
120
- readonly output: {
121
- readonly address: string & import("effect/Brand").Brand<"Address">;
122
- readonly assets: {
123
- readonly [x: string]: bigint;
124
- };
125
- readonly datum?: {
126
- readonly _tag: "Inline";
127
- readonly data: {
128
- readonly bytes: Uint8Array<ArrayBufferLike>;
129
- } | {
130
- readonly int: bigint;
131
- } | {
132
- readonly list: readonly Data.Data[];
133
- } | {
134
- readonly map: readonly {
135
- readonly k: Data.Data;
136
- readonly v: Data.Data;
137
- }[];
138
- } | {
139
- readonly fields: readonly Data.Data[];
140
- readonly constructor: number;
141
- };
142
- } | {
143
- readonly _tag: "Hash";
144
- readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
145
- } | undefined;
146
- readonly refScript?: ({
147
- readonly root: Uint8Array<ArrayBufferLike>;
148
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
149
- } & {
150
- readonly version: 2;
151
- }) | ({
152
- readonly root: Uint8Array<ArrayBufferLike>;
153
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
154
- } & {
155
- readonly version: 3;
156
- }) | undefined;
157
- readonly encodingConfig?: {
158
- readonly strictBabbage?: boolean | undefined;
159
- } | undefined;
160
- };
161
- }[];
162
- collateral: {
163
- readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
164
- readonly output: {
165
- readonly address: string & import("effect/Brand").Brand<"Address">;
166
- readonly assets: {
167
- readonly [x: string]: bigint;
168
- };
169
- readonly datum?: {
170
- readonly _tag: "Inline";
171
- readonly data: {
172
- readonly bytes: Uint8Array<ArrayBufferLike>;
173
- } | {
174
- readonly int: bigint;
175
- } | {
176
- readonly list: readonly Data.Data[];
177
- } | {
178
- readonly map: readonly {
179
- readonly k: Data.Data;
180
- readonly v: Data.Data;
181
- }[];
182
- } | {
183
- readonly fields: readonly Data.Data[];
184
- readonly constructor: number;
185
- };
186
- } | {
187
- readonly _tag: "Hash";
188
- readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
189
- } | undefined;
190
- readonly refScript?: ({
191
- readonly root: Uint8Array<ArrayBufferLike>;
192
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
193
- } & {
194
- readonly version: 2;
195
- }) | ({
196
- readonly root: Uint8Array<ArrayBufferLike>;
197
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
198
- } & {
199
- readonly version: 3;
200
- }) | undefined;
201
- readonly encodingConfig?: {
202
- readonly strictBabbage?: boolean | undefined;
203
- } | undefined;
204
- };
205
- }[];
206
- refInputs: {
207
- readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
208
- readonly output: {
209
- readonly address: string & import("effect/Brand").Brand<"Address">;
210
- readonly assets: {
211
- readonly [x: string]: bigint;
212
- };
213
- readonly datum?: {
214
- readonly _tag: "Inline";
215
- readonly data: {
216
- readonly bytes: Uint8Array<ArrayBufferLike>;
217
- } | {
218
- readonly int: bigint;
219
- } | {
220
- readonly list: readonly Data.Data[];
221
- } | {
222
- readonly map: readonly {
223
- readonly k: Data.Data;
224
- readonly v: Data.Data;
225
- }[];
226
- } | {
227
- readonly fields: readonly Data.Data[];
228
- readonly constructor: number;
229
- };
230
- } | {
231
- readonly _tag: "Hash";
232
- readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
233
- } | undefined;
234
- readonly refScript?: ({
235
- readonly root: Uint8Array<ArrayBufferLike>;
236
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
237
- } & {
238
- readonly version: 2;
239
- }) | ({
240
- readonly root: Uint8Array<ArrayBufferLike>;
241
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
242
- } & {
243
- readonly version: 3;
244
- }) | undefined;
245
- readonly encodingConfig?: {
246
- readonly strictBabbage?: boolean | undefined;
247
- } | undefined;
248
- };
249
- }[];
250
- outputs: {
251
- readonly address: string & import("effect/Brand").Brand<"Address">;
252
- readonly assets: {
253
- readonly [x: string]: bigint;
254
- };
255
- readonly datum?: {
256
- readonly _tag: "Inline";
257
- readonly data: {
258
- readonly bytes: Uint8Array<ArrayBufferLike>;
259
- } | {
260
- readonly int: bigint;
261
- } | {
262
- readonly list: readonly Data.Data[];
263
- } | {
264
- readonly map: readonly {
265
- readonly k: Data.Data;
266
- readonly v: Data.Data;
267
- }[];
268
- } | {
269
- readonly fields: readonly Data.Data[];
270
- readonly constructor: number;
271
- };
272
- } | {
273
- readonly _tag: "Hash";
274
- readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
275
- } | undefined;
276
- readonly refScript?: ({
277
- readonly root: Uint8Array<ArrayBufferLike>;
278
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
279
- } & {
280
- readonly version: 2;
281
- }) | ({
282
- readonly root: Uint8Array<ArrayBufferLike>;
283
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
284
- } & {
285
- readonly version: 3;
286
- }) | undefined;
287
- readonly encodingConfig?: {
288
- readonly strictBabbage?: boolean | undefined;
289
- } | undefined;
290
- }[];
291
- fee: bigint;
292
- firstValidSlot: number | undefined;
293
- lastValidSlot: number | undefined;
294
- dcerts: DCert.DCert[];
295
- withdrawals: [string & import("effect/Brand").Brand<"RewardAddress">, bigint][];
296
- metadataHash: number[] | undefined;
297
- minted: {
298
- readonly [x: string]: bigint;
299
- };
300
- scriptDataHash: number[] | undefined;
301
- signers: (string & import("effect/Brand").Brand<"PubKeyHash">)[];
302
- collateralReturn: {
303
- readonly address: string & import("effect/Brand").Brand<"Address">;
304
- readonly assets: {
305
- readonly [x: string]: bigint;
306
- };
307
- readonly datum?: {
308
- readonly _tag: "Inline";
309
- readonly data: {
310
- readonly bytes: Uint8Array<ArrayBufferLike>;
311
- } | {
312
- readonly int: bigint;
313
- } | {
314
- readonly list: readonly Data.Data[];
315
- } | {
316
- readonly map: readonly {
317
- readonly k: Data.Data;
318
- readonly v: Data.Data;
319
- }[];
320
- } | {
321
- readonly fields: readonly Data.Data[];
322
- readonly constructor: number;
323
- };
324
- } | {
325
- readonly _tag: "Hash";
326
- readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
327
- } | undefined;
328
- readonly refScript?: ({
329
- readonly root: Uint8Array<ArrayBufferLike>;
330
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
331
- } & {
332
- readonly version: 2;
333
- }) | ({
334
- readonly root: Uint8Array<ArrayBufferLike>;
335
- readonly verbose?: Uint8Array<ArrayBufferLike> | undefined;
336
- } & {
337
- readonly version: 3;
338
- }) | undefined;
339
- readonly encodingConfig?: {
340
- readonly strictBabbage?: boolean | undefined;
341
- } | undefined;
342
- } | undefined;
343
- totalCollateral: bigint;
344
- encoding: {
345
- inputsAsSet: boolean;
346
- dcertsAsSet: boolean;
347
- collateralInputsAsSet: boolean;
348
- signersAsSet: boolean;
349
- refInputsAsSet: boolean;
350
- };
351
- };
352
- witnesses: Witnesses;
353
- isValid: boolean;
354
- metadata: Metadata | undefined;
355
- }, Bytes.EndOfStreamError | Cbor.DecodeError | import("../Network/errors.js").ConnectionError | import("../Network/errors.js").UnexpectedFormat | import("../Network/errors.js").UTxONotFound | import("../Network/errors.js").UTxOAlreadySpent, import("../Network/UTxO.js").UTxO>;
116
+ }) => (bytes: Bytes.BytesLike) => Effect.Effect<Tx, Bytes.EndOfStreamError | Cbor.DecodeError | import("../Network/errors.js").ConnectionError | import("../Network/errors.js").UnexpectedFormat | import("../Network/errors.js").UTxONotFound | import("../Network/errors.js").UTxOAlreadySpent, import("../Network/UTxO.js").UTxO>;
356
117
  export declare const encode: (options?: {
357
118
  forFeeCalculation?: boolean;
358
119
  full?: boolean;
@@ -370,6 +131,23 @@ export declare function hash(tx: Tx): TxHash.TxHash;
370
131
  */
371
132
  export declare const size: (forFeeCalculation?: boolean) => (tx: Tx) => number;
372
133
  export declare const minFee: (tx: Tx) => Effect.Effect<bigint, never, Params.params>;
134
+ export declare const minCollateral: (tx: Tx) => Effect.Effect<bigint, never, Params.params>;
373
135
  export declare const inputDatum: (inputIndex: number) => (tx: Tx) => Data.Data | undefined;
374
136
  export declare const scriptDataHash: (tx: Tx) => Effect.Effect<number[] | undefined, never, Params.params>;
137
+ declare const InvalidTx_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
138
+ readonly _tag: "Cardano.Ledger.Tx.InvalidTx";
139
+ } & Readonly<A>;
140
+ export declare class InvalidTx extends InvalidTx_base<{
141
+ message: string;
142
+ }> {
143
+ constructor(reason: string);
144
+ }
145
+ export type ValidationOptions = {
146
+ strict?: boolean | undefined;
147
+ verbose?: boolean | undefined;
148
+ logger?: Cek.Logger | undefined;
149
+ };
150
+ export declare const validate: ({ strict, verbose: _verbose, logger: _logger }?: ValidationOptions) => (tx: Tx) => Effect.Effect<Tx, InvalidTx, Params.params>;
151
+ export declare const validateOutputs: (strict: boolean) => (tx: Tx) => Effect.Effect<undefined, InvalidTx, Params.params>;
152
+ export {};
375
153
  //# sourceMappingURL=Tx.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"Tx.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,OAAO,KAAK,MAAM,MAAM,sBAAsB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,SAAS,CAAA;AAEtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAGjC;;GAEG;AACH,MAAM,WAAW,EAAE;IACjB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IAExC;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,QAAQ,EAAE,CAAA;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,EAAE,CAAA;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC,EAAE,CAAA;IACtE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAA;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAA;IACvD,QAAQ,CAAC,UAAU,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,CAAC,UAAU,EAAE,CAAA;IAClD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,SAAS,CAAA;IACzD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACxC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAA;IACrD,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,GAAG,SAAS,CAAA;CAC7C;AAED,MAAM,WAAW,YAAY;IAC3B;;OAEG;IACH,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEjC;;OAEG;IACH,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEjC;;OAEG;IACH,qBAAqB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAE3C;;OAEG;IACH,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAElC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,CAAC,SAAS,EAAE,CAAA;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,QAAQ,EAAE,CAAA;IAChD,QAAQ,CAAC,aAAa,EAAE,SAAS,YAAY,CAAC,YAAY,EAAE,CAAA;IAC5D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAC/C,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAC/C,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAC/C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAClD,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAClD,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAA;CAClD;AAED,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAErC;;OAEG;IACH,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEjC;;OAEG;IACH,kBAAkB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAExC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEpC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEpC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CACrC;AAED,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AAEnD,MAAM,MAAM,YAAY,GACpB,MAAM,GACN,MAAM,GACN,SAAS,YAAY,EAAE,GACvB,QAAQ,CAAC;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,CAAC,CAAA;AAE7C;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,EAyBnB,CAAA;AAED,eAAO,MAAM,MAAM,GAChB,UAAS;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,MACnC,OAAO,KAAK,CAAC,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mRAoBnB,CAAA;AAEN,eAAO,MAAM,MAAM,GAChB,UAAS;IAAE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAO,MAC7D,IAAI,EAAE,KAAG,MAAM,EAmBf,CAAA;AAyWH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,EAAE,CAEzD;AAsCD,wBAAgB,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAI1C;AA4BD;;;;;;;;GAQG;AACH,eAAO,MAAM,IAAI,GACd,oBAAmB,OAAe,MAClC,IAAI,EAAE,WAkBN,CAAA;AAwCH,eAAO,MAAM,MAAM,GAAI,IAAI,EAAE,gDAsBzB,CAAA;AAEJ,eAAO,MAAM,UAAU,GAAI,YAAY,MAAM,MAAM,IAAI,EAAE,0BAoBxD,CAAA;AAYD,eAAO,MAAM,cAAc,GAAI,IAAI,EAAE,8DAgDjC,CAAA"}
1
+ {"version":3,"file":"Tx.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,MAAM,EAAoB,MAAM,QAAQ,CAAA;AAE1D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,OAAO,KAAK,MAAM,MAAM,sBAAsB,CAAA;AAC9C,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAEpD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAGjC;;GAEG;AACH,MAAM,WAAW,EAAE;IACjB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IAExC;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,QAAQ,EAAE,CAAA;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,EAAE,CAAA;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC,EAAE,CAAA;IACtE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAA;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAA;IACvD,QAAQ,CAAC,UAAU,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,CAAC,UAAU,EAAE,CAAA;IAClD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,SAAS,CAAA;IACzD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACxC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAA;IACrD,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,GAAG,SAAS,CAAA;CAC7C;AAED,MAAM,WAAW,YAAY;IAC3B;;OAEG;IACH,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEjC;;OAEG;IACH,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEjC;;OAEG;IACH,qBAAqB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAE3C;;OAEG;IACH,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAElC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,CAAC,SAAS,EAAE,CAAA;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,QAAQ,EAAE,CAAA;IAChD,QAAQ,CAAC,aAAa,EAAE,SAAS,YAAY,CAAC,YAAY,EAAE,CAAA;IAC5D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAC/C,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAC/C,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAC/C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAClD,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAClD,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAA;CAClD;AAED,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAErC;;OAEG;IACH,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEjC;;OAEG;IACH,kBAAkB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAExC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEpC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAEpC;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CACrC;AAED,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AAEnD,MAAM,MAAM,YAAY,GACpB,MAAM,GACN,MAAM,GACN,SAAS,YAAY,EAAE,GACvB,QAAQ,CAAC;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,CAAC,CAAA;AAE7C;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,EAyBnB,CAAA;AAED,eAAO,MAAM,MAAM,GAChB,UAAS;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,MACnC,OAAO,KAAK,CAAC,SAAS,uSAsBnB,CAAA;AAEN,eAAO,MAAM,MAAM,GAChB,UAAS;IAAE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAO,MAC7D,IAAI,EAAE,KAAG,MAAM,EAmBf,CAAA;AAyWH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,EAAE,CAEzD;AAsCD,wBAAgB,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAI1C;AA4BD;;;;;;;;GAQG;AACH,eAAO,MAAM,IAAI,GACd,oBAAmB,OAAe,MAClC,IAAI,EAAE,WAkBN,CAAA;AAsCH,eAAO,MAAM,MAAM,GAAI,IAAI,EAAE,gDA0DzB,CAAA;AAEJ,eAAO,MAAM,aAAa,GAAI,IAAI,EAAE,gDAoBhC,CAAA;AAEJ,eAAO,MAAM,UAAU,GAAI,YAAY,MAAM,MAAM,IAAI,EAAE,0BAoBxD,CAAA;AAYD,eAAO,MAAM,cAAc,GAAI,IAAI,EAAE,8DAgDjC,CAAA;;;;AAEJ,qBAAa,SAAU,SAAQ,eAA2C;IACxE,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,MAAM,EAAE,MAAM;CAG3B;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAC5B,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAC7B,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,SAAS,CAAA;CAChC,CAAA;AAED,eAAO,MAAM,QAAQ,GAClB,iDAIE,iBAAsB,MACxB,IAAI,EAAE,gDAkBH,CAAA;AA2IN,eAAO,MAAM,eAAe,GAAI,QAAQ,OAAO,MAAM,IAAI,EAAE,uDAevD,CAAA"}
@@ -1,8 +1,8 @@
1
1
  import { Effect, Schema } from "effect";
2
2
  import * as Bytes from "../../Codecs/Bytes.js";
3
3
  import * as Cbor from "../../Codecs/Cbor.js";
4
- import { Params } from "../Network";
5
- import * as Uplc from "../Uplc";
4
+ import * as Params from "../Network/Params.js";
5
+ import * as Uplc from "../Uplc/index.js";
6
6
  import * as Address from "./Address.js";
7
7
  import * as Assets from "./Assets.js";
8
8
  import * as TxOutputDatum from "./TxOutputDatum.js";
@@ -12,39 +12,37 @@ export declare const TxOutputEncodingConfig: Schema.Struct<{
12
12
  export type TxOutputEncodingConfig = Schema.Schema.Type<typeof TxOutputEncodingConfig>;
13
13
  export declare const DEFAULT_TX_OUTPUT_ENCODING_CONFIG: TxOutputEncodingConfig;
14
14
  export declare const TxOutput: Schema.Struct<{
15
- address: Schema.brand<Schema.filter<typeof Schema.String>, "Address">;
15
+ address: Schema.brand<Schema.filter<typeof Schema.String>, "Cardano.Ledger.Address">;
16
16
  assets: Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>;
17
- datum: Schema.optional<Schema.Union<[Schema.TaggedStruct<"Inline", {
18
- data: Schema.SchemaClass<{
19
- readonly bytes: Uint8Array<ArrayBufferLike>;
20
- } | {
21
- readonly int: bigint;
22
- } | {
23
- readonly list: readonly Uplc.Data.Data[];
24
- } | {
25
- readonly map: readonly {
26
- readonly k: Uplc.Data.Data;
27
- readonly v: Uplc.Data.Data;
28
- }[];
29
- } | {
30
- readonly fields: readonly Uplc.Data.Data[];
31
- readonly constructor: number;
32
- }, {
33
- readonly bytes: Uint8Array<ArrayBufferLike>;
34
- } | {
35
- readonly int: bigint;
36
- } | {
37
- readonly list: readonly Uplc.Data.Data[];
38
- } | {
39
- readonly map: readonly {
40
- readonly k: Uplc.Data.Data;
41
- readonly v: Uplc.Data.Data;
42
- }[];
43
- } | {
44
- readonly fields: readonly Uplc.Data.Data[];
45
- readonly constructor: number;
46
- }, never>;
47
- }>, Schema.TaggedStruct<"Hash", {
17
+ datum: Schema.optional<Schema.Union<[Schema.SchemaClass<{
18
+ readonly bytes: Uint8Array<ArrayBufferLike>;
19
+ } | {
20
+ readonly int: bigint;
21
+ } | {
22
+ readonly list: readonly Uplc.Data.Data[];
23
+ } | {
24
+ readonly map: readonly {
25
+ readonly k: Uplc.Data.Data;
26
+ readonly v: Uplc.Data.Data;
27
+ }[];
28
+ } | {
29
+ readonly fields: readonly Uplc.Data.Data[];
30
+ readonly constructor: number;
31
+ }, {
32
+ readonly bytes: Uint8Array<ArrayBufferLike>;
33
+ } | {
34
+ readonly int: bigint;
35
+ } | {
36
+ readonly list: readonly Uplc.Data.Data[];
37
+ } | {
38
+ readonly map: readonly {
39
+ readonly k: Uplc.Data.Data;
40
+ readonly v: Uplc.Data.Data;
41
+ }[];
42
+ } | {
43
+ readonly fields: readonly Uplc.Data.Data[];
44
+ readonly constructor: number;
45
+ }, never>, Schema.Struct<{
48
46
  hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
49
47
  }>]>>;
50
48
  refScript: Schema.optional<Schema.Union<[Schema.extend<Schema.Struct<{
@@ -183,7 +181,7 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
183
181
  readonly fields: readonly Uplc.Data.Data[];
184
182
  readonly constructor: number;
185
183
  }, never>>, never>;
186
- }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Address">, string & import("effect/Brand").Brand<"Address">, never>, import("../Network").IsMainnet>;
184
+ }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never>, import("../Network/IsMainnet.js").IsMainnet>;
187
185
  assets: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
188
186
  readonly bytes: Uint8Array<ArrayBufferLike>;
189
187
  } | {
@@ -244,6 +242,10 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
244
242
  datum: Schema.transform<Schema.Schema<({
245
243
  _tag: "None";
246
244
  } & {}) | ({
245
+ _tag: "Hash";
246
+ } & {
247
+ hash: string & import("effect/Brand").Brand<"DatumHash">;
248
+ }) | ({
247
249
  _tag: "Inline";
248
250
  } & {
249
251
  data: {
@@ -261,43 +263,39 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
261
263
  readonly fields: readonly Uplc.Data.Data[];
262
264
  readonly constructor: number;
263
265
  };
264
- }) | ({
265
- _tag: "Hash";
266
- } & {
267
- hash: string & import("effect/Brand").Brand<"DatumHash">;
268
- }), Uplc.Data.Data, never>, Schema.Union<[Schema.Union<[Schema.TaggedStruct<"Inline", {
269
- data: Schema.SchemaClass<{
270
- readonly bytes: Uint8Array<ArrayBufferLike>;
271
- } | {
272
- readonly int: bigint;
273
- } | {
274
- readonly list: readonly Uplc.Data.Data[];
275
- } | {
276
- readonly map: readonly {
277
- readonly k: Uplc.Data.Data;
278
- readonly v: Uplc.Data.Data;
279
- }[];
280
- } | {
281
- readonly fields: readonly Uplc.Data.Data[];
282
- readonly constructor: number;
283
- }, {
284
- readonly bytes: Uint8Array<ArrayBufferLike>;
285
- } | {
286
- readonly int: bigint;
287
- } | {
288
- readonly list: readonly Uplc.Data.Data[];
289
- } | {
290
- readonly map: readonly {
291
- readonly k: Uplc.Data.Data;
292
- readonly v: Uplc.Data.Data;
293
- }[];
294
- } | {
295
- readonly fields: readonly Uplc.Data.Data[];
296
- readonly constructor: number;
297
- }, never>;
298
- }>, Schema.TaggedStruct<"Hash", {
299
- hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
300
- }>]>, typeof Schema.Undefined]>>;
266
+ }), Uplc.Data.Data, never>, Schema.SchemaClass<{
267
+ readonly bytes: Uint8Array<ArrayBufferLike>;
268
+ } | {
269
+ readonly int: bigint;
270
+ } | {
271
+ readonly list: readonly Uplc.Data.Data[];
272
+ } | {
273
+ readonly map: readonly {
274
+ readonly k: Uplc.Data.Data;
275
+ readonly v: Uplc.Data.Data;
276
+ }[];
277
+ } | {
278
+ readonly fields: readonly Uplc.Data.Data[];
279
+ readonly constructor: number;
280
+ } | {
281
+ readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
282
+ } | undefined, {
283
+ readonly bytes: Uint8Array<ArrayBufferLike>;
284
+ } | {
285
+ readonly int: bigint;
286
+ } | {
287
+ readonly list: readonly Uplc.Data.Data[];
288
+ } | {
289
+ readonly map: readonly {
290
+ readonly k: Uplc.Data.Data;
291
+ readonly v: Uplc.Data.Data;
292
+ }[];
293
+ } | {
294
+ readonly fields: readonly Uplc.Data.Data[];
295
+ readonly constructor: number;
296
+ } | {
297
+ readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
298
+ } | undefined, never>>;
301
299
  refScript: Schema.transformOrFail<Schema.SchemaClass<{
302
300
  readonly bytes: Uint8Array<ArrayBufferLike>;
303
301
  } | {
@@ -342,29 +340,25 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
342
340
  readonly constructor: number;
343
341
  }, never>>, never>;
344
342
  }>, never>, Schema.SchemaClass<{
345
- readonly address: string & import("effect/Brand").Brand<"Address">;
343
+ readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
346
344
  readonly assets: {
347
345
  readonly [x: string]: bigint;
348
346
  };
349
347
  readonly datum?: {
350
- readonly _tag: "Inline";
351
- readonly data: {
352
- readonly bytes: Uint8Array<ArrayBufferLike>;
353
- } | {
354
- readonly int: bigint;
355
- } | {
356
- readonly list: readonly Uplc.Data.Data[];
357
- } | {
358
- readonly map: readonly {
359
- readonly k: Uplc.Data.Data;
360
- readonly v: Uplc.Data.Data;
361
- }[];
362
- } | {
363
- readonly fields: readonly Uplc.Data.Data[];
364
- readonly constructor: number;
365
- };
348
+ readonly bytes: Uint8Array<ArrayBufferLike>;
349
+ } | {
350
+ readonly int: bigint;
351
+ } | {
352
+ readonly list: readonly Uplc.Data.Data[];
353
+ } | {
354
+ readonly map: readonly {
355
+ readonly k: Uplc.Data.Data;
356
+ readonly v: Uplc.Data.Data;
357
+ }[];
358
+ } | {
359
+ readonly fields: readonly Uplc.Data.Data[];
360
+ readonly constructor: number;
366
361
  } | {
367
- readonly _tag: "Hash";
368
362
  readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
369
363
  } | undefined;
370
364
  readonly refScript?: ({
@@ -382,29 +376,25 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
382
376
  readonly strictBabbage?: boolean | undefined;
383
377
  } | undefined;
384
378
  }, {
385
- readonly address: string & import("effect/Brand").Brand<"Address">;
379
+ readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
386
380
  readonly assets: {
387
381
  readonly [x: string]: bigint;
388
382
  };
389
383
  readonly datum?: {
390
- readonly _tag: "Inline";
391
- readonly data: {
392
- readonly bytes: Uint8Array<ArrayBufferLike>;
393
- } | {
394
- readonly int: bigint;
395
- } | {
396
- readonly list: readonly Uplc.Data.Data[];
397
- } | {
398
- readonly map: readonly {
399
- readonly k: Uplc.Data.Data;
400
- readonly v: Uplc.Data.Data;
401
- }[];
402
- } | {
403
- readonly fields: readonly Uplc.Data.Data[];
404
- readonly constructor: number;
405
- };
384
+ readonly bytes: Uint8Array<ArrayBufferLike>;
385
+ } | {
386
+ readonly int: bigint;
387
+ } | {
388
+ readonly list: readonly Uplc.Data.Data[];
389
+ } | {
390
+ readonly map: readonly {
391
+ readonly k: Uplc.Data.Data;
392
+ readonly v: Uplc.Data.Data;
393
+ }[];
394
+ } | {
395
+ readonly fields: readonly Uplc.Data.Data[];
396
+ readonly constructor: number;
406
397
  } | {
407
- readonly _tag: "Hash";
408
398
  readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
409
399
  } | undefined;
410
400
  readonly refScript?: ({
@@ -1 +1 @@
1
- {"version":3,"file":"TxOutput.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,SAAS,CAAA;AAC/B,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAGnD,eAAO,MAAM,sBAAsB;;EAEjC,CAAA;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACrD,OAAO,sBAAsB,CAC9B,CAAA;AAED,eAAO,MAAM,iCAAiC,EAAE,sBAE/C,CAAA;AAED,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYnB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAyBxB,CAAA;AAED,wBAAgB,IAAI,CAAC,EACnB,OAAO,EACP,MAAM,EACN,KAAiB,EACjB,SAAqB,EACrB,cAAkD,EACnD,EAAE;IACD,OAAO,EAAE,OAAO,CAAC,OAAO,CAAA;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAA;IACrB,KAAK,CAAC,EAAE,aAAa,CAAC,aAAa,CAAA;IACnC,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACzD,cAAc,CAAC,EAAE,sBAAsB,CAAA;CACxC,GAAG,QAAQ,CAQX;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CA8GtE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,EAAE,CA+CjD;AAED,eAAO,MAAM,WAAW,GAAI,QAAQ,QAAQ,gDAUzC,CAAA;AAEH,eAAO,MAAM,SAAS,GAAI,GAAG,SAAS,QAAQ,EAAE;;CACO,CAAA"}
1
+ {"version":3,"file":"TxOutput.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,sBAAsB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AACxC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAGnD,eAAO,MAAM,sBAAsB;;EAEjC,CAAA;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACrD,OAAO,sBAAsB,CAC9B,CAAA;AAED,eAAO,MAAM,iCAAiC,EAAE,sBAE/C,CAAA;AAED,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYnB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAyBxB,CAAA;AAED,wBAAgB,IAAI,CAAC,EACnB,OAAO,EACP,MAAM,EACN,KAAiB,EACjB,SAAqB,EACrB,cAAkD,EACnD,EAAE;IACD,OAAO,EAAE,OAAO,CAAC,OAAO,CAAA;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAA;IACrB,KAAK,CAAC,EAAE,aAAa,CAAC,aAAa,CAAA;IACnC,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACzD,cAAc,CAAC,EAAE,sBAAsB,CAAA;CACxC,GAAG,QAAQ,CAQX;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CA8GtE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,EAAE,CA+CjD;AAED,eAAO,MAAM,WAAW,GAAI,QAAQ,QAAQ,gDAsBzC,CAAA;AAEH,eAAO,MAAM,SAAS,GAAI,GAAG,SAAS,QAAQ,EAAE;;CACO,CAAA"}