@helios-lang/effect 0.6.15 → 0.6.17

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 (50) hide show
  1. package/dist/Cardano/Ledger/Assets.js +2 -2
  2. package/dist/Cardano/Ledger/Assets.js.map +1 -1
  3. package/dist/Cardano/Ledger/TxOutput.js +4 -0
  4. package/dist/Cardano/Ledger/TxOutput.js.map +1 -1
  5. package/dist/Cardano/TxBuilder.js +3 -6
  6. package/dist/Cardano/TxBuilder.js.map +1 -1
  7. package/dist/Cardano/Uplc/Data.js +21 -1
  8. package/dist/Cardano/Uplc/Data.js.map +1 -1
  9. package/package.json +1 -1
  10. package/types/Cardano/Contract.d.ts +19 -19
  11. package/types/Cardano/Ledger/Address.d.ts +30 -58
  12. package/types/Cardano/Ledger/Address.d.ts.map +1 -1
  13. package/types/Cardano/Ledger/AssetClass.d.ts +45 -87
  14. package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
  15. package/types/Cardano/Ledger/Assets.d.ts +18 -30
  16. package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
  17. package/types/Cardano/Ledger/DatumHash.d.ts +15 -29
  18. package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
  19. package/types/Cardano/Ledger/MintingPolicy.d.ts +15 -29
  20. package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
  21. package/types/Cardano/Ledger/PubKey.d.ts +15 -29
  22. package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
  23. package/types/Cardano/Ledger/PubKeyHash.d.ts +15 -29
  24. package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
  25. package/types/Cardano/Ledger/Redeemer.d.ts +120 -232
  26. package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
  27. package/types/Cardano/Ledger/RewardAddress.d.ts +15 -29
  28. package/types/Cardano/Ledger/RewardAddress.d.ts.map +1 -1
  29. package/types/Cardano/Ledger/TxHash.d.ts +45 -87
  30. package/types/Cardano/Ledger/TxHash.d.ts.map +1 -1
  31. package/types/Cardano/Ledger/TxOutput.d.ts +91 -174
  32. package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
  33. package/types/Cardano/Ledger/TxOutputDatum.d.ts +15 -29
  34. package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
  35. package/types/Cardano/Ledger/UTxO.d.ts +300 -580
  36. package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
  37. package/types/Cardano/Ledger/UTxORef.d.ts +105 -203
  38. package/types/Cardano/Ledger/UTxORef.d.ts.map +1 -1
  39. package/types/Cardano/Ledger/ValidatorHash.d.ts +15 -29
  40. package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
  41. package/types/Cardano/ScriptContext.d.ts +286 -552
  42. package/types/Cardano/ScriptContext.d.ts.map +1 -1
  43. package/types/Cardano/TxBuilder.d.ts +6 -6
  44. package/types/Cardano/Uplc/Data.d.ts +276 -495
  45. package/types/Cardano/Uplc/Data.d.ts.map +1 -1
  46. package/types/Cardano/Uplc/Script.d.ts +1 -1
  47. package/types/Cardano/Uplc/Term.d.ts +30 -58
  48. package/types/Cardano/Uplc/Term.d.ts.map +1 -1
  49. package/types/Cardano/Uplc/Value.d.ts +30 -58
  50. package/types/Cardano/Uplc/Value.d.ts.map +1 -1
package/types/Cardano/Ledger/TxHash.d.ts CHANGED
@@ -5,94 +5,52 @@ import { Data } from "../Uplc/index.js";
5
5
  export declare function isValid(hash: string): hash is TxHash;
6
6
  export declare const TxHash: Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">;
7
7
  export type TxHash = Schema.Schema.Type<typeof TxHash>;
8
- export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
9
- readonly bytes: Uint8Array<ArrayBufferLike>;
10
- } | {
11
- readonly int: bigint;
12
- } | {
13
- readonly list: readonly Data.Data[];
14
- } | {
15
- readonly map: readonly {
16
- readonly k: Data.Data;
17
- readonly v: Data.Data;
18
- }[];
19
- } | {
20
- readonly fields: readonly Data.Data[];
21
- readonly constructor: number;
22
- }, {
23
- readonly bytes: Uint8Array<ArrayBufferLike>;
24
- } | {
25
- readonly int: bigint;
26
- } | {
27
- readonly list: readonly Data.Data[];
28
- } | {
29
- readonly map: readonly {
30
- readonly k: Data.Data;
31
- readonly v: Data.Data;
32
- }[];
33
- } | {
34
- readonly fields: readonly Data.Data[];
35
- readonly constructor: number;
36
- }, never>, Schema.Struct<{
37
- bytes: Schema.transformOrFail<Schema.SchemaClass<{
38
- readonly bytes: Uint8Array<ArrayBufferLike>;
39
- } | {
40
- readonly int: bigint;
41
- } | {
42
- readonly list: readonly Data.Data[];
43
- } | {
44
- readonly map: readonly {
45
- readonly k: Data.Data;
46
- readonly v: Data.Data;
47
- }[];
48
- } | {
49
- readonly fields: readonly Data.Data[];
50
- readonly constructor: number;
51
- }, {
52
- readonly bytes: Uint8Array<ArrayBufferLike>;
53
- } | {
54
- readonly int: bigint;
55
- } | {
56
- readonly list: readonly Data.Data[];
57
- } | {
58
- readonly map: readonly {
59
- readonly k: Data.Data;
60
- readonly v: Data.Data;
61
- }[];
62
- } | {
63
- readonly fields: readonly Data.Data[];
64
- readonly constructor: number;
65
- }, never>, typeof Schema.Uint8ArrayFromSelf, never>;
8
+ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
9
+ bytes: typeof Schema.Uint8ArrayFromSelf;
10
+ }>, Schema.Struct<{
11
+ int: typeof Schema.BigIntFromSelf;
12
+ }>, Schema.Struct<{
13
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
14
+ }>, Schema.Struct<{
15
+ map: Schema.Array$<Schema.Struct<{
16
+ k: Schema.suspend<Data.Data, Data.Data, never>;
17
+ v: Schema.suspend<Data.Data, Data.Data, never>;
18
+ }>>;
19
+ }>, Schema.Struct<{
20
+ constructor: typeof Schema.Number;
21
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
22
+ }>]>, Schema.Struct<{
23
+ bytes: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
24
+ bytes: typeof Schema.Uint8ArrayFromSelf;
25
+ }>, Schema.Struct<{
26
+ int: typeof Schema.BigIntFromSelf;
27
+ }>, Schema.Struct<{
28
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
29
+ }>, Schema.Struct<{
30
+ map: Schema.Array$<Schema.Struct<{
31
+ k: Schema.suspend<Data.Data, Data.Data, never>;
32
+ v: Schema.suspend<Data.Data, Data.Data, never>;
33
+ }>>;
34
+ }>, Schema.Struct<{
35
+ constructor: typeof Schema.Number;
36
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
37
+ }>]>, typeof Schema.Uint8ArrayFromSelf, never>;
66
38
  }>, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
67
- export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
68
- readonly bytes: Uint8Array<ArrayBufferLike>;
69
- } | {
70
- readonly int: bigint;
71
- } | {
72
- readonly list: readonly Data.Data[];
73
- } | {
74
- readonly map: readonly {
75
- readonly k: Data.Data;
76
- readonly v: Data.Data;
77
- }[];
78
- } | {
79
- readonly fields: readonly Data.Data[];
80
- readonly constructor: number;
81
- }, {
82
- readonly bytes: Uint8Array<ArrayBufferLike>;
83
- } | {
84
- readonly int: bigint;
85
- } | {
86
- readonly list: readonly Data.Data[];
87
- } | {
88
- readonly map: readonly {
89
- readonly k: Data.Data;
90
- readonly v: Data.Data;
91
- }[];
92
- } | {
93
- readonly fields: readonly Data.Data[];
94
- readonly constructor: number;
95
- }, never>, typeof Schema.String, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
39
+ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
40
+ bytes: typeof Schema.Uint8ArrayFromSelf;
41
+ }>, Schema.Struct<{
42
+ int: typeof Schema.BigIntFromSelf;
43
+ }>, Schema.Struct<{
44
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
45
+ }>, Schema.Struct<{
46
+ map: Schema.Array$<Schema.Struct<{
47
+ k: Schema.suspend<Data.Data, Data.Data, never>;
48
+ v: Schema.suspend<Data.Data, Data.Data, never>;
49
+ }>>;
50
+ }>, Schema.Struct<{
51
+ constructor: typeof Schema.Number;
52
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
53
+ }>]>, typeof Schema.String, never>, Schema.brand<Schema.filter<typeof Schema.String>, "TxHash">>;
96
54
  export declare function make(txId: Bytes.BytesLike): Either.Either<string & import("effect/Brand").Brand<"TxHash">, import("effect/ParseResult").ParseError>;
97
55
  export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<TxHash>;
98
56
  export declare function encode(txId: TxHash): number[];
package/types/Cardano/Ledger/TxHash.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"TxHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAEvC,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,MAAM,CAEpD;AAED,eAAO,MAAM,MAAM,6DAGlB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wEAUxB,CAAA;AAED,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;qGAIzB,CAAA;AAEF,wBAAgB,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,2GAEzC;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAUrE,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAE7C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEpD"}
1
+ {"version":3,"file":"TxHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAEvC,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,MAAM,CAEpD;AAED,eAAO,MAAM,MAAM,6DAGlB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wEAUxB,CAAA;AAED,eAAO,MAAM,cAAc;;;;;;;;;;;;;;gGAIzB,CAAA;AAEF,wBAAgB,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,2GAEzC;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAUrE,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAE7C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEpD"}
package/types/Cardano/Ledger/TxOutput.d.ts CHANGED
@@ -14,35 +14,21 @@ export declare const DEFAULT_TX_OUTPUT_ENCODING_CONFIG: TxOutputEncodingConfig;
14
14
  export declare const TxOutput: Schema.Struct<{
15
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.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<{
17
+ datum: Schema.optional<Schema.Union<[Schema.Union<[Schema.Struct<{
18
+ bytes: typeof Schema.Uint8ArrayFromSelf;
19
+ }>, Schema.Struct<{
20
+ int: typeof Schema.BigIntFromSelf;
21
+ }>, Schema.Struct<{
22
+ list: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
23
+ }>, Schema.Struct<{
24
+ map: Schema.Array$<Schema.Struct<{
25
+ k: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
26
+ v: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
27
+ }>>;
28
+ }>, Schema.Struct<{
29
+ constructor: typeof Schema.Number;
30
+ fields: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
31
+ }>]>, Schema.Struct<{
46
32
  hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
47
33
  }>]>>;
48
34
  refScript: Schema.optional<Schema.Union<[Schema.extend<Schema.Struct<{
@@ -61,64 +47,36 @@ export declare const TxOutput: Schema.Struct<{
61
47
  }>>;
62
48
  }>;
63
49
  export type TxOutput = Schema.Schema.Type<typeof TxOutput>;
64
- export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
65
- readonly bytes: Uint8Array<ArrayBufferLike>;
66
- } | {
67
- readonly int: bigint;
68
- } | {
69
- readonly list: readonly Uplc.Data.Data[];
70
- } | {
71
- readonly map: readonly {
72
- readonly k: Uplc.Data.Data;
73
- readonly v: Uplc.Data.Data;
74
- }[];
75
- } | {
76
- readonly fields: readonly Uplc.Data.Data[];
77
- readonly constructor: number;
78
- }, {
79
- readonly bytes: Uint8Array<ArrayBufferLike>;
80
- } | {
81
- readonly int: bigint;
82
- } | {
83
- readonly list: readonly Uplc.Data.Data[];
84
- } | {
85
- readonly map: readonly {
86
- readonly k: Uplc.Data.Data;
87
- readonly v: Uplc.Data.Data;
88
- }[];
89
- } | {
90
- readonly fields: readonly Uplc.Data.Data[];
91
- readonly constructor: number;
92
- }, never>, Schema.Struct<{
93
- address: Schema.transformOrFail<Schema.transformOrFail<Schema.SchemaClass<{
94
- readonly bytes: Uint8Array<ArrayBufferLike>;
95
- } | {
96
- readonly int: bigint;
97
- } | {
98
- readonly list: readonly Uplc.Data.Data[];
99
- } | {
100
- readonly map: readonly {
101
- readonly k: Uplc.Data.Data;
102
- readonly v: Uplc.Data.Data;
103
- }[];
104
- } | {
105
- readonly fields: readonly Uplc.Data.Data[];
106
- readonly constructor: number;
107
- }, {
108
- readonly bytes: Uint8Array<ArrayBufferLike>;
109
- } | {
110
- readonly int: bigint;
111
- } | {
112
- readonly list: readonly Uplc.Data.Data[];
113
- } | {
114
- readonly map: readonly {
115
- readonly k: Uplc.Data.Data;
116
- readonly v: Uplc.Data.Data;
117
- }[];
118
- } | {
119
- readonly fields: readonly Uplc.Data.Data[];
120
- readonly constructor: number;
121
- }, never>, Schema.Struct<{
50
+ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
51
+ bytes: typeof Schema.Uint8ArrayFromSelf;
52
+ }>, Schema.Struct<{
53
+ int: typeof Schema.BigIntFromSelf;
54
+ }>, Schema.Struct<{
55
+ list: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
56
+ }>, Schema.Struct<{
57
+ map: Schema.Array$<Schema.Struct<{
58
+ k: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
59
+ v: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
60
+ }>>;
61
+ }>, Schema.Struct<{
62
+ constructor: typeof Schema.Number;
63
+ fields: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
64
+ }>]>, Schema.Struct<{
65
+ address: Schema.transformOrFail<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
66
+ bytes: typeof Schema.Uint8ArrayFromSelf;
67
+ }>, Schema.Struct<{
68
+ int: typeof Schema.BigIntFromSelf;
69
+ }>, Schema.Struct<{
70
+ list: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
71
+ }>, Schema.Struct<{
72
+ map: Schema.Array$<Schema.Struct<{
73
+ k: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
74
+ v: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
75
+ }>>;
76
+ }>, Schema.Struct<{
77
+ constructor: typeof Schema.Number;
78
+ fields: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
79
+ }>]>, Schema.Struct<{
122
80
  spendingCredential: Schema.transform<Schema.Schema<({
123
81
  _tag: "PubKey";
124
82
  } & {
@@ -132,35 +90,21 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
132
90
  }>, Schema.TaggedStruct<"Validator", {
133
91
  hash: Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">;
134
92
  }>]>>;
135
- stakingCredential: Schema.transformOrFail<Schema.SchemaClass<{
136
- readonly bytes: Uint8Array<ArrayBufferLike>;
137
- } | {
138
- readonly int: bigint;
139
- } | {
140
- readonly list: readonly Uplc.Data.Data[];
141
- } | {
142
- readonly map: readonly {
143
- readonly k: Uplc.Data.Data;
144
- readonly v: Uplc.Data.Data;
145
- }[];
146
- } | {
147
- readonly fields: readonly Uplc.Data.Data[];
148
- readonly constructor: number;
149
- }, {
150
- readonly bytes: Uint8Array<ArrayBufferLike>;
151
- } | {
152
- readonly int: bigint;
153
- } | {
154
- readonly list: readonly Uplc.Data.Data[];
155
- } | {
156
- readonly map: readonly {
157
- readonly k: Uplc.Data.Data;
158
- readonly v: Uplc.Data.Data;
159
- }[];
160
- } | {
161
- readonly fields: readonly Uplc.Data.Data[];
162
- readonly constructor: number;
163
- }, never>, Schema.Option<Schema.Schema<{
93
+ stakingCredential: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
94
+ bytes: typeof Schema.Uint8ArrayFromSelf;
95
+ }>, Schema.Struct<{
96
+ int: typeof Schema.BigIntFromSelf;
97
+ }>, Schema.Struct<{
98
+ list: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
99
+ }>, Schema.Struct<{
100
+ map: Schema.Array$<Schema.Struct<{
101
+ k: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
102
+ v: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
103
+ }>>;
104
+ }>, Schema.Struct<{
105
+ constructor: typeof Schema.Number;
106
+ fields: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
107
+ }>]>, Schema.Option<Schema.Schema<{
164
108
  readonly _tag: "PubKey";
165
109
  readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
166
110
  } | {
@@ -182,35 +126,21 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
182
126
  readonly constructor: number;
183
127
  }, never>>, never>;
184
128
  }>, 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>;
185
- assets: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
186
- readonly bytes: Uint8Array<ArrayBufferLike>;
187
- } | {
188
- readonly int: bigint;
189
- } | {
190
- readonly list: readonly Uplc.Data.Data[];
191
- } | {
192
- readonly map: readonly {
193
- readonly k: Uplc.Data.Data;
194
- readonly v: Uplc.Data.Data;
195
- }[];
196
- } | {
197
- readonly fields: readonly Uplc.Data.Data[];
198
- readonly constructor: number;
199
- }, {
200
- readonly bytes: Uint8Array<ArrayBufferLike>;
201
- } | {
202
- readonly int: bigint;
203
- } | {
204
- readonly list: readonly Uplc.Data.Data[];
205
- } | {
206
- readonly map: readonly {
207
- readonly k: Uplc.Data.Data;
208
- readonly v: Uplc.Data.Data;
209
- }[];
210
- } | {
211
- readonly fields: readonly Uplc.Data.Data[];
212
- readonly constructor: number;
213
- }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./MintingPolicy.js").MintingPolicy, {
129
+ assets: Schema.transform<Schema.transformOrFail<Schema.Union<[Schema.Struct<{
130
+ bytes: typeof Schema.Uint8ArrayFromSelf;
131
+ }>, Schema.Struct<{
132
+ int: typeof Schema.BigIntFromSelf;
133
+ }>, Schema.Struct<{
134
+ list: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
135
+ }>, Schema.Struct<{
136
+ map: Schema.Array$<Schema.Struct<{
137
+ k: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
138
+ v: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
139
+ }>>;
140
+ }>, Schema.Struct<{
141
+ constructor: typeof Schema.Number;
142
+ fields: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
143
+ }>]>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./MintingPolicy.js").MintingPolicy, {
214
144
  readonly bytes: Uint8Array<ArrayBufferLike>;
215
145
  } | {
216
146
  readonly int: bigint;
@@ -296,35 +226,21 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
296
226
  } | {
297
227
  readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
298
228
  } | undefined, never>>;
299
- refScript: Schema.transformOrFail<Schema.SchemaClass<{
300
- readonly bytes: Uint8Array<ArrayBufferLike>;
301
- } | {
302
- readonly int: bigint;
303
- } | {
304
- readonly list: readonly Uplc.Data.Data[];
305
- } | {
306
- readonly map: readonly {
307
- readonly k: Uplc.Data.Data;
308
- readonly v: Uplc.Data.Data;
309
- }[];
310
- } | {
311
- readonly fields: readonly Uplc.Data.Data[];
312
- readonly constructor: number;
313
- }, {
314
- readonly bytes: Uint8Array<ArrayBufferLike>;
315
- } | {
316
- readonly int: bigint;
317
- } | {
318
- readonly list: readonly Uplc.Data.Data[];
319
- } | {
320
- readonly map: readonly {
321
- readonly k: Uplc.Data.Data;
322
- readonly v: Uplc.Data.Data;
323
- }[];
324
- } | {
325
- readonly fields: readonly Uplc.Data.Data[];
326
- readonly constructor: number;
327
- }, never>, Schema.Option<Schema.Schema<string & import("effect/Brand").Brand<"ValidatorHash">, {
229
+ refScript: Schema.transformOrFail<Schema.Union<[Schema.Struct<{
230
+ bytes: typeof Schema.Uint8ArrayFromSelf;
231
+ }>, Schema.Struct<{
232
+ int: typeof Schema.BigIntFromSelf;
233
+ }>, Schema.Struct<{
234
+ list: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
235
+ }>, Schema.Struct<{
236
+ map: Schema.Array$<Schema.Struct<{
237
+ k: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
238
+ v: Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>;
239
+ }>>;
240
+ }>, Schema.Struct<{
241
+ constructor: typeof Schema.Number;
242
+ fields: Schema.Array$<Schema.suspend<Uplc.Data.Data, Uplc.Data.Data, never>>;
243
+ }>]>, Schema.Option<Schema.Schema<string & import("effect/Brand").Brand<"ValidatorHash">, {
328
244
  readonly bytes: Uint8Array<ArrayBufferLike>;
329
245
  } | {
330
246
  readonly int: bigint;
@@ -419,6 +335,7 @@ export declare function make({ address, assets, datum, refScript, encodingConfig
419
335
  refScript?: Uplc.Script.Script<2> | Uplc.Script.Script<3>;
420
336
  encodingConfig?: TxOutputEncodingConfig;
421
337
  }): TxOutput;
338
+ export declare const sortAssets: (output: TxOutput) => TxOutput;
422
339
  export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<TxOutput>;
423
340
  export declare function encode(output: TxOutput): number[];
424
341
  export declare const minLovelace: (output: TxOutput) => Effect.Effect<bigint, never, Params.params>;
package/types/Cardano/Ledger/TxOutput.d.ts.map CHANGED
@@ -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,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"}
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,UAAU,GAAI,QAAQ,QAAQ,KAAG,QAG5C,CAAA;AAEF,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"}
package/types/Cardano/Ledger/TxOutputDatum.d.ts CHANGED
@@ -5,35 +5,21 @@ import * as Data from "../Uplc/Data.js";
5
5
  /**
6
6
  * Keep things simple by not requiring a tag here
7
7
  */
8
- export declare const TxOutputDatum: Schema.Union<[Schema.SchemaClass<{
9
- readonly bytes: Uint8Array<ArrayBufferLike>;
10
- } | {
11
- readonly int: bigint;
12
- } | {
13
- readonly list: readonly Data.Data[];
14
- } | {
15
- readonly map: readonly {
16
- readonly k: Data.Data;
17
- readonly v: Data.Data;
18
- }[];
19
- } | {
20
- readonly fields: readonly Data.Data[];
21
- readonly constructor: number;
22
- }, {
23
- readonly bytes: Uint8Array<ArrayBufferLike>;
24
- } | {
25
- readonly int: bigint;
26
- } | {
27
- readonly list: readonly Data.Data[];
28
- } | {
29
- readonly map: readonly {
30
- readonly k: Data.Data;
31
- readonly v: Data.Data;
32
- }[];
33
- } | {
34
- readonly fields: readonly Data.Data[];
35
- readonly constructor: number;
36
- }, never>, Schema.Struct<{
8
+ export declare const TxOutputDatum: Schema.Union<[Schema.Union<[Schema.Struct<{
9
+ bytes: typeof Schema.Uint8ArrayFromSelf;
10
+ }>, Schema.Struct<{
11
+ int: typeof Schema.BigIntFromSelf;
12
+ }>, Schema.Struct<{
13
+ list: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
14
+ }>, Schema.Struct<{
15
+ map: Schema.Array$<Schema.Struct<{
16
+ k: Schema.suspend<Data.Data, Data.Data, never>;
17
+ v: Schema.suspend<Data.Data, Data.Data, never>;
18
+ }>>;
19
+ }>, Schema.Struct<{
20
+ constructor: typeof Schema.Number;
21
+ fields: Schema.Array$<Schema.suspend<Data.Data, Data.Data, never>>;
22
+ }>]>, Schema.Struct<{
37
23
  hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
38
24
  }>]>;
39
25
  export type TxOutputDatum = Schema.Schema.Type<typeof TxOutputDatum>;
package/types/Cardano/Ledger/TxOutputDatum.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"TxOutputDatum.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutputDatum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAGvC;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAuCxB,CAAA;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CA4B9B,CAAA;AAEJ,wBAAgB,MAAM,CAAC,aAAa,EAAE,aAAa,GAAG,MAAM,EAAE,CAY7D"}
1
+ {"version":3,"file":"TxOutputDatum.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutputDatum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAGvC;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;IAGzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAuCxB,CAAA;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CA4B9B,CAAA;AAEJ,wBAAgB,MAAM,CAAC,aAAa,EAAE,aAAa,GAAG,MAAM,EAAE,CAY7D"}