@helios-lang/effect 0.1.2 → 0.1.3

package/dist/Ledger/TxOutputDatum.js

@@ -0,0 +1,41 @@
+import { Effect, Schema } from "effect";
+import * as Bytes from "../internal/Bytes.js";
+import * as Cbor from "../Cbor.js";
+import { Data } from "../Uplc";
+import * as DatumHash from "./DatumHash.js";
+export const TxOutputDatum = Schema.Union(Schema.TaggedStruct("Inline", { data: Data.Data }), Schema.TaggedStruct("Hash", { hash: DatumHash.DatumHash }));
+export const decode = (bytes) => Effect.gen(function* () {
+    const [type, decodeItem] = yield* Cbor.decodeTagged(bytes);
+    switch (type) {
+        case 0:
+            return { _tag: "Hash", hash: yield* decodeItem(DatumHash.decode) };
+        case 1:
+            return {
+                _tag: "Inline",
+                data: yield* decodeItem((stream) => Effect.gen(function* () {
+                    const tag = yield* Cbor.decodeTag(stream);
+                    if (tag != 24n) {
+                        return yield* Effect.fail(new Cbor.DecodeError(stream, `expected 24 as tag, got ${tag}`));
+                    }
+                    return yield* Data.decode(yield* Cbor.decodeBytes(stream));
+                }))
+            };
+        default:
+            return yield* Effect.fail(new Cbor.DecodeError(Bytes.makeStream(bytes), `unhandled TxOutputDatum type ${type}`));
+    }
+});
+export function encode(txOutputDatum) {
+    switch (txOutputDatum._tag) {
+        case "Hash":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(0n),
+                DatumHash.encode(txOutputDatum.hash)
+            ]);
+        case "Inline":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(1n),
+                Cbor.encodeTag(24n).concat(Cbor.encodeBytes(Data.encode(txOutputDatum.data)))
+            ]);
+    }
+}
+//# sourceMappingURL=TxOutputDatum.js.map

package/dist/Ledger/TxOutputDatum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TxOutputDatum.js","sourceRoot":"","sources":["../../src/Ledger/TxOutputDatum.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,SAAS,MAAM,gBAAgB,CAAA;AAE3C,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CACvC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAClD,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC,CAC3D,CAAA;AAID,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,KAAsB,EACY,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IAE1D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;QACpE,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC,MAAoB,EAAE,EAAE,CAC/C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;oBACzC,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;wBACf,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,2BAA2B,GAAG,EAAE,CAAC,CAC/D,CAAA;oBACH,CAAC;oBAED,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;gBAC5D,CAAC,CAAC,CACH;aACF,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,gCAAgC,IAAI,EAAE,CACvC,CACF,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,aAA4B;IACjD,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAClB,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;aACrC,CAAC,CAAA;QACJ,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,CACxB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAClD;aACF,CAAC,CAAA;IACN,CAAC;AACH,CAAC"}

package/dist/Ledger/TxOutputId.js

@@ -0,0 +1,39 @@
+import { Effect, Schema } from "effect";
+import * as Cbor from "../Cbor.js";
+import * as TxId from "./TxId.js";
+export function isValid(txOutputId) {
+    if (txOutputId.length < 65) {
+        return false;
+    }
+    const txId = txOutputId.slice(0, 64);
+    const utxoIdx = parseInt(txOutputId.slice(64));
+    if (utxoIdx.toString() != txOutputId.slice(64)) {
+        return false;
+    }
+    return /^[0-9a-fA-F]+$/.test(txId);
+}
+export const TxOutputId = Schema.transform(Schema.String, Schema.String.pipe(Schema.filter((id) => isValid(id) || "Invalid Cardano TxOutputId"), Schema.brand("TxOutputId")), {
+    strict: false,
+    decode: (s) => s.split("#").join(""),
+    encode: (s) => s
+});
+export function make(txId, utxoIdx) {
+    return (txId + utxoIdx.toString());
+}
+export const decode = (bytes) => Cbor.decodeTuple([TxId.decode, Cbor.decodeInt])(bytes).pipe(Effect.map(([txId, utxoIdx]) => make(txId, utxoIdx)));
+export function encode(txOutputId) {
+    return Cbor.encodeTuple([
+        TxId.encode(txId(txOutputId)),
+        Cbor.encodeInt(utxoIdx(txOutputId))
+    ]);
+}
+export function pretty(txOutputId) {
+    return txId(txOutputId) + "#" + utxoIdx(txOutputId).toString();
+}
+export function txId(txOutputId) {
+    return txOutputId.slice(0, 64);
+}
+export function utxoIdx(txOutputId) {
+    return parseInt(txOutputId.slice(64));
+}
+//# sourceMappingURL=TxOutputId.js.map

package/dist/Ledger/TxOutputId.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TxOutputId.js","sourceRoot":"","sources":["../../src/Ledger/TxOutputId.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC,MAAM,UAAU,OAAO,CAAC,UAAkB;IACxC,IAAI,UAAU,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEpC,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAE9C,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACpC,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,UAAU,IAAI,CAAC,IAAe,EAAE,OAAwB;IAC5D,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAe,CAAA;AAClD,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAAiC,EAAE,CAC9E,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACzD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CACrD,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,UAAsB;IAC3C,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;KACpC,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,UAAsB;IAC3C,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAA;AAChE,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,UAAsB;IACzC,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAc,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,UAAsB;IAC5C,OAAO,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AACvC,CAAC"}

package/dist/Ledger/ValidatorHash.js

@@ -1,7 +1,7 @@
 import { Effect, Encoding, Schema } from "effect";
 import * as Bytes from "../internal/Bytes.js";
 import { decodeBytes, encodeBytes } from "../Cbor.js";
-import { Data } from "../Uplc/index.js";
+import { Data } from "../Uplc";
 export function isValid(vh) {
     return /^[0-9a-fA-F]+$/.test(vh) && vh.length == 56;
 }
@@ -14,7 +14,7 @@ export const FromUplcData = Schema.transform(Data.ByteArray, ValidatorHash, {
     decode: Encoding.encodeHex,
     encode: Bytes.toUint8Array
 });
-export const decode = (bytes) => decodeBytes(bytes).pipe(Effect.map(bytes => new Uint8Array(bytes)), Effect.map(Encoding.encodeHex), Effect.map(Schema.decodeSync(ValidatorHash)));
+export const decode = (bytes) => decodeBytes(bytes).pipe(Effect.map((bytes) => new Uint8Array(bytes)), Effect.map(Encoding.encodeHex), Effect.map(Schema.decodeSync(ValidatorHash)));
 export function encode(vh) {
     return encodeBytes(vh);
 }

package/dist/Ledger/ValidatorHash.js.map

@@ -1 +1 @@
-{"version":3,"file":"ValidatorHash.js","sourceRoot":"","sources":["../../src/Ledger/ValidatorHash.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,kBAAkB,CAAA;AAGvC,MAAM,UAAU,OAAO,CAAC,EAAU;IAC9B,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAA;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,+BAA+B,CAAC,EAC7E,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAChC,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC3D,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CACxC,IAAI,CAAC,SAAS,EACd,aAAa,EACb;IACI,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,KAAK,CAAC,YAAY;CAC7B,CACJ,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA+B,EAAE,CAC1E,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACnB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAC/C,CAAA;AAEL,MAAM,UAAU,MAAM,CAAC,EAAiB;IACpC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAA;AAC1B,CAAC"}
+{"version":3,"file":"ValidatorHash.js","sourceRoot":"","sources":["../../src/Ledger/ValidatorHash.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,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,+BAA+B,CAAC,EAC7E,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACzD,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE;IAC1E,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,EAA+B,EAAE,CAC5E,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,aAAa,CAAC,CAAC,CAC7C,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,EAAiB;IACtC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC"}

package/dist/Ledger/index.js

@@ -1,5 +1,14 @@
 export * as Address from "./Address.js";
+export * as AssetClass from "./AssetClass.js";
+export * as Assets from "./Assets.js";
 export * as Credential from "./Credential.js";
+export * as DatumHash from "./DatumHash.js";
+export * as MintingPolicy from "./MintingPolicy.js";
 export * as PubKeyHash from "./PubKeyHash.js";
+export * as TxId from "./TxId.js";
+export * as TxInput from "./TxInput.js";
+export * as TxOutput from "./TxOutput.js";
+export * as TxOutputDatum from "./TxOutputDatum.js";
+export * as TxOutputId from "./TxOutputId.js";
 export * as ValidatorHash from "./ValidatorHash.js";
 //# sourceMappingURL=index.js.map

package/dist/Ledger/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}

package/dist/Uplc/Data.js

@@ -223,7 +223,7 @@ export const Hex = Schema.transformOrFail(Data, Schema.String, {
             return ParseResult.fail(new ParseResult.Unexpected(data, "expected ByteArrayData"));
         }
     },
-    encode: (hex) => Encoding.decodeHex(hex).pipe(Effect.map(bs => ({ bytes: bs })), Effect.mapError(e => new ParseResult.Unexpected(hex, "invalid Hex string")))
+    encode: (hex) => Encoding.decodeHex(hex).pipe(Effect.map((bs) => ({ bytes: bs })), Effect.mapError((_e) => new ParseResult.Unexpected(hex, "invalid Hex string")))
 });
 export const Option = (someSchema) => Schema.transformOrFail(Data, Schema.Option(someSchema), {
     strict: true,
@@ -233,7 +233,10 @@ export const Option = (someSchema) => Schema.transformOrFail(Data, Schema.Option
                 if (data.fields.length < 1) {
                     return ParseResult.fail(new ParseResult.Unexpected(data, "expected at least one field in ConstrData"));
                 }
-                return ParseResult.succeed({ _tag: "Some", value: data.fields[0] });
+                return ParseResult.succeed({
+                    _tag: "Some",
+                    value: data.fields[0]
+                });
             }
             else if (data.constructor == 1) {
                 return ParseResult.succeed({ _tag: "None" });
@@ -283,6 +286,18 @@ const Array$ = (itemSchema) => Schema.transformOrFail(Data, Schema.Array(itemSch
     encode: (items) => ParseResult.succeed({ list: items })
 });
 export { Array$ as Array };
+export const PairArray = (keySchema, valueSchema) => Schema.transformOrFail(Data, Schema.Array(Schema.Tuple(keySchema, valueSchema)), {
+    strict: true,
+    decode: (data) => {
+        if ("map" in data) {
+            return ParseResult.succeed(data.map.map(({ k, v }) => [k, v]));
+        }
+        else {
+            return ParseResult.fail(new ParseResult.Unexpected(data, "expected MapData"));
+        }
+    },
+    encode: (pairs) => ParseResult.succeed({ map: pairs.map(([k, v]) => ({ k, v })) })
+});
 export const Struct = (fields) => Schema.transformOrFail(Data, Schema.Struct(fields), {
     strict: true,
     decode: (data) => {
@@ -341,7 +356,10 @@ export const Enum = (variants) => Schema.transformOrFail(Data, Schema.Union(...O
                 }
                 const itemData = data.fields[i];
                 return Effect.succeed([fieldName, itemData]);
-            })).pipe(Effect.map((entries) => ({ _tag: variantName, ...Object.fromEntries(entries) })));
+            })).pipe(Effect.map((entries) => ({
+                _tag: variantName,
+                ...Object.fromEntries(entries)
+            })));
         }
         else {
             return ParseResult.fail(new ParseResult.Unexpected(data, "expected ConstrData"));
@@ -352,7 +370,9 @@ export const Enum = (variants) => Schema.transformOrFail(Data, Schema.Union(...O
         const tag = Object.keys(variants).indexOf(variantName);
         return ParseResult.succeed({
             constructor: tag,
-            fields: Object.entries(value).filter(([key,]) => key != "_tag").map(([, field]) => field)
+            fields: Object.entries(value)
+                .filter(([key]) => key != "_tag")
+                .map(([, field]) => field)
         });
     }
 });

package/dist/Uplc/Data.js.map

@@ -1 +1 @@
-{"version":3,"file":"Data.js","sourceRoot":"","sources":["../../src/Uplc/Data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9D,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAElC,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAClC,GAAkC,EAAE,CAAC,YAAY,CAClD,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,iBAAiB;CAChC,CAAC,CAAA;AAKF,MAAM,UAAU,iBAAiB,CAC/B,KAAqC;IAErC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7C,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC,gBAAgB;CAC7B,CAAC,CAAA;AAKF,MAAM,UAAU,WAAW,CAAC,KAAsB;IAChD,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AAC/B,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;CAClC,CAAC,CAAA;AAaF,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,OAAO;QACL,IAAI,EAAE,KAAK;KACZ,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC,KAAK,CACf,MAAM,CAAC,MAAM,CAAC;QACZ,CAAC,EAAE,aAAa;QAChB,CAAC,EAAE,aAAa;KACjB,CAAC,CACH;CACF,CAAC,CAAA;AAmBF,MAAM,UAAU,WAAW,CAAC,OAAuB;IACjD,OAAO;QACL,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACzC,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;CACpC,CAAC,CAAA;AAeF,MAAM,UAAU,cAAc,CAAC,GAAoB,EAAE,MAAc;IACjE,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC;QACxB,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,qBAAqB,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAAA;AAEvI,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,CAAA;AAcnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA2B,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;QAEpD,OAAO,YAAY,CAAC,KAAK,CAAC,CAAA;IAC5B,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;IAC3D,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;QAE7D,OAAO,WAAW,CAAC,OAAO,CAAC,CAAA;IAC7B,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;QAC9D,OAAO,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACpC,CAAC;SAAM,CAAC;QACN,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;IACnD,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAA;IACnD,CAAC;SAAM,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACrE,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3E,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAA;AAE9B;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,IAAU;IAChC,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrD,CAAC;SAAM,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CACvB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,EACtC,aAAa,CACd,CAAA;IACH,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,aAAa,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjD,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,CAAA;IAC9E,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CACpB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAClD,aAAa,CACd,CAAA;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAA8C;IAE9C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAA;IAErC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,CAAA,CAAC,4IAA4I;IACvJ,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,CAAA;IACV,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QAEvC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAA;IACxC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAC,CAAS;IAC7B,IAAI,CAAC,GAAG,CAAC,CAAA;IAET,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;QACd,CAAC,KAAK,EAAE,CAAA;QACR,CAAC,EAAE,CAAA;IACL,CAAC;IAED,OAAO,CAAC,CAAA;AACV,CAAC;AAED,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,EAAE;IAClE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACtC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACrD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;CACvD,CAAC,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE;IAC1D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,OAAO,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAC9C,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACrD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,KAAK,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,gBAAgB,CAAC,CACpD,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAA;QAChE,CAAC;IACH,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAC7C,IAAI,EACJ,MAAM,CAAC,kBAAkB,EACzB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC3D,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;CACrD,CACF,CAAA;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CACvC,IAAI,EACJ,MAAM,CAAC,MAAM,EACb;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,OAAO,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC5D,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC3D,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAC,KAAK,EAAE,EAAE,EAAC,CAAC,CAAC,EAC/B,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAC5E;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAW,UAAuE,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CACjI,IAAI,EACJ,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EACzB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC3B,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC,CAAA;gBACxG,CAAC;gBAED,OAAO,WAAW,CAAC,OAAO,CAAC,EAAC,IAAI,EAAE,MAAe,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAC,CAAC,CAAA;YAC5E,CAAC;iBAAM,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC;gBACjC,OAAO,WAAW,CAAC,OAAO,CAAC,EAAC,IAAI,EAAE,MAAe,EAAC,CAAC,CAAA;YACrD,CAAC;iBAAM,CAAC;gBACN,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC,CAAA;YAClG,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACzB,OAAO,WAAW,CAAC,OAAO,CAAC,EAAC,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAC,CAAC,CAAA;QAC1D,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,OAAO,CAAC,EAAC,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAC,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;IAC1D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE;gBACpB,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;YAC1D,CAAC,CAAC,CACH,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC3D,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,WAAW,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;CAChD,CAAC,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,MAAM,MAAM,GAAG,CACb,UAAuE,EACvE,EAAE,CACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;IACrD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CACtD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;CACxD,CAAC,CAAA;AAEJ,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,MAAM,CAAC,MAAM,MAAM,GAAG,CAEpB,MAAkB,EAAE,EAAE,CACtB,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;IAClD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,GAAG,CACf,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC1B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,qBAAqB,CAAC,GAAG,CAAC,sBAAsB,CACjD,CACF,CAAA;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAE7B,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAmB,CAAC,CAAA;YAChE,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CACtD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CACzE,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,GAAoB,EACpB,MAAkB,EAClB,EAAE,CACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;IAClD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,4CAA4C,GAAG,EAAE,CAClD,CACF,CAAA;YACH,CAAC;YAED,OAAO,MAAM,CAAC,GAAG,CACf,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC5B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,qBAAqB,CAAC,GAAG,CAAC,wBAAwB,CACnD,CACF,CAAA;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;gBAE/B,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAmB,CAAC,CAAA;YAChE,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,qBAAqB,CAAC,CACxD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACjB,WAAW,CAAC,OAAO,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC;CACL,CAAC,CAAA;AAOF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAiG,QAAsB,EAAoD,EAAE,CAAC,MAAM,CAAC,eAAe,CACtN,IAAI,EACJ,MAAM,CAAC,KAAK,CACV,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,YAAY,CAAuF,CAAC,CACvM,EACD;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAsE,EAAE;QACnF,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;YAE5B,MAAM,WAAW,GAAuB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAA;YAElE,IAAK,WAAkC,IAAI,SAAS,EAAE,CAAC;gBACrD,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,8BAA8B,GAAG,EAAE,CAAC,CAAC,CAAA;YAChG,CAAC;YAED,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAA;YAEpC,OAAO,MAAM,CAAC,GAAG,CACf,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC5B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,qBAAqB,CAAC,GAAG,CAAC,6BAA6B,WAAqB,EAAE,CAC/E,CACF,CAAA;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;gBAE/B,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAmB,CAAC,CAAA;YAChE,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAC,IAAI,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,EAA4C,CAAA,CAAC,CAAC,CAAA;QAClI,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAA;QAE9B,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,WAAqB,CAAC,CAAA;QAGhE,OAAO,WAAW,CAAC,OAAO,CAAC;YACzB,WAAW,EAAE,GAAG;YAChB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAW;SACnG,CAAC,CAAA;IACJ,CAAC;CACF,CACF,CAAA"}
+{"version":3,"file":"Data.js","sourceRoot":"","sources":["../../src/Uplc/Data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9D,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAElC,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAClC,GAAkC,EAAE,CAAC,YAAY,CAClD,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,iBAAiB;CAChC,CAAC,CAAA;AAOF,MAAM,UAAU,iBAAiB,CAC/B,KAAqC;IAErC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7C,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC,gBAAgB;CAC7B,CAAC,CAAA;AAKF,MAAM,UAAU,WAAW,CAAC,KAAsB;IAChD,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AAC/B,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;CAClC,CAAC,CAAA;AAaF,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,OAAO;QACL,IAAI,EAAE,KAAK;KACZ,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC,KAAK,CACf,MAAM,CAAC,MAAM,CAAC;QACZ,CAAC,EAAE,aAAa;QAChB,CAAC,EAAE,aAAa;KACjB,CAAC,CACH;CACF,CAAC,CAAA;AAmBF,MAAM,UAAU,WAAW,CAAC,OAAuB;IACjD,OAAO;QACL,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACzC,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;CACpC,CAAC,CAAA;AAeF,MAAM,UAAU,cAAc,CAC5B,GAAoB,EACpB,MAAc;IAEd,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC;QACxB,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CACtC,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,kBAAkB,CACnB,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,CAAA;AAcnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA2B,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;QAEpD,OAAO,YAAY,CAAC,KAAK,CAAC,CAAA;IAC5B,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;IAC3D,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;QAE7D,OAAO,WAAW,CAAC,OAAO,CAAC,CAAA;IAC7B,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;QAC9D,OAAO,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACpC,CAAC;SAAM,CAAC;QACN,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;IACnD,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAA;IACnD,CAAC;SAAM,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACrE,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3E,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAA;AAE9B;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,IAAU;IAChC,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrD,CAAC;SAAM,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CACvB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,EACtC,aAAa,CACd,CAAA;IACH,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,aAAa,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjD,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,CAAA;IAC9E,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CACpB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAClD,aAAa,CACd,CAAA;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAA8C;IAE9C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAA;IAErC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,CAAA,CAAC,4IAA4I;IACvJ,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,CAAA;IACV,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QAEvC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAA;IACxC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAC,CAAS;IAC7B,IAAI,CAAC,GAAG,CAAC,CAAA;IAET,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;QACd,CAAC,KAAK,EAAE,CAAA;QACR,CAAC,EAAE,CAAA;IACL,CAAC;IAED,OAAO,CAAC,CAAA;AACV,CAAC;AAED,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,EAAE;IAClE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACtC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACrD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;CACvD,CAAC,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE;IAC1D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,OAAO,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAC9C,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACrD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,KAAK,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,gBAAgB,CAAC,CACpD,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAA;QAChE,CAAC;IACH,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAC7C,IAAI,EACJ,MAAM,CAAC,kBAAkB,EACzB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC3D,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;CACrD,CACF,CAAA;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;IAC7D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,OAAO,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC5D,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC3D,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CACd,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EACnC,MAAM,CAAC,QAAQ,CACb,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAC9D,CACF;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,UAAuE,EACvE,EAAE,CACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;IACtD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC3B,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,2CAA2C,CAC5C,CACF,CAAA;gBACH,CAAC;gBAED,OAAO,WAAW,CAAC,OAAO,CAAC;oBACzB,IAAI,EAAE,MAAe;oBACrB,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;iBACtB,CAAC,CAAA;YACJ,CAAC;iBAAM,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC;gBACjC,OAAO,WAAW,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,CAAC,CAAA;YACvD,CAAC;iBAAM,CAAC;gBACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,qCAAqC,CACtC,CACF,CAAA;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,qBAAqB,CAAC,CACxD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACzB,OAAO,WAAW,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QAC5D,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACvE,CAAC;IACH,CAAC;CACF,CAAC,CAAA;AAEJ,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;IAC1D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE;gBACpB,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;YAC1D,CAAC,CAAC,CACH,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC3D,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;CAC7D,CAAC,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,MAAM,MAAM,GAAG,CACb,UAAuE,EACvE,EAAE,CACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;IACrD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CACtD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;CACxD,CAAC,CAAA;AAEJ,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,SAAqE,EACrE,WAAyE,EACzE,EAAE,CACF,MAAM,CAAC,eAAe,CACpB,IAAI,EACJ,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,EAClD;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,OAAO,WAAW,CAAC,OAAO,CACxB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAU,CAAC,CAC5C,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACrD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;CAClE,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,MAAM,GAAG,CAGpB,MAAkB,EAClB,EAAE,CACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;IAClD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,GAAG,CACf,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC1B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,qBAAqB,CAAC,GAAG,CAAC,sBAAsB,CACjD,CACF,CAAA;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAE7B,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAmB,CAAC,CAAA;YAChE,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CACtD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CACzE,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,WAAW,GAAG,CAGzB,GAAoB,EACpB,MAAkB,EAClB,EAAE,CACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;IAClD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,4CAA4C,GAAG,EAAE,CAClD,CACF,CAAA;YACH,CAAC;YAED,OAAO,MAAM,CAAC,GAAG,CACf,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC5B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,qBAAqB,CAAC,GAAG,CAAC,wBAAwB,CACnD,CACF,CAAA;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;gBAE/B,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAmB,CAAC,CAAA;YAChE,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,qBAAqB,CAAC,CACxD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACjB,WAAW,CAAC,OAAO,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC;CACL,CAAC,CAAA;AAmCJ,MAAM,CAAC,MAAM,IAAI,GAAG,CAKlB,QAAsB,EAC4B,EAAE,CACpD,MAAM,CAAC,eAAe,CACpB,IAAI,EACJ,MAAM,CAAC,KAAK,CACV,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAC7B,CAAC,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,EAAE,CAC9B,MAAM,CAAC,YAAY,CACjB,WAAW,EACX,YAAY,CAIb,CACJ,CACF,EACD;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CACN,IAAI,EACgE,EAAE;QACtE,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;YAE5B,MAAM,WAAW,GAAuB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAA;YAElE,IAAK,WAAkC,IAAI,SAAS,EAAE,CAAC;gBACrD,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,8BAA8B,GAAG,EAAE,CACpC,CACF,CAAA;YACH,CAAC;YAED,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAA;YAEpC,OAAO,MAAM,CAAC,GAAG,CACf,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC5B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC,UAAU,CACxB,IAAI,EACJ,qBAAqB,CAAC,GAAG,CAAC,6BAA6B,WAAgC,EAAE,CAC1F,CACF,CAAA;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;gBAE/B,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAmB,CAAC,CAAA;YAChE,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CACR,CAAC,OAAO,EAAE,EAAE,CACV,CAAC;gBACC,IAAI,EAAE,WAAW;gBACjB,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC;aAC/B,CAA2C,CAC/C,CACF,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,qBAAqB,CAAC,CACxD,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAA;QAE9B,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CACvC,WAAgC,CACjC,CAAA;QAED,OAAO,WAAW,CAAC,OAAO,CAAC;YACzB,WAAW,EAAE,GAAG;YAChB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;iBAC1B,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,MAAM,CAAC;iBAChC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAW;SACvC,CAAC,CAAA;IACJ,CAAC;CACF,CACF,CAAA"}

package/package.json

@@ -1,11 +1,12 @@
 {
   "name": "@helios-lang/effect",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "description": "",
   "main": "dist/index.js",
   "types": "types/index.d.ts",
   "exports": {
     ".": "./dist/index.js",
+    "./Ledger": "./dist/Ledger/index.js",
     "./Uplc": "./dist/Uplc/index.js"
   },
   "keywords": [],

package/src/Ledger/Address.ts

@@ -69,7 +69,7 @@ export function make(
   isMainnet: boolean,
   spendingCredential: Credential.Credential,
   stakingCredential?: Credential.Credential
-) {
+): Address {
   const prefix = isMainnet ? "addr" : "addr_test"
   const bytes: number[] = toShelleyBytes(
     isMainnet,
@@ -128,7 +128,7 @@ const decodeInternal = (bytes: Bytes.BytesLike) =>
     }
 
     const innerBytes = (yield* Cbor.isBytes(bytes))
-      ? (yield* Cbor.decodeBytes(bytes))
+      ? yield* Cbor.decodeBytes(bytes)
       : Bytes.toArray(bytes)
 
     const head = innerBytes[0]
@@ -202,18 +202,32 @@ const decodeInternal = (bytes: Bytes.BytesLike) =>
         }
       default:
         return yield* Effect.fail(
-          new Error(`invalid Shelley Address header ${head}`)
+          new Cbor.DecodeError(
+            Bytes.makeStream(bytes),
+            `invalid Shelley Address header ${head}`
+          )
         )
     }
   })
 
-export const decode = (bytes: Bytes.BytesLike) =>
-  Effect.gen(function* () {
-    const { isMainnet, spendingCredential, stakingCredential } =
-      yield* decodeInternal(bytes)
-
-    return make(isMainnet, spendingCredential, stakingCredential)
-  })
+export const decode = (bytes: Bytes.BytesLike): Cbor.DecodeEffect<Address> =>
+  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})`
+        )
+    )
+  )
 
 export function encode(address: Address): number[] {
   return Cbor.encodeBytes(bytes(address))

package/src/Ledger/AssetClass.ts

@@ -0,0 +1,96 @@
+import { Encoding, Option, Schema } from "effect"
+//import * as Bech32 from "../Bech32.js"
+import * as Bytes from "../internal/Bytes.js"
+import { Data } from "../Uplc"
+import * as MintingPolicy from "./MintingPolicy.js"
+import * as ValidatorHash from "./ValidatorHash.js"
+
+export function isValid(assetClass: string): assetClass is AssetClass {
+  const n = assetClass.length
+  return (
+    /^[0-9a-fA-F]+$/.test(assetClass) &&
+    n < 120 &&
+    (n == 0 || (n >= 56 && n % 2 == 0))
+  )
+}
+
+export const AssetClass = Schema.transform(
+  Schema.String,
+  Schema.String.pipe(
+    Schema.filter((ac: string) => isValid(ac) || "Invalid Cardano AssetClass"),
+    Schema.brand("AssetClass")
+  ),
+  {
+    strict: false,
+    decode: (s) => s.split(".").join(""),
+    encode: (s) => s
+  }
+)
+
+export type AssetClass = Schema.Schema.Type<typeof AssetClass>
+
+export const ADA = "" as AssetClass
+
+export function make(
+  policy: MintingPolicy.MintingPolicy,
+  tokenName: Bytes.BytesLike
+) {
+  if (policy._tag == "None") {
+    return ADA
+  } else {
+    return policy.value + Encoding.encodeHex(Bytes.toUint8Array(tokenName))
+  }
+}
+
+export const FromUplcData = Schema.transform(
+  Data.EnumVariant(0, {
+    policy: MintingPolicy.FromUplcData,
+    tokenName: Data.ByteArray
+  }),
+  AssetClass,
+  {
+    strict: true,
+    decode: ({ policy, tokenName }) => {
+      if (policy._tag == "None") {
+        return ADA
+      } else {
+        return policy.value + Encoding.encodeHex(tokenName)
+      }
+    },
+    encode: (assetClass) => {
+      return {
+        policy: policy(assetClass),
+        tokenName: Bytes.toUint8Array(tokenName(assetClass))
+      }
+    }
+  }
+)
+
+export function fingerprint(assetClass: string): string {
+  throw new Error("not yet implemented (need blake2b hashing function)")
+  //return Bech32.encode("asset", )
+}
+
+export function pretty(assetClass: string): string {
+  if (assetClass.length == 0) {
+    return "."
+  } else {
+    return assetClass.slice(0, 56) + "." + assetClass.slice(56)
+  }
+}
+
+export function policy(assetClass: string): MintingPolicy.MintingPolicy {
+  if (assetClass.length == 0) {
+    return Option.none()
+  } else {
+    return Option.some(assetClass.slice(0, 56) as ValidatorHash.ValidatorHash)
+  }
+}
+
+export function tokenName(assetClass: string): string {
+  if (assetClass.length == 0) {
+    return ""
+  } else {
+    return assetClass.slice(56)
+  }
+}

package/src/Ledger/Assets.ts

@@ -0,0 +1,164 @@
+import { Effect, Schema } from "effect"
+import * as Bytes from "../internal/Bytes.js"
+import * as Cbor from "../Cbor.js"
+import { Data } from "../Uplc"
+import * as AssetClass from "./AssetClass.js"
+import * as MintingPolicy from "./MintingPolicy.js"
+
+export const Assets = Schema.Record({
+  key: Schema.String, // can sadly not use AssetClass.AssetClass here
+  value: Schema.BigIntFromSelf
+}).pipe(
+  Schema.filter((assets) => {
+    for (let key in assets) {
+      if (!AssetClass.isValid(key)) {
+        return `Invalid AssetClass ${key}`
+      }
+    }
+
+    return true
+  })
+)
+
+export type Assets = Schema.Schema.Type<typeof Assets>
+
+export const FromUplcData = Schema.transform(
+  Data.PairArray(
+    MintingPolicy.FromUplcData,
+    Data.PairArray(Data.Hex, Data.BigInt)
+  ),
+  Assets,
+  {
+    strict: true,
+    decode: (outer) => {
+      let assets: Record<string, bigint> = {}
+
+      for (let [policy, inner] of outer) {
+        for (let [tokenName, quantity] of inner) {
+          assets[AssetClass.make(policy, tokenName)] = quantity
+        }
+      }
+
+      return assets as Assets
+    },
+    encode: (assets) => {
+      const outer = nestedRecords(assets)
+
+      return Object.entries(outer).map(
+        ([policy, inner]) =>
+          [
+            Effect.runSync(MintingPolicy.make(policy)),
+            Object.entries(inner)
+          ] as const
+      )
+    }
+  }
+)
+
+function nestedRecords(assets: Assets): Record<string, Record<string, bigint>> {
+  const outer: Record<string, Record<string, bigint>> = {}
+
+  Object.entries(assets).forEach(([assetClass, quantity]) => {
+    if (assetClass.length == 0) {
+      outer[assetClass] = { "": quantity }
+    } else {
+      const policy = assetClass.slice(0, 56)
+      const tokenName = assetClass.slice(56)
+
+      if (policy in outer) {
+        outer[policy] = {
+          ...outer[policy],
+          [tokenName]: quantity
+        }
+      } else {
+        outer[policy] = {
+          [tokenName]: quantity
+        }
+      }
+    }
+  })
+
+  return outer
+}
+
+export const decode = (bytes: Bytes.BytesLike): Cbor.DecodeEffect<Assets> =>
+  Effect.gen(function* () {
+    const stream = Bytes.makeStream(bytes)
+
+    if (yield* Cbor.isTuple(bytes)) {
+      const [lovelace, otherAssets] = yield* Cbor.decodeTuple([
+        Cbor.decodeInt,
+        Cbor.decodeMap(
+          MintingPolicy.decode,
+          Cbor.decodeMap(Cbor.decodeBytes, Cbor.decodeInt)
+        )
+      ])(stream)
+
+      const assets: Record<string, bigint> = {}
+
+      if (lovelace != 0n) {
+        assets[AssetClass.ADA] = lovelace
+      }
+
+      for (let [policy, inner] of otherAssets) {
+        if (policy._tag == "None") {
+          return yield* new Cbor.DecodeError(
+            stream,
+            "unexpected ADA assetclass in encoded non-ADA assets"
+          )
+        }
+
+        for (let [tokenName, quantity] of inner) {
+          const assetClass = AssetClass.make(policy, tokenName)
+
+          assets[assetClass] = quantity
+        }
+      }
+
+      return assets as Assets
+    } else {
+      return { [AssetClass.ADA]: yield* Cbor.decodeInt(stream) }
+    }
+  })
+
+export function encode(assets: Assets): number[] {
+  const acs = nonAdaAssetClasses(assets)
+
+  if (acs.length == 0) {
+    return Cbor.encodeInt(lovelace(assets))
+  } else {
+    const obj = nestedRecords(assets)
+    if (AssetClass.ADA in obj) {
+      delete obj[AssetClass.ADA]
+    }
+
+    return Cbor.encodeTuple([
+      Cbor.encodeInt(lovelace(assets)),
+      Cbor.encodeMap(
+        Object.entries(obj).map(([mph, tokens]) => {
+          return [
+            Cbor.encodeBytes(mph),
+            Cbor.encodeMap(
+              Object.entries(tokens).map(([tokenName, qty]) => [
+                Cbor.encodeBytes(tokenName),
+                Cbor.encodeInt(qty)
+              ])
+            )
+          ]
+        })
+      )
+    ])
+  }
+}
+
+export function allAssetClasses(assets: Assets): AssetClass.AssetClass[] {
+  return Object.keys(assets) as AssetClass.AssetClass[]
+}
+
+export function nonAdaAssetClasses(assets: Assets): AssetClass.AssetClass[] {
+  return allAssetClasses(assets).filter((ac) => ac != AssetClass.ADA)
+}
+
+export function lovelace(assets: Assets): bigint {
+  return assets[AssetClass.ADA] ?? 0n
+}

package/src/Ledger/Credential.ts

@@ -1,7 +1,7 @@
 import { Schema } from "effect"
+import { Data } from "../Uplc"
 import { PubKeyHash } from "./PubKeyHash.js"
 import { ValidatorHash } from "./ValidatorHash.js"
-import { Data } from "../Uplc/index.js"
 
 export const Credential = Schema.Union(
   Schema.TaggedStruct("PubKey", { hash: PubKeyHash }),

package/src/Ledger/DatumHash.ts

@@ -0,0 +1,36 @@
+import { Effect, Encoding, Schema } from "effect"
+import * as Bytes from "../internal/Bytes.js"
+import { decodeBytes, DecodeEffect, encodeBytes } from "../Cbor.js"
+import { Data } from "../Uplc"
+
+export function isValid(dh: string): boolean {
+  return /^[0-9a-fA-F]+$/.test(dh) && dh.length == 64
+}
+
+export const DatumHash = Schema.String.pipe(
+  Schema.filter((dh: string) => isValid(dh) || "Invalid Cardano DatumHash"),
+  Schema.brand("DatumHash")
+)
+
+export type DatumHash = Schema.Schema.Type<typeof DatumHash>
+
+export function make(bytes: Bytes.BytesLike) {
+  return Schema.decode(DatumHash)(Bytes.toHex(bytes))
+}
+
+export const FromUplcData = Schema.transform(Data.ByteArray, DatumHash, {
+  strict: true,
+  decode: Encoding.encodeHex,
+  encode: Bytes.toUint8Array
+})
+
+export const decode = (bytes: Bytes.BytesLike): DecodeEffect<DatumHash> =>
+  decodeBytes(bytes).pipe(
+    Effect.map((bytes) => new Uint8Array(bytes)),
+    Effect.map(Encoding.encodeHex),
+    Effect.map(Schema.decodeSync(DatumHash))
+  )
+
+export function encode(dh: DatumHash): number[] {
+  return encodeBytes(dh)
+}