@helios-lang/effect 0.1.15 → 0.2.0

package/dist/Cardano/Ledger/TxHash.js

@@ -0,0 +1,38 @@
+import { Either, Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import { Data } from "../Uplc/index.js";
+export function isValid(hash) {
+    return hash.length == 64 && /^[0-9a-fA-F]+$/.test(hash);
+}
+export const TxHash = Schema.String.pipe(Schema.filter((id) => isValid(id) || "Invalid Cardano TxHash"), Schema.brand("TxHash"));
+export const FromUplcData = Schema.transform(Data.EnumVariant(0, {
+    bytes: Data.ByteArray
+}), TxHash, {
+    strict: true,
+    decode: ({ bytes }) => Encoding.encodeHex(bytes),
+    encode: (hex) => ({ bytes: Bytes.toUint8Array(hex) })
+});
+export const FromUplcDataV3 = Schema.transform(Data.Hex, TxHash, {
+    strict: true,
+    decode: (hex) => hex,
+    encode: (hex) => hex
+});
+export function make(txId) {
+    return Schema.decodeEither(TxHash)(Bytes.toHex(txId));
+}
+export const decode = (bytes) => Cbor.decodeBytes(bytes).pipe(Either.flatMap(make), Either.mapLeft((e) => {
+    if (e._tag == "ParseError") {
+        return new Cbor.DecodeError(Bytes.makeStream(bytes), e.message);
+    }
+    else {
+        return e;
+    }
+}));
+export function encode(txId) {
+    return Cbor.encodeBytes(txId);
+}
+export function compare(a, b) {
+    return Bytes.compare(a, b);
+}
+//# sourceMappingURL=TxHash.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TxHash.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxHash.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,kBAAkB,CAAA;AAEvC,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzD,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,wBAAwB,CAAC,EACtE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CACvB,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,KAAK,EAAE,IAAI,CAAC,SAAS;CACtB,CAAC,EACF,MAAM,EACN;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC;IAChD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;CACtD,CACF,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE;IAC/D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;IACpB,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACrB,CAAC,CAAA;AAEF,MAAM,UAAU,IAAI,CAAC,IAAqB;IACxC,OAAO,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA6B,EAAE,CAC1E,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EACpB,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,CAAC;QACN,OAAO,CAAC,CAAA;IACV,CAAC;AACH,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,IAAY;IACjC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAS,EAAE,CAAS;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC5B,CAAC"}

package/dist/Cardano/Ledger/TxOutput.js

@@ -0,0 +1,167 @@
+import { Effect, Either, Option, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import { Params } from "../Network";
+import * as Uplc from "../Uplc";
+import * as Address from "./Address.js";
+import * as Assets from "./Assets.js";
+import * as DatumHash from "./DatumHash.js";
+import * as TxOutputDatum from "./TxOutputDatum.js";
+import * as ValidatorHash from "./ValidatorHash.js";
+export const TxOutputEncodingConfig = Schema.Struct({
+    strictBabbage: Schema.optional(Schema.Boolean)
+});
+export const DEFAULT_TX_OUTPUT_ENCODING_CONFIG = {
+    strictBabbage: true
+};
+export const TxOutput = Schema.Struct({
+    address: Address.Address,
+    assets: Assets.Assets,
+    datum: Schema.optional(TxOutputDatum.TxOutputDatum),
+    refScript: Schema.optional(Schema.Union(Uplc.Script.ScriptV2, Uplc.Script.ScriptV3)),
+    encodingConfig: Schema.optional(Schema.Struct({
+        strictBabbage: Schema.optional(Schema.Boolean)
+    }))
+});
+export const FromUplcData = Schema.transform(Uplc.Data.EnumVariant(0, {
+    address: Address.FromUplcData,
+    assets: Assets.FromUplcData(true),
+    datum: TxOutputDatum.FromUplcData,
+    refScript: Uplc.Data.Option(ValidatorHash.FromUplcData)
+}), Schema.typeSchema(TxOutput), {
+    strict: true,
+    decode: ({ address, assets, datum }) => ({
+        address,
+        assets,
+        datum,
+        refScript: undefined
+    }),
+    encode: ({ address, assets, datum, refScript }) => ({
+        address,
+        assets,
+        datum,
+        refScript: refScript
+            ? Option.some(Uplc.Script.hash(refScript))
+            : Option.none()
+    })
+});
+export function make({ address, assets, datum = undefined, refScript = undefined, encodingConfig = DEFAULT_TX_OUTPUT_ENCODING_CONFIG }) {
+    return {
+        address,
+        assets,
+        datum,
+        refScript,
+        encodingConfig
+    };
+}
+export const decode = (bytes) => Either.gen(function* () {
+    const stream = Bytes.makeStream(bytes);
+    if (Cbor.isObject(bytes)) {
+        const { 0: address, 1: assets, 2: datum, 3: refScriptBytes } = yield* Cbor.decodeObjectIKey({
+            0: Address.decode,
+            1: Assets.decode,
+            2: TxOutputDatum.decode,
+            3: (stream) => Either.gen(function* () {
+                if ((yield* Cbor.decodeTag(stream)) != 24n) {
+                    return yield* Either.left(new Cbor.DecodeError(stream, "unexpected reference script tag"));
+                }
+                return yield* Cbor.decodeBytes(stream);
+            })
+        })(stream);
+        if (!address) {
+            return yield* Either.left(new Cbor.DecodeError(stream, "address field missing"));
+        }
+        if (!assets) {
+            return yield* Either.left(new Cbor.DecodeError(stream, "assets field missing"));
+        }
+        let refScript = undefined;
+        if (refScriptBytes) {
+            const [scriptType, decodeScript] = yield* Cbor.decodeTagged(refScriptBytes);
+            switch (scriptType) {
+                case 0:
+                    return yield* Either.left(new Cbor.DecodeError(stream, "unexpected Native ref script"));
+                case 1:
+                    return yield* Either.left(new Cbor.DecodeError(stream, "unexpected Uplc ScriptV1 ref script"));
+                case 2:
+                    // apparently tag 2 can also be used for V3 scripts
+                    refScript = yield* decodeScript((stream) => Either.gen(function* () {
+                        const { uplcVersion, root } = yield* Uplc.Script.decodeRoot(stream);
+                        if (uplcVersion == "1.1.0") {
+                            return { version: 3, root };
+                        }
+                        else {
+                            return { version: 2, root };
+                        }
+                    }));
+                    break;
+                case 3:
+                    refScript = yield* decodeScript(Uplc.Script.decode(3));
+                    break;
+                default:
+                    return yield* Either.left(new Cbor.DecodeError(stream, `unexpected script type ${scriptType}`));
+            }
+        }
+        return make({
+            address,
+            assets,
+            ...(datum ? { datum } : {}),
+            ...(refScript ? { refScript } : {}),
+            encodingConfig: { strictBabbage: true }
+        });
+    }
+    else if (Cbor.isTuple(bytes)) {
+        const [address, assets, datumHash] = yield* Cbor.decodeTuple([Address.decode, Assets.decode], [DatumHash.decode])(stream);
+        return make({
+            address,
+            assets,
+            ...(datumHash ? { _tag: "Hash", hash: datumHash } : {}),
+            encodingConfig: {
+                strictBabbage: false
+            }
+        });
+    }
+    else {
+        return yield* Either.left(new Cbor.DecodeError(stream, "unexpected TxOutput encoding"));
+    }
+});
+export function encode(output) {
+    if ((!output.datum || output.datum._tag == "Hash") &&
+        !output.refScript &&
+        (!output.encodingConfig ||
+            output.encodingConfig.strictBabbage == null ||
+            !output.encodingConfig.strictBabbage)) {
+        // this is needed to match eternl wallet (de)serialization (annoyingly eternl deserializes the tx and then signs its own serialization)
+        // hopefully cardano-cli signs whatever serialization we choose (so we use the eternl variant in order to be compatible with both)
+        const fields = [
+            Address.encode(output.address),
+            Assets.encode(output.assets)
+        ];
+        if (output.datum && output.datum._tag == "Hash") {
+            fields.push(DatumHash.encode(output.datum.hash));
+        }
+        return Cbor.encodeTuple(fields);
+    }
+    else {
+        const object = new Map();
+        object.set(0, Address.encode(output.address));
+        object.set(1, Assets.encode(output.assets));
+        if (output.datum) {
+            object.set(2, TxOutputDatum.encode(output.datum));
+        }
+        if (output.refScript) {
+            object.set(3, Cbor.encodeTag(24n).concat(Cbor.encodeBytes(Cbor.encodeTuple([
+                Cbor.encodeInt(BigInt(output.refScript.version)),
+                Uplc.Script.encode(output.refScript)
+            ]))));
+        }
+        return Cbor.encodeObjectIKey(object);
+    }
+}
+export const minLovelace = (output) => Params.params.pipe(Effect.map((p) => {
+    const lovelacePerByte = p.utxoDepositPerByte;
+    // 160 accounts for some database overhead?
+    const correctedSize = encode(output).length + 160;
+    return BigInt(correctedSize) * BigInt(lovelacePerByte);
+}));
+export const sumAssets = (...outputs) => Assets.sum(...outputs.map((output) => output.assets));
+//# sourceMappingURL=TxOutput.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TxOutput.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,SAAS,CAAA;AAC/B,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CAC/C,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,iCAAiC,GAA2B;IACvE,aAAa,EAAE,IAAI;CACpB,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,OAAO,CAAC,OAAO;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,aAAa,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC,QAAQ,CACxB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CACzD;IACD,cAAc,EAAE,MAAM,CAAC,QAAQ,CAC7B,MAAM,CAAC,MAAM,CAAC;QACZ,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;KAC/C,CAAC,CACH;CACF,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IACvB,OAAO,EAAE,OAAO,CAAC,YAAY;IAC7B,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC;IACjC,KAAK,EAAE,aAAa,CAAC,YAAY;IACjC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC;CACxD,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,EAAY,EAAE,CAAC,CAAC;QACjD,OAAO;QACP,MAAM;QACN,KAAK;QACL,SAAS,EAAE,SAAS;KACrB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAY,EAAE,EAAE,CAAC,CAAC;QAC5D,OAAO;QACP,MAAM;QACN,KAAK;QACL,SAAS,EAAE,SAAS;YAClB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1C,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;KAClB,CAAC;CACH,CACF,CAAA;AAED,MAAM,UAAU,IAAI,CAAC,EACnB,OAAO,EACP,MAAM,EACN,KAAK,GAAG,SAAS,EACjB,SAAS,GAAG,SAAS,EACrB,cAAc,GAAG,iCAAiC,EAOnD;IACC,OAAO;QACL,OAAO;QACP,MAAM;QACN,KAAK;QACL,SAAS;QACT,cAAc;KACf,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA+B,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,EACJ,CAAC,EAAE,OAAO,EACV,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,KAAK,EACR,CAAC,EAAE,cAAc,EAClB,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;YAC/B,CAAC,EAAE,OAAO,CAAC,MAAM;YACjB,CAAC,EAAE,MAAM,CAAC,MAAM;YAChB,CAAC,EAAE,aAAa,CAAC,MAAM;YACvB,CAAC,EAAE,CAAC,MAAM,EAA+B,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;oBAC3C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAChE,CAAA;gBACH,CAAC;gBAED,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;YACxC,CAAC,CAAC;SACL,CAAC,CAAC,MAAM,CAAC,CAAA;QAEV,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CACtD,CAAA;QACH,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CACrD,CAAA;QACH,CAAC;QAED,IAAI,SAAS,GACX,SAAS,CAAA;QAEX,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,GAC9B,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,CAAA;YAE1C,QAAQ,UAAU,EAAE,CAAC;gBACnB,KAAK,CAAC;oBACJ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAC7D,CAAA;gBACH,KAAK,CAAC;oBACJ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,MAAM,EACN,qCAAqC,CACtC,CACF,CAAA;gBACH,KAAK,CAAC;oBACJ,mDAAmD;oBACnD,SAAS,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,EAAE,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;wBAClB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GACzB,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;wBAEvC,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;4BAC3B,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAkC,CAAA;wBAC7D,CAAC;6BAAM,CAAC;4BACN,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAkC,CAAA;wBAC7D,CAAC;oBACH,CAAC,CAAC,CACH,CAAA;oBACD,MAAK;gBACP,KAAK,CAAC;oBACJ,SAAS,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;oBACtD,MAAK;gBACP;oBACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,MAAM,EACN,0BAA0B,UAAU,EAAE,CACvC,CACF,CAAA;YACL,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;YACV,OAAO;YACP,MAAM;YACN,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,cAAc,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;SACxC,CAAC,CAAA;IACJ,CAAC;SAAM,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAC1D,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAC/B,CAAC,SAAS,CAAC,MAAM,CAAC,CACnB,CAAC,MAAM,CAAC,CAAA;QAET,OAAO,IAAI,CAAC;YACV,OAAO;YACP,MAAM;YACN,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,cAAc,EAAE;gBACd,aAAa,EAAE,KAAK;aACrB;SACF,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAC7D,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,MAAgB;IACrC,IACE,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC;QAC9C,CAAC,MAAM,CAAC,SAAS;QACjB,CAAC,CAAC,MAAM,CAAC,cAAc;YACrB,MAAM,CAAC,cAAc,CAAC,aAAa,IAAI,IAAI;YAC3C,CAAC,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,EACvC,CAAC;QACD,uIAAuI;QACvI,kIAAkI;QAElI,MAAM,MAAM,GAAG;YACb,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;SAC7B,CAAA;QAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QAClD,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;IACjC,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAA0B,IAAI,GAAG,EAAE,CAAA;QAE/C,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;QAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;QAE3C,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;QACnD,CAAC;QAED,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,CACR,CAAC,EACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,CACxB,IAAI,CAAC,WAAW,CACd,IAAI,CAAC,WAAW,CAAC;gBACf,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAChD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;aACrC,CAAC,CACH,CACF,CACF,CAAA;QACH,CAAC;QAED,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAgB,EAAE,EAAE,CAC9C,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,MAAM,eAAe,GAAG,CAAC,CAAC,kBAAkB,CAAA;IAE5C,2CAA2C;IAC3C,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,GAAG,CAAA;IAEjD,OAAO,MAAM,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,CAAA;AACxD,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAG,OAAmB,EAAE,EAAE,CAClD,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA"}

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

@@ -1,10 +1,46 @@
-import { Effect, Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
-import * as Cbor from "../Cbor.js";
-import { Data } from "../Uplc";
+import { Either, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Data from "../Uplc/Data.js";
 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* () {
+export const FromUplcData = Schema.transform(Data.Enum({
+    None: {},
+    Hash: {
+        hash: DatumHash.FromUplcData
+    },
+    Inline: {
+        data: Schema.typeSchema(Data.Data)
+    }
+}), Schema.Union(TxOutputDatum, Schema.Undefined), {
+    strict: true,
+    decode: (data) => {
+        if (data._tag == "None") {
+            return undefined;
+        }
+        else {
+            return data;
+        }
+    },
+    encode: (datum) => {
+        if (datum === undefined) {
+            return { _tag: "None" };
+        }
+        else if (datum._tag == "Inline") {
+            return {
+                _tag: "Inline",
+                data: datum.data
+            };
+        }
+        else {
+            return {
+                _tag: "Hash",
+                hash: datum.hash
+            };
+        }
+    }
+});
+export const decode = (bytes) => Either.gen(function* () {
     const [type, decodeItem] = yield* Cbor.decodeTagged(bytes);
     switch (type) {
         case 0:
@@ -12,16 +48,16 @@ export const decode = (bytes) => Effect.gen(function* () {
         case 1:
             return {
                 _tag: "Inline",
-                data: yield* decodeItem((stream) => Effect.gen(function* () {
+                data: yield* decodeItem((stream) => Either.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* Either.left(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}`));
+            return yield* Either.left(new Cbor.DecodeError(Bytes.makeStream(bytes), `unhandled TxOutputDatum type ${type}`));
     }
 });
 export function encode(txOutputDatum) {

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

@@ -0,0 +1 @@
+{"version":3,"file":"TxOutputDatum.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/TxOutputDatum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,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,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,IAAI,CAAC;IACR,IAAI,EAAE,EAAE;IACR,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS,CAAC,YAAY;KAC7B;IACD,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;KACnC;CACF,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,EAC7C;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACxB,OAAO,SAAS,CAAA;QAClB,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,MAAe,EAAE,CAAA;QAClC,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YAClC,OAAO;gBACL,IAAI,EAAE,QAAiB;gBACvB,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO;gBACL,IAAI,EAAE,MAAe;gBACrB,IAAI,EAAE,KAAK,CAAC,IAA2B;aACxC,CAAA;QACH,CAAC;IACH,CAAC;CACF,CACF,CAAA;AAED,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/Cardano/Ledger/UTxO.js

@@ -0,0 +1,100 @@
+import { Effect, Either, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Network from "../Network";
+import * as Data from "../Uplc/Data.js";
+import * as Assets from "./Assets.js";
+import * as TxOutput from "./TxOutput.js";
+import * as UTxORef from "./UTxORef.js";
+export const UTxO = Schema.Struct({
+    ref: UTxORef.UTxORef,
+    output: TxOutput.TxOutput
+});
+export const FromUplcData = Schema.transform(Data.EnumVariant(0, {
+    ref: UTxORef.FromUplcData,
+    output: TxOutput.FromUplcData
+}), Schema.typeSchema(UTxO), {
+    strict: true,
+    decode: ({ ref, output }) => ({ ref, output }),
+    encode: ({ ref, output }) => ({ ref, output })
+});
+export const FromUplcDataV3 = Schema.transform(Data.EnumVariant(0, {
+    ref: UTxORef.FromUplcDataV3,
+    output: TxOutput.FromUplcData
+}), Schema.typeSchema(UTxO), {
+    strict: true,
+    decode: ({ ref, output }) => ({ ref, output }),
+    encode: ({ ref, output }) => ({ ref, output })
+});
+export function make(ref, output) {
+    return {
+        ref,
+        output
+    };
+}
+export const decode = (bytes) => Either.gen(function* () {
+    const stream = Bytes.makeStream(bytes);
+    if (yield* (yield* Cbor.decodeTupleLazy(stream.copy()))((bytes) => Either.right(Cbor.isBytes(bytes)))) {
+        return yield* UTxORef.decode(stream);
+    }
+    else if (yield* (yield* Cbor.decodeTupleLazy(stream.copy()))((bytes) => Either.right(Cbor.isTuple(bytes)))) {
+        return yield* decodeFull(stream);
+    }
+    else {
+        return yield* Either.left(new Cbor.DecodeError(stream, "unhandled UTxO encoding"));
+    }
+});
+export const decodeFull = (bytes) => Cbor.decodeTuple([UTxORef.decode, TxOutput.decode])(bytes).pipe(Either.map(([id, output]) => make(id, output)));
+export const encode = (options) => (utxo) => {
+    if (options.full === true) {
+        return Cbor.encodeTuple([
+            UTxORef.encode(utxo.ref),
+            TxOutput.encode(utxo.output)
+        ]);
+    }
+    else {
+        return UTxORef.encode(utxo.ref);
+    }
+};
+export const resolve = (options) => (utxo) => Effect.gen(function* () {
+    if (typeof utxo == "string") {
+        const getUTxO = yield* Network.UTxO;
+        return yield* getUTxO(utxo);
+    }
+    else if ("ref" in utxo) {
+        if (options.trusted === true) {
+            return utxo;
+        }
+        else {
+            const getUTxO = yield* Network.UTxO;
+            return yield* getUTxO(utxo.ref);
+        }
+    }
+    else {
+        throw new Error(`unexpected input to UTxO.resolve(): ${utxo}`);
+    }
+});
+export const resolveAll = (options) => (utxos) => Effect.all(utxos.map(resolve(options)));
+/**
+ * For sorting lists of UTxOs
+ * @param a
+ * @param b
+ */
+export function compare(a, b) {
+    return UTxORef.compare(a.ref, b.ref);
+}
+export const sumAssets = (...utxos) => Assets.sum(...utxos.map((utxo) => utxo.output.assets));
+export const difference = (set, exclude) => set.filter((utxo) => !exclude.some((e) => e.ref == utxo.ref));
+/**
+ * Resorts the list after appending
+ * @param list
+ * Not mutated
+ * @param utxo
+ * @returns
+ */
+export const append = (list, ...utxos) => {
+    const result = list.slice().concat(utxos);
+    result.sort(compare);
+    return result;
+};
+//# sourceMappingURL=UTxO.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"UTxO.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,OAAO,MAAM,YAAY,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,GAAG,EAAE,OAAO,CAAC,OAAO;IACpB,MAAM,EAAE,QAAQ,CAAC,QAAQ;CAC1B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,GAAG,EAAE,OAAO,CAAC,YAAY;IACzB,MAAM,EAAE,QAAQ,CAAC,YAAY;CAC9B,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EACvB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACpD,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;CACrD,CACF,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAC5C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,GAAG,EAAE,OAAO,CAAC,cAAc;IAC3B,MAAM,EAAE,QAAQ,CAAC,YAAY;CAC9B,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EACvB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACpD,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;CACrD,CACF,CAAA;AAED,MAAM,UAAU,IAAI,CAAC,GAAoB,EAAE,MAAyB;IAClE,OAAO;QACL,GAAG;QACH,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,KAAsB,EACqB,EAAE,CAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IACE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAClC,EACD,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;SAAM,IACL,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAClC,EACD,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAClC,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CACxD,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAsB,EAA2B,EAAE,CAC5E,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAC/C,CAAA;AAEH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAA2B,EAAE,EAAE,CAAC,CAAC,IAAU,EAAE,EAAE;IACpE,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,WAAW,CAAC;YACtB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YACxB,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SAC7B,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAClB,CAAC,OAA8B,EAAE,EAAE,CAAC,CAAC,IAA4B,EAAE,EAAE,CACnE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,OAAO,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;QACnC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7B,CAAC;SAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAA;QACb,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;YACnC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CACb,uCAAuC,IAAsB,EAAE,CAChE,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEN,MAAM,CAAC,MAAM,UAAU,GACrB,CAAC,OAA8B,EAAE,EAAE,CAAC,CAAC,KAAiC,EAAE,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAE3C;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,CAAO,EAAE,CAAO;IACtC,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;AACtC,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAG,KAAsB,EAAiB,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;AAExD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAoB,EAAE,OAAwB,EAAE,EAAE,CAC3E,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AAE/D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAqB,EAAE,GAAG,KAAa,EAAE,EAAE;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAEzC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAEpB,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

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

@@ -1,6 +1,6 @@
-import { Effect, Schema } from "effect";
-import * as Cbor from "../Cbor.js";
-import * as Uplc from "../Uplc/index.js";
+import { Either, Schema } from "effect";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Data from "../Uplc/Data.js";
 import * as TxHash from "./TxHash.js";
 export function isValid(ref) {
     if (ref.length < 65) {
@@ -21,9 +21,9 @@ export const UTxORef = Schema.transform(Schema.String, Schema.String.pipe(Schema
 export function make(txHash, index) {
     return (txHash + index.toString());
 }
-export const FromUplcData = Schema.transform(Uplc.Data.EnumVariant(0, {
+export const FromUplcData = Schema.transform(Data.EnumVariant(0, {
     txHash: TxHash.FromUplcData,
-    index: Uplc.Data.Int
+    index: Data.Int
 }), UTxORef, {
     strict: true,
     decode: ({ txHash, index: index }) => {
@@ -36,7 +36,22 @@ export const FromUplcData = Schema.transform(Uplc.Data.EnumVariant(0, {
         };
     }
 });
-export const decode = (bytes) => Cbor.decodeTuple([TxHash.decode, Cbor.decodeInt])(bytes).pipe(Effect.map(([txId, utxoIdx]) => make(txId, utxoIdx)));
+export const FromUplcDataV3 = Schema.transform(Data.EnumVariant(0, {
+    txHash: TxHash.FromUplcDataV3,
+    index: Data.Int
+}), UTxORef, {
+    strict: true,
+    decode: ({ txHash, index: index }) => {
+        return make(txHash, index);
+    },
+    encode: (ref) => {
+        return {
+            txHash: txHash(ref),
+            index: index(ref)
+        };
+    }
+});
+export const decode = (bytes) => Cbor.decodeTuple([TxHash.decode, Cbor.decodeInt])(bytes).pipe(Either.map(([txId, utxoIdx]) => make(txId, utxoIdx)));
 export function encode(ref) {
     return Cbor.encodeTuple([
         TxHash.encode(txHash(ref)),
@@ -52,4 +67,11 @@ export function txHash(ref) {
 export function index(ref) {
     return parseInt(ref.slice(64));
 }
+export function compare(a, b) {
+    const d = TxHash.compare(txHash(a), txHash(b));
+    if (d != 0) {
+        return d;
+    }
+    return index(a) - index(b);
+}
 //# sourceMappingURL=UTxORef.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"UTxORef.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/UTxORef.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACpB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAErC,IAAI,KAAK,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AACtC,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CACrC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,yBAAyB,CAAC,EACvE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CACxB,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,MAAqB,EAAE,KAAsB;IAChE,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAY,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,MAAM,CAAC,YAAY;IAC3B,KAAK,EAAE,IAAI,CAAC,GAAG;CAChB,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,GAAc,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,GAAc,CAAC;SAC7B,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAC5C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,MAAM,CAAC,cAAc;IAC7B,KAAK,EAAE,IAAI,CAAC,GAAG;CAChB,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,GAAc,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,GAAc,CAAC;SAC7B,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA8B,EAAE,CAC3E,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC3D,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,GAAY;IACjC,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;KAC3B,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAkB,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,GAAY;IAChC,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAChC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAU,EAAE,CAAU;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAE9C,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,CAAA;IACV,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;AAC5B,CAAC"}

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

@@ -1,20 +1,20 @@
-import { Effect, Encoding, Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
-import { decodeBytes, encodeBytes } from "../Cbor.js";
+import { Either, Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import { decodeBytes, encodeBytes } from "../../Codecs/Cbor.js";
 import { Data } from "../Uplc";
 export function isValid(vh) {
     return /^[0-9a-fA-F]+$/.test(vh) && vh.length == 56;
 }
 export const ValidatorHash = Schema.String.pipe(Schema.filter((vh) => isValid(vh) || "Invalid Cardano ValidatorHash"), Schema.brand("ValidatorHash"));
 export function make(bytes) {
-    return Schema.decode(ValidatorHash)(Bytes.toHex(bytes));
+    return Schema.decodeEither(ValidatorHash)(Bytes.toHex(bytes));
 }
 export const FromUplcData = Schema.transform(Data.ByteArray, ValidatorHash, {
     strict: true,
     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(Either.map((bytes) => new Uint8Array(bytes)), Either.map(Encoding.encodeHex), Either.map(Schema.decodeSync(ValidatorHash)));
 export function encode(vh) {
     return encodeBytes(vh);
 }

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

@@ -0,0 +1 @@
+{"version":3,"file":"ValidatorHash.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/ValidatorHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAC7E,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,YAAY,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/D,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 → Cardano/Ledger}/index.js

@@ -3,8 +3,13 @@ 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 DCert from "./DCert.js";
 export * as MintingPolicy from "./MintingPolicy.js";
+export * as NativeScript from "./NativeScript.js";
 export * as PubKeyHash from "./PubKeyHash.js";
+export * as Redeemer from "./Redeemer.js";
+export * as RewardAddress from "./RewardAddress.js";
+export * as Tx from "./Tx.js";
 export * as TxHash from "./TxHash.js";
 export * as UTxO from "./UTxO.js";
 export * as TxOutput from "./TxOutput.js";

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Cardano/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,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}

package/dist/Cardano/Network/IsMainnet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsMainnet.js","sourceRoot":"","sources":["../../../src/Cardano/Network/IsMainnet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAG3D;CAAG"}

package/dist/{Network → Cardano/Network}/Params.js

@@ -1,4 +1,4 @@
-import { Context, Schema } from "effect";
+import { Context, Effect, Schema } from "effect";
 import * as UTxORef from "../Ledger/UTxORef.js";
 /**
  * The raw JSON can be downloaded from the following CDN locations:
@@ -30,13 +30,37 @@ export const Params = Schema.Struct({
     maxTxSize: Schema.Number,
     secondsPerSlot: Schema.Number,
     stakeAddrDeposit: Schema.Number,
-    refTopSlot: Schema.Number,
+    refTipSlot: Schema.Number,
     refTipTime: Schema.Number,
     costModelParamsV1: Schema.Array(Schema.Number),
     costModelParamsV2: Schema.Array(Schema.Number),
     costModelParamsV3: Schema.Array(Schema.Number),
     collateralUTXO: Schema.optional(UTxORef.UTxORef)
 });
-export class Fetch extends Context.Tag("NetworkParamsFetch")() {
+export class params extends Context.Tag("Network.Params.params")() {
 }
+/**
+ * Calculates the time (in milliseconds in 01/01/1970) associated with a given slot number.
+ */
+export const slotToTime = (slot) => params.pipe(Effect.map((p) => {
+    const slotDiff = slot - p.refTipSlot;
+    return p.refTipTime + slotDiff * p.secondsPerSlot * 1000;
+}));
+/**
+ * Calculates the slot number associated with a given time. Time is specified as milliseconds since 01/01/1970.
+ */
+export const timeToSlot = (time) => params.pipe(Effect.map((p) => {
+    const timeDiff = time - p.refTipTime;
+    return p.refTipSlot + Math.round(timeDiff / (1000 * p.secondsPerSlot));
+}));
+export const costModel = (version) => params.pipe(Effect.map((p) => {
+    switch (version) {
+        case 1:
+            return p.costModelParamsV1;
+        case 2:
+            return p.costModelParamsV2;
+        case 3:
+            return p.costModelParamsV3;
+    }
+}));
 //# sourceMappingURL=Params.js.map

package/dist/Cardano/Network/Params.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Params.js","sourceRoot":"","sources":["../../../src/Cardano/Network/Params.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAE/C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,YAAY,EAAE,MAAM,CAAC,MAAM;IAC3B,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,kBAAkB,EAAE,MAAM,CAAC,MAAM;IACjC,oBAAoB,EAAE,MAAM,CAAC,MAAM;IACnC,oBAAoB,EAAE,MAAM,CAAC,MAAM;IACnC,mBAAmB,EAAE,MAAM,CAAC,MAAM;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,cAAc,EAAE,MAAM,CAAC,MAAM;IAC7B,gBAAgB,EAAE,MAAM,CAAC,MAAM;IAC/B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;CACjD,CAAC,CAAA;AAIF,MAAM,OAAO,MAAO,SAAQ,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,EAG7D;CAAG;AAEN;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACzC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAA;IAEpC,OAAO,CAAC,CAAC,UAAU,GAAG,QAAQ,GAAG,CAAC,CAAC,cAAc,GAAG,IAAI,CAAA;AAC1D,CAAC,CAAC,CACH,CAAA;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACzC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAA;IAEpC,OAAO,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAA;AACxE,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAkB,EAAE,EAAE,CAC9C,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,OAAO,CAAC,CAAC,iBAAiB,CAAA;QAC5B,KAAK,CAAC;YACJ,OAAO,CAAC,CAAC,iBAAiB,CAAA;QAC5B,KAAK,CAAC;YACJ,OAAO,CAAC,CAAC,iBAAiB,CAAA;IAC9B,CAAC;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/Cardano/Network/UTxO.js

@@ -0,0 +1,20 @@
+import { Context, Effect } from "effect";
+import { UTxONotFound } from "./errors.js";
+// TODO: add UTxONotFound and UTxOAlreadySpent errors
+class UTxO$ extends Context.Tag("Network.UTxO")() {
+}
+export { UTxO$ as UTxO };
+/**
+ * Usefuly for testing
+ * @param knownUTxOs
+ * @returns
+ */
+export const provideKnownUTxOs = (knownUTxOs) => Effect.provideService(UTxO$, (ref) => {
+    if (ref in knownUTxOs) {
+        return Effect.succeed(knownUTxOs[ref]);
+    }
+    else {
+        return Effect.fail(new UTxONotFound(ref));
+    }
+});
+//# sourceMappingURL=UTxO.js.map

package/dist/Cardano/Network/UTxO.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UTxO.js","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGxC,OAAO,EAIL,YAAY,EACb,MAAM,aAAa,CAAA;AAEpB,qDAAqD;AACrD,MAAM,KAAM,SAAQ,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAQ5C;CAAG;AAEN,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,UAAgC,EAAE,EAAE,CACpE,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,GAAY,EAAE,EAAE;IAC5C,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;IACxC,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3C,CAAC;AACH,CAAC,CAAC,CAAA"}

package/dist/Cardano/Network/UTxOsAt.js

@@ -0,0 +1,4 @@
+import { Context } from "effect";
+export class UTxOsAt extends Context.Tag("Network.UTxOsAt")() {
+}
+//# sourceMappingURL=UTxOsAt.js.map

package/dist/Cardano/Network/UTxOsAt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UTxOsAt.js","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxOsAt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAU,MAAM,QAAQ,CAAA;AAKxC,MAAM,OAAO,OAAQ,SAAQ,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAKxD;CAAG"}