@helios-lang/effect 0.4.39 → 0.4.40

package/dist/Cardano/Contract.js

@@ -0,0 +1,288 @@
+import { Context, Effect, Schema } from "effect";
+import { Bytes } from "../Codecs/index.js";
+import { Address, Assets, PubKeyHash, RewardAddress, Tx, ValidatorHash, UTxO, UTxORef } from "./Ledger/index.js";
+import { Data, Script, Value } from "./Uplc/index.js";
+import * as Network from "./Network/index.js";
+import * as TxBuilder from "./TxBuilder.js";
+/**
+ * A 'Contract' is a special validator which can be 'upgraded'
+ */
+const cborHex = "010100223232323232323232323232323232325333573466e1c00d200013300d3375e6ae84d55cf1baa333300f00f37586ae8401400520000114910e73656564206e6f74207370656e740013232325333573466e1c01920021323357366602266601e01e6eacd5d09aba20010024911c6f757470757420646f65736e277420636f6e7461696e20746f6b656e003357366602266ebcd5d09aab9e37546ae84004cdd2a400466ae80008dd8a4c9201136f7574707574206e6f742072657475726e656400323357366660180020140086602466ebc004cccc050050dd61aba135573c6ea8d5d09aba2357440046eb4d5d09aba2357446ae88d5d1003a400092011d7769746e657373206e6f742070726573656e7420696e206f757470757400333300d37586ae84024014008010d55cf1baa333301201237586ae84d5d11aba2008375a6ae84d5d11aba23574400a9000099980519998061bac357426ae8802001000400c020008c8c8c8c94ccd5cd19b87002480004c94ccd5cd1998090091bab357426ae88d5d11aba23574400a0022602a92011063616e2774206d696e7420746f6b656e001001357420022a666ae68cdc38012400426ae84d55cf1baa357426aae78dd51aba135573c6ea8d5d09aba235573c6ea8ccc040040dd61aba1004357420022a666ae68cdc38012400826ae84d55cf1baa357426aae78dd51aba100115333573466e1c0092006132325333573466e20d55ce8012401026ae84d55cf1baa3574200226ae84d55cf1baa357426aae78dd51aba100135573c0026ea8d5d09aba200115333573466e1c00920081357426aae78dd51aba135573c6ea8d5d09aab9e37546ae840044c05124113756e737570706f7274656420707572706f73650035573c0046aae74004dd51aba1357446ae8802401cdd69aba1357446ae8800cdd69aba1357440046eb4d5d08009aab9e00235573a0026ea8d5d09aba200235573c6ea8d5d08009aab9e37540144446464a666ae68cdc39aab9d002480004cc02ccdd799998068069bac357426ae88d5d11aba2357446ae88d5d11aba2357440080069000000a4916756e657870656374656420706b68207769746e6573730013300b3375e6ae84d55cf1baa357426aae78dd51aab9d333300600637566ae84d5d11aba2357446ae88d5d11aba20040034800000524011a756e6578706563746564207769746864726177616c206372656400357426aae78004dd500191112999ab9a3370e00400226ae8400c4cccc010010d5d100180119b80001480088888c8cd5cd998049998038039bab357426ae8800400d2411b696e70757420646f65736e277420636f6e7461696e20746f6b656e00333300b00b37586ae84d55cf1baa357426ae88d5d1000801240006aae78dd51aba1357446aae78dd51999805005002001a400044464a666ae68cdd79aba135573c6ea800400840044ccc010010d5d10018011aba1002222533357346ae8c0085280992999ab9a3375e6aae740040084ccc014014dd59aab9e00137529101001333004004357440060046ae840088894ccd5cd1aba300214a02a666ae68cdd79aab9d3574200400229444ccc00c00cd5d1001000912999ab9a00214984c00c00494cd5ce0008b11112999ab9a3370e00400226ae8400c4cccc01001000c008cdc0000a40041";
+export function make(seed) {
+    const unapplied = {
+        version: 3,
+        root: Bytes.toUint8Array(cborHex)
+    };
+    return Script.apply(unapplied, [
+        { data: Schema.encodeSync(UTxORef.FromUplcDataV3)(seed) }
+    ]);
+}
+export class Contract extends Context.Tag("Cardano.Contract")() {
+}
+export const WitnessFromUplcData = Data.Enum({
+    Signer: {
+        pkh: PubKeyHash.FromUplcData
+    },
+    Withdrawer: {
+        addr: RewardAddress.FromUplcData
+    }
+});
+const equalsWitness = (a, b) => {
+    if (a._tag == "Signer") {
+        return b._tag == "Signer" && b.pkh == a.pkh;
+    }
+    else {
+        return b._tag == "Withdrawer" && b.addr == a.addr;
+    }
+};
+const WitnessesFromUplcData = Data.Array(WitnessFromUplcData);
+export const seed = (contract) => Effect.gen(function* () {
+    // get seed from contract
+    const [seedValue] = yield* Script.extractParams(contract);
+    if (!Value.isData(seedValue)) {
+        return yield* Effect.fail(new Error("expected seed data parameter"));
+    }
+    return yield* Schema.decode(UTxORef.FromUplcDataV3)(seedValue.data);
+});
+export const initialize = (witness) => (b) => Effect.gen(function* () {
+    const contract = yield* Contract;
+    // get seed from contract
+    const [seedValue] = yield* Script.extractParams(contract);
+    if (!Value.isData(seedValue)) {
+        return yield* Effect.fail(new Error("expected seed data parameter"));
+    }
+    const getUTxO = yield* Network.UTxO;
+    const seedResolved = yield* getUTxO(yield* seed(contract));
+    // spend the seed
+    b = yield* TxBuilder.spend(seedResolved)(b);
+    // get the contract validator hash
+    const vh = Script.hash(contract);
+    const nft = { [vh]: 1n };
+    const address = yield* Address.script(vh);
+    b = TxBuilder.attachScript(contract)(b);
+    // mint the state token
+    b = yield* TxBuilder.mint(nft, (builtTx) => {
+        const seedInputPtr = builtTx.body.inputs
+            .map((input) => input.ref)
+            .indexOf(seedResolved.ref);
+        if (seedInputPtr < 0) {
+            throw new Error("seed input not found in tx inputs");
+        }
+        return Data.makeConstrData(0, [Data.makeIntData(seedInputPtr)]);
+    })(b);
+    b = yield* TxBuilder.pay({
+        address,
+        assets: nft,
+        datum: Schema.encodeSync(WitnessesFromUplcData)([witness])
+    })(b);
+    return b;
+});
+export const addValidator = (vh) => (b) => Effect.gen(function* () {
+    const witness = {
+        _tag: "Withdrawer",
+        addr: yield* RewardAddress.script(vh)
+    };
+    return yield* addWitness(witness)(b);
+});
+export const addValidatorEffect = (vh) => Effect.flatMap(addValidator(vh));
+export const addAdmin = (pkh) => (b) => Effect.gen(function* () {
+    const witness = { _tag: "Signer", pkh };
+    return yield* addWitness(witness)(b);
+});
+export const addAdminEffect = (pkh) => Effect.flatMap(addAdmin(pkh));
+// assume the input witess has already been called correctly
+export const addWitness = (witness) => (b) => Effect.gen(function* () {
+    const contract = yield* Contract;
+    const vh = Script.hash(contract);
+    const nft = { [vh]: 1n };
+    const address = yield* Address.script(vh);
+    const getUTxOsAt = yield* Network.UTxOsAt;
+    const utxos = yield* getUTxOsAt(address);
+    const [utxo] = utxos.filter((utxo) => vh in utxo.output.assets);
+    if (utxo === undefined) {
+        return yield* Effect.fail(new Error("Couldn't find contract state UTxO"));
+    }
+    const inputWitnesses = yield* Schema.decodeUnknown(WitnessesFromUplcData)(utxo.output.datum);
+    b = TxBuilder.attachScript(contract)(b);
+    b = yield* TxBuilder.spend(utxo, buildUpdateRedeemer(vh, address, utxo.ref, inputWitnesses))(b);
+    // TODO: throw an error if the witness already exists in the inputWitnesses list
+    if (inputWitnesses.some((iw) => equalsWitness(iw, witness))) {
+        return yield* Effect.fail("Witness already added before");
+    }
+    // create the output
+    b = yield* TxBuilder.pay({
+        address,
+        assets: nft,
+        datum: yield* Schema.encode(WitnessesFromUplcData)(inputWitnesses.concat([witness]))
+    })(b);
+    return b;
+});
+export const addWitnessEffect = (witness) => Effect.flatMap(addWitness(witness));
+export const removeValidator = (vh) => (b) => Effect.gen(function* () {
+    const witness = {
+        _tag: "Withdrawer",
+        addr: yield* RewardAddress.script(vh)
+    };
+    return yield* removeWitness(witness)(b);
+});
+export const removeValidatorEffect = (vh) => Effect.flatMap(removeValidator(vh));
+export const removeAdmin = (pkh) => (b) => Effect.gen(function* () {
+    const witness = { _tag: "Signer", pkh };
+    return yield* removeWitness(witness)(b);
+});
+export const removeAdminEffect = (pkh) => Effect.flatMap(removeAdmin(pkh));
+// assume the input witess has already been called correctly
+export const removeWitness = (witness) => (b) => Effect.gen(function* () {
+    const contract = yield* Contract;
+    const vh = Script.hash(contract);
+    const nft = { [vh]: 1n };
+    const address = yield* Address.script(vh);
+    const getUTxOsAt = yield* Network.UTxOsAt;
+    const utxos = yield* getUTxOsAt(address);
+    const [utxo] = utxos.filter((utxo) => vh in utxo.output.assets);
+    if (utxo === undefined) {
+        return yield* Effect.fail(new Error("Couldn't find contract state UTxO"));
+    }
+    const inputWitnesses = yield* Schema.decodeUnknown(WitnessesFromUplcData)(utxo.output.datum);
+    b = TxBuilder.attachScript(contract)(b);
+    b = yield* TxBuilder.spend(utxo, buildUpdateRedeemer(vh, address, utxo.ref, inputWitnesses))(b);
+    // TODO: throw an error if the witness already exists in the inputWitnesses list
+    if (!inputWitnesses.some((iw) => equalsWitness(iw, witness))) {
+        return yield* Effect.fail("Witness to be remove not found in contract state");
+    }
+    // create the output
+    b = yield* TxBuilder.pay({
+        address,
+        assets: nft,
+        datum: yield* Schema.encode(WitnessesFromUplcData)(inputWitnesses.filter((iw) => !equalsWitness(iw, witness)))
+    })(b);
+    return b;
+});
+export const removeWitnessEffect = (witness) => Effect.flatMap(removeWitness(witness));
+export const mint = (assets) => (b) => Effect.gen(function* () {
+    const contract = yield* Contract;
+    const vh = Script.hash(contract);
+    const address = yield* Address.script(vh);
+    for (const key in assets) {
+        if (!key.startsWith(vh)) {
+            return yield* Effect.fail(new Error("minted asset not related to contract"));
+        }
+    }
+    const getUTxOsAt = yield* Network.UTxOsAt;
+    const utxos = yield* getUTxOsAt(address);
+    const [utxo] = utxos.filter((utxo) => vh in utxo.output.assets);
+    if (utxo === undefined) {
+        return yield* Effect.fail(new Error("Couldn't find contract state UTxO"));
+    }
+    b = TxBuilder.attachScript(contract)(b);
+    b = yield* TxBuilder.refer(utxo)(b);
+    const inputWitnesses = yield* Schema.decodeUnknown(WitnessesFromUplcData)(utxo.output.datum);
+    b = yield* TxBuilder.mint(assets, buildWitnessRedeemer(vh, address, utxo.ref, inputWitnesses))(b);
+    return b;
+});
+export const mintEffect = (assets) => Effect.flatMap(mint(assets));
+export const spend = (utxos) => (b) => Effect.gen(function* () {
+    const contract = yield* Contract;
+    const vh = Script.hash(contract);
+    const address = yield* Address.script(vh);
+    for (const utxo of Array.isArray(utxos) ? utxos : [utxos]) {
+        if (utxo.output.address != address) {
+            return yield* Effect.fail(new Error("spending unrelated UTxO"));
+        }
+    }
+    const getUTxOsAt = yield* Network.UTxOsAt;
+    const stateUtxos = yield* getUTxOsAt(address);
+    const [stateUtxO] = stateUtxos.filter((utxo) => vh in utxo.output.assets);
+    if (stateUtxO === undefined) {
+        return yield* Effect.fail(new Error("Couldn't find contract state UTxO"));
+    }
+    b = TxBuilder.attachScript(contract)(b);
+    b = yield* TxBuilder.refer(stateUtxO)(b);
+    const inputWitnesses = yield* Schema.decodeUnknown(WitnessesFromUplcData)(stateUtxO.output.datum);
+    b = yield* TxBuilder.spend(utxos, buildWitnessRedeemer(vh, address, stateUtxO.ref, inputWitnesses))(b);
+    return b;
+});
+export const spendEffect = (utxos) => Effect.flatMap(spend(utxos));
+const buildUpdateRedeemer = (contractHash, contractAddress, inputRef, inputWitnesses) => (tx) => {
+    const inputPtr = tx.body.inputs.map((input) => input.ref).indexOf(inputRef);
+    if (inputPtr < 0) {
+        throw new Error("state input not found in tx inputs");
+    }
+    const witnessPtr = inputWitnesses.findIndex((w) => {
+        if (w._tag == "Signer") {
+            return tx.body.signers.includes(w.pkh);
+        }
+        else {
+            return tx.body.withdrawals.some(([wk]) => wk == w.addr);
+        }
+    });
+    if (witnessPtr < 0) {
+        throw new Error("Tx not yet witnessed by a witness mentioned in contract");
+    }
+    const inputWitness = inputWitnesses[witnessPtr];
+    let signerPtr;
+    if (inputWitness._tag == "Signer") {
+        signerPtr = tx.body.signers.indexOf(inputWitness.pkh);
+    }
+    else {
+        signerPtr = tx.body.withdrawals.findIndex(([wk]) => wk == inputWitness.addr);
+    }
+    if (signerPtr < 0) {
+        throw new Error("Signer not found");
+    }
+    const outputPtr = tx.body.outputs.findIndex((output) => {
+        return output.address == contractAddress && contractHash in output.assets;
+    });
+    if (outputPtr < 0) {
+        throw new Error("Output not found");
+    }
+    const output = tx.body.outputs[outputPtr];
+    const outputWitnesses = Schema.decodeUnknownSync(WitnessesFromUplcData)(output.datum);
+    const outputWitnessPtr = outputWitnesses.findIndex((ow) => equalsWitness(inputWitness, ow));
+    if (outputWitnessPtr < 0) {
+        throw new Error("Output witness not found");
+    }
+    return Data.makeConstrData(1, [
+        Data.makeIntData(inputPtr),
+        Data.makeIntData(witnessPtr),
+        Data.makeIntData(signerPtr),
+        Data.makeIntData(outputPtr),
+        Data.makeIntData(outputWitnessPtr)
+    ]);
+};
+const buildWitnessRedeemer = (contractHash, contractAddress, inputRef, inputWitnesses) => (tx) => {
+    const inputPtr = tx.body.refInputs
+        .map((input) => input.ref)
+        .indexOf(inputRef);
+    if (inputPtr < 0) {
+        throw new Error("state ref input not found in tx inputs");
+    }
+    const witnessPtr = inputWitnesses.findIndex((w) => {
+        if (w._tag == "Signer") {
+            return tx.body.signers.includes(w.pkh);
+        }
+        else {
+            return tx.body.withdrawals.some(([wk]) => wk == w.addr);
+        }
+    });
+    if (witnessPtr < 0) {
+        throw new Error("Tx not yet witnessed by a witness mentioned in contract");
+    }
+    const inputWitness = inputWitnesses[witnessPtr];
+    let signerPtr;
+    if (inputWitness._tag == "Signer") {
+        signerPtr = tx.body.signers.indexOf(inputWitness.pkh);
+    }
+    else {
+        signerPtr = tx.body.withdrawals.findIndex(([wk]) => wk == inputWitness.addr);
+    }
+    if (signerPtr < 0) {
+        throw new Error("Signer not found");
+    }
+    return Data.makeConstrData(2, [
+        Data.makeIntData(inputPtr),
+        Data.makeIntData(witnessPtr),
+        Data.makeIntData(signerPtr)
+    ]);
+};
+//# sourceMappingURL=Contract.js.map

package/dist/Cardano/Contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Contract.js","sourceRoot":"","sources":["../../src/Cardano/Contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC1C,OAAO,EACL,OAAO,EACP,MAAM,EACN,UAAU,EACV,aAAa,EACb,EAAE,EACF,aAAa,EACb,IAAI,EACJ,OAAO,EACR,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;GAEG;AACH,MAAM,OAAO,GACX,o3EAAo3E,CAAA;AAEt3E,MAAM,UAAU,IAAI,CAAC,IAAqB;IACxC,MAAM,SAAS,GAAqB;QAClC,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC;KAClC,CAAA;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,EAAE;KAC1D,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,OAAO,QAAS,SAAQ,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAG1D;CAAG;AAEN,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,IAAI,CAAC;IAC3C,MAAM,EAAE;QACN,GAAG,EAAE,UAAU,CAAC,YAAY;KAC7B;IACD,UAAU,EAAE;QACV,IAAI,EAAE,aAAa,CAAC,YAAY;KACjC;CACF,CAAC,CAAA;AAIF,MAAM,aAAa,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE;IAC/C,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAA;IAC7C,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,CAAC,IAAI,IAAI,YAAY,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAA;IACnD,CAAC;AACH,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAA;AAE7D,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,QAA0B,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,yBAAyB;IACzB,MAAM,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAA;IAEzD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAA;IACtE,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;AACrE,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAAgB,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAEhC,yBAAyB;IACzB,MAAM,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAA;IAEzD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAA;IACtE,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;IACnC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;IAE1D,iBAAiB;IACjB,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAE3C,kCAAkC;IAClC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAChC,MAAM,GAAG,GAAkB,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAA;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAEzC,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IAEvC,uBAAuB;IACvB,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE;QACzC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM;aACrC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;aACzB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;QAE5B,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;QACtD,CAAC;QAED,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAEL,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QACvB,OAAO;QACP,MAAM,EAAE,GAAG;QACX,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;KAC3D,CAAC,CAAC,CAAC,CAAC,CAAA;IAEL,OAAO,CAAC,CAAA;AACV,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,YAAY,GACvB,CAAC,EAA+B,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CAC9D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAY;QACvB,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;KACtC,CAAA;IACD,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AACtC,CAAC,CAAC,CAAA;AAEN,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,EAA+B,EAAE,EAAE,CACpE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAA;AAElC,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAC,GAA0B,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAA;IAChD,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AACtC,CAAC,CAAC,CAAA;AAEN,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAA0B,EAAE,EAAE,CAC3D,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;AAE/B,4DAA4D;AAC5D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAAgB,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAChC,MAAM,GAAG,GAAkB,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAA;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAEzC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAA;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IACxC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAE/D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,CAAA;IAC3E,CAAC;IAED,MAAM,cAAc,GAAuB,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CACpE,qBAAqB,CACtB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAEpB,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CACxB,IAAI,EACJ,mBAAmB,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAC3D,CAAC,CAAC,CAAC,CAAA;IAEJ,gFAAgF;IAChF,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAA;IAC3D,CAAC;IAED,oBAAoB;IACpB,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QACvB,OAAO;QACP,MAAM,EAAE,GAAG;QACX,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAChD,cAAc,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CACjC;KACF,CAAC,CAAC,CAAC,CAAC,CAAA;IAEL,OAAO,CAAC,CAAA;AACV,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAgB,EAAE,EAAE,CACnD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;AAErC,MAAM,CAAC,MAAM,eAAe,GAC1B,CAAC,EAA+B,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CAC9D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAY;QACvB,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;KACtC,CAAA;IACD,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AACzC,CAAC,CAAC,CAAA;AAEN,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,EAA+B,EAAE,EAAE,CACvE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAA;AAErC,MAAM,CAAC,MAAM,WAAW,GACtB,CAAC,GAA0B,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAA;IAChD,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AACzC,CAAC,CAAC,CAAA;AAEN,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,GAA0B,EAAE,EAAE,CAC9D,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;AAElC,4DAA4D;AAC5D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAgB,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAChC,MAAM,GAAG,GAAkB,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAA;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAEzC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAA;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IACxC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAE/D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,CAAA;IAC3E,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,qBAAqB,CAAC,CACvE,IAAI,CAAC,MAAM,CAAC,KAAK,CAClB,CAAA;IAED,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CACxB,IAAI,EACJ,mBAAmB,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAC3D,CAAC,CAAC,CAAC,CAAA;IAEJ,gFAAgF;IAChF,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,kDAAkD,CACnD,CAAA;IACH,CAAC;IAED,oBAAoB;IACpB,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QACvB,OAAO;QACP,MAAM,EAAE,GAAG;QACX,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAChD,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAC3D;KACF,CAAC,CAAC,CAAC,CAAC,CAAA;IAEL,OAAO,CAAC,CAAA;AACV,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAgB,EAAE,EAAE,CACtD,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAA;AAExC,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAAqB,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAChC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAEzC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAClD,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAA;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IACxC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAE/D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,CAAA;IAC3E,CAAC;IAED,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IAEvC,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAEnC,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,qBAAqB,CAAC,CACvE,IAAI,CAAC,MAAM,CAAC,KAAK,CAClB,CAAA;IAED,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CACvB,MAAM,EACN,oBAAoB,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAC5D,CAAC,CAAC,CAAC,CAAA;IAEJ,OAAO,CAAC,CAAA;AACV,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAqB,EAAE,EAAE,CAClD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;AAE9B,MAAM,CAAC,MAAM,KAAK,GAChB,CAAC,KAA8B,EAAE,EAAE,CAAC,CAAC,CAAsB,EAAE,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAChC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAA;IACzC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IAC7C,MAAM,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAEzE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAC/C,CAAA;IACH,CAAC;IAED,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IAEvC,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAExC,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,qBAAqB,CAAC,CACvE,SAAS,CAAC,MAAM,CAAC,KAAK,CACvB,CAAA;IAED,CAAC,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CACxB,KAAK,EACL,oBAAoB,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,EAAE,cAAc,CAAC,CACjE,CAAC,CAAC,CAAC,CAAA;IAEJ,OAAO,CAAC,CAAA;AACV,CAAC,CAAC,CAAA;AAEN,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAA8B,EAAE,EAAE,CAC5D,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAE9B,MAAM,mBAAmB,GACvB,CACE,YAAyC,EACzC,eAAgC,EAChC,QAAyB,EACzB,cAAkC,EAClC,EAAE,CACJ,CAAC,EAAS,EAAE,EAAE;IACZ,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;IAE3E,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;IACvD,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YACvB,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAA;QACzD,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAA;IAE/C,IAAI,SAAiB,CAAA;IACrB,IAAI,YAAY,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAClC,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;IACvD,CAAC;SAAM,CAAC;QACN,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CACvC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,CAClC,CAAA;IACH,CAAC;IAED,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAA;IACrC,CAAC;IAED,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE;QACrD,OAAO,MAAM,CAAC,OAAO,IAAI,eAAe,IAAI,YAAY,IAAI,MAAM,CAAC,MAAM,CAAA;IAC3E,CAAC,CAAC,CAAA;IAEF,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAA;IACrC,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IAEzC,MAAM,eAAe,GAAG,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,CAAC,CACrE,MAAM,CAAC,KAAK,CACb,CAAA;IAED,MAAM,gBAAgB,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,aAAa,CAAC,YAAY,EAAE,EAAE,CAAC,CAChC,CAAA;IAED,IAAI,gBAAgB,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAA;IAC7C,CAAC;IAED,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE;QAC5B,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;QAC1B,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;QAC5B,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;QAC3B,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;QAC3B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC;KACnC,CAAC,CAAA;AACJ,CAAC,CAAA;AAEH,MAAM,oBAAoB,GACxB,CACE,YAAyC,EACzC,eAAgC,EAChC,QAAyB,EACzB,cAAkC,EAClC,EAAE,CACJ,CAAC,EAAS,EAAE,EAAE;IACZ,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS;SAC/B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;SACzB,OAAO,CAAC,QAAQ,CAAC,CAAA;IAEpB,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAA;IAC3D,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YACvB,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAA;QACzD,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAA;IAE/C,IAAI,SAAiB,CAAA;IACrB,IAAI,YAAY,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAClC,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;IACvD,CAAC;SAAM,CAAC;QACN,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CACvC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,CAClC,CAAA;IACH,CAAC;IAED,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAA;IACrC,CAAC;IAED,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE;QAC5B,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;QAC1B,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;QAC5B,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;KAC5B,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/Cardano/Ledger/Address.js

@@ -35,6 +35,10 @@ export const FromUplcData = Schema.transformOrFail(Data.EnumVariant(0, {
         });
     }
 });
+export const script = (vh, stakingCredential) => Effect.gen(function* () {
+    const isMainnet = yield* IsMainnet;
+    return make(isMainnet, Credential.makeValidator(vh), stakingCredential);
+});
 export function make(isMainnet, spendingCredential, stakingCredential) {
     const prefix = isMainnet ? "addr" : "addr_test";
     const bytes = makeShelleyBytes(isMainnet, spendingCredential, stakingCredential);

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

@@ -1 +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"}
+{"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,CAAC,MAAM,MAAM,GAAG,CACpB,EAA+B,EAC/B,iBAAyC,EACzC,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAA;IAElC,OAAO,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAA;AACzE,CAAC,CAAC,CAAA;AAEJ,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/Cardano/Ledger/RewardAddress.js

@@ -24,6 +24,10 @@ export const FromUplcData = Schema.transformOrFail(Data.EnumVariant(0, { credent
         return ParseResult.succeed({ credential });
     }
 });
+export const script = (vh) => Effect.gen(function* () {
+    const isMainnet = yield* IsMainnet;
+    return make(isMainnet, Credential.makeValidator(vh));
+});
 export function make(isMainnet, cred) {
     const prefix = isMainnet ? "stake" : "stake_test";
     const bytes = makeBytes(isMainnet, cred);

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

@@ -1 +1 @@
-{"version":3,"file":"RewardAddress.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,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,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7B,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE;IAC7B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,+BAA+B,CAAA;AACzD,CAAC,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,CAChD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,YAAY,EAAE,CAAC,EAC5D,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,EAChC;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CACzB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACxE,MAAM,EAAE,CAAC,OAAsB,EAAE,EAAE;QACjC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;QAC9D,OAAO,WAAW,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,CAAA;IAC5C,CAAC;CACF,CACF,CAAA;AAED,MAAM,UAAU,IAAI,CAClB,SAAkB,EAClB,IAA2B;IAE3B,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAA;IACjD,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAExC,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAkB,CAAA;AACtD,CAAC;AAED,SAAS,SAAS,CAAC,SAAkB,EAAE,IAA2B;IAChE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IAEvD,IAAI,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACpD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACpD,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,OAAO,CAAC,EAAE,CAAC;QAC1D,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,OAAO,GAAG,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,UAAU,CAAA;IAE9B,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEzC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,IAAI;YACP,OAAO;gBACL,SAAS,EAAE,OAAO;gBAClB,UAAU,EAAE;oBACV,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;iBACf;aAC3B,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS,EAAE,OAAO;gBAClB,UAAU,EAAE;oBACV,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;iBAClB;aAC3B,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,CACpB,KAAsB,EACY,EAAE,CACpC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CACxB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,EACtE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;IACnB,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;QAC3B,OAAO,IAAI,IAAI,CAAC,WAAW,CACzB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,iBAAiB,CAAC,CAAC,OAAO,EAAE,CAC7B,CAAA;IACH,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,IAAmB;IACxC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAsB;IAC1C,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAsB;IAC9C,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAsB;IAC/C,OAAO,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAA;AAC9D,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAgB,EAAE,CAAgB;IACxD,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AAC9D,CAAC"}
+{"version":3,"file":"RewardAddress.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,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,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7B,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE;IAC7B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,+BAA+B,CAAA;AACzD,CAAC,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,CAChD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,YAAY,EAAE,CAAC,EAC5D,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,EAChC;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CACzB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACxE,MAAM,EAAE,CAAC,OAAsB,EAAE,EAAE;QACjC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;QAC9D,OAAO,WAAW,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,CAAA;IAC5C,CAAC;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,EAA+B,EAAE,EAAE,CACxD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAA;IAElC,OAAO,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAA;AACtD,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,IAAI,CAClB,SAAkB,EAClB,IAA2B;IAE3B,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAA;IACjD,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAExC,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAkB,CAAA;AACtD,CAAC;AAED,SAAS,SAAS,CAAC,SAAkB,EAAE,IAA2B;IAChE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IAEvD,IAAI,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACpD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACpD,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,OAAO,CAAC,EAAE,CAAC;QAC1D,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,OAAO,GAAG,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,UAAU,CAAA;IAE9B,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEzC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,IAAI;YACP,OAAO;gBACL,SAAS,EAAE,OAAO;gBAClB,UAAU,EAAE;oBACV,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;iBACf;aAC3B,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS,EAAE,OAAO;gBAClB,UAAU,EAAE;oBACV,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;iBAClB;aAC3B,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,CACpB,KAAsB,EACY,EAAE,CACpC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CACxB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,EACtE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;IACnB,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;QAC3B,OAAO,IAAI,IAAI,CAAC,WAAW,CACzB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,iBAAiB,CAAC,CAAC,OAAO,EAAE,CAC7B,CAAA;IACH,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,IAAmB;IACxC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAsB;IAC1C,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAsB;IAC9C,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAsB;IAC/C,OAAO,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAA;AAC9D,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAgB,EAAE,CAAgB;IACxD,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AAC9D,CAAC"}

package/dist/Cardano/Uplc/Script.js

@@ -150,6 +150,15 @@ export const apply = (script, args) => Effect.gen(function* () {
     }
     return script;
 });
+export const extractParams = (script) => Effect.gen(function* () {
+    let term = yield* entryPoint(script);
+    const params = [];
+    while (term._tag == "Apply" && term.arg._tag == "Const") {
+        params.unshift(term.arg.value);
+        term = term.fn;
+    }
+    return params;
+});
 export { eval$ as eval };
 export function hash(script) {
     const bytes = Cbor.encodeBytes(script.root);

package/dist/Cardano/Uplc/Script.js.map

@@ -1 +1 @@
-{"version":3,"file":"Script.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CACjC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAClB,CAAA;AAID,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC,iBAAiB;IAC9B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC;CACnD,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CACjC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,OAAO;CACjB,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAQD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAE1E,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAsB,EACwC,EAAE,CAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,IAAI,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;IAEjD,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9B,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;IACpD,CAAC;IAED,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;IACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAA;IAElE,OAAO;QACL,WAAW;QACX,IAAI,EAAE,IAAI,UAAU,CAAC,WAAW,CAAC;KAClC,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GACjB,CAAoB,OAAU,EAAE,EAAE,CAClC,CAAC,KAAsB,EAAgC,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC,CAAC;QACP,KAAK,CAAC;YACJ,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4BAA4B,WAAW,GAAG,CAC3C,CACF,CAAA;YACH,CAAC;YACD,MAAK;QACP,KAAK,CAAC;YACJ,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4BAA4B,WAAW,GAAG,CAC3C,CACF,CAAA;YACH,CAAC;YACD,MAAK;IACT,CAAC;IAED,OAAO;QACL,OAAO;QACP,IAAI;KACe,CAAA;AACvB,CAAC,CAAC,CAAA;AAEN,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACpE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,KAAK,GAAG,CACZ,MAAc,EACd,IAAwC,EACxC,aAA4C,SAAS,EACrD,SAAiC,SAAS,EAC1C,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAEpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACrB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAA;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAoB,CAAC,GAAG,EAAE;QACjC,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;YACvB,KAAK,CAAC;gBACJ,OAAO;oBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;oBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;oBAC/C,MAAM;iBACP,CAAA;YACH,KAAK,CAAC;gBACJ,OAAO;oBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;oBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;oBAC/C,MAAM;iBACP,CAAA;YACH,KAAK,CAAC;gBACJ,OAAO;oBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;oBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;oBAC/C,MAAM;iBACP,CAAA;QACL,CAAC;IACH,CAAC,CAAC,EAAE,CAAA;IAEJ,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,IAA4B,EAAE,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,QAAQ,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAExC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,QAAQ,GAAG;YACT,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,QAAQ;YACZ,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;SACnC,CAAA;IACH,CAAC;IAED,MAAM,GAAG;QACP,GAAG,MAAM;QACT,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC;KACzE,CAAA;IAED,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,IAAI,eAAe,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC;YACtC,GAAG,MAAM;YACT,IAAI,EAAE,MAAM,CAAC,OAAO;SACrB,CAAC,CAAA;QAEF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,eAAe,GAAG;gBAChB,IAAI,EAAE,OAAO;gBACb,EAAE,EAAE,eAAe;gBACnB,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;aACnC,CAAA;QACH,CAAC;QAED,MAAM,GAAG;YACP,GAAG,MAAM;YACT,OAAO,EAAE,IAAI,CAAC,UAAU,CACtB,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EACvC,eAAe,CAChB;SACF,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,MAAM,UAAU,IAAI,CAAC,MAAc;IACjC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAE3C,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAE7B,OAAO,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAkB,CAAA;AAChF,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GACpB,CAAoB,CAAI,EAAE,EAAE,CAC5B,CAAC,MAAc,EAAuB,EAAE,CACtC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA"}
+{"version":3,"file":"Script.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CACjC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAClB,CAAA;AAID,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC,iBAAiB;IAC9B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC;CACnD,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CACjC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,OAAO;CACjB,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CACnC,oBAAoB,EACpB,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CACH,CAAA;AAQD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAE1E,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAsB,EACwC,EAAE,CAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,IAAI,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;IAEjD,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9B,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;IACpD,CAAC;IAED,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;IACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAA;IAElE,OAAO;QACL,WAAW;QACX,IAAI,EAAE,IAAI,UAAU,CAAC,WAAW,CAAC;KAClC,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GACjB,CAAoB,OAAU,EAAE,EAAE,CAClC,CAAC,KAAsB,EAAgC,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC,CAAC;QACP,KAAK,CAAC;YACJ,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4BAA4B,WAAW,GAAG,CAC3C,CACF,CAAA;YACH,CAAC;YACD,MAAK;QACP,KAAK,CAAC;YACJ,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4BAA4B,WAAW,GAAG,CAC3C,CACF,CAAA;YACH,CAAC;YACD,MAAK;IACT,CAAC;IAED,OAAO;QACL,OAAO;QACP,IAAI;KACe,CAAA;AACvB,CAAC,CAAC,CAAA;AAEN,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACpE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,KAAK,GAAG,CACZ,MAAc,EACd,IAAwC,EACxC,aAA4C,SAAS,EACrD,SAAiC,SAAS,EAC1C,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAEpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACrB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAA;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAoB,CAAC,GAAG,EAAE;QACjC,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;YACvB,KAAK,CAAC;gBACJ,OAAO;oBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;oBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;oBAC/C,MAAM;iBACP,CAAA;YACH,KAAK,CAAC;gBACJ,OAAO;oBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;oBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;oBAC/C,MAAM;iBACP,CAAA;YACH,KAAK,CAAC;gBACJ,OAAO;oBACL,QAAQ,EAAE,QAAQ,CAAC,EAAE;oBACrB,UAAU,EAAE,UAAU,IAAI,IAAI,CAAC,gBAAgB;oBAC/C,MAAM;iBACP,CAAA;QACL,CAAC;IACH,CAAC,CAAC,EAAE,CAAA;IAEJ,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,IAA4B,EAAE,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,QAAQ,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAExC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,QAAQ,GAAG;YACT,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,QAAQ;YACZ,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;SACnC,CAAA;IACH,CAAC;IAED,MAAM,GAAG;QACP,GAAG,MAAM;QACT,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC;KACzE,CAAA;IAED,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,IAAI,eAAe,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC;YACtC,GAAG,MAAM;YACT,IAAI,EAAE,MAAM,CAAC,OAAO;SACrB,CAAC,CAAA;QAEF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,eAAe,GAAG;gBAChB,IAAI,EAAE,OAAO;gBACb,EAAE,EAAE,eAAe;gBACnB,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;aACnC,CAAA;QACH,CAAC;QAED,MAAM,GAAG;YACP,GAAG,MAAM;YACT,OAAO,EAAE,IAAI,CAAC,UAAU,CACtB,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EACvC,eAAe,CAChB;SACF,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,EAAE,CAC9C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAEpC,MAAM,MAAM,GAAkB,EAAE,CAAA;IAEhC,OAAO,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAE9B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAA;IAChB,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,MAAM,UAAU,IAAI,CAAC,MAAc;IACjC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAE3C,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAE7B,OAAO,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAkB,CAAA;AAChF,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GACpB,CAAoB,CAAI,EAAE,EAAE,CAC5B,CAAC,MAAc,EAAuB,EAAE,CACtC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA"}

package/dist/Cardano/index.js

@@ -1,4 +1,5 @@
 export * as CoinSelection from "./CoinSelection.js";
+export * as Contract from "./Contract.js";
 export * as Cose from "./Cose/index.js";
 export * as Ledger from "./Ledger/index.js";
 export * as Network from "./Network/index.js";

package/dist/Cardano/index.js.map

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@helios-lang/effect",
-  "version": "0.4.39",
+  "version": "0.4.40",
   "description": "",
   "type": "module",
   "main": "./dist/index.js",

package/types/Cardano/Contract.d.ts

@@ -0,0 +1,39 @@
+import { Context, Effect, Schema } from "effect";
+import { Assets, PubKeyHash, ValidatorHash, UTxO, UTxORef } from "./Ledger/index.js";
+import { Data, Script } from "./Uplc/index.js";
+import * as Network from "./Network/index.js";
+import * as TxBuilder from "./TxBuilder.js";
+export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<2 | 1 | 3>, Error, never>;
+declare const Contract_base: Context.TagClass<Contract, "Cardano.Contract", Script.Script<3>>;
+export declare class Contract extends Contract_base {
+}
+export declare const WitnessFromUplcData: Schema.Schema<({
+    _tag: "Signer";
+} & {
+    pkh: string & import("effect/Brand").Brand<"PubKeyHash">;
+}) | ({
+    _tag: "Withdrawer";
+} & {
+    addr: string & import("effect/Brand").Brand<"RewardAddress">;
+}), Data.Data, never>;
+export type Witness = Schema.Schema.Type<typeof WitnessFromUplcData>;
+export declare const seed: (contract: Script.Script<3>) => Effect.Effect<string & import("effect/Brand").Brand<"UTxORef">, Error | import("effect/ParseResult").ParseError, never>;
+export declare const initialize: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | Network.UTxO | TxBuilder.GetDatum>;
+export declare const addValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt>;
+export declare const addValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt | R>;
+export declare const addAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt>;
+export declare const addAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt | R>;
+export declare const addWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt>;
+export declare const addWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt | R>;
+export declare const removeValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt>;
+export declare const removeValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt | R>;
+export declare const removeAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt>;
+export declare const removeAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt | R>;
+export declare const removeWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt>;
+export declare const removeWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt | R>;
+export declare const mint: (assets: Assets.Assets) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const mintEffect: (assets: Assets.Assets) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const spend: (utxos: UTxO.UTxO | UTxO.UTxO[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt>;
+export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | TxBuilder.GetDatum | Network.UTxOsAt | R>;
+export {};
+//# sourceMappingURL=Contract.d.ts.map

package/types/Cardano/Contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Contract.d.ts","sourceRoot":"","sources":["../../src/Cardano/Contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEhD,OAAO,EAEL,MAAM,EACN,UAAU,EAGV,aAAa,EACb,IAAI,EACJ,OAAO,EACR,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAS,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAQ3C,wBAAgB,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,yDASzC;;AAED,qBAAa,QAAS,SAAQ,aAG3B;CAAG;AAEN,eAAO,MAAM,mBAAmB;;;;;;;;qBAO9B,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAYpE,eAAO,MAAM,IAAI,GAAI,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,4HAU3C,CAAA;AAEJ,eAAO,MAAM,UAAU,GAAI,SAAS,OAAO,MAAM,GAAG,SAAS,CAAC,SAAS,0JA4CnE,CAAA;AAEJ,eAAO,MAAM,YAAY,GACtB,IAAI,aAAa,CAAC,aAAa,MAAM,GAAG,SAAS,CAAC,SAAS,sKAOxD,CAAA;AAEN,eAAO,MAAM,kBAAkB,GAAI,IAAI,aAAa,CAAC,aAAa,wOAChC,CAAA;AAElC,eAAO,MAAM,QAAQ,GAClB,KAAK,UAAU,CAAC,UAAU,MAAM,GAAG,SAAS,CAAC,SAAS,sKAInD,CAAA;AAEN,eAAO,MAAM,cAAc,GAAI,KAAK,UAAU,CAAC,UAAU,wOAC1B,CAAA;AAG/B,eAAO,MAAM,UAAU,GAAI,SAAS,OAAO,MAAM,GAAG,SAAS,CAAC,SAAS,sKAyCnE,CAAA;AAEJ,eAAO,MAAM,gBAAgB,GAAI,SAAS,OAAO,wOACZ,CAAA;AAErC,eAAO,MAAM,eAAe,GACzB,IAAI,aAAa,CAAC,aAAa,MAAM,GAAG,SAAS,CAAC,SAAS,sKAOxD,CAAA;AAEN,eAAO,MAAM,qBAAqB,GAAI,IAAI,aAAa,CAAC,aAAa,wOAChC,CAAA;AAErC,eAAO,MAAM,WAAW,GACrB,KAAK,UAAU,CAAC,UAAU,MAAM,GAAG,SAAS,CAAC,SAAS,sKAInD,CAAA;AAEN,eAAO,MAAM,iBAAiB,GAAI,KAAK,UAAU,CAAC,UAAU,wOAC1B,CAAA;AAGlC,eAAO,MAAM,aAAa,GAAI,SAAS,OAAO,MAAM,GAAG,SAAS,CAAC,SAAS,sKA2CtE,CAAA;AAEJ,eAAO,MAAM,mBAAmB,GAAI,SAAS,OAAO,wOACZ,CAAA;AAExC,eAAO,MAAM,IAAI,GAAI,QAAQ,MAAM,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,wIAqClE,CAAA;AAEJ,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,CAAC,MAAM,0MAClB,CAAA;AAE9B,eAAO,MAAM,KAAK,GACf,OAAO,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,SAAS,6JAqCvD,CAAA;AAEN,eAAO,MAAM,WAAW,GAAI,OAAO,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,+NAC5B,CAAA"}

package/types/Cardano/Cose/Sign1.d.ts

@@ -30,7 +30,7 @@ export declare function make(address: Address.Address, payload: Bytes.BytesLike,
 export declare function sign(address: Address.Address, privateKey: Bip32.SigningKey, payload: Bytes.BytesLike, kid?: Bytes.BytesLike): Either.Either<Sign1, InvalidAddress>;
 export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Sign1>;
 export declare function encode(sign1: Sign1): number[];
-export declare const verify: (sign1: Sign1, pubKey: PubKey.PubKey) => Effect.Effect<undefined, import("../../Crypto/EdDSA.js").BadSignatureLength | import("../../Crypto/EdDSA.js").BadPublicKeyLength | InvalidAddress | SignerMismatch, never>;
+export declare const verify: (sign1: Sign1, pubKey: PubKey.PubKey) => Effect.Effect<undefined, InvalidAddress | SignerMismatch | import("../../Crypto/EdDSA.js").BadSignatureLength | import("../../Crypto/EdDSA.js").BadPublicKeyLength, never>;
 export declare function encodeProtectedHeader(address: Address.Address, kid?: Bytes.BytesLike): number[];
 export declare function sigStructure(address: Address.Address, payload: Bytes.BytesLike, kid?: Bytes.BytesLike): number[];
 export {};

package/types/Cardano/Ledger/Address.d.ts

@@ -1,9 +1,10 @@
-import { Schema } from "effect";
+import { Effect, Schema } from "effect";
 import * as Cbor from "../../Codecs/Cbor.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";
+import * as ValidatorHash from "./ValidatorHash.js";
 export declare function isValid(addr: string): boolean;
 export declare const Address: Schema.brand<Schema.filter<typeof Schema.String>, "Cardano.Ledger.Address">;
 export type Address = Schema.Schema.Type<typeof Address>;
@@ -99,6 +100,7 @@ export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail
         readonly constructor: number;
     }, never>>, never>;
 }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never>, IsMainnet>;
+export declare const script: (vh: ValidatorHash.ValidatorHash, stakingCredential?: Credential.Credential) => Effect.Effect<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never, IsMainnet>;
 export declare function make(isMainnet: boolean, spendingCredential: Credential.Credential, stakingCredential?: Credential.Credential): Address;
 export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Address>;
 export declare function encode(address: Address): number[];

package/types/Cardano/Ledger/Address.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Address.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuC,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpE,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,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;AAI7C,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAO7C;AAED,eAAO,MAAM,OAAO,6EAKnB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mLAiCxB,CAAA;AAED,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,kBAAkB,EAAE,UAAU,CAAC,UAAU,EACzC,iBAAiB,CAAC,EAAE,UAAU,CAAC,UAAU,GACxC,OAAO,CAWT;AAkID,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAiBtE,CAAA;AAEH,wBAAgB,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAEjD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAEhD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAEnD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC,UAAU,CAE1E;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,OAAO,GACf,UAAU,CAAC,UAAU,GAAG,SAAS,CAEnC;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAErD"}
+{"version":3,"file":"Address.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAA+B,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpE,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,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;AAE7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAO7C;AAED,eAAO,MAAM,OAAO,6EAKnB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mLAiCxB,CAAA;AAED,eAAO,MAAM,MAAM,GACjB,IAAI,aAAa,CAAC,aAAa,EAC/B,oBAAoB,UAAU,CAAC,UAAU,qGAMvC,CAAA;AAEJ,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,kBAAkB,EAAE,UAAU,CAAC,UAAU,EACzC,iBAAiB,CAAC,EAAE,UAAU,CAAC,UAAU,GACxC,OAAO,CAWT;AAkID,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAiBtE,CAAA;AAEH,wBAAgB,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAEjD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAEhD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAEnD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC,UAAU,CAE1E;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,OAAO,GACf,UAAU,CAAC,UAAU,GAAG,SAAS,CAEnC;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAErD"}

package/types/Cardano/Ledger/RewardAddress.d.ts

@@ -1,9 +1,10 @@
-import { Schema } from "effect";
+import { Effect, Schema } from "effect";
 import * as Bytes from "../../Codecs/Bytes.js";
 import * as Cbor from "../../Codecs/Cbor.js";
 import { IsMainnet } from "../Network/IsMainnet.js";
 import * as Data from "../Uplc/Data.js";
 import * as Credential from "./Credential.js";
+import * as ValidatorHash from "./ValidatorHash.js";
 export declare function isValid(addr: string): boolean;
 export declare const RewardAddress: Schema.brand<Schema.filter<typeof Schema.String>, "RewardAddress">;
 export type RewardAddress = Schema.Schema.Type<typeof RewardAddress>;
@@ -50,6 +51,7 @@ export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail
         hash: Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">;
     }>]>>;
 }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"RewardAddress">, string & import("effect/Brand").Brand<"RewardAddress">, never>, IsMainnet>;
+export declare const script: (vh: ValidatorHash.ValidatorHash) => Effect.Effect<string & import("effect/Brand").Brand<"RewardAddress">, never, IsMainnet>;
 export declare function make(isMainnet: boolean, cred: Credential.Credential): RewardAddress;
 export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<RewardAddress>;
 export declare function encode(addr: RewardAddress): number[];

package/types/Cardano/Ledger/RewardAddress.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RewardAddress.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAI7C,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM7C;AAED,eAAO,MAAM,aAAa,oEAKzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iKAYxB,CAAA;AAED,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,UAAU,CAAC,UAAU,GAC1B,aAAa,CAKf;AAyDD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CAkB/B,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAEpD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAEtD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEzD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC,UAAU,CAExE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAElE"}
+{"version":3,"file":"RewardAddress.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAuB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM7C;AAED,eAAO,MAAM,aAAa,oEAKzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iKAYxB,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,IAAI,aAAa,CAAC,aAAa,4FAKlD,CAAA;AAEJ,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,UAAU,CAAC,UAAU,GAC1B,aAAa,CAKf;AAyDD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CAkB/B,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAEpD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAEtD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEzD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC,UAAU,CAExE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAElE"}

package/types/Cardano/Ledger/Tx.d.ts

@@ -113,7 +113,7 @@ export type MetadataAttr = string | number | readonly MetadataAttr[] | Readonly<
 export declare const empty: Tx;
 export declare const decode: (options?: {
     trusted?: boolean;
-}) => (bytes: Bytes.BytesLike) => Effect.Effect<Tx, Cbor.DecodeError | Bytes.EndOfStreamError | import("../Network/errors.js").ConnectionError | import("../Network/errors.js").UnexpectedFormat | import("../Network/errors.js").UTxONotFound | import("../Network/errors.js").UTxOAlreadySpent, import("../Network/UTxO.js").UTxO>;
+}) => (bytes: Bytes.BytesLike) => Effect.Effect<Tx, Bytes.EndOfStreamError | Cbor.DecodeError | import("../Network/errors.js").ConnectionError | import("../Network/errors.js").UnexpectedFormat | import("../Network/errors.js").UTxONotFound | import("../Network/errors.js").UTxOAlreadySpent, import("../Network/UTxO.js").UTxO>;
 export declare const encode: (options?: {
     forFeeCalculation?: boolean;
     full?: boolean;

package/types/Cardano/ScriptContext.d.ts

@@ -18,7 +18,7 @@ export declare const makeArgs: (version: 1 | 2 | 3, tx: Tx, redeemerIndex: numbe
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-}[], ParseResult.ParseError, Params.params | import("./Network/IsMainnet.js").IsMainnet>;
+}[], ParseResult.ParseError, import("./Network/IsMainnet.js").IsMainnet | Params.params>;
 /**
  * Only use for testing!
  */

package/types/Cardano/TxBuilder.d.ts

@@ -149,28 +149,28 @@ export declare const start: Effect.Effect<TxBuilder, never, never>;
  */
 export declare const attachScript: (script: NativeScript.NativeScript | Uplc.Script.Script) => (b: TxBuilder) => TxBuilder;
 export declare const attachScriptEffect: (script: NativeScript.NativeScript | Uplc.Script.Script) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
-export declare const delegate: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
-export declare const delegateEffect: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | E, R>;
-export declare const deregister: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
-export declare const deregisterEffect: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | E, R>;
+export declare const delegate: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded, never>;
+export declare const delegateEffect: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded | E, R>;
+export declare const deregister: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded, never>;
+export declare const deregisterEffect: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded | E, R>;
 export declare const metadata: (mdata: Tx.Metadata) => (b: TxBuilder) => TxBuilder;
 export declare const metadataEffect: (mdata: Tx.Metadata) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
 /**
  * Filters out ADA
  * Entries in assets can be negative for burning
  */
-export declare const mint: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
-export declare const mintEffect: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | E, R>;
+export declare const mint: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded, never>;
+export declare const mintEffect: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded | E, R>;
 export declare const pay: (...outputs: TxOutput.TxOutput[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive, never>;
 export declare const payEffect: (...outputs: TxOutput.TxOutput[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | E, R>;
-export declare const refer: (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded, never>;
-export declare const referEffect: (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | E, R>;
+export declare const refer: (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | Assets.SomeNonPositive, never>;
+export declare const referEffect: (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | Assets.SomeNonPositive | E, R>;
 export declare const register: (credential: Credential.Credential) => (b: TxBuilder) => TxBuilder;
 export declare const registerEffect: (credential: Credential.Credential) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
 export declare const sign: (...signers: PubKeyHash.PubKeyHash[]) => (b: TxBuilder) => TxBuilder;
 export declare const signEffect: (...signers: PubKeyHash.PubKeyHash[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
-export declare const spend: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound, GetDatum>;
-export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | E, GetDatum | R>;
+export declare const spend: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingDatum | MissingRedeemer | UTxOAlreadyAdded | Assets.SomeNonPositive | RedeemerAlreadyAdded | DatumNotFound, GetDatum>;
+export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingDatum | MissingRedeemer | UTxOAlreadyAdded | Assets.SomeNonPositive | RedeemerAlreadyAdded | DatumNotFound | E, GetDatum | R>;
 export declare const validFromSlot: (slot: number) => (b: TxBuilder) => TxBuilder;
 export declare const validFromSlotEffect: (slot: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
 /**
@@ -229,6 +229,6 @@ export interface BabelFeeOptions {
      */
     readonly assetClass: AssetClass.AssetClass;
 }
-export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet>;
+export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxO | Network.Params.params | BalancingWallet>;
 export {};
 //# sourceMappingURL=TxBuilder.d.ts.map

package/types/Cardano/Uplc/Script.d.ts

@@ -82,7 +82,8 @@ declare const eval$: (script: Script, args: readonly Value.Value[] | undefined,
     }[];
     breakdown: Cost.Breakdown;
 }, Error, never>;
-export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<1 | 2 | 3>, Error, never>;
+export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<2 | 1 | 3>, Error, never>;
+export declare const extractParams: (script: Script) => Effect.Effect<Value.Value[], Error, never>;
 export { eval$ as eval };
 export declare function hash(script: Script): ValidatorHash;
 export declare const isVersion: <V extends Version>(v: V) => (script: Script) => script is Script<V>;

package/types/Cardano/Uplc/Script.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,OAAO,+EAInB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAUxD;;;;;GAKG;AACH,eAAO,MAAM,MAAM;IAbjB;;OAEG;;;;;GAgBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IApBnB;;OAEG;;;;;GAuBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IA3BnB;;OAEG;;;;;GA8BJ,CAAA;AAED,eAAO,MAAM,QAAQ;IAlCnB;;OAEG;;;;;GAqCJ,CAAA;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI;IAChD,OAAO,EAAE,CAAC,CAAA;IACV,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,oCAAiC,CAAA;AAE1E,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAqB1D,CAAA;AAEJ,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,MAC7B,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAgCjD,CAAA;AAEN,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE/C;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,KAAK,GACT,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,aAAY,SAAS,MAAM,EAAE,GAAG,SAAqB,EACrD,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB;;;;;;;;gBAkGiyJ,CAAC;;;gBA3D10J,CAAA;AAEJ,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,EAAE,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,mDAyC9D,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAMlD;AAED,eAAO,MAAM,SAAS,GACnB,CAAC,SAAS,OAAO,EAAE,GAAG,CAAC,MACvB,QAAQ,MAAM,KAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CACf,CAAA"}
+{"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,OAAO,+EAInB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAUxD;;;;;GAKG;AACH,eAAO,MAAM,MAAM;IAbjB;;OAEG;;;;;GAgBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IApBnB;;OAEG;;;;;GAuBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IA3BnB;;OAEG;;;;;GA8BJ,CAAA;AAED,eAAO,MAAM,QAAQ;IAlCnB;;OAEG;;;;;GAqCJ,CAAA;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI;IAChD,OAAO,EAAE,CAAC,CAAA;IACV,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,oCAAiC,CAAA;AAE1E,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAqB1D,CAAA;AAEJ,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,MAC7B,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAgCjD,CAAA;AAEN,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE/C;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,KAAK,GACT,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,aAAY,SAAS,MAAM,EAAE,GAAG,SAAqB,EACrD,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB;;;;;;;;gBAiH2+I,CAAC;;;gBA1EphJ,CAAA;AAEJ,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,EAAE,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,mDAyC9D,CAAA;AAEJ,eAAO,MAAM,aAAa,GAAI,QAAQ,MAAM,+CAaxC,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAMlD;AAED,eAAO,MAAM,SAAS,GACnB,CAAC,SAAS,OAAO,EAAE,GAAG,CAAC,MACvB,QAAQ,MAAM,KAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CACf,CAAA"}

package/types/Cardano/index.d.ts

@@ -1,4 +1,5 @@
 export * as CoinSelection from "./CoinSelection.js";
+export * as Contract from "./Contract.js";
 export * as Cose from "./Cose/index.js";
 export * as Ledger from "./Ledger/index.js";
 export * as Network from "./Network/index.js";

package/types/Cardano/index.d.ts.map

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