@helios-lang/effect 0.1.15 → 0.3.0

package/dist/Cardano/CoinSelection.js

@@ -0,0 +1,130 @@
+import { Data, Either } from "effect";
+import * as Assets from "./Ledger/Assets.js";
+export class InsufficientFunds extends Data.TaggedError("Cardano.CoinSelection.InsufficientFunds") {
+    constructor() {
+        super({ message: "Insufficient funds" });
+    }
+}
+/**
+ * Selects UTxOs from a list by iterating through the tokens in the given `Value` and picking the UTxOs containing the largest corresponding amount first.
+ */
+export function largestFirst(options = {}) {
+    return extremumFirst(true, options);
+}
+/**
+ * Selects UTxOs from a list by iterating through the tokens in the given `Value` and picking the UTxOs containing the smallest corresponding amount first.
+ * This method can be used to eliminate dust UTxOs from a wallet.
+ */
+export function smallestFirst(options = {}) {
+    return extremumFirst(false, options);
+}
+/**
+ * Loops through the policies and tokens of `amount`
+ *   - if for a given asset there isn't enough already included, select the previously unselected utxos until the necessary quantity is filled (starting with the extremum first)
+ */
+const extremumFirst = (largestFirst, { allowSelectingUninvolvedAssets = false }) => (utxos, amount) => {
+    let sum = {};
+    let notSelected = utxos.slice();
+    const selected = [];
+    /**
+     * Selects smallest utxos until 'needed' is reached
+     * @param {bigint} neededQuantity
+     * @param {(utxo: TxInput) => bigint} getQuantity
+     */
+    function select(neededQuantity, getQuantity) {
+        // first sort notYetPicked in ascending order when picking smallest first,
+        // and in descending order when picking largest first
+        // sort UTxOs that contain more assets last
+        notSelected.sort((a, b) => {
+            const qa = getQuantity(a);
+            const qb = getQuantity(b);
+            const sign = largestFirst ? -1 : 1;
+            if (qa != 0n && qb == 0n) {
+                return sign;
+            }
+            else if (qa == 0n && qb != 0n) {
+                return -sign;
+            }
+            else if (qa == 0n && qb == 0n) {
+                return 0;
+            }
+            else {
+                const na = Assets.countTokens(a.output.assets);
+                const nb = Assets.countTokens(b.output.assets);
+                if (na == nb) {
+                    return Number(qa - qb) * sign;
+                }
+                else if (na < nb) {
+                    return sign;
+                }
+                else {
+                    return -sign;
+                }
+            }
+        });
+        let count = 0n;
+        const remaining = [];
+        while (count < neededQuantity || count == 0n) {
+            // must select at least one utxo if neededQuantity == 0n
+            const utxo = notSelected.shift();
+            if (utxo === undefined) {
+                return Either.left(new InsufficientFunds());
+            }
+            else {
+                const qty = getQuantity(utxo);
+                if (qty > 0n) {
+                    count += qty;
+                    selected.push(utxo);
+                    sum = Assets.add(sum, utxo.output.assets);
+                }
+                else {
+                    remaining.push(utxo);
+                }
+            }
+        }
+        notSelected = notSelected.concat(remaining);
+    }
+    /**
+     * Select UTxOs while looping through (MintingPolicyHash,TokenName) entries
+     * If the UTxOs happen to contain Asset classes that shouldn't be involved, then those are mixed in
+     */
+    for (const ac in amount) {
+        const need = amount[ac];
+        const have = sum[ac] ?? 0n;
+        if (have < need) {
+            const diff = need - have;
+            select(diff, (utxo) => utxo.output.assets[ac] ?? 0n);
+        }
+    }
+    /**
+     * Now use the same strategy for lovelace
+     * Except that UTxOs containing Asset classes not involved in this transaction are ignored by default
+     */
+    const need = amount.lovelace;
+    const have = sum.lovelace;
+    if (have < need) {
+        const diff = need - have;
+        const canSelectUtxoForLovelace = (utxo) => {
+            if (allowSelectingUninvolvedAssets) {
+                return true;
+            }
+            const acs = Assets.nonAdaAssetClasses(utxo.output.assets);
+            if (acs.length == 0) {
+                return true;
+            }
+            else {
+                return acs.some((ac) => Assets.nonAdaAssetClasses(amount).some((act) => act == ac));
+            }
+        };
+        const usuableForLovelace = notSelected.filter(canSelectUtxoForLovelace);
+        const unusableForLovelace = notSelected.filter((utxo) => !canSelectUtxoForLovelace(utxo));
+        notSelected = usuableForLovelace;
+        select(diff, (utxo) => utxo.output.assets[""] ?? 0n);
+        notSelected = notSelected.concat(unusableForLovelace);
+    }
+    if (selected.length + notSelected.length != utxos.length) {
+        throw new Error("internal error: select algorithm doesn't conserve utxos");
+    }
+    return Either.right(selected);
+};
+//# sourceMappingURL=CoinSelection.js.map

package/dist/Cardano/CoinSelection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CoinSelection.js","sourceRoot":"","sources":["../../src/Cardano/CoinSelection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAG5C,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CACrD,yCAAyC,CACrB;IACpB;QACE,KAAK,CAAC,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,CAAA;IAC1C,CAAC;CACF;AAWD;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,UAAyB,EAAE;IACtD,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;AACrC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,UAAyB,EAAE;IACvD,OAAO,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AACtC,CAAC;AAED;;;GAGG;AACH,MAAM,aAAa,GACjB,CACE,YAAqB,EACrB,EAAE,8BAA8B,GAAG,KAAK,EAAiB,EACzD,EAAE,CACJ,CAAC,KAAa,EAAE,MAAqB,EAAE,EAAE;IACvC,IAAI,GAAG,GAAkB,EAAE,CAAA;IAC3B,IAAI,WAAW,GAAW,KAAK,CAAC,KAAK,EAAE,CAAA;IACvC,MAAM,QAAQ,GAAW,EAAE,CAAA;IAE3B;;;;OAIG;IACH,SAAS,MAAM,CACb,cAAsB,EACtB,WAAmC;QAEnC,0EAA0E;QAC1E,qDAAqD;QACrD,2CAA2C;QAC3C,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACxB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;YAEzB,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAElC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAA;YACb,CAAC;iBAAM,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAA;YACd,CAAC;iBAAM,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;gBAChC,OAAO,CAAC,CAAA;YACV,CAAC;iBAAM,CAAC;gBACN,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBAE9C,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;oBACb,OAAO,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAA;gBAC/B,CAAC;qBAAM,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;oBACnB,OAAO,IAAI,CAAA;gBACb,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,IAAI,CAAA;gBACd,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAA;QAEF,IAAI,KAAK,GAAG,EAAE,CAAA;QACd,MAAM,SAAS,GAAG,EAAE,CAAA;QAEpB,OAAO,KAAK,GAAG,cAAc,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;YAC7C,wDAAwD;YACxD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,CAAA;YAEhC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,iBAAiB,EAAE,CAAC,CAAA;YAC7C,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;gBAE7B,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC;oBACb,KAAK,IAAI,GAAG,CAAA;oBACZ,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBACnB,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBAC3C,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QAED,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC7C,CAAC;IAED;;;OAGG;IACH,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAA;QAEvB,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QAE1B,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;YAExB,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAA;IAEzB,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;QAExB,MAAM,wBAAwB,GAAG,CAAC,IAAU,EAAW,EAAE;YACvD,IAAI,8BAA8B,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAA;YACb,CAAC;YAED,MAAM,GAAG,GAAG,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YAEzD,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACpB,OAAO,IAAI,CAAA;YACb,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CACrB,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAC3D,CAAA;YACH,CAAC;QACH,CAAC,CAAA;QAED,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAA;QACvE,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,CAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAC1C,CAAA;QAED,WAAW,GAAG,kBAAkB,CAAA;QAEhC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;QAEpD,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAA;IACvD,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;AAC/B,CAAC,CAAA"}

package/dist/{Ledger → Cardano/Ledger}/Address.js

@@ -1,7 +1,7 @@
-import { Effect, Option, ParseResult, Schema } from "effect";
-import * as Bech32 from "../Bech32.js";
-import * as Cbor from "../Cbor.js";
-import * as Bytes from "../internal/Bytes.js";
+import { Effect, Either, Option, ParseResult, Schema } from "effect";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Bech32 from "../../Codecs/Bech32.js";
+import * as Bytes from "../../Codecs/Bytes.js";
 import { IsMainnet } from "../Network/IsMainnet.js";
 import { Data } from "../Uplc/index.js";
 import * as Credential from "./Credential.js";
@@ -16,18 +16,15 @@ export function isValid(addr) {
 }
 export const Address = Schema.String.pipe(Schema.filter((addr) => {
     return isValid(addr) || "Invalid Cardano Address";
-}), Schema.brand("Address"));
+}), Schema.brand("Cardano.Ledger.Address"));
 export const FromUplcData = Schema.transformOrFail(Data.EnumVariant(0, {
     spendingCredential: Credential.FromUplcData,
     stakingCredential: Data.Option(Credential.FromUplcData)
-}), Address, {
+}), Schema.typeSchema(Address), {
     strict: true,
-    decode: (data) => Effect.gen(function* () {
-        const isMainnet = yield* IsMainnet;
-        return make(isMainnet, data.spendingCredential, data.stakingCredential._tag == "Some"
-            ? data.stakingCredential.value
-            : undefined);
-    }),
+    decode: (data) => IsMainnet.pipe(Effect.map((isMainnet) => make(isMainnet, data.spendingCredential, data.stakingCredential._tag == "Some"
+        ? data.stakingCredential.value
+        : undefined))),
     encode: (address) => {
         const { spendingCredential, stakingCredential } = Effect.runSync(decodeInternal(address));
         return ParseResult.succeed({
@@ -40,12 +37,12 @@ export const FromUplcData = Schema.transformOrFail(Data.EnumVariant(0, {
 });
 export function make(isMainnet, spendingCredential, stakingCredential) {
     const prefix = isMainnet ? "addr" : "addr_test";
-    const bytes = toShelleyBytes(isMainnet, spendingCredential, stakingCredential);
+    const bytes = makeShelleyBytes(isMainnet, spendingCredential, stakingCredential);
     const s = Bech32.encode(prefix, bytes);
     return s;
 }
 // returns the byte representation of an Address
-function toShelleyBytes(isMainnet, spendingCredential, stakingCredential) {
+function makeShelleyBytes(isMainnet, spendingCredential, stakingCredential) {
     const spendingCredBytes = Bytes.toArray(spendingCredential.hash);
     if (stakingCredential) {
         const stakingCredBytes = Bytes.toArray(stakingCredential.hash);
@@ -81,11 +78,11 @@ function toShelleyBytes(isMainnet, spendingCredential, stakingCredential) {
         return [isMainnet ? 0x71 : 0x70].concat(spendingCredBytes);
     }
 }
-const decodeInternal = (bytes) => Effect.gen(function* () {
+const decodeInternal = (bytes) => Either.gen(function* () {
     if (typeof bytes == "string" && bytes.startsWith("addr")) {
         bytes = (yield* Bech32.decode(bytes)).bytes;
     }
-    const innerBytes = (yield* Cbor.isBytes(bytes))
+    const innerBytes = Cbor.isBytes(bytes)
         ? yield* Cbor.decodeBytes(bytes)
         : Bytes.toArray(bytes);
     const head = innerBytes[0];
@@ -133,23 +130,36 @@ const decodeInternal = (bytes) => Effect.gen(function* () {
                 spendingCredential: Credential.makeValidator(yield* ValidatorHash.make(firstPart()))
             };
         default:
-            return yield* Effect.fail(new Cbor.DecodeError(Bytes.makeStream(bytes), `invalid Shelley Address header ${head}`));
+            return yield* Either.left(new Cbor.DecodeError(Bytes.makeStream(bytes), `invalid Shelley Address header ${head}`));
     }
 });
-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})`)));
+export const decode = (bytes) => decodeInternal(bytes).pipe(Either.map(({ isMainnet, spendingCredential, stakingCredential }) => make(isMainnet, spendingCredential, stakingCredential)), Either.mapLeft((e) => {
+    if (e._tag == "ParseError") {
+        return new Cbor.DecodeError(Bytes.makeStream(bytes), e.message);
+    }
+    else if (e._tag == "DecodeException") {
+        return new Cbor.DecodeError(Bytes.makeStream(bytes), `bech32 decoding failed (${e.message})`);
+    }
+    else {
+        return e;
+    }
+}));
 export function encode(address) {
     return Cbor.encodeBytes(bytes(address));
 }
 export function bytes(address) {
-    return Effect.runSync(Bech32.decode(address)).bytes;
+    return Either.getOrThrow(Bech32.decode(address)).bytes;
 }
 export function isMainnet(address) {
     return !address.startsWith("addr_test");
 }
 export function spendingCredential(address) {
-    return Effect.runSync(decodeInternal(address)).spendingCredential;
+    return Either.getOrThrow(decodeInternal(address)).spendingCredential;
 }
 export function stakingCredential(address) {
-    return Effect.runSync(decodeInternal(address)).stakingCredential;
+    return Either.getOrThrow(decodeInternal(address)).stakingCredential;
+}
+export function isValidator(address) {
+    return spendingCredential(address)._tag == "Validator";
 }
 //# sourceMappingURL=Address.js.map

package/dist/Cardano/Ledger/Address.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Address.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpE,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,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,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,wBAAwB,CAAC,CACvC,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,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,EAC1B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CACf,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACvB,IAAI,CACF,SAAS,EACT,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,iBAAiB,CAAC,IAAI,IAAI,MAAM;QACnC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK;QAC9B,CAAC,CAAC,SAAS,CACd,CACF,CACF;IACH,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,gBAAgB,CACtC,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,gBAAgB,CACvB,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,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACpC,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,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;IACnB,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;QAC3B,OAAO,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;IACjE,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACvC,OAAO,IAAI,IAAI,CAAC,WAAW,CACzB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,2BAA2B,CAAC,CAAC,OAAO,GAAG,CACxC,CAAA;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,CAAA;IACV,CAAC;AACH,CAAC,CAAC,CACH,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,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAA;AACxD,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,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAA;AACtE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAgB;IAEhB,OAAO,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAgB;IAC1C,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,WAAW,CAAA;AACxD,CAAC"}

package/dist/{Ledger → Cardano/Ledger}/AssetClass.js

@@ -1,5 +1,5 @@
-import { Encoding, Option, Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
+import { Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
 import { Data } from "../Uplc";
 import * as MintingPolicy from "./MintingPolicy.js";
 export function isValid(assetClass) {
@@ -8,9 +8,7 @@ export function isValid(assetClass) {
         return true;
     }
     else {
-        return (/^[0-9a-fA-F]+$/.test(assetClass) &&
-            n < 120 &&
-            (n >= 56 && n % 2 == 0));
+        return /^[0-9a-fA-F]+$/.test(assetClass) && n < 120 && n >= 56 && n % 2 == 0;
     }
 }
 export const AssetClass = Schema.transform(Schema.String, Schema.String.pipe(Schema.filter((ac) => isValid(ac) || "Invalid Cardano AssetClass"), Schema.brand("AssetClass")), {
@@ -20,11 +18,15 @@ export const AssetClass = Schema.transform(Schema.String, Schema.String.pipe(Sch
 });
 export const ADA = "";
 export function make(policy, tokenName) {
-    if (policy._tag == "None") {
+    if (policy == "") {
+        if (Bytes.toArray(tokenName).length != 0) {
+            throw new Error("Unexpected tokenName for ADA policy in AssetClass.make()");
+        }
         return ADA;
     }
     else {
-        return (policy.value + Encoding.encodeHex(Bytes.toUint8Array(tokenName)));
+        return (policy +
+            Encoding.encodeHex(Bytes.toUint8Array(tokenName)));
     }
 }
 export const FromUplcData = Schema.transform(Data.EnumVariant(0, {
@@ -33,11 +35,14 @@ export const FromUplcData = Schema.transform(Data.EnumVariant(0, {
 }), AssetClass, {
     strict: true,
     decode: ({ policy, tokenName }) => {
-        if (policy._tag == "None") {
+        if (policy == "") {
+            if (tokenName.length != 0) {
+                throw new Error("Unexpected tokenName for ADA policy in AssetClass.FromUplcData.decode()");
+            }
             return ADA;
         }
         else {
-            return policy.value + Encoding.encodeHex(tokenName);
+            return policy + Encoding.encodeHex(tokenName);
         }
     },
     encode: (assetClass) => {
@@ -57,10 +62,10 @@ export function pretty(assetClass) {
 }
 export function policy(assetClass) {
     if (assetClass.length == 0) {
-        return Option.none();
+        return "";
     }
     else {
-        return Option.some(assetClass.slice(0, 56));
+        return assetClass.slice(0, 56);
     }
 }
 export function tokenName(assetClass) {

package/dist/Cardano/Ledger/AssetClass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssetClass.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/AssetClass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,UAAU,OAAO,CAAC,UAAkB;IACxC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAA;IAE3B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAA;IACb,CAAC;SAAM,CAAC;QACN,OAAO,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC9E,CAAC;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,IAAI,EAAE,EAAE,CAAC;QACjB,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CACb,0DAA0D,CAC3D,CAAA;QACH,CAAC;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,MAAM;YACZ,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAe,CAAA;IACpE,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,IAAI,EAAE,EAAE,CAAC;YACjB,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACb,yEAAyE,CAC1E,CAAA;YACH,CAAC;YAED,OAAO,GAAG,CAAA;QACZ,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;QAC/C,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,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,EAAiC,CAAA;IAC1C,CAAC;SAAM,CAAC;QACN,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAgC,CAAA;IAC/D,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"}

package/dist/Cardano/Ledger/Assets.js

@@ -0,0 +1,235 @@
+import { Effect, Either, Schema } from "effect";
+import { TaggedError } from "effect/Data"; // imported like this to avoid name conflict with Data from Uplc
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/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 (const key in assets) {
+        if (!AssetClass.isValid(key)) {
+            return `Invalid AssetClass ${key}`;
+        }
+    }
+    return true;
+}));
+export const FromUplcData = (sortTokens = false) => Schema.transform(Data.PairArray(MintingPolicy.FromUplcData, Data.PairArray(Data.Hex, Data.BigInt)), Assets, {
+    strict: true,
+    decode: (outer) => {
+        const assets = {};
+        for (const [policy, inner] of outer) {
+            for (const [tokenName, quantity] of inner) {
+                assets[AssetClass.make(policy, tokenName)] = quantity;
+            }
+        }
+        return assets;
+    },
+    encode: (assets) => {
+        const outer = nestedRecords(assets);
+        return Object.entries(outer).map(([policy, inner]) => {
+            const tokenQtys = Object.entries(inner);
+            if (sortTokens) {
+                tokenQtys.sort(([a], [b]) => Bytes.compare(a, b, false));
+            }
+            return [
+                Effect.runSync(MintingPolicy.make(policy)),
+                tokenQtys
+            ];
+        });
+    }
+});
+function nestedRecords(assets) {
+    const outer = {};
+    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) => Either.gen(function* () {
+    const stream = Bytes.makeStream(bytes);
+    if (Cbor.isTuple(bytes)) {
+        const [lovelace, otherAssets] = yield* Cbor.decodeTuple([
+            Cbor.decodeInt,
+            Cbor.decodeMap(MintingPolicy.decode, Cbor.decodeMap(Cbor.decodeBytes, Cbor.decodeInt))
+        ])(stream);
+        const assets = {};
+        if (lovelace != 0n) {
+            assets[AssetClass.ADA] = lovelace;
+        }
+        for (const [policy, inner] of otherAssets) {
+            if (policy == "") {
+                return yield* Either.left(new Cbor.DecodeError(stream, "unexpected ADA assetclass in encoded non-ADA assets"));
+            }
+            for (const [tokenName, quantity] of inner) {
+                const assetClass = AssetClass.make(policy, tokenName);
+                assets[assetClass] = quantity;
+            }
+        }
+        return assets;
+    }
+    else {
+        return { [AssetClass.ADA]: yield* Cbor.decodeInt(stream) };
+    }
+});
+export function encode(assets) {
+    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) {
+    return Object.keys(assets);
+}
+export function nonAdaAssetClasses(assets) {
+    return allAssetClasses(assets).filter((ac) => ac != AssetClass.ADA);
+}
+export function policies(assets) {
+    return Array.from(new Set(allAssetClasses(assets).map(AssetClass.policy)));
+}
+export function nonAdaPolicies(assets) {
+    return Array.from(new Set(nonAdaAssetClasses(assets).map(AssetClass.policy)));
+}
+export function lovelace(assets) {
+    return assets[AssetClass.ADA] ?? 0n;
+}
+export const filterByPolicy = (policy) => (assets) => {
+    return Object.fromEntries(Object.entries(assets).filter(([ac]) => (policy == "" && ac == "") || (policy != "" && ac.startsWith(policy))));
+};
+export const filterPositive = (assets) => {
+    return Object.fromEntries(Object.entries(assets).filter(([, qty]) => qty > 0));
+};
+export const filterNegative = (assets) => {
+    return Object.fromEntries(Object.entries(assets).filter(([, qty]) => qty < 0));
+};
+/**
+ * Prunes zeroes
+ * @param xs
+ * @returns
+ */
+export function sum(...xs) {
+    return xs.reduce((prev, x) => {
+        const result = { ...prev };
+        Object.entries(x).forEach(([ac, qty]) => {
+            if (ac in result) {
+                const newQty = result[ac] + qty;
+                if (newQty != 0n) {
+                    result[ac] = newQty;
+                }
+                else {
+                    delete result[ac];
+                }
+            }
+            else if (qty != 0n) {
+                result[ac] = qty;
+            }
+        });
+        return result;
+    }, {});
+}
+export function add(a, b) {
+    return sum(a, b);
+}
+/**
+ * Prunes zeroes
+ * @param a
+ * @param b
+ * @returns
+ */
+export function subtract(a, b) {
+    const result = { ...a };
+    Object.entries(b).forEach(([ac, qty]) => {
+        if (ac in result) {
+            const newQty = result[ac] - qty;
+            if (newQty != 0n) {
+                result[ac] = newQty;
+            }
+            else {
+                delete result[ac];
+            }
+        }
+        else if (qty != 0n) {
+            result[ac] = -qty;
+        }
+    });
+    return result;
+}
+/**
+ * Prunes zeroes
+ * @param x
+ * @returns
+ */
+export function negate(x) {
+    const result = {};
+    Object.entries(x).forEach(([ac, qty]) => {
+        if (qty != 0n) {
+            result[ac] = -qty;
+        }
+    });
+    return result;
+}
+export function isEmpty(assets) {
+    return Object.keys(assets).length == 0;
+}
+export function allPositive(assets) {
+    return Object.values(assets).every((qty) => qty > 0n);
+}
+export class SomeNonPositive extends TaggedError("Cardano.Ledger.Assets.SomeNonPositive") {
+    constructor() {
+        super({ message: `Some assets have quantities <= 0` });
+    }
+}
+export function assertAllPositive(assets) {
+    if (!allPositive(assets)) {
+        return Effect.fail(new SomeNonPositive());
+    }
+    else {
+        return Effect.void;
+    }
+}
+/**
+ * Ignores ADA
+ * @param assets
+ * @returns
+ */
+export function countTokens(assets) {
+    return Object.keys(assets).filter((name) => name != "").length;
+}
+//# sourceMappingURL=Assets.js.map

package/dist/Cardano/Ledger/Assets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Assets.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Assets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA,CAAC,gEAAgE;AAC1G,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,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,CACL,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;IACvB,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,sBAAsB,GAAG,EAAE,CAAA;QACpC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CACH,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,aAAsB,KAAK,EAAE,EAAE,CAC1D,MAAM,CAAC,SAAS,CACd,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,MAAM,MAAM,GAA2B,EAAE,CAAA;QAEzC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YACpC,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;gBAC1C,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,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE;YACnD,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YAEvC,IAAI,UAAU,EAAE,CAAC;gBACf,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;YAC1D,CAAC;YAED,OAAO;gBACL,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC1C,SAAS;aACD,CAAA;QACZ,CAAC,CAAC,CAAA;IACJ,CAAC;CACF,CACF,CAAA;AAEH,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,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,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,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;YAC1C,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;gBACjB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,MAAM,EACN,qDAAqD,CACtD,CACF,CAAA;YACH,CAAC;YAED,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;gBAC1C,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,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,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAC5E,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;AACrC,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GACzB,CAAC,MAAmC,EAAE,EAAE,CACxC,CAAC,MAAc,EAAU,EAAE;IACzB,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAC3B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CACxE,CACQ,CAAA;AACb,CAAC,CAAA;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAc,EAAU,EAAE;IACvD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;AAChF,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAc,EAAU,EAAE;IACvD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;AAChF,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,UAAU,GAAG,CAAC,GAAG,EAAY;IACjC,OAAO,EAAE,CAAC,MAAM,CACd,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACV,MAAM,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,CAAA;QAE1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE;YACtC,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;gBACjB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;gBAE/B,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;oBACjB,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAA;gBACrB,CAAC;qBAAM,CAAC;oBACN,OAAO,MAAM,CAAC,EAAE,CAAC,CAAA;gBACnB,CAAC;YACH,CAAC;iBAAM,IAAI,GAAG,IAAI,EAAE,EAAE,CAAC;gBACrB,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;YAClB,CAAC;QACH,CAAC,CAAC,CAAA;QAEF,OAAO,MAAM,CAAA;IACf,CAAC,EACD,EAA4B,CAC7B,CAAA;AACH,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,CAAS;IACtC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,MAAM,MAAM,GAA2B,EAAE,GAAG,CAAC,EAAE,CAAA;IAE/C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE;QACtC,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;YAE/B,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;gBACjB,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAA;YACrB,CAAC;iBAAM,CAAC;gBACN,OAAO,MAAM,CAAC,EAAE,CAAC,CAAA;YACnB,CAAC;QACH,CAAC;aAAM,IAAI,GAAG,IAAI,EAAE,EAAE,CAAC;YACrB,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAA;QACnB,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,MAAM,MAAM,GAA2B,EAAE,CAAA;IAEzC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE;QACtC,IAAI,GAAG,IAAI,EAAE,EAAE,CAAC;YACd,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAA;QACnB,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAA;AACvD,CAAC;AAED,MAAM,OAAO,eAAgB,SAAQ,WAAW,CAC9C,uCAAuC,CACnB;IACpB;QACE,KAAK,CAAC,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC,CAAA;IACxD,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,EAAE,CAAC,CAAA;IAC3C,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;AAChE,CAAC"}

package/dist/Cardano/Ledger/Credential.js

@@ -0,0 +1,53 @@
+import { Either, Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import { Data } from "../Uplc";
+import * as PubKeyHash from "./PubKeyHash.js";
+import * as ValidatorHash from "./ValidatorHash.js";
+export const Credential = Schema.Union(Schema.TaggedStruct("PubKey", { hash: PubKeyHash.PubKeyHash }), Schema.TaggedStruct("Validator", { hash: ValidatorHash.ValidatorHash }));
+export function makePubKey(pkh) {
+    return { _tag: "PubKey", hash: pkh };
+}
+export function makeValidator(vh) {
+    return { _tag: "Validator", hash: vh };
+}
+export const FromUplcData = Schema.transform(Data.Enum({ PubKey: { hash: Data.Hex }, Validator: { hash: Data.Hex } }), Credential, {
+    strict: true,
+    decode: (cred) => cred,
+    encode: (cred) => cred
+});
+export function bytes(cred) {
+    return Either.getOrThrow(Encoding.decodeHex(cred.hash));
+}
+export const decode = (bytes) => Either.gen(function* () {
+    const [tag, decodeItem] = yield* Cbor.decodeTagged(bytes);
+    switch (tag) {
+        case 0:
+            return {
+                _tag: "PubKey",
+                hash: yield* decodeItem(PubKeyHash.decode)
+            };
+        case 1:
+            return {
+                _tag: "Validator",
+                hash: yield* decodeItem(ValidatorHash.decode)
+            };
+        default:
+            return yield* Either.left(new Cbor.DecodeError(Bytes.makeStream(bytes), `unexpected credential tag '${tag}'`));
+    }
+});
+export function encode(cred) {
+    switch (cred._tag) {
+        case "PubKey":
+            return Cbor.encodeTuple([Cbor.encodeInt(0), PubKeyHash.encode(cred.hash)]);
+        case "Validator":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(1),
+                ValidatorHash.encode(cred.hash)
+            ]);
+    }
+}
+export function equals(a, b) {
+    return a._tag == b._tag && a.hash == b.hash;
+}
+//# sourceMappingURL=Credential.js.map

package/dist/Cardano/Ledger/Credential.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Credential.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Credential.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CACpC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,EAC9D,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,aAAa,EAAE,CAAC,CACxE,CAAA;AAID,MAAM,UAAU,UAAU,CAAC,GAA0B;IACnD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAA+B;IAC3D,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;AAED,MAAM,UAAU,KAAK,CAAC,IAAgB;IACpC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;AACzD,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAAiC,EAAE,CAC9E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IAEzD,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;aAC3C,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC;aAC9C,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,8BAA8B,GAAG,GAAG,CACrC,CACF,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,IAAgB;IACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC5E,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;aAChC,CAAC,CAAA;IACN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAa,EAAE,CAAa;IACjD,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAA;AAC7C,CAAC"}