@helios-lang/effect 0.3.0 → 0.4.33

package/dist/Cardano/ScriptContext.js

@@ -0,0 +1,264 @@
+import { Context, Effect, Option, ParseResult, Schema } from "effect";
+import { FromUplcData as DatumHashFromUplcData, hash as hashDatum } from "./Ledger/DatumHash.js";
+import { FromUplcData as MintingPolicyFromUplcData } from "./Ledger/MintingPolicy.js";
+import { FromUplcData as AssetsFromUplcData, nonAdaPolicies } from "./Ledger/Assets.js";
+import { FromUplcData as DCertFromUplcData } from "./Ledger/DCert.js";
+import { FromUplcData as PubKeyHashFromUplcData } from "./Ledger/PubKeyHash.js";
+import { Redeemer } from "./Ledger/Redeemer.js";
+import { FromUplcData as RewardAddressFromUplcData } from "./Ledger/RewardAddress.js";
+import { hash as hashTx, inputDatum } from "./Ledger/Tx.js";
+import { FromUplcData as TxHashFromUplcData, FromUplcDataV3 as TxHashFromUplcDataV3 } from "./Ledger/TxHash.js";
+import { FromUplcData as TxOutputFromUplcData } from "./Ledger/TxOutput.js";
+import { FromUplcData as UTxOFromUplcData, FromUplcDataV3 as UTxOFromUplcDataV3 } from "./Ledger/UTxO.js";
+import { FromUplcData as UTxORefFromUplcData, FromUplcDataV3 as UTxORefFromUplcDataV3 } from "./Ledger/UTxORef.js";
+import * as Params from "./Network/Params.js";
+import * as Data from "./Uplc/Data.js";
+import * as Value from "./Uplc/Value.js";
+export const makeArgs = (version, tx, redeemerIndex) => Effect.gen(function* () {
+    switch (version) {
+        case 1:
+            throw new Error("ScriptContext for UPLC v1 not supported");
+        case 2:
+            return yield* makeArgsV2(tx, redeemerIndex);
+        case 3:
+            return yield* makeArgsV3(tx, redeemerIndex);
+    }
+});
+const LovelaceFromData = Schema.transform(AssetsFromUplcData(false), Schema.BigIntFromSelf, {
+    strict: true,
+    decode: (assets) => assets[""],
+    encode: (fee) => ({ "": fee })
+});
+/**
+ * in V2, 0 lovelace is prepended
+ */
+const MintedAssetsV2 = Schema.transform(AssetsFromUplcData(true), Schema.typeSchema(AssetsFromUplcData(true)), {
+    strict: true,
+    decode: (assets) => assets,
+    encode: (assets) => ({ "": 0n, ...assets })
+});
+const ValiditySlotRange = Schema.transformOrFail(Data.TimeRange, Schema.Struct({
+    firstValidSlot: Schema.optional(Schema.Int),
+    lastValidSlot: Schema.optional(Schema.Int)
+}), {
+    strict: true,
+    decode: (tr) => Effect.zip(Number.isFinite(tr.start)
+        ? Params.timeToSlot(tr.start)
+        : Effect.succeed(undefined), Number.isFinite(tr.end)
+        ? Params.timeToSlot(tr.end)
+        : Effect.succeed(undefined)).pipe(Effect.map(([firstValidSlot, lastValidSlot]) => ({
+        firstValidSlot,
+        lastValidSlot
+    }))),
+    encode: (tr) => Effect.zip(tr.firstValidSlot === undefined
+        ? Effect.succeed(Number.NEGATIVE_INFINITY)
+        : Params.slotToTime(tr.firstValidSlot), tr.lastValidSlot === undefined
+        ? Effect.succeed(Number.POSITIVE_INFINITY)
+        : Params.slotToTime(tr.lastValidSlot)).pipe(Effect.map(([start, end]) => ({ start, end })))
+});
+const TxInfoV2 = Data.EnumVariant(0, {
+    inputs: Data.Array(UTxOFromUplcData),
+    refInputs: Data.Array(UTxOFromUplcData),
+    outputs: Data.Array(TxOutputFromUplcData),
+    fee: LovelaceFromData,
+    minted: MintedAssetsV2,
+    dcerts: Data.Array(DCertFromUplcData),
+    withdrawals: Data.PairArray(RewardAddressFromUplcData, Data.BigInt),
+    validityTimeRange: ValiditySlotRange,
+    signers: Data.Array(PubKeyHashFromUplcData),
+    redeemers: Data.PairArray(Data.Data, Data.Data),
+    datums: Data.PairArray(DatumHashFromUplcData, Data.Data),
+    txHash: Data.EnumVariant(0, { hash: TxHashFromUplcData })
+});
+/**
+ * Only use for testing!
+ */
+export const TxInfoV3 = Data.EnumVariant(0, {
+    inputs: Data.Array(UTxOFromUplcDataV3),
+    refInputs: Data.Array(UTxOFromUplcDataV3),
+    outputs: Data.Array(TxOutputFromUplcData),
+    fee: LovelaceFromData,
+    minted: AssetsFromUplcData(true),
+    dcerts: Data.Array(DCertFromUplcData),
+    withdrawals: Data.PairArray(RewardAddressFromUplcData, Data.BigInt),
+    validityTimeRange: ValiditySlotRange,
+    signers: Data.Array(PubKeyHashFromUplcData),
+    redeemers: Data.PairArray(Data.Data, Data.Data),
+    datums: Data.PairArray(DatumHashFromUplcData, Data.Data),
+    txHash: TxHashFromUplcDataV3,
+    votes: Data.PairArray(Data.Data, Data.Data), // TODO
+    proposalProcedures: Data.Array(Data.Data), // TODO
+    currentTreasuryAmount: Data.Option(Data.Data), // TODO
+    treasuryDonation: Data.Option(Data.Data) // TODO
+});
+/**
+ * Exported for testing
+ */
+export class CurrentTx extends Context.Tag("Cardano.Uplc.ScriptContext.CurrentTx")() {
+}
+/**
+ * Uses same tags as Redeemer to make encoding easy
+ */
+const PurposeV2 = Schema.transformOrFail(Data.Enum({
+    Minting: {
+        policy: MintingPolicyFromUplcData
+    },
+    Spending: {
+        ref: UTxORefFromUplcData
+    },
+    Rewarding: {
+        address: RewardAddressFromUplcData
+    },
+    Certifying: {
+        dcert: DCertFromUplcData
+    }
+}), Schema.typeSchema(Redeemer), {
+    strict: true,
+    decode: (purpose, _, ast) => ParseResult.fail(new ParseResult.Forbidden(ast, purpose, "Can't decode purpose into redeemer.")),
+    encode: (redeemer) => CurrentTx.pipe(Effect.map((tx) => {
+        switch (redeemer._tag) {
+            case "Minting":
+                return {
+                    _tag: "Minting",
+                    policy: nonAdaPolicies(tx.body.minted)[redeemer.policyIndex]
+                };
+            case "Spending":
+                return {
+                    _tag: "Spending",
+                    ref: tx.body.inputs[redeemer.inputIndex].ref
+                };
+            case "Rewarding":
+                return {
+                    _tag: "Rewarding",
+                    address: tx.body.withdrawals[redeemer.withdrawalIndex][0]
+                };
+            case "Certifying":
+                return {
+                    _tag: "Certifying",
+                    dcert: tx.body.dcerts[redeemer.dcertIndex]
+                };
+        }
+    }))
+});
+/**
+ * TODO: add voting and proposing redeemers
+ *
+ * Only exported for testing
+ */
+export const PurposeV3 = Schema.transformOrFail(Data.Enum({
+    Minting: {
+        policy: MintingPolicyFromUplcData
+    },
+    Spending: {
+        ref: UTxORefFromUplcDataV3,
+        datum: Data.Option(Data.Data)
+    },
+    Rewarding: {
+        address: RewardAddressFromUplcData
+    },
+    Certifying: {
+        dcert: DCertFromUplcData
+    }
+}), Schema.typeSchema(Redeemer), {
+    strict: true,
+    decode: (purpose, _, ast) => ParseResult.fail(new ParseResult.Forbidden(ast, purpose, "Can't decode purpose into redeemer.")),
+    encode: (redeemer) => CurrentTx.pipe(Effect.map((tx) => {
+        switch (redeemer._tag) {
+            case "Minting":
+                return {
+                    _tag: "Minting",
+                    policy: nonAdaPolicies(tx.body.minted)[redeemer.policyIndex]
+                };
+            case "Spending": {
+                return {
+                    _tag: "Spending",
+                    ref: tx.body.inputs[redeemer.inputIndex].ref,
+                    datum: Option.fromNullable(inputDatum(redeemer.inputIndex)(tx))
+                };
+            }
+            case "Rewarding":
+                return {
+                    _tag: "Rewarding",
+                    address: tx.body.withdrawals[redeemer.withdrawalIndex][0]
+                };
+            case "Certifying":
+                return {
+                    _tag: "Certifying",
+                    dcert: tx.body.dcerts[redeemer.dcertIndex]
+                };
+        }
+    }))
+});
+const makeArgsV2 = (tx, redeemerIndex) => Effect.gen(function* () {
+    const redeemer = tx.witnesses.redeemers[redeemerIndex];
+    const purposes = yield* Effect.all(tx.witnesses.redeemers.map((r) => Schema.encode(PurposeV2)(r))).pipe(Effect.provideService(CurrentTx, tx));
+    const purpose = purposes[redeemerIndex];
+    const txInfo = yield* Schema.encode(TxInfoV2)({
+        inputs: tx.body.inputs,
+        refInputs: tx.body.refInputs,
+        outputs: tx.body.outputs,
+        fee: tx.body.fee,
+        minted: tx.body.minted,
+        dcerts: tx.body.dcerts,
+        withdrawals: tx.body.withdrawals,
+        validityTimeRange: {
+            firstValidSlot: tx.body.firstValidSlot,
+            lastValidSlot: tx.body.lastValidSlot
+        },
+        signers: tx.body.signers,
+        redeemers: tx.witnesses.redeemers.map((r, i) => [purposes[i], r.data]),
+        datums: tx.witnesses.datums.map((d) => [hashDatum(d), d]),
+        txHash: { hash: hashTx(tx) }
+    });
+    const scriptContext = Data.makeConstrData(0, [txInfo, purpose]);
+    switch (redeemer._tag) {
+        case "Certifying":
+        case "Minting":
+        case "Rewarding":
+            return [
+                { data: redeemer.data },
+                { data: scriptContext }
+            ];
+        case "Spending": {
+            const datum = inputDatum(redeemer.inputIndex)(tx);
+            if (datum === undefined) {
+                throw new Error(`No datum found for input ${redeemer.inputIndex}`);
+            }
+            return [
+                { data: datum },
+                { data: redeemer.data },
+                { data: scriptContext }
+            ];
+        }
+    }
+});
+const makeArgsV3 = (tx, redeemerIndex) => Effect.gen(function* () {
+    const redeemer = tx.witnesses.redeemers[redeemerIndex];
+    const purposes = yield* Effect.all(tx.witnesses.redeemers.map((r) => Schema.encode(PurposeV3)(r))).pipe(Effect.provideService(CurrentTx, tx));
+    const purpose = purposes[redeemerIndex];
+    const txInfo = yield* Schema.encode(TxInfoV3)({
+        inputs: tx.body.inputs,
+        refInputs: tx.body.refInputs,
+        outputs: tx.body.outputs,
+        fee: tx.body.fee,
+        minted: tx.body.minted,
+        dcerts: tx.body.dcerts,
+        withdrawals: tx.body.withdrawals,
+        validityTimeRange: {
+            firstValidSlot: tx.body.firstValidSlot,
+            lastValidSlot: tx.body.lastValidSlot
+        },
+        signers: tx.body.signers,
+        redeemers: tx.witnesses.redeemers.map((r, i) => [purposes[i], r.data]),
+        datums: tx.witnesses.datums.map((d) => [hashDatum(d), d]),
+        txHash: hashTx(tx),
+        votes: [],
+        proposalProcedures: [],
+        currentTreasuryAmount: Option.none(),
+        treasuryDonation: Option.none()
+    });
+    return [
+        { data: Data.makeConstrData(0, [txInfo, redeemer.data, purpose]) }
+    ];
+});
+//# sourceMappingURL=ScriptContext.js.map

package/dist/Cardano/ScriptContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScriptContext.js","sourceRoot":"","sources":["../../src/Cardano/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrE,OAAO,EACL,YAAY,IAAI,qBAAqB,EACrC,IAAI,IAAI,SAAS,EAClB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,2BAA2B,CAAA;AACrF,OAAO,EACL,YAAY,IAAI,kBAAkB,EAElC,cAAc,EACf,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,YAAY,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrE,OAAO,EAAE,YAAY,IAAI,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAA;AAC/C,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,2BAA2B,CAAA;AACrF,OAAO,EAAW,IAAI,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AACpE,OAAO,EACL,YAAY,IAAI,kBAAkB,EAClC,cAAc,IAAI,oBAAoB,EACvC,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,YAAY,IAAI,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAC3E,OAAO,EACL,YAAY,IAAI,gBAAgB,EAChC,cAAc,IAAI,kBAAkB,EACrC,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,YAAY,IAAI,mBAAmB,EACnC,cAAc,IAAI,qBAAqB,EACxC,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAA;AACtC,OAAO,KAAK,KAAK,MAAM,iBAAiB,CAAA;AAExC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAkB,EAAE,EAAM,EAAE,aAAqB,EAAE,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QAC5D,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;QAC7C,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;IAC/C,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,CACvC,kBAAkB,CAAC,KAAK,CAAC,EACzB,MAAM,CAAC,cAAc,EACrB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;CACvC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CACrC,kBAAkB,CAAC,IAAI,CAAC,EACxB,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAC3C;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;IAC1B,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC;CAC5C,CACF,CAAA;AAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,eAAe,CAC9C,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,MAAM,CAAC;IACZ,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;CAC3C,CAAC,EACF;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAC7B,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC;QAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAC9B,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/C,cAAc;QACd,aAAa;KACd,CAAC,CAAC,CACJ;IACH,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,EAAE,CAAC,cAAc,KAAK,SAAS;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EACxC,EAAE,CAAC,aAAa,KAAK,SAAS;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,CACxC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAkB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CACzE,CACF,CAAA;AAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IACnC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACpC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACvC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,cAAc;IACtB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;IACnE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;CAC1D,CAAC,CAAA;AAIF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAC1C,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACtC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACzC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC;IAChC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;IACnE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,oBAAoB;IAC5B,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACpD,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IAClD,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACtD,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO;CACjD,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CACxC,sCAAsC,CACvC,EAAiB;CAAG;AAErB;;GAEG;AACH,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CACtC,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,mBAAmB;KACzB;IACD,SAAS,EAAE;QACT,OAAO,EAAE,yBAAyB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,WAAW,CAAC,IAAI,CACd,IAAI,WAAW,CAAC,SAAS,CACvB,GAAG,EACH,OAAO,EACP,qCAAqC,CACtC,CACF;IACH,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU;gBACb,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;iBAC7C,CAAA;YACH,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;iBAC1D,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAC7C,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,qBAAqB;QAC1B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;KAC9B;IACD,SAAS,EAAE;QACT,OAAO,EAAE,yBAAyB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,WAAW,CAAC,IAAI,CACd,IAAI,WAAW,CAAC,SAAS,CACvB,GAAG,EACH,OAAO,EACP,qCAAqC,CACtC,CACF;IACH,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;oBAC5C,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;iBAChE,CAAA;YACH,CAAC;YACD,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;iBAC1D,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW;QAChC,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE;KAC7B,CAAC,CAAA;IAEF,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAE/D,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO;gBACL,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAA;YAEjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;YACpE,CAAC;YAED,OAAO;gBACL,EAAE,IAAI,EAAE,KAAK,EAAE;gBACf,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW;QAChC,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAClB,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE;QACtB,qBAAqB,EAAE,MAAM,CAAC,IAAI,EAAE;QACpC,gBAAgB,EAAE,MAAM,CAAC,IAAI,EAAE;KAChC,CAAC,CAAA;IAEF,OAAO;QACL,EAAE,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;KAC3C,CAAA;AAC3B,CAAC,CAAC,CAAA"}

package/dist/Cardano/TxBuilder.js

@@ -1,8 +1,10 @@
 import { Console, Context, Data, Effect } from "effect";
+import { Bytes } from "../Codecs/index.js";
 import * as CoinSelection from "./CoinSelection.js";
-import { Address, Assets, DCert, MintingPolicy, NativeScript, RewardAddress, Tx, TxOutput, UTxO } from "./Ledger";
-import * as Network from "./Network";
-import * as Uplc from "./Uplc";
+import { Address, AssetClass, Assets, Credential, DatumHash, DCert, MintingPolicy, NativeScript, PubKeyHash, Redeemer, RewardAddress, Tx, TxOutput, UTxO, UTxORef, ValidatorHash } from "./Ledger/index.js";
+import * as Network from "./Network/index.js";
+import * as ScriptContext from "./ScriptContext.js";
+import * as Uplc from "./Uplc/index.js";
 import { Balancing as BalancingWallet } from "./Wallet.js";
 export class UTxOAlreadyAdded extends Data.TaggedError("Cardano.TxBuilder.UTxOAlreadyAdded") {
     constructor(ref) {
@@ -192,7 +194,7 @@ export const mint = (assets, redeemer = undefined) => (b) => Effect.gen(function
             if (!hasUplcScript(b, hash)) {
                 return yield* Effect.fail(new MissingScript(hash));
             }
-            addMintingRedeemer(b, policy, redeemer);
+            b = yield* addMintingRedeemer(b, policy, redeemer);
         }
         else {
             if (!hasNativeScript(b, hash)) {
@@ -257,7 +259,7 @@ export const spend = (utxos, redeemer = undefined) => (b) => Effect.gen(function
             if (!datum && !hasDatumlessScript(b, spendingCred.hash)) {
                 return yield* Effect.fail(new MissingDatum());
             }
-            if (datum && datum._tag == "Hash") {
+            if (datum && "hash" in datum) {
                 // provide datum through service
                 const getDatum = yield* GetDatum;
                 const datumData = yield* getDatum(datum.hash);
@@ -609,6 +611,7 @@ export const build = (options = {}) => (b) => Effect.gen(function* () {
      * Calculate the validity time range slots
      */
     const { firstValidSlot, lastValidSlot } = yield* buildValidityTimeRange;
+    yield* Console.log(`Built validatity slots: ${firstValidSlot}:${lastValidSlot}`);
     /**
      * Make sure the outputs contain enough lovelace
      */
@@ -661,10 +664,17 @@ export const build = (options = {}) => (b) => Effect.gen(function* () {
         isValid: false,
         metadata
     };
+    yield* Console.log("validating outputs...");
+    for (const output of outputs) {
+        yield* Console.log(`Output lovelace: ${output.assets[""]?.toString()}`);
+    }
+    yield* Tx.validateOutputs(true)(tx);
+    yield* Console.log(`Initialized tx`);
     /**
      * The redeemer indices depend on some tx body fields, so are initialized after the init tx is created
      */
     tx = yield* buildRedeemersWithoutCost(tx);
+    yield* Console.log(`Built redeemers without cost`);
     /**
      * Now in a loop the transaction is updated:
      *   - fee is set to min fee
@@ -676,12 +686,19 @@ export const build = (options = {}) => (b) => Effect.gen(function* () {
      * The loop continues as long as the tx.fee field is smaller than the min required field.
      * We know that this loop will run at least once because initially tx.fee=0n, ensuring the tx is balanced
      */
+    yield* Console.log(`Start loop`);
     while (tx.body.fee < (yield* Tx.minFee(tx))) {
+        yield* Console.log(`Updating fee`);
         tx = yield* updateFee(tx);
+        yield* Console.log(`Updated fee`);
         tx = yield* balanceTx(tx);
+        yield* Console.log(`Balanced tx`);
         tx = yield* buildRedeemersWithCost(tx);
+        yield* Console.log(`Built redeemers with cost`);
         tx = yield* updateScriptDataHash(tx);
+        yield* Console.log(`Updated script hash`);
     }
+    yield* Console.log(`End loop`);
     /**
      * Sign using balancing wallet
      */
@@ -726,18 +743,29 @@ const buildNonChangeOutputs = Effect.gen(function* () {
     const b = yield* CurrentTxBuilder;
     const outputs = b.outputs.slice();
     for (let i = 0; i < outputs.length; i++) {
-        const output = outputs[i];
-        const lovelace = yield* TxOutput.minLovelace(output);
-        if (lovelace > output.assets[""]) {
-            outputs[i] = {
+        let output = outputs[i];
+        let lovelace = yield* TxOutput.minLovelace(output);
+        // iterate, because including lovelace value requires more lovelace itself
+        while (lovelace > (output.assets[""] ?? 0n)) {
+            yield* Console.log(`Updated output ${i} to contain ${lovelace} lovelace (${"" in output.assets ? `contained only ${output.assets[""]} before` : `didn't contain any lovelace before`})`);
+            output = {
                 ...output,
                 assets: {
                     ...output.assets,
                     "": lovelace
                 }
             };
+            outputs[i] = output;
+            lovelace = yield* TxOutput.minLovelace(output);
         }
     }
+    // sort all assets
+    for (let i = 0; i < outputs.length; i++) {
+        outputs[i] = {
+            ...outputs[i],
+            assets: Assets.sort()(outputs[i].assets)
+        };
+    }
     return outputs;
 });
 const selectCollateralInputs = Effect.gen(function* () {
@@ -802,6 +830,7 @@ const buildRedeemersWithCost = (tx) => Effect.gen(function* () {
      * Rebuild the redeemers to make sure the indices point to the correct policy/input/withdrawal/dcert
      */
     tx = yield* buildRedeemersWithoutCost(tx);
+    yield* Console.log("rebuilt redeemers without cost");
     /**
      * Now calculate the cost of each redeemer
      */
@@ -842,11 +871,26 @@ const redeemerValidatorHash = (redeemer) => {
     }
 };
 const profileRedeemer = (b, tx) => (vh, redeemerIndex) => Effect.gen(function* () {
+    yield* Console.log(`Profiling redeemer of ${vh}`);
     const script = getUplcScript(b, vh);
-    const args = yield* Uplc.ScriptContext.makeArgs(script.version, tx, redeemerIndex);
+    const args = yield* ScriptContext.makeArgs(script.version, tx, redeemerIndex);
     const costModel = yield* Network.Params.costModel(script.version);
+    yield* Console.log(`Evaluating script`);
     const profile = yield* Uplc.Script.eval(script, args, costModel);
+    yield* Console.log(`Done evaluating script`);
     if (profile.value._tag == "Left") {
+        yield* Console.log(profile.value.left);
+        yield* Console.error(`Script evaluation failed`);
+        yield* Console.log(`Script cborHex: ${Bytes.toHex(script.root)}`);
+        for (const arg of args) {
+            if (Uplc.Value.isData(arg)) {
+                yield* Console.log(Bytes.toHex(Uplc.Data.encode(arg.data)));
+            }
+            else {
+                yield* Console.log(arg);
+            }
+        }
+        yield* Console.log(``);
         // TODO: return a RuntimeError with nice stack trace
         return yield* Effect.fail(new Error(profile.value.left.error));
     }
@@ -880,21 +924,35 @@ const selectCoinsForBalancing = CoinSelection.smallestFirst({
     allowSelectingUninvolvedAssets: true
 });
 const balanceTx = (tx) => Effect.gen(function* () {
+    yield* Console.log("Balancing tx...");
+    const balancingWallet = yield* BalancingWallet;
+    const changeAddress = yield* balancingWallet.changeAddress;
+    const spareUTxOs = yield* balancingWallet.utxos;
+    /**
+     * Lookup or create the change output (TODO: support multiple change outputs?)
+     */
+    let changeOutput = tx.body.outputs.find((output) => output.address == changeAddress &&
+        output.datum === undefined &&
+        output.refScript === undefined);
+    const nonChangeOutputs = tx.body.outputs.filter((output) => output != changeOutput);
+    /**
+     * Create the change output if no change output was found
+     */
+    if (changeOutput === undefined) {
+        changeOutput = {
+            address: changeAddress,
+            assets: {}
+        };
+    }
     const inputAssets = UTxO.sumAssets(...tx.body.inputs);
-    const outputAssets = Assets.sum(...tx.body.outputs.map((output) => output.assets));
+    // don't count the changeOutput!
+    const outputAssets = Assets.sum(...nonChangeOutputs.map((output) => output.assets));
     const feeAssets = { "": tx.body.fee };
     const mintedAssets = tx.body.minted;
+    yield* Console.log("Summing assets...");
     let net = Assets.sum(inputAssets, mintedAssets, Assets.negate(outputAssets), Assets.negate(feeAssets));
-    /**
-     * Return if already balanced
-     */
-    if (Assets.isEmpty(net)) {
-        return tx;
-    }
-    const balancingWallet = yield* BalancingWallet;
-    const changeAddress = yield* balancingWallet.changeAddress;
-    const spareUTxOs = yield* balancingWallet.utxos;
     const selectAndAddInputs = (amount) => Effect.gen(function* () {
+        yield* Console.log("Selecting coins...");
         const extraInputs = yield* selectCoinsForBalancing(UTxO.difference(spareUTxOs ?? [], tx.body.inputs.concat(tx.body.refInputs)), amount);
         net = Assets.add(net, UTxO.sumAssets(...extraInputs));
         tx = {
@@ -912,38 +970,26 @@ const balanceTx = (tx) => Effect.gen(function* () {
         yield* selectAndAddInputs(Assets.negate(Assets.filterNegative(net)));
     }
     /**
-     * Handle the unlikely event that the tx is already balanced with the extraInputs
+     * `net` must be positive at this point
      */
-    if (Assets.isEmpty(net)) {
-        return tx;
+    if (!Assets.isEmpty(Assets.filterNegative(net))) {
+        throw new Error("net not positive");
     }
     if (Address.isValidator(changeAddress)) {
         throw new Error("can't send change to validator");
     }
-    /**
-     * Lookup or create the change output (TODO: support multiple change outputs?)
-     */
-    let changeOutput = tx.body.outputs.find((output) => output.address == changeAddress &&
-        output.datum === undefined &&
-        output.refScript === undefined);
-    const nonChangeOutputs = tx.body.outputs.filter((output) => output != changeOutput);
-    /**
-     * Create the change output if no change output was found
-     */
-    if (changeOutput === undefined) {
-        changeOutput = {
-            address: changeAddress,
-            assets: Assets.filterPositive(net)
-        };
-        net = {};
-    }
+    changeOutput = {
+        ...changeOutput,
+        assets: Assets.sort()(net)
+    };
+    net = {};
     const minLovelace = yield* TxOutput.minLovelace(changeOutput);
     let diff = minLovelace - (changeOutput.assets[""] ?? 0n);
     while (diff > 0n) {
-        yield* selectAndAddInputs({ "": diff });
+        yield* selectAndAddInputs(Assets.add({ "": diff }, Assets.negate(Assets.filterNegative(changeOutput.assets))));
         changeOutput = {
             ...changeOutput,
-            assets: Assets.add(changeOutput.assets, Assets.filterPositive(net))
+            assets: Assets.sort()(Assets.add(changeOutput.assets, net))
         };
         net = {};
         diff =