@helios-lang/effect 0.1.1 → 0.1.3

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 (57) hide show
  1. package/dist/Ledger/Address.js +156 -0
  2. package/dist/Ledger/Address.js.map +1 -0
  3. package/dist/Ledger/AssetClass.js +74 -0
  4. package/dist/Ledger/AssetClass.js.map +1 -0
  5. package/dist/Ledger/Assets.js +122 -0
  6. package/dist/Ledger/Assets.js.map +1 -0
  7. package/dist/Ledger/Credential.js +17 -0
  8. package/dist/Ledger/Credential.js.map +1 -0
  9. package/dist/Ledger/DatumHash.js +21 -0
  10. package/dist/Ledger/DatumHash.js.map +1 -0
  11. package/dist/Ledger/MintingPolicy.js +45 -0
  12. package/dist/Ledger/MintingPolicy.js.map +1 -0
  13. package/dist/Ledger/PubKeyHash.js +21 -0
  14. package/dist/Ledger/PubKeyHash.js.map +1 -0
  15. package/dist/Ledger/TxId.js +15 -0
  16. package/dist/Ledger/TxId.js.map +1 -0
  17. package/dist/Ledger/TxInput.js +51 -0
  18. package/dist/Ledger/TxInput.js.map +1 -0
  19. package/dist/Ledger/TxOutput.js +118 -0
  20. package/dist/Ledger/TxOutput.js.map +1 -0
  21. package/dist/Ledger/TxOutputDatum.js +41 -0
  22. package/dist/Ledger/TxOutputDatum.js.map +1 -0
  23. package/dist/Ledger/TxOutputId.js +39 -0
  24. package/dist/Ledger/TxOutputId.js.map +1 -0
  25. package/dist/Ledger/ValidatorHash.js +21 -0
  26. package/dist/Ledger/ValidatorHash.js.map +1 -0
  27. package/dist/Ledger/index.js +14 -0
  28. package/dist/Ledger/index.js.map +1 -0
  29. package/dist/Uplc/Data.js +229 -21
  30. package/dist/Uplc/Data.js.map +1 -1
  31. package/dist/Uplc/index.js +0 -1
  32. package/dist/Uplc/index.js.map +1 -1
  33. package/dist/index.js +1 -1
  34. package/dist/index.js.map +1 -1
  35. package/package.json +14 -10
  36. package/src/Ledger/Address.ts +252 -0
  37. package/src/Ledger/AssetClass.ts +96 -0
  38. package/src/Ledger/Assets.ts +164 -0
  39. package/src/Ledger/Credential.ts +29 -0
  40. package/src/Ledger/DatumHash.ts +36 -0
  41. package/src/Ledger/MintingPolicy.ts +57 -0
  42. package/src/Ledger/PubKeyHash.ts +36 -0
  43. package/src/Ledger/TxId.ts +31 -0
  44. package/src/Ledger/TxInput.test.ts +21 -0
  45. package/src/Ledger/TxInput.ts +66 -0
  46. package/src/Ledger/TxOutput.ts +165 -0
  47. package/src/Ledger/TxOutputDatum.ts +64 -0
  48. package/src/Ledger/TxOutputId.ts +63 -0
  49. package/src/Ledger/ValidatorHash.ts +36 -0
  50. package/src/Ledger/index.ts +13 -0
  51. package/src/Uplc/Data.test.ts +321 -0
  52. package/src/Uplc/Data.ts +445 -47
  53. package/src/Uplc/index.ts +0 -1
  54. package/src/index.ts +1 -1
  55. package/src/Address.ts +0 -20
  56. package/src/Uplc/DataSchema.test.ts +0 -207
  57. package/src/Uplc/DataSchema.ts +0 -181
@@ -0,0 +1,156 @@
1
+ import { Context, Effect, Option, ParseResult, Schema } from "effect";
2
+ import * as Bech32 from "../Bech32.js";
3
+ import * as Cbor from "../Cbor.js";
4
+ import * as Bytes from "../internal/Bytes.js";
5
+ import { Data } from "../Uplc/index.js";
6
+ import * as PubKeyHash from "./PubKeyHash.js";
7
+ import * as Credential from "./Credential.js";
8
+ import * as ValidatorHash from "./ValidatorHash.js";
9
+ export function isValid(addr) {
10
+ if (addr.startsWith("addr1") || addr.startsWith("addr_test1")) {
11
+ return Bech32.isValid(addr); // TODO: full validation
12
+ }
13
+ // TODO: validate Byron format
14
+ return false;
15
+ }
16
+ export class IsMainnet extends Context.Tag("IS_MAINNET")() {
17
+ }
18
+ export const Address = Schema.String.pipe(Schema.filter((addr) => {
19
+ return isValid(addr) || "Invalid Cardano Address";
20
+ }), Schema.brand("Address"));
21
+ export const FromUplcData = Schema.transformOrFail(Data.EnumVariant(0, {
22
+ spendingCredential: Credential.FromUplcData,
23
+ stakingCredential: Data.Option(Credential.FromUplcData)
24
+ }), Address, {
25
+ strict: true,
26
+ decode: (data) => Effect.gen(function* () {
27
+ const isMainnet = yield* IsMainnet;
28
+ return make(isMainnet, data.spendingCredential, data.stakingCredential._tag == "Some"
29
+ ? data.stakingCredential.value
30
+ : undefined);
31
+ }),
32
+ encode: (address) => {
33
+ const { spendingCredential, stakingCredential } = Effect.runSync(decodeInternal(address));
34
+ return ParseResult.succeed({
35
+ spendingCredential,
36
+ stakingCredential: stakingCredential
37
+ ? Option.some(stakingCredential)
38
+ : Option.none()
39
+ });
40
+ }
41
+ });
42
+ export function make(isMainnet, spendingCredential, stakingCredential) {
43
+ const prefix = isMainnet ? "addr" : "addr_test";
44
+ const bytes = toShelleyBytes(isMainnet, spendingCredential, stakingCredential);
45
+ const s = Bech32.encode(prefix, bytes);
46
+ return s;
47
+ }
48
+ // returns the byte representation of an Address
49
+ function toShelleyBytes(isMainnet, spendingCredential, stakingCredential) {
50
+ const spendingCredBytes = Bytes.toArray(spendingCredential.hash);
51
+ if (stakingCredential) {
52
+ const stakingCredBytes = Bytes.toArray(stakingCredential.hash);
53
+ if (spendingCredential._tag == "PubKey") {
54
+ if (stakingCredential._tag == "PubKey") {
55
+ return [isMainnet ? 0x01 : 0x00]
56
+ .concat(spendingCredBytes)
57
+ .concat(stakingCredBytes);
58
+ }
59
+ else {
60
+ return [isMainnet ? 0x21 : 0x20]
61
+ .concat(spendingCredBytes)
62
+ .concat(stakingCredBytes);
63
+ }
64
+ }
65
+ else {
66
+ if (stakingCredential._tag == "PubKey") {
67
+ return [isMainnet ? 0x11 : 0x10]
68
+ .concat(spendingCredBytes)
69
+ .concat(stakingCredBytes);
70
+ }
71
+ else {
72
+ return [isMainnet ? 0x31 : 0x30]
73
+ .concat(spendingCredBytes)
74
+ .concat(stakingCredBytes);
75
+ }
76
+ }
77
+ }
78
+ else if (spendingCredential._tag == "PubKey") {
79
+ return [isMainnet ? 0x61 : 0x60].concat(spendingCredBytes);
80
+ }
81
+ else {
82
+ return [isMainnet ? 0x71 : 0x70].concat(spendingCredBytes);
83
+ }
84
+ }
85
+ const decodeInternal = (bytes) => Effect.gen(function* () {
86
+ if (typeof bytes == "string" && bytes.startsWith("addr")) {
87
+ bytes = (yield* Bech32.decode(bytes)).bytes;
88
+ }
89
+ const innerBytes = (yield* Cbor.isBytes(bytes))
90
+ ? yield* Cbor.decodeBytes(bytes)
91
+ : Bytes.toArray(bytes);
92
+ const head = innerBytes[0];
93
+ const isMainnet = (head & 0b00001111) != 0;
94
+ const type = head & 0b11110000;
95
+ const firstPart = () => {
96
+ return innerBytes.slice(1, 29);
97
+ };
98
+ const secondPart = () => {
99
+ return innerBytes.slice(29, 57);
100
+ };
101
+ switch (type) {
102
+ case 0x00:
103
+ return {
104
+ isMainnet,
105
+ spendingCredential: Credential.makePubKey(yield* PubKeyHash.make(firstPart())),
106
+ stakingCredential: Credential.makePubKey(yield* PubKeyHash.make(secondPart()))
107
+ };
108
+ case 0x10:
109
+ return {
110
+ isMainnet,
111
+ spendingCredential: Credential.makeValidator(yield* ValidatorHash.make(firstPart())),
112
+ stakingCredential: Credential.makePubKey(yield* PubKeyHash.make(secondPart()))
113
+ };
114
+ case 0x20:
115
+ return {
116
+ isMainnet,
117
+ spendingCredential: Credential.makePubKey(yield* PubKeyHash.make(firstPart())),
118
+ stakingCredential: Credential.makeValidator(yield* ValidatorHash.make(secondPart()))
119
+ };
120
+ case 0x30:
121
+ return {
122
+ isMainnet,
123
+ spendingCredential: Credential.makeValidator(yield* ValidatorHash.make(firstPart())),
124
+ stakingCredential: Credential.makeValidator(yield* ValidatorHash.make(secondPart()))
125
+ };
126
+ case 0x60:
127
+ return {
128
+ isMainnet,
129
+ spendingCredential: Credential.makePubKey(yield* PubKeyHash.make(firstPart()))
130
+ };
131
+ case 0x70:
132
+ return {
133
+ isMainnet,
134
+ spendingCredential: Credential.makeValidator(yield* ValidatorHash.make(firstPart()))
135
+ };
136
+ default:
137
+ return yield* Effect.fail(new Cbor.DecodeError(Bytes.makeStream(bytes), `invalid Shelley Address header ${head}`));
138
+ }
139
+ });
140
+ export const decode = (bytes) => decodeInternal(bytes).pipe(Effect.map(({ isMainnet, spendingCredential, stakingCredential }) => make(isMainnet, spendingCredential, stakingCredential)), Effect.catchTag("ParseError", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), e.message)), Effect.catchTag("DecodeException", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), `bech32 decoding failed (${e.message})`)));
141
+ export function encode(address) {
142
+ return Cbor.encodeBytes(bytes(address));
143
+ }
144
+ export function bytes(address) {
145
+ return Effect.runSync(Bech32.decode(address)).bytes;
146
+ }
147
+ export function isMainnet(address) {
148
+ return !address.startsWith("addr_test");
149
+ }
150
+ export function spendingCredential(address) {
151
+ return Effect.runSync(decodeInternal(address)).spendingCredential;
152
+ }
153
+ export function stakingCredential(address) {
154
+ return Effect.runSync(decodeInternal(address)).stakingCredential;
155
+ }
156
+ //# sourceMappingURL=Address.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Address.js","sourceRoot":"","sources":["../../src/Ledger/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrE,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA,CAAC,wBAAwB;IACtD,CAAC;IACD,8BAA8B;IAE9B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAGrD;CAAG;AAEN,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACvC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE;IAC7B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAA;AACnD,CAAC,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CACxB,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,CAChD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,kBAAkB,EAAE,UAAU,CAAC,YAAY;IAC3C,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC;CACxD,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAA;QAElC,OAAO,IAAI,CACT,SAAS,EACT,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,iBAAiB,CAAC,IAAI,IAAI,MAAM;YACnC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK;YAC9B,CAAC,CAAC,SAAS,CACd,CAAA;IACH,CAAC,CAAC;IACJ,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;QAClB,MAAM,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAAC,OAAO,CAC9D,cAAc,CAAC,OAAO,CAAC,CACxB,CAAA;QAED,OAAO,WAAW,CAAC,OAAO,CAAC;YACzB,kBAAkB;YAClB,iBAAiB,EAAE,iBAAiB;gBAClC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;gBAChC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;SAClB,CAAC,CAAA;IACJ,CAAC;CACF,CACF,CAAA;AAED,MAAM,UAAU,IAAI,CAClB,SAAkB,EAClB,kBAAyC,EACzC,iBAAyC;IAEzC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;IAC/C,MAAM,KAAK,GAAa,cAAc,CACpC,SAAS,EACT,kBAAkB,EAClB,iBAAiB,CAClB,CAAA;IAED,MAAM,CAAC,GAAW,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAE9C,OAAO,CAAY,CAAA;AACrB,CAAC;AAED,gDAAgD;AAChD,SAAS,cAAc,CACrB,SAAkB,EAClB,kBAAyC,EACzC,iBAAyC;IAEzC,MAAM,iBAAiB,GAAG,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAA;IAEhE,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;QAE9D,IAAI,kBAAkB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YACxC,IAAI,iBAAiB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;gBACvC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,iBAAiB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;gBACvC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,kBAAkB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC/C,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC5D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAsB,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,OAAO,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAA;IAC7C,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7C,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAExB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;IAE1B,MAAM,SAAS,GAAG,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,UAAU,CAAA;IAE9B,MAAM,SAAS,GAAG,GAAG,EAAE;QACrB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAChC,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,GAAG,EAAE;QACtB,OAAO,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACjC,CAAC,CAAA;IAED,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CACvC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACpC;gBACD,iBAAiB,EAAE,UAAU,CAAC,UAAU,CACtC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACrC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAC1C,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACvC;gBACD,iBAAiB,EAAE,UAAU,CAAC,UAAU,CACtC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACrC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CACvC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACpC;gBACD,iBAAiB,EAAE,UAAU,CAAC,aAAa,CACzC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACxC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAC1C,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACvC;gBACD,iBAAiB,EAAE,UAAU,CAAC,aAAa,CACzC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACxC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CACvC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACpC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAC1C,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACvC;aACF,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,kCAAkC,IAAI,EAAE,CACzC,CACF,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA8B,EAAE,CAC3E,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CACxB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAClE,IAAI,CAAC,SAAS,EAAE,kBAAkB,EAAE,iBAAiB,CAAC,CACvD,EACD,MAAM,CAAC,QAAQ,CACb,YAAY,EACZ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAChE,EACD,MAAM,CAAC,QAAQ,CACb,iBAAiB,EACjB,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,2BAA2B,CAAC,CAAC,OAAO,GAAG,CACxC,CACJ,CACF,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,OAAgB;IACrC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAgB;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAA;AACrD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAgB;IACxC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAA;AACnE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAgB;IAEhB,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAA;AAClE,CAAC"}
@@ -0,0 +1,74 @@
1
+ import { Encoding, Option, Schema } from "effect";
2
+ //import * as Bech32 from "../Bech32.js"
3
+ import * as Bytes from "../internal/Bytes.js";
4
+ import { Data } from "../Uplc";
5
+ import * as MintingPolicy from "./MintingPolicy.js";
6
+ export function isValid(assetClass) {
7
+ const n = assetClass.length;
8
+ return (/^[0-9a-fA-F]+$/.test(assetClass) &&
9
+ n < 120 &&
10
+ (n == 0 || (n >= 56 && n % 2 == 0)));
11
+ }
12
+ export const AssetClass = Schema.transform(Schema.String, Schema.String.pipe(Schema.filter((ac) => isValid(ac) || "Invalid Cardano AssetClass"), Schema.brand("AssetClass")), {
13
+ strict: false,
14
+ decode: (s) => s.split(".").join(""),
15
+ encode: (s) => s
16
+ });
17
+ export const ADA = "";
18
+ export function make(policy, tokenName) {
19
+ if (policy._tag == "None") {
20
+ return ADA;
21
+ }
22
+ else {
23
+ return policy.value + Encoding.encodeHex(Bytes.toUint8Array(tokenName));
24
+ }
25
+ }
26
+ export const FromUplcData = Schema.transform(Data.EnumVariant(0, {
27
+ policy: MintingPolicy.FromUplcData,
28
+ tokenName: Data.ByteArray
29
+ }), AssetClass, {
30
+ strict: true,
31
+ decode: ({ policy, tokenName }) => {
32
+ if (policy._tag == "None") {
33
+ return ADA;
34
+ }
35
+ else {
36
+ return policy.value + Encoding.encodeHex(tokenName);
37
+ }
38
+ },
39
+ encode: (assetClass) => {
40
+ return {
41
+ policy: policy(assetClass),
42
+ tokenName: Bytes.toUint8Array(tokenName(assetClass))
43
+ };
44
+ }
45
+ });
46
+ export function fingerprint(assetClass) {
47
+ throw new Error("not yet implemented (need blake2b hashing function)");
48
+ //return Bech32.encode("asset", )
49
+ }
50
+ export function pretty(assetClass) {
51
+ if (assetClass.length == 0) {
52
+ return ".";
53
+ }
54
+ else {
55
+ return assetClass.slice(0, 56) + "." + assetClass.slice(56);
56
+ }
57
+ }
58
+ export function policy(assetClass) {
59
+ if (assetClass.length == 0) {
60
+ return Option.none();
61
+ }
62
+ else {
63
+ return Option.some(assetClass.slice(0, 56));
64
+ }
65
+ }
66
+ export function tokenName(assetClass) {
67
+ if (assetClass.length == 0) {
68
+ return "";
69
+ }
70
+ else {
71
+ return assetClass.slice(56);
72
+ }
73
+ }
74
+ //# sourceMappingURL=AssetClass.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AssetClass.js","sourceRoot":"","sources":["../../src/Ledger/AssetClass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,wCAAwC;AACxC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAGnD,MAAM,UAAU,OAAO,CAAC,UAAkB;IACxC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAA;IAC3B,OAAO,CACL,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,CAAC,GAAG,GAAG;QACP,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CACpC,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CACxC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,4BAA4B,CAAC,EAC1E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,EACD;IACE,MAAM,EAAE,KAAK;IACb,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACpC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACjB,CACF,CAAA;AAID,MAAM,CAAC,MAAM,GAAG,GAAG,EAAgB,CAAA;AAEnC,MAAM,UAAU,IAAI,CAClB,MAAmC,EACnC,SAA0B;IAE1B,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,aAAa,CAAC,YAAY;IAClC,SAAS,EAAE,IAAI,CAAC,SAAS;CAC1B,CAAC,EACF,UAAU,EACV;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE;QAChC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAA;QACZ,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;QACrD,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE;QACrB,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC;YAC1B,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;SACrD,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,UAAU,WAAW,CAAC,UAAkB;IAC5C,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAA;IACtE,iCAAiC;AACnC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,UAAkB;IACvC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,CAAC;QACN,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,UAAkB;IACvC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAgC,CAAC,CAAA;IAC5E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,UAAkB;IAC1C,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAA;IACX,CAAC;SAAM,CAAC;QACN,OAAO,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC7B,CAAC;AACH,CAAC"}
@@ -0,0 +1,122 @@
1
+ import { Effect, Schema } from "effect";
2
+ import * as Bytes from "../internal/Bytes.js";
3
+ import * as Cbor from "../Cbor.js";
4
+ import { Data } from "../Uplc";
5
+ import * as AssetClass from "./AssetClass.js";
6
+ import * as MintingPolicy from "./MintingPolicy.js";
7
+ export const Assets = Schema.Record({
8
+ key: Schema.String, // can sadly not use AssetClass.AssetClass here
9
+ value: Schema.BigIntFromSelf
10
+ }).pipe(Schema.filter((assets) => {
11
+ for (let key in assets) {
12
+ if (!AssetClass.isValid(key)) {
13
+ return `Invalid AssetClass ${key}`;
14
+ }
15
+ }
16
+ return true;
17
+ }));
18
+ export const FromUplcData = Schema.transform(Data.PairArray(MintingPolicy.FromUplcData, Data.PairArray(Data.Hex, Data.BigInt)), Assets, {
19
+ strict: true,
20
+ decode: (outer) => {
21
+ let assets = {};
22
+ for (let [policy, inner] of outer) {
23
+ for (let [tokenName, quantity] of inner) {
24
+ assets[AssetClass.make(policy, tokenName)] = quantity;
25
+ }
26
+ }
27
+ return assets;
28
+ },
29
+ encode: (assets) => {
30
+ const outer = nestedRecords(assets);
31
+ return Object.entries(outer).map(([policy, inner]) => [
32
+ Effect.runSync(MintingPolicy.make(policy)),
33
+ Object.entries(inner)
34
+ ]);
35
+ }
36
+ });
37
+ function nestedRecords(assets) {
38
+ const outer = {};
39
+ Object.entries(assets).forEach(([assetClass, quantity]) => {
40
+ if (assetClass.length == 0) {
41
+ outer[assetClass] = { "": quantity };
42
+ }
43
+ else {
44
+ const policy = assetClass.slice(0, 56);
45
+ const tokenName = assetClass.slice(56);
46
+ if (policy in outer) {
47
+ outer[policy] = {
48
+ ...outer[policy],
49
+ [tokenName]: quantity
50
+ };
51
+ }
52
+ else {
53
+ outer[policy] = {
54
+ [tokenName]: quantity
55
+ };
56
+ }
57
+ }
58
+ });
59
+ return outer;
60
+ }
61
+ export const decode = (bytes) => Effect.gen(function* () {
62
+ const stream = Bytes.makeStream(bytes);
63
+ if (yield* Cbor.isTuple(bytes)) {
64
+ console.log("going to decode map");
65
+ const [lovelace, otherAssets] = yield* Cbor.decodeTuple([
66
+ Cbor.decodeInt,
67
+ Cbor.decodeMap(MintingPolicy.decode, Cbor.decodeMap(Cbor.decodeBytes, Cbor.decodeInt))
68
+ ])(stream);
69
+ const assets = {};
70
+ if (lovelace != 0n) {
71
+ assets[AssetClass.ADA] = lovelace;
72
+ }
73
+ for (let [policy, inner] of otherAssets) {
74
+ if (policy._tag == "None") {
75
+ return yield* new Cbor.DecodeError(stream, "unexpected ADA assetclass in encoded non-ADA assets");
76
+ }
77
+ for (let [tokenName, quantity] of inner) {
78
+ const assetClass = AssetClass.make(policy, tokenName);
79
+ assets[assetClass] = quantity;
80
+ }
81
+ }
82
+ console.log("have assets: ", assets);
83
+ return assets;
84
+ }
85
+ else {
86
+ return { [AssetClass.ADA]: yield* Cbor.decodeInt(stream) };
87
+ }
88
+ });
89
+ export function encode(assets) {
90
+ const acs = nonAdaAssetClasses(assets);
91
+ if (acs.length == 0) {
92
+ return Cbor.encodeInt(lovelace(assets));
93
+ }
94
+ else {
95
+ const obj = nestedRecords(assets);
96
+ if (AssetClass.ADA in obj) {
97
+ delete obj[AssetClass.ADA];
98
+ }
99
+ return Cbor.encodeTuple([
100
+ Cbor.encodeInt(lovelace(assets)),
101
+ Cbor.encodeMap(Object.entries(obj).map(([mph, tokens]) => {
102
+ return [
103
+ Cbor.encodeBytes(mph),
104
+ Cbor.encodeMap(Object.entries(tokens).map(([tokenName, qty]) => [
105
+ Cbor.encodeBytes(tokenName),
106
+ Cbor.encodeInt(qty)
107
+ ]))
108
+ ];
109
+ }))
110
+ ]);
111
+ }
112
+ }
113
+ export function allAssetClasses(assets) {
114
+ return Object.keys(assets);
115
+ }
116
+ export function nonAdaAssetClasses(assets) {
117
+ return allAssetClasses(assets).filter((ac) => ac != AssetClass.ADA);
118
+ }
119
+ export function lovelace(assets) {
120
+ return assets[AssetClass.ADA] ?? 0n;
121
+ }
122
+ //# sourceMappingURL=Assets.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Assets.js","sourceRoot":"","sources":["../../src/Ledger/Assets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,+CAA+C;IACnE,KAAK,EAAE,MAAM,CAAC,cAAc;CAC7B,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;IAC7B,KAAK,IAAI,GAAG,IAAI,MAAM,EAAE,CAAC;QACrB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,OAAO,sBAAsB,GAAG,EAAE,CAAA;QACtC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAA;AACf,CAAC,CAAC,CAAC,CAAA;AAIH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,SAAS,CACZ,aAAa,CAAC,YAAY,EAC1B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CACtC,EACD,MAAM,EACN;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,MAAM,GAA2B,EAAE,CAAA;QAEvC,KAAK,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YAClC,KAAK,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;gBACxC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAA;YACvD,CAAC;QACH,CAAC;QAED,OAAO,MAAgB,CAAA;IACzB,CAAC;IACD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;QAEnC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAC9B,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAClB;YACE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SACb,CACb,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,SAAS,aAAa,CAAC,MAAc;IACnC,MAAM,KAAK,GAA2C,EAAE,CAAA;IAExD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE;QACxD,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAA;QACtC,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YACtC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAEtC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBACpB,KAAK,CAAC,MAAM,CAAC,GAAG;oBACd,GAAG,KAAK,CAAC,MAAM,CAAC;oBAChB,CAAC,SAAS,CAAC,EAAE,QAAQ;iBACtB,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,MAAM,CAAC,GAAG;oBACd,CAAC,SAAS,CAAC,EAAE,QAAQ;iBACtB,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA6B,EAAE,CAC1E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;QACpC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;YACtD,IAAI,CAAC,SAAS;YACd,IAAI,CAAC,SAAS,CACZ,aAAa,CAAC,MAAM,EACpB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CACjD;SACF,CAAC,CAAC,MAAM,CAAC,CAAA;QAEV,MAAM,MAAM,GAA2B,EAAE,CAAA;QAEzC,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;YACnB,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAA;QACnC,CAAC;QAED,KAAK,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAChC,MAAM,EACN,qDAAqD,CACtD,CAAA;YACH,CAAC;YAED,KAAK,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;gBACxC,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;gBAErD,MAAM,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAA;YAC/B,CAAC;QACH,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,CAAA;QACpC,OAAO,MAAgB,CAAA;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;IAC5D,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAEtC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IACzC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,UAAU,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;QAC5B,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC;YACtB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,CAAC,SAAS,CACZ,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE;gBACxC,OAAO;oBACL,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;oBACrB,IAAI,CAAC,SAAS,CACZ,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;wBAC/C,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;wBAC3B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;qBACpB,CAAC,CACH;iBACF,CAAA;YACH,CAAC,CAAC,CACH;SACF,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAA4B,CAAA;AACvD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;AACrC,CAAC"}
@@ -0,0 +1,17 @@
1
+ import { Schema } from "effect";
2
+ import { Data } from "../Uplc";
3
+ import { PubKeyHash } from "./PubKeyHash.js";
4
+ import { ValidatorHash } from "./ValidatorHash.js";
5
+ export const Credential = Schema.Union(Schema.TaggedStruct("PubKey", { hash: PubKeyHash }), Schema.TaggedStruct("Validator", { hash: ValidatorHash }));
6
+ export function makePubKey(pkh) {
7
+ return { _tag: "PubKey", hash: pkh };
8
+ }
9
+ export function makeValidator(vh) {
10
+ return { _tag: "Validator", hash: vh };
11
+ }
12
+ export const FromUplcData = Schema.transform(Data.Enum({ PubKey: { hash: Data.Hex }, Validator: { hash: Data.Hex } }), Credential, {
13
+ strict: true,
14
+ decode: (cred) => cred,
15
+ encode: (cred) => cred
16
+ });
17
+ //# sourceMappingURL=Credential.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Credential.js","sourceRoot":"","sources":["../../src/Ledger/Credential.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CACpC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EACnD,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAC1D,CAAA;AAID,MAAM,UAAU,UAAU,CAAC,GAAe;IACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAiB;IAC7C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;AACxC,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,EACxE,UAAU,EACV;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;IACtB,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;CACvB,CACF,CAAA"}
@@ -0,0 +1,21 @@
1
+ import { Effect, Encoding, Schema } from "effect";
2
+ import * as Bytes from "../internal/Bytes.js";
3
+ import { decodeBytes, encodeBytes } from "../Cbor.js";
4
+ import { Data } from "../Uplc";
5
+ export function isValid(dh) {
6
+ return /^[0-9a-fA-F]+$/.test(dh) && dh.length == 64;
7
+ }
8
+ export const DatumHash = Schema.String.pipe(Schema.filter((dh) => isValid(dh) || "Invalid Cardano DatumHash"), Schema.brand("DatumHash"));
9
+ export function make(bytes) {
10
+ return Schema.decode(DatumHash)(Bytes.toHex(bytes));
11
+ }
12
+ export const FromUplcData = Schema.transform(Data.ByteArray, DatumHash, {
13
+ strict: true,
14
+ decode: Encoding.encodeHex,
15
+ encode: Bytes.toUint8Array
16
+ });
17
+ export const decode = (bytes) => decodeBytes(bytes).pipe(Effect.map((bytes) => new Uint8Array(bytes)), Effect.map(Encoding.encodeHex), Effect.map(Schema.decodeSync(DatumHash)));
18
+ export function encode(dh) {
19
+ return encodeBytes(dh);
20
+ }
21
+ //# sourceMappingURL=DatumHash.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"DatumHash.js","sourceRoot":"","sources":["../../src/Ledger/DatumHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,YAAY,CAAA;AACnE,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,MAAM,UAAU,OAAO,CAAC,EAAU;IAChC,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAA;AACrD,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,2BAA2B,CAAC,EACzE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAC1B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE;IACtE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,KAAK,CAAC,YAAY;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA2B,EAAE,CACxE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CACzC,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,EAAa;IAClC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC"}
@@ -0,0 +1,45 @@
1
+ import { Effect, Encoding, Option, Schema } from "effect";
2
+ import * as Bytes from "../internal/Bytes.js";
3
+ import * as Cbor from "../Cbor.js";
4
+ import { Data } from "../Uplc";
5
+ import * as ValidatorHash from "./ValidatorHash.js";
6
+ // None is used for ADA
7
+ export const MintingPolicy = Schema.Option(ValidatorHash.ValidatorHash);
8
+ export const FromUplcData = Schema.transform(Data.ByteArray, MintingPolicy, {
9
+ strict: true,
10
+ decode: (bs) => {
11
+ if (bs.length == 0) {
12
+ return Option.none();
13
+ }
14
+ else {
15
+ return Option.some(Encoding.encodeHex(bs));
16
+ }
17
+ },
18
+ encode: (opt) => {
19
+ if (opt._tag == "None") {
20
+ return new Uint8Array();
21
+ }
22
+ else {
23
+ return Effect.runSync(Encoding.decodeHex(opt.value));
24
+ }
25
+ }
26
+ });
27
+ export function make(policy) {
28
+ const p = Bytes.toHex(policy);
29
+ if (p.length == 0) {
30
+ return Effect.succeed(Option.none());
31
+ }
32
+ else {
33
+ return ValidatorHash.make(p).pipe(Effect.map(Option.some));
34
+ }
35
+ }
36
+ export const decode = (bytes) => Cbor.decodeBytes(bytes).pipe(Effect.flatMap(make), Effect.catchTag("ParseError", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), e.message)));
37
+ export function encode(policy) {
38
+ if (policy._tag == "None") {
39
+ return Cbor.encodeBytes([]);
40
+ }
41
+ else {
42
+ return Cbor.encodeBytes(policy.value);
43
+ }
44
+ }
45
+ //# sourceMappingURL=MintingPolicy.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"MintingPolicy.js","sourceRoot":"","sources":["../../src/Ledger/MintingPolicy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,uBAAuB;AACvB,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;AAIvE,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE;IAC1E,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE;QACb,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;QACtB,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAA;QAC5C,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACvB,OAAO,IAAI,UAAU,EAAE,CAAA;QACzB,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,UAAU,IAAI,CAAC,MAAuB;IAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE7B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;IACtC,CAAC;SAAM,CAAC;QACN,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,KAAsB,EACY,EAAE,CACpC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EACpB,MAAM,CAAC,QAAQ,CACb,YAAY,EACZ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAChE,CACF,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,MAAqB;IAC1C,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IAC7B,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACvC,CAAC;AACH,CAAC"}
@@ -0,0 +1,21 @@
1
+ import { Effect, Encoding, Schema } from "effect";
2
+ import * as Bytes from "../internal/Bytes.js";
3
+ import { decodeBytes, encodeBytes } from "../Cbor.js";
4
+ import { Data } from "../Uplc";
5
+ export function isValid(pkh) {
6
+ return /^[0-9a-fA-F]+$/.test(pkh) && pkh.length == 56;
7
+ }
8
+ export const PubKeyHash = Schema.String.pipe(Schema.filter((pkh) => isValid(pkh) || "Invalid Cardano PubKeyHash"), Schema.brand("PubKeyHash"));
9
+ export function make(bytes) {
10
+ return Schema.decode(PubKeyHash)(Bytes.toHex(bytes));
11
+ }
12
+ export const FromUplcData = Schema.transform(Data.ByteArray, PubKeyHash, {
13
+ strict: true,
14
+ decode: Encoding.encodeHex,
15
+ encode: (s) => Effect.runSync(Encoding.decodeHex(s))
16
+ });
17
+ export const decode = (bytes) => decodeBytes(bytes).pipe(Effect.map((bytes) => new Uint8Array(bytes)), Effect.map(Encoding.encodeHex), Effect.map(Schema.decodeSync(PubKeyHash)));
18
+ export function encode(pkh) {
19
+ return encodeBytes(pkh);
20
+ }
21
+ //# sourceMappingURL=PubKeyHash.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"PubKeyHash.js","sourceRoot":"","sources":["../../src/Ledger/PubKeyHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,YAAY,CAAA;AACnE,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,CAAA;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,4BAA4B,CAAC,EAC5E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACtD,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE;IACvE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACrD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA4B,EAAE,CACzE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAC1C,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,GAAe;IACpC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAA;AACzB,CAAC"}
@@ -0,0 +1,15 @@
1
+ import { Effect, Schema } from "effect";
2
+ import * as Bytes from "../internal/Bytes.js";
3
+ import * as Cbor from "../Cbor.js";
4
+ export function isValid(txId) {
5
+ return txId.length == 64 && /^[0-9a-fA-F]+$/.test(txId);
6
+ }
7
+ export const TxId = Schema.String.pipe(Schema.filter((id) => isValid(id) || "Invalid Cardano TxId"), Schema.brand("TxId"));
8
+ export function make(txId) {
9
+ return Schema.decode(TxId)(Bytes.toHex(txId));
10
+ }
11
+ export const decode = (bytes) => Cbor.decodeBytes(bytes).pipe(Effect.flatMap(make), Effect.catchTag("ParseError", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), e.message)));
12
+ export function encode(txId) {
13
+ return Cbor.encodeBytes(txId);
14
+ }
15
+ //# sourceMappingURL=TxId.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"TxId.js","sourceRoot":"","sources":["../../src/Ledger/TxId.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAElC,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzD,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,sBAAsB,CAAC,EACpE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CACrB,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,IAAqB;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA2B,EAAE,CACxE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EACpB,MAAM,CAAC,QAAQ,CACb,YAAY,EACZ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAChE,CACF,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;AAC/B,CAAC"}
@@ -0,0 +1,51 @@
1
+ import { Effect, Schema } from "effect";
2
+ import * as Bytes from "../internal/Bytes.js";
3
+ import * as Cbor from "../Cbor.js";
4
+ import * as TxOutput from "./TxOutput.js";
5
+ import * as TxOutputId from "./TxOutputId.js";
6
+ export const TxInput = Schema.TaggedStruct("TxInput", {
7
+ id: TxOutputId.TxOutputId,
8
+ output: Schema.optional(TxOutput.TxOutput)
9
+ });
10
+ export function make(id, output = undefined) {
11
+ return {
12
+ _tag: "TxInput",
13
+ id,
14
+ output
15
+ };
16
+ }
17
+ export const decode = (bytes) => Effect.gen(function* () {
18
+ const stream = Bytes.makeStream(bytes);
19
+ if (yield* (yield* Cbor.decodeTupleLazy(stream.copy()))(Cbor.isBytes)) {
20
+ const id = yield* TxOutputId.decode(stream);
21
+ return make(id);
22
+ }
23
+ else if (yield* (yield* Cbor.decodeTupleLazy(stream.copy()))(Cbor.isTuple)) {
24
+ const [id, output] = yield* Cbor.decodeTuple([
25
+ TxOutputId.decode,
26
+ TxOutput.decode
27
+ ])(stream);
28
+ return make(id, output);
29
+ }
30
+ else {
31
+ return yield* Effect.fail(new Cbor.DecodeError(stream, "unhandled TxInput encoding"));
32
+ }
33
+ });
34
+ export function encode(txInput, full = false) {
35
+ if (full) {
36
+ return Cbor.encodeTuple([
37
+ TxOutputId.encode(txInput.id),
38
+ TxOutput.encode(output(txInput))
39
+ ]);
40
+ }
41
+ else {
42
+ return TxOutputId.encode(txInput.id);
43
+ }
44
+ }
45
+ export function output(txInput) {
46
+ if (!txInput.output) {
47
+ throw new Error("txInput.output not available");
48
+ }
49
+ return txInput.output;
50
+ }
51
+ //# sourceMappingURL=TxInput.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"TxInput.js","sourceRoot":"","sources":["../../src/Ledger/TxInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE;IACpD,EAAE,EAAE,UAAU,CAAC,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;CAC3C,CAAC,CAAA;AAIF,MAAM,UAAU,IAAI,CAClB,EAAyB,EACzB,SAAwC,SAAS;IAEjD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE;QACF,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA8B,EAAE,CAC3E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACtE,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAE3C,OAAO,IAAI,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC;SAAM,IACL,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EACjE,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;YAC3C,UAAU,CAAC,MAAM;YACjB,QAAQ,CAAC,MAAM;SAChB,CAAC,CAAC,MAAM,CAAC,CAAA;QAEV,OAAO,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAC3D,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,OAAgB,KAAK;IAC5D,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,IAAI,CAAC,WAAW,CAAC;YACtB,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;SACjC,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACtC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IACjD,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,CAAA;AACvB,CAAC"}