@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.
- package/dist/Ledger/Address.js +156 -0
- package/dist/Ledger/Address.js.map +1 -0
- package/dist/Ledger/AssetClass.js +74 -0
- package/dist/Ledger/AssetClass.js.map +1 -0
- package/dist/Ledger/Assets.js +122 -0
- package/dist/Ledger/Assets.js.map +1 -0
- package/dist/Ledger/Credential.js +17 -0
- package/dist/Ledger/Credential.js.map +1 -0
- package/dist/Ledger/DatumHash.js +21 -0
- package/dist/Ledger/DatumHash.js.map +1 -0
- package/dist/Ledger/MintingPolicy.js +45 -0
- package/dist/Ledger/MintingPolicy.js.map +1 -0
- package/dist/Ledger/PubKeyHash.js +21 -0
- package/dist/Ledger/PubKeyHash.js.map +1 -0
- package/dist/Ledger/TxId.js +15 -0
- package/dist/Ledger/TxId.js.map +1 -0
- package/dist/Ledger/TxInput.js +51 -0
- package/dist/Ledger/TxInput.js.map +1 -0
- package/dist/Ledger/TxOutput.js +118 -0
- package/dist/Ledger/TxOutput.js.map +1 -0
- package/dist/Ledger/TxOutputDatum.js +41 -0
- package/dist/Ledger/TxOutputDatum.js.map +1 -0
- package/dist/Ledger/TxOutputId.js +39 -0
- package/dist/Ledger/TxOutputId.js.map +1 -0
- package/dist/Ledger/ValidatorHash.js +21 -0
- package/dist/Ledger/ValidatorHash.js.map +1 -0
- package/dist/Ledger/index.js +14 -0
- package/dist/Ledger/index.js.map +1 -0
- package/dist/Uplc/Data.js +229 -21
- package/dist/Uplc/Data.js.map +1 -1
- package/dist/Uplc/index.js +0 -1
- package/dist/Uplc/index.js.map +1 -1
- package/dist/index.js +1 -1
- package/dist/index.js.map +1 -1
- package/package.json +14 -10
- package/src/Ledger/Address.ts +252 -0
- package/src/Ledger/AssetClass.ts +96 -0
- package/src/Ledger/Assets.ts +164 -0
- package/src/Ledger/Credential.ts +29 -0
- package/src/Ledger/DatumHash.ts +36 -0
- package/src/Ledger/MintingPolicy.ts +57 -0
- package/src/Ledger/PubKeyHash.ts +36 -0
- package/src/Ledger/TxId.ts +31 -0
- package/src/Ledger/TxInput.test.ts +21 -0
- package/src/Ledger/TxInput.ts +66 -0
- package/src/Ledger/TxOutput.ts +165 -0
- package/src/Ledger/TxOutputDatum.ts +64 -0
- package/src/Ledger/TxOutputId.ts +63 -0
- package/src/Ledger/ValidatorHash.ts +36 -0
- package/src/Ledger/index.ts +13 -0
- package/src/Uplc/Data.test.ts +321 -0
- package/src/Uplc/Data.ts +445 -47
- package/src/Uplc/index.ts +0 -1
- package/src/index.ts +1 -1
- package/src/Address.ts +0 -20
- package/src/Uplc/DataSchema.test.ts +0 -207
- 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"}
|