@helios-lang/effect 0.1.15 → 0.2.0

package/dist/Cardano/Ledger/DCert.js

@@ -0,0 +1,117 @@
+import { Either } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Data from "../Uplc/Data.js";
+import * as Credential from "./Credential.js";
+import * as PubKeyHash from "./PubKeyHash.js";
+export const FromUplcData = Data.Enum({
+    Registration: {
+        credential: Credential.FromUplcData
+    },
+    Deregistration: {
+        credential: Credential.FromUplcData
+    },
+    Delegation: {
+        credential: Credential.FromUplcData,
+        poolId: PubKeyHash.FromUplcData
+    },
+    RegisterPool: {
+        id: PubKeyHash.FromUplcData,
+        vrf: PubKeyHash.FromUplcData,
+        pledge: Data.BigInt,
+        margin: Data.Int,
+        owners: Data.Array(PubKeyHash.FromUplcData)
+    },
+    RetirePool: {
+        poolId: PubKeyHash.FromUplcData,
+        epoch: Data.Int
+    }
+});
+export const decode = (bytes) => Either.gen(function* () {
+    const stream = Bytes.makeStream(bytes);
+    const [tag, decodeItem] = yield* Cbor.decodeTagged(stream);
+    switch (tag) {
+        case 0:
+            return {
+                _tag: "Registration",
+                credential: yield* decodeItem(Credential.decode)
+            };
+        case 1:
+            return {
+                _tag: "Deregistration",
+                credential: yield* decodeItem(Credential.decode)
+            };
+        case 2:
+            return {
+                _tag: "Delegation",
+                credential: yield* decodeItem(Credential.decode),
+                poolId: yield* decodeItem(PubKeyHash.decode)
+            };
+        default:
+            return yield* Either.left(new Cbor.DecodeError(stream, `unhandled tag '${tag}'`));
+    }
+});
+export function encode(dcert) {
+    switch (dcert._tag) {
+        case "Registration":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(0),
+                Credential.encode(dcert.credential)
+            ]);
+        case "Deregistration":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(1),
+                Credential.encode(dcert.credential)
+            ]);
+        case "Delegation":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(2),
+                Credential.encode(dcert.credential),
+                PubKeyHash.encode(dcert.poolId)
+            ]);
+        case "RegisterPool":
+            throw new Error("not yet implemented");
+        case "RetirePool":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(4),
+                PubKeyHash.encode(dcert.poolId),
+                Cbor.encodeInt(dcert.epoch)
+            ]);
+    }
+}
+export function equals(a, b) {
+    if (a._tag == "Delegation" && b._tag == "Delegation") {
+        return Credential.equals(a.credential, b.credential) && a.poolId == b.poolId;
+    }
+    else if (a._tag == "Deregistration" && b._tag == "Deregistration") {
+        return Credential.equals(a.credential, b.credential);
+    }
+    else if (a._tag == "RegisterPool" && b._tag == "RegisterPool") {
+        // I don't think we have to check equality of the pool parameters because only one pool with a given id can be registered at a time, and this equality check is mainly used for that
+        return a.id == b.id;
+    }
+    else if (a._tag == "Registration" && b._tag == "Registration") {
+        return Credential.equals(a.credential, b.credential);
+    }
+    else if (a._tag == "RetirePool" && b._tag == "RetirePool") {
+        return a.poolId == b.poolId;
+    }
+    else {
+        return false;
+    }
+}
+export function validatorHash(dcert) {
+    switch (dcert._tag) {
+        case "Registration":
+        case "Deregistration":
+        case "Delegation": {
+            if (dcert.credential._tag != "Validator") {
+                throw new Error(`${dcert._tag} dcert not controlled by script`);
+            }
+            return dcert.credential.hash;
+        }
+        default:
+            throw new Error(`${dcert._tag} not controlled by script`);
+    }
+}
+//# sourceMappingURL=DCert.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DCert.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/DCert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AA4C7C,MAAM,CAAC,MAAM,YAAY,GAAoC,IAAI,CAAC,IAAI,CAAC;IACrE,YAAY,EAAE;QACZ,UAAU,EAAE,UAAU,CAAC,YAAY;KACpC;IACD,cAAc,EAAE;QACd,UAAU,EAAE,UAAU,CAAC,YAAY;KACpC;IACD,UAAU,EAAE;QACV,UAAU,EAAE,UAAU,CAAC,YAAY;QACnC,MAAM,EAAE,UAAU,CAAC,YAAY;KAChC;IACD,YAAY,EAAE;QACZ,EAAE,EAAE,UAAU,CAAC,YAAY;QAC3B,GAAG,EAAE,UAAU,CAAC,YAAY;QAC5B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC;KAC5C;IACD,UAAU,EAAE;QACV,MAAM,EAAE,UAAU,CAAC,YAAY;QAC/B,KAAK,EAAE,IAAI,CAAC,GAAG;KAChB;CACF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA4B,EAAE,CACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAE1D,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;aACjD,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;aACjD,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;gBAChD,MAAM,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;aAC7C,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,kBAAkB,GAAG,GAAG,CAAC,CACvD,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;aACpC,CAAC,CAAA;QACJ,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;aACpC,CAAC,CAAA;QACJ,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;gBACnC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;aAChC,CAAC,CAAA;QACJ,KAAK,cAAc;YACjB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;QACxC,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;gBAC/B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;aAC5B,CAAC,CAAA;IACN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAQ,EAAE,CAAQ;IACvC,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;QACrD,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAA;IAC9E,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,IAAI,gBAAgB,IAAI,CAAC,CAAC,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,IAAI,cAAc,IAAI,CAAC,CAAC,IAAI,IAAI,cAAc,EAAE,CAAC;QAChE,oLAAoL;QACpL,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAA;IACrB,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,IAAI,cAAc,IAAI,CAAC,CAAC,IAAI,IAAI,cAAc,EAAE,CAAC;QAChE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;QAC5D,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAA;IAC7B,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,iCAAiC,CAAC,CAAA;YACjE,CAAC;YAED,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAA;QAC9B,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,2BAA2B,CAAC,CAAA;IAC7D,CAAC;AACH,CAAC"}

package/dist/Cardano/Ledger/DatumHash.js

@@ -0,0 +1,25 @@
+import { Either, Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import { decodeBytes, encodeBytes } from "../../Codecs/Cbor.js";
+import * as Crypto from "../../Crypto";
+import { Data } from "../Uplc";
+export function isValid(dh) {
+    return /^[0-9a-fA-F]+$/.test(dh) && dh.length == 64;
+}
+export const DatumHash = Schema.String.pipe(Schema.filter((dh) => isValid(dh) || "Invalid Cardano DatumHash"), Schema.brand("DatumHash"));
+export function make(bytes) {
+    return Schema.decodeEither(DatumHash)(Bytes.toHex(bytes));
+}
+export const FromUplcData = Schema.transform(Data.ByteArray, DatumHash, {
+    strict: true,
+    decode: Encoding.encodeHex,
+    encode: Bytes.toUint8Array
+});
+export const decode = (bytes) => decodeBytes(bytes).pipe(Either.map((bytes) => new Uint8Array(bytes)), Either.map(Encoding.encodeHex), Either.map(Schema.decodeSync(DatumHash)));
+export function encode(dh) {
+    return encodeBytes(dh);
+}
+export function hash(d) {
+    return Encoding.encodeHex(Crypto.Blake2b.hashSync(Data.encode(d)));
+}
+//# sourceMappingURL=DatumHash.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DatumHash.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/DatumHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAC7E,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,MAAM,UAAU,OAAO,CAAC,EAAU;IAChC,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAA;AACrD,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,2BAA2B,CAAC,EACzE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAC1B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC3D,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE;IACtE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,KAAK,CAAC,YAAY;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA2B,EAAE,CACxE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CACzC,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,EAAa;IAClC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,CAAY;IAC/B,OAAO,QAAQ,CAAC,SAAS,CACvB,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC3B,CAAA;AAChB,CAAC"}

package/dist/Cardano/Ledger/MintingPolicy.js

@@ -0,0 +1,40 @@
+import { Either, Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Data from "../Uplc/Data.js";
+export function isValid(mph) {
+    const n = mph.length;
+    if (n == 0) {
+        return true;
+    }
+    else {
+        return /^[0-9a-fA-F]+$/.test(mph) && n == 56;
+    }
+}
+export const MintingPolicy = Schema.String.pipe(Schema.filter((mph) => isValid(mph) || "Invalid Cardano MintingPolicy"), Schema.brand("MintingPolicy"));
+export const FromUplcData = Schema.transform(Data.ByteArray, MintingPolicy, {
+    strict: true,
+    decode: Encoding.encodeHex,
+    encode: Bytes.toUint8Array
+});
+export function make(policy) {
+    return Schema.decodeEither(MintingPolicy)(Bytes.toHex(policy));
+}
+export const decode = (bytes) => Cbor.decodeBytes(bytes).pipe(Either.flatMap(make), Either.mapLeft((e) => {
+    if (e._tag == "ParseError") {
+        return new Cbor.DecodeError(Bytes.makeStream(bytes), e.message);
+    }
+    else {
+        return e;
+    }
+}));
+export function encode(policy) {
+    return Cbor.encodeBytes(policy);
+}
+export function hash(policy) {
+    if (policy == "") {
+        throw new Error("can't convert Ada policy to hash");
+    }
+    return policy;
+}
+//# sourceMappingURL=MintingPolicy.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MintingPolicy.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/MintingPolicy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAGvC,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAA;IAEpB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAA;IACb,CAAC;SAAM,CAAC;QACN,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;IAC9C,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CACX,CAAC,GAAW,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,+BAA+B,CACjE,EACD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE;IAC1E,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,KAAK,CAAC,YAAY;CAC3B,CAAC,CAAA;AAEF,MAAM,UAAU,IAAI,CAAC,MAAuB;IAC1C,OAAO,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;AAChE,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,KAAsB,EACY,EAAE,CACpC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EACpB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;IACnB,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;QAC3B,OAAO,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;IACjE,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,CAAA;IACV,CAAC;AACH,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,MAAqB;IAC1C,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;AACjC,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,MAAqB;IACxC,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;IACrD,CAAC;IAED,OAAO,MAA+C,CAAA;AACxD,CAAC"}

package/dist/Cardano/Ledger/NativeScript.js

@@ -0,0 +1,140 @@
+import { Either, Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Crypto from "../../Crypto";
+import * as PubKeyHash from "./PubKeyHash.js";
+export const After = Schema.Struct({
+    type: Schema.Literal("after"),
+    slot: Schema.Number
+});
+export const Before = Schema.Struct({
+    type: Schema.Literal("before"),
+    slot: Schema.Number
+});
+export const All = Schema.Struct({
+    type: Schema.Literal("all"),
+    scripts: Schema.Array(Schema.suspend(() => NativeScript))
+});
+export const Any = Schema.Struct({
+    type: Schema.Literal("any"),
+    scripts: Schema.Array(Schema.suspend(() => NativeScript))
+});
+export const AtLeast = Schema.Struct({
+    type: Schema.Literal("atLeast"),
+    required: Schema.Number,
+    scripts: Schema.Array(Schema.suspend(() => NativeScript))
+});
+export const Sig = Schema.Struct({
+    type: Schema.Literal("sig"),
+    keyHash: PubKeyHash.PubKeyHash
+});
+export const NativeScript = Schema.Union(After, Before, All, Any, AtLeast, Sig);
+export const decode = (bytes) => Either.gen(function* () {
+    const stream = Bytes.makeStream(bytes);
+    if ((yield* stream.peekOne()) == 0) {
+        yield* stream.shiftOne();
+    }
+    const [tag, decodeItem] = yield* Cbor.decodeTagged(stream);
+    switch (tag) {
+        case 0:
+            return {
+                type: "sig",
+                keyHash: yield* decodeItem(PubKeyHash.decode)
+            };
+        case 1:
+            return {
+                type: "all",
+                scripts: yield* decodeItem(Cbor.decodeList(decode))
+            };
+        case 2:
+            return {
+                type: "any",
+                scripts: yield* decodeItem(Cbor.decodeList(decode))
+            };
+        case 3:
+            return {
+                type: "atLeast",
+                required: Number(yield* decodeItem(Cbor.decodeInt)),
+                scripts: yield* decodeItem(Cbor.decodeList(decode))
+            };
+        case 4:
+            return {
+                type: "after",
+                slot: Number(yield* decodeItem(Cbor.decodeInt))
+            };
+        case 5:
+            return {
+                type: "before",
+                slot: Number(yield* decodeItem(Cbor.decodeInt))
+            };
+        default:
+            return yield* Either.left(new Cbor.DecodeError(stream, `unexpected NativeScript tag ${tag}`));
+    }
+});
+export function encode(script) {
+    switch (script.type) {
+        case "sig":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(0),
+                PubKeyHash.encode(script.keyHash)
+            ]);
+        case "all":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(1),
+                Cbor.encodeDefList(script.scripts.map(encode))
+            ]);
+        case "any":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(2),
+                Cbor.encodeDefList(script.scripts.map(encode))
+            ]);
+        case "atLeast":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(3),
+                Cbor.encodeInt(script.required),
+                Cbor.encodeDefList(script.scripts.map(encode))
+            ]);
+        case "after":
+            return Cbor.encodeTuple([Cbor.encodeInt(4), Cbor.encodeInt(script.slot)]);
+        case "before":
+            return Cbor.encodeTuple([Cbor.encodeInt(5), Cbor.encodeInt(script.slot)]);
+    }
+}
+export function hash(script) {
+    const bytes = encode(script);
+    bytes.unshift(0);
+    return Encoding.encodeHex(Crypto.Blake2b.hashSync(bytes, 28));
+}
+// simple recursive algorithm
+export function validate(ctx) {
+    return (script) => {
+        switch (script.type) {
+            case "sig":
+                return ctx.signers.includes(script.keyHash);
+            case "all":
+                return script.scripts.every(validate(ctx));
+            case "any":
+                return script.scripts.some(validate(ctx));
+            case "atLeast":
+                return (script.scripts
+                    .map(validate(ctx))
+                    .reduce((prev, b) => prev + Number(b), 0) >=
+                    script.required);
+            case "after":
+                if (ctx.firstValidSlot !== undefined) {
+                    return script.slot < ctx.firstValidSlot;
+                }
+                else {
+                    return false;
+                }
+            case "before":
+                if (ctx.lastValidSlot !== undefined) {
+                    return ctx.lastValidSlot < script.slot;
+                }
+                else {
+                    return false;
+                }
+        }
+    };
+}
+//# sourceMappingURL=NativeScript.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NativeScript.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/NativeScript.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAG7C,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC,KAAK,CACnB,MAAM,CAAC,OAAO,CACZ,GAAkD,EAAE,CAAC,YAAY,CAClE,CACF;CACF,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC,KAAK,CACnB,MAAM,CAAC,OAAO,CACZ,GAAkD,EAAE,CAAC,YAAY,CAClE,CACF;CACF,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,OAAO,EAAE,MAAM,CAAC,KAAK,CACnB,MAAM,CAAC,OAAO,CACZ,GAAkD,EAAE,CAAC,YAAY,CAClE,CACF;CACF,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IAC3B,OAAO,EAAE,UAAU,CAAC,UAAU;CAC/B,CAAC,CAAA;AA0DF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;AAE/E,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,KAAsB,EACW,EAAE,CACnC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAA;IAC1B,CAAC;IAED,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAE1D,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;aAC9C,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;aACpD,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;aACpD,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACnD,OAAO,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;aACpD,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;aAChD,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;aAChD,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,+BAA+B,GAAG,EAAE,CAAC,CACnE,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,MAAoB;IACzC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;aAClC,CAAC,CAAA;QACJ,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/C,CAAC,CAAA;QACJ,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/C,CAAC,CAAA;QACJ,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAC/B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/C,CAAC,CAAA;QACJ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC3E,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC7E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,MAAoB;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IAC5B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAChB,OAAO,QAAQ,CAAC,SAAS,CACvB,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CACJ,CAAA;AAClC,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,QAAQ,CAAC,GAIxB;IACC,OAAO,CAAC,MAAoB,EAAW,EAAE;QACvC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,KAAK;gBACR,OAAO,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAC7C,KAAK,KAAK;gBACR,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;YAC5C,KAAK,KAAK;gBACR,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;YAC3C,KAAK,SAAS;gBACZ,OAAO,CACL,MAAM,CAAC,OAAO;qBACX,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;qBAClB,MAAM,CAAC,CAAC,IAAY,EAAE,CAAU,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC5D,MAAM,CAAC,QAAQ,CAChB,CAAA;YACH,KAAK,OAAO;gBACV,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;oBACrC,OAAO,MAAM,CAAC,IAAI,GAAG,GAAG,CAAC,cAAc,CAAA;gBACzC,CAAC;qBAAM,CAAC;oBACN,OAAO,KAAK,CAAA;gBACd,CAAC;YACH,KAAK,QAAQ;gBACX,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;oBACpC,OAAO,GAAG,CAAC,aAAa,GAAG,MAAM,CAAC,IAAI,CAAA;gBACxC,CAAC;qBAAM,CAAC;oBACN,OAAO,KAAK,CAAA;gBACd,CAAC;QACL,CAAC;IACH,CAAC,CAAA;AACH,CAAC"}

package/dist/Cardano/Ledger/PubKey.js

@@ -0,0 +1,22 @@
+import { Effect, Either, Encoding, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import { decodeBytes, encodeBytes } from "../../Codecs/Cbor.js";
+import { Data } from "../Uplc";
+export function isValid(pk) {
+    return /^[0-9a-fA-F]+$/.test(pk) && pk.length == 64;
+}
+export const PubKey = Schema.String.pipe(Schema.filter((pk) => isValid(pk) || "Invalid Cardano PubKey"), Schema.brand("PubKey"));
+export function make(bytes) {
+    return Schema.decode(PubKey)(Bytes.toHex(bytes));
+}
+export const FromUplcData = Schema.transform(Data.ByteArray, PubKey, {
+    strict: true,
+    decode: Encoding.encodeHex,
+    encode: (s) => Effect.runSync(Encoding.decodeHex(s))
+});
+export const decode = (bytes) => decodeBytes(bytes).pipe(Either.map((bytes) => new Uint8Array(bytes)), Either.map(Encoding.encodeHex), Either.map(Schema.decodeSync(PubKey)));
+export function encode(pkh) {
+    return encodeBytes(pkh);
+}
+export const dummy = Encoding.encodeHex(new Uint8Array(new Array(32).fill(0)));
+//# sourceMappingURL=PubKey.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PubKey.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/PubKey.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,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,MAAM,UAAU,OAAO,CAAC,EAAU;IAChC,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAA;AACrD,CAAC;AACD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,wBAAwB,CAAC,EACtE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CACvB,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAClD,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE;IACnE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACrD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAAwB,EAAE,CACrE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CACtC,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,GAAW;IAChC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAA;AACzB,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAAW,QAAQ,CAAC,SAAS,CAC7C,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAC5B,CAAA"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"PubKeyHash.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/PubKeyHash.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,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,CAAA;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,4BAA4B,CAAC,EAC5E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE;IACvE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACrD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA4B,EAAE,CACzE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAC1C,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,GAAe;IACpC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAA;AACzB,CAAC"}

package/dist/Cardano/Ledger/Redeemer.js

@@ -0,0 +1,155 @@
+import { Either, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import { Cost, Data } from "../Uplc";
+export const Minting = Schema.TaggedStruct("Minting", {
+    policyIndex: Schema.Number,
+    data: Data.Data,
+    cost: Cost.Cost
+});
+export const Spending = Schema.TaggedStruct("Spending", {
+    inputIndex: Schema.Number,
+    data: Data.Data,
+    cost: Cost.Cost
+});
+export const Rewarding = Schema.TaggedStruct("Rewarding", {
+    withdrawalIndex: Schema.Number,
+    data: Data.Data,
+    cost: Cost.Cost
+});
+export const Certifying = Schema.TaggedStruct("Certifying", {
+    dcertIndex: Schema.Number,
+    data: Data.Data,
+    cost: Cost.Cost
+});
+export const Redeemer = Schema.Union(Minting, Spending, Rewarding, Certifying);
+/**
+ * @param a
+ * @param b
+ * @returns
+ */
+export function compare(a, b) {
+    switch (a._tag) {
+        case "Spending":
+            switch (b._tag) {
+                case "Spending":
+                    return a.inputIndex - b.inputIndex;
+                case "Minting":
+                    return 0 - 1;
+                case "Certifying":
+                    return 0 - 2;
+                case "Rewarding":
+                    return 0 - 3;
+            }
+            // needed to avoid linting errors
+            break;
+        case "Minting":
+            switch (b._tag) {
+                case "Spending":
+                    return 1 - 0;
+                case "Minting":
+                    return a.policyIndex - b.policyIndex;
+                case "Certifying":
+                    return 1 - 2;
+                case "Rewarding":
+                    return 1 - 3;
+            }
+            // needed to avoid linting errors
+            break;
+        case "Certifying":
+            switch (b._tag) {
+                case "Spending":
+                    return 2 - 0;
+                case "Minting":
+                    return 2 - 1;
+                case "Certifying":
+                    return a.dcertIndex - b.dcertIndex;
+                case "Rewarding":
+                    return 2 - 3;
+            }
+            // needed to avoid linting errors
+            break;
+        case "Rewarding":
+            switch (b._tag) {
+                case "Spending":
+                    return 3 - 0;
+                case "Minting":
+                    return 3 - 1;
+                case "Certifying":
+                    return 3 - 2;
+                case "Rewarding":
+                    return a.withdrawalIndex - b.withdrawalIndex;
+            }
+            // needed to avoid linting errors
+            break;
+    }
+}
+export const decode = (bytes) => Either.gen(function* () {
+    const [tag, decodeItem] = yield* Cbor.decodeTagged(bytes);
+    switch (tag) {
+        case 0: {
+            return {
+                _tag: "Spending",
+                inputIndex: Number(yield* decodeItem(Cbor.decodeInt)),
+                data: yield* decodeItem(Data.decode),
+                cost: yield* decodeItem(Cost.decode)
+            };
+        }
+        case 1:
+            return {
+                _tag: "Minting",
+                policyIndex: Number(yield* decodeItem(Cbor.decodeInt)),
+                data: yield* decodeItem(Data.decode),
+                cost: yield* decodeItem(Cost.decode)
+            };
+        case 2:
+            return {
+                _tag: "Certifying",
+                dcertIndex: Number(yield* decodeItem(Cbor.decodeInt)),
+                data: yield* decodeItem(Data.decode),
+                cost: yield* decodeItem(Cost.decode)
+            };
+        case 3:
+            return {
+                _tag: "Rewarding",
+                withdrawalIndex: Number(yield* decodeItem(Cbor.decodeInt)),
+                data: yield* decodeItem(Data.decode),
+                cost: yield* decodeItem(Cost.decode)
+            };
+        default:
+            return yield* Either.left(new Cbor.DecodeError(Bytes.makeStream(bytes), `unhandled Redeemer tag ${tag}`));
+    }
+});
+export function encode(redeemer) {
+    switch (redeemer._tag) {
+        case "Spending":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(0),
+                Cbor.encodeInt(redeemer.inputIndex),
+                Data.encode(redeemer.data),
+                Cost.encode(redeemer.cost)
+            ]);
+        case "Minting":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(1),
+                Cbor.encodeInt(redeemer.policyIndex),
+                Data.encode(redeemer.data),
+                Cost.encode(redeemer.cost)
+            ]);
+        case "Certifying":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(2),
+                Cbor.encodeInt(redeemer.dcertIndex),
+                Data.encode(redeemer.data),
+                Cost.encode(redeemer.cost)
+            ]);
+        case "Rewarding":
+            return Cbor.encodeTuple([
+                Cbor.encodeInt(3),
+                Cbor.encodeInt(redeemer.withdrawalIndex),
+                Data.encode(redeemer.data),
+                Cost.encode(redeemer.cost)
+            ]);
+    }
+}
+//# sourceMappingURL=Redeemer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Redeemer.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Redeemer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAEpC,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE;IACpD,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE;IACtD,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE;IACxD,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE;IAC1D,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAA;AAI9E;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,CAAW,EAAE,CAAW;IAC9C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACb,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,UAAU;oBACb,OAAO,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAA;gBACpC,KAAK,SAAS;oBACZ,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,YAAY;oBACf,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,WAAW;oBACd,OAAO,CAAC,GAAG,CAAC,CAAA;YAChB,CAAC;YAED,iCAAiC;YACjC,MAAK;QACP,KAAK,SAAS;YACZ,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,UAAU;oBACb,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,SAAS;oBACZ,OAAO,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAA;gBACtC,KAAK,YAAY;oBACf,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,WAAW;oBACd,OAAO,CAAC,GAAG,CAAC,CAAA;YAChB,CAAC;YAED,iCAAiC;YACjC,MAAK;QACP,KAAK,YAAY;YACf,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,UAAU;oBACb,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,SAAS;oBACZ,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,YAAY;oBACf,OAAO,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAA;gBACpC,KAAK,WAAW;oBACd,OAAO,CAAC,GAAG,CAAC,CAAA;YAChB,CAAC;YAED,iCAAiC;YACjC,MAAK;QACP,KAAK,WAAW;YACd,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,UAAU;oBACb,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,SAAS;oBACZ,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,YAAY;oBACf,OAAO,CAAC,GAAG,CAAC,CAAA;gBACd,KAAK,WAAW;oBACd,OAAO,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,eAAe,CAAA;YAChD,CAAC;YAED,iCAAiC;YACjC,MAAK;IACT,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA+B,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IAEzD,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC,CAAC,CAAC,CAAC;YACP,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;aACrC,CAAA;QACH,CAAC;QACD,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtD,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;aACrC,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;aACrC,CAAA;QACH,KAAK,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC1D,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;aACrC,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,0BAA0B,GAAG,EAAE,CAChC,CACF,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,QAAkB;IACvC,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;aAC3B,CAAC,CAAA;QACJ,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;gBACpC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;aAC3B,CAAC,CAAA;QACJ,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;aAC3B,CAAC,CAAA;QACJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC;gBACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;aAC3B,CAAC,CAAA;IACN,CAAC;AACH,CAAC"}