@helios-lang/effect 0.1.15 → 0.3.0

package/dist/Crypto/Sha2_512.js

@@ -0,0 +1,264 @@
+import { Effect } from "effect";
+import * as BigEndian from "../Codecs/BigEndian.js";
+import * as Bytes from "../Codecs/Bytes.js";
+import { NativeUnavailable } from "./errors.js";
+/**
+ * Prefers the WebCrypto hashing function and is more performant than `hashSync`,
+ *   but must be run async
+ * @param bytes
+ * @returns
+ */
+export const hash = (bytes) => hashWebCrypto(bytes).pipe(Effect.catchTag("NativeUnavailable", () => hashNode(bytes)), Effect.catchTag("NativeUnavailable", () => Effect.succeed(hashSync(bytes))));
+/**
+ * Hash using WebCrypto primitives
+ * (browser, Node >= 16, Deno, Bun, etc.)
+ * @param bytes
+ * @returns
+ */
+export const hashWebCrypto = (bytes) => {
+    if (globalThis.crypto?.subtle !== undefined) {
+        return Effect.tryPromise({
+            try: () => globalThis.crypto.subtle.digest("SHA-512", Bytes.toUint8Array(bytes)),
+            catch: (e) => new Error(`${e.message}`)
+        }).pipe(Effect.map((buffer) => new Uint8Array(buffer)));
+    }
+    else {
+        return Effect.fail(new NativeUnavailable("SHA-512"));
+    }
+};
+/**
+ * Hash using nodejs crypto library
+ * @param bytes
+ * @returns
+ */
+export const hashNode = (bytes) => {
+    return Effect.tryPromise({
+        try: () => import("crypto"),
+        catch: (_e) => new NativeUnavailable("SHA-512")
+    }).pipe(Effect.flatMap((m) => Effect.sync(() => m.createHash("sha512").update(Bytes.toUint8Array(bytes)).digest())));
+};
+/**
+ * Calculates sha2-512 (64bytes) hash of a list of uint8 numbers.
+ * Result is also a list of uint8 number.
+ * @param bs List of uint8 numbers
+ * @returns List of uint8 numbers.
+ */
+export function hashSync(bytes) {
+    const bs = pad(Bytes.toArray(bytes));
+    const hash = IV.slice();
+    // break message in successive 64 byte chunks
+    for (let chunkStart = 0; chunkStart < bs.length; chunkStart += 128) {
+        const chunk = bs.slice(chunkStart, chunkStart + 128);
+        const w = new Array(160).fill(0); // array of 32 bit numbers!
+        // copy chunk into first 16 hi/lo positions of w (i.e. into first 32 uint32 positions)
+        for (let i = 0; i < 32; i += 2) {
+            const bs = chunk.slice(i * 4, i * 4 + 8);
+            w[i + 0] =
+                ((bs[0] << 24) | (bs[1] << 16) | (bs[2] << 8) | (bs[3] << 0)) >>> 0;
+            w[i + 1] =
+                ((bs[4] << 24) | (bs[5] << 16) | (bs[6] << 8) | (bs[7] << 0)) >>> 0;
+        }
+        // extends the first 16 uint64 positions into the remaining 80 uint64 positions (so first 32 uint32 into remaining 160 uint32 positions)
+        for (let i = 32; i < 160; i += 2) {
+            let h = w[i - 30];
+            let l = w[i - 29];
+            const sigma0h = (((h >>> 1) | (l << 31)) ^ ((h >>> 8) | (l << 24)) ^ (h >>> 7)) >>> 0;
+            const sigma0l = (((l >>> 1) | (h << 31)) ^
+                ((l >>> 8) | (h << 24)) ^
+                ((l >>> 7) | (h << 25))) >>>
+                0;
+            h = w[i - 4];
+            l = w[i - 3];
+            const sigma1h = (((h >>> 19) | (l << 13)) ^ ((l >>> 29) | (h << 3)) ^ (h >>> 6)) >>> 0;
+            const sigma1l = (((l >>> 19) | (h << 13)) ^
+                ((h >>> 29) | (l << 3)) ^
+                ((l >>> 6) | (h << 26))) >>>
+                0;
+            h = sigma1h + w[i - 14] + sigma0h + w[i - 32];
+            l = sigma1l + w[i - 13] + sigma0l + w[i - 31];
+            w[i] = (h + Math.floor(l / 4294967296)) >>> 0;
+            w[i + 1] = l >>> 0;
+        }
+        // intialize working variables to current hash value
+        let ah = hash[0];
+        let al = hash[1];
+        let bh = hash[2];
+        let bl = hash[3];
+        let ch = hash[4];
+        let cl = hash[5];
+        let dh = hash[6];
+        let dl = hash[7];
+        let eh = hash[8];
+        let el = hash[9];
+        let fh = hash[10];
+        let fl = hash[11];
+        let gh = hash[12];
+        let gl = hash[13];
+        let hh = hash[14];
+        let hl = hash[15];
+        // compression function main loop
+        for (let i = 0; i < 160; i += 2) {
+            const S0h = (((ah >>> 28) | (al << 4)) ^
+                ((al >>> 2) | (ah << 30)) ^
+                ((al >>> 7) | (ah << 25))) >>>
+                0;
+            const S0l = (((al >>> 28) | (ah << 4)) ^
+                ((ah >>> 2) | (al << 30)) ^
+                ((ah >>> 7) | (al << 25))) >>>
+                0;
+            const S1h = (((eh >>> 14) | (el << 18)) ^
+                ((eh >>> 18) | (el << 14)) ^
+                ((el >>> 9) | (eh << 23))) >>>
+                0;
+            const S1l = (((el >>> 14) | (eh << 18)) ^
+                ((el >>> 18) | (eh << 14)) ^
+                ((eh >>> 9) | (el << 23))) >>>
+                0;
+            const majh = ((ah & bh) ^ (ah & ch) ^ (bh & ch)) >>> 0;
+            const majl = ((al & bl) ^ (al & cl) ^ (bl & cl)) >>> 0;
+            const chh = ((eh & fh) ^ (~eh & gh)) >>> 0;
+            const chl = ((el & fl) ^ (~el & gl)) >>> 0;
+            let temp1l = hl + S1l + chl + K[i + 1] + w[i + 1];
+            const temp1h = (hh + S1h + chh + K[i] + w[i] + Math.floor(temp1l / 4294967296)) >>> 0;
+            temp1l = temp1l >>> 0;
+            let temp2l = S0l + majl;
+            const temp2h = (S0h + majh + Math.floor(temp2l / 4294967296)) >>> 0;
+            temp2l = temp2l >>> 0;
+            hh = gh;
+            hl = gl;
+            gh = fh;
+            gl = fl;
+            fh = eh;
+            fl = el;
+            el = dl + temp1l;
+            eh = (dh + temp1h + Math.floor(el / 4294967296)) >>> 0;
+            el = el >>> 0;
+            dh = ch;
+            dl = cl;
+            ch = bh;
+            cl = bl;
+            bh = ah;
+            bl = al;
+            al = temp1l + temp2l;
+            ah = (temp1h + temp2h + Math.floor(al / 4294967296)) >>> 0;
+            al = al >>> 0;
+        }
+        updateHash(hash, 0, ah, al);
+        updateHash(hash, 2, bh, bl);
+        updateHash(hash, 4, ch, cl);
+        updateHash(hash, 6, dh, dl);
+        updateHash(hash, 8, eh, el);
+        updateHash(hash, 10, fh, fl);
+        updateHash(hash, 12, gh, gl);
+        updateHash(hash, 14, hh, hl);
+    }
+    // produce the final digest of uint8 numbers
+    let result = [];
+    for (let i = 0; i < 16; i += 2) {
+        const h = hash[i];
+        const l = hash[i + 1];
+        const bs = [
+            (0xff000000 & h) >>> 24,
+            (0x00ff0000 & h) >>> 16,
+            (0x0000ff00 & h) >>> 8,
+            0x000000ff & h,
+            (0xff000000 & l) >>> 24,
+            (0x00ff0000 & l) >>> 16,
+            (0x0000ff00 & l) >>> 8,
+            0x000000ff & l
+        ];
+        result = result.concat(bs);
+    }
+    return new Uint8Array(result);
+}
+/**
+ * 80 uint64 numbers as 160 uint32 numbers
+ */
+const K = [
+    0x428a2f98, 0xd728ae22, 0x71374491, 0x23ef65cd, 0xb5c0fbcf, 0xec4d3b2f,
+    0xe9b5dba5, 0x8189dbbc, 0x3956c25b, 0xf348b538, 0x59f111f1, 0xb605d019,
+    0x923f82a4, 0xaf194f9b, 0xab1c5ed5, 0xda6d8118, 0xd807aa98, 0xa3030242,
+    0x12835b01, 0x45706fbe, 0x243185be, 0x4ee4b28c, 0x550c7dc3, 0xd5ffb4e2,
+    0x72be5d74, 0xf27b896f, 0x80deb1fe, 0x3b1696b1, 0x9bdc06a7, 0x25c71235,
+    0xc19bf174, 0xcf692694, 0xe49b69c1, 0x9ef14ad2, 0xefbe4786, 0x384f25e3,
+    0x0fc19dc6, 0x8b8cd5b5, 0x240ca1cc, 0x77ac9c65, 0x2de92c6f, 0x592b0275,
+    0x4a7484aa, 0x6ea6e483, 0x5cb0a9dc, 0xbd41fbd4, 0x76f988da, 0x831153b5,
+    0x983e5152, 0xee66dfab, 0xa831c66d, 0x2db43210, 0xb00327c8, 0x98fb213f,
+    0xbf597fc7, 0xbeef0ee4, 0xc6e00bf3, 0x3da88fc2, 0xd5a79147, 0x930aa725,
+    0x06ca6351, 0xe003826f, 0x14292967, 0x0a0e6e70, 0x27b70a85, 0x46d22ffc,
+    0x2e1b2138, 0x5c26c926, 0x4d2c6dfc, 0x5ac42aed, 0x53380d13, 0x9d95b3df,
+    0x650a7354, 0x8baf63de, 0x766a0abb, 0x3c77b2a8, 0x81c2c92e, 0x47edaee6,
+    0x92722c85, 0x1482353b, 0xa2bfe8a1, 0x4cf10364, 0xa81a664b, 0xbc423001,
+    0xc24b8b70, 0xd0f89791, 0xc76c51a3, 0x0654be30, 0xd192e819, 0xd6ef5218,
+    0xd6990624, 0x5565a910, 0xf40e3585, 0x5771202a, 0x106aa070, 0x32bbd1b8,
+    0x19a4c116, 0xb8d2d0c8, 0x1e376c08, 0x5141ab53, 0x2748774c, 0xdf8eeb99,
+    0x34b0bcb5, 0xe19b48a8, 0x391c0cb3, 0xc5c95a63, 0x4ed8aa4a, 0xe3418acb,
+    0x5b9cca4f, 0x7763e373, 0x682e6ff3, 0xd6b2b8a3, 0x748f82ee, 0x5defb2fc,
+    0x78a5636f, 0x43172f60, 0x84c87814, 0xa1f0ab72, 0x8cc70208, 0x1a6439ec,
+    0x90befffa, 0x23631e28, 0xa4506ceb, 0xde82bde9, 0xbef9a3f7, 0xb2c67915,
+    0xc67178f2, 0xe372532b, 0xca273ece, 0xea26619c, 0xd186b8c7, 0x21c0c207,
+    0xeada7dd6, 0xcde0eb1e, 0xf57d4f7f, 0xee6ed178, 0x06f067aa, 0x72176fba,
+    0x0a637dc5, 0xa2c898a6, 0x113f9804, 0xbef90dae, 0x1b710b35, 0x131c471b,
+    0x28db77f5, 0x23047d84, 0x32caab7b, 0x40c72493, 0x3c9ebe0a, 0x15c9bebc,
+    0x431d67c4, 0x9c100d4c, 0x4cc5d4be, 0xcb3e42b6, 0x597f299c, 0xfc657e2a,
+    0x5fcb6fab, 0x3ad6faec, 0x6c44198c, 0x4a475817
+];
+/**
+ * Initialization vector
+ * 8 uint64 numbers as 16 uint32 number
+ */
+const IV = [
+    0x6a09e667, 0xf3bcc908, 0xbb67ae85, 0x84caa73b, 0x3c6ef372, 0xfe94f82b,
+    0xa54ff53a, 0x5f1d36f1, 0x510e527f, 0xade682d1, 0x9b05688c, 0x2b3e6c1f,
+    0x1f83d9ab, 0xfb41bd6b, 0x5be0cd19, 0x137e2179
+];
+/**
+ * Pad a bytearray so its size is a multiple of 128 (1024 bits).
+ * Internal method.
+ * @param src
+ * List of uint8 numbers
+ * @returns
+ */
+function pad(src) {
+    const nBits = src.length * 8;
+    let dst = src.slice();
+    dst.push(0x80);
+    if ((dst.length + 16) % 128 != 0) {
+        let nZeroes = 128 - (dst.length % 128) - 16;
+        if (nZeroes < 0) {
+            nZeroes += 128;
+        }
+        for (let i = 0; i < nZeroes; i++) {
+            dst.push(0);
+        }
+    }
+    if ((dst.length + 16) % 128 != 0) {
+        throw new Error("bad padding");
+    }
+    // assume nBits fits in 32 bits
+    const lengthPadding = BigEndian.encode(BigInt(nBits));
+    if (lengthPadding.length > 16) {
+        throw new Error("input data too big");
+    }
+    while (lengthPadding.length < 16) {
+        lengthPadding.unshift(0);
+    }
+    dst = dst.concat(lengthPadding);
+    if (dst.length % 128 != 0) {
+        throw new Error("bad length padding");
+    }
+    return dst;
+}
+/**
+ * Changes hash in-place
+ * @param hash
+ * @param i
+ * @param h
+ * @param l
+ */
+function updateHash(hash, i, h, l) {
+    l = hash[i + 1] + l;
+    hash[i] = (hash[i] + h + Math.floor(l / 4294967296)) >>> 0;
+    hash[i + 1] = l >>> 0;
+}
+//# sourceMappingURL=Sha2_512.js.map

package/dist/Crypto/Sha2_512.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Sha2_512.js","sourceRoot":"","sources":["../../src/Crypto/Sha2_512.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAE/C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,KAAsB,EACY,EAAE,CACpC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CACvB,MAAM,CAAC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAC3D,MAAM,CAAC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAC5E,CAAA;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAAsB,EACgC,EAAE;IACxD,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC,UAAU,CAAC;YACvB,GAAG,EAAE,GAAG,EAAE,CACR,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACvE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,GAAI,CAAW,CAAC,OAAO,EAAE,CAAC;SACnD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAmB,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACtE,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAA;IACtD,CAAC;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,KAAsB,EACgC,EAAE;IACxD,OAAO,MAAM,CAAC,UAAU,CAAC;QACvB,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC3B,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,iBAAiB,CAAC,SAAS,CAAC;KAChD,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACnB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACf,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAClE,CACF,CACF,CAAA;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAsB;IAC7C,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IAEpC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;IAEvB,6CAA6C;IAC7C,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,IAAI,GAAG,EAAE,CAAC;QACnE,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,GAAG,GAAG,CAAC,CAAA;QAEpD,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAa,CAAA,CAAC,2BAA2B;QAExE,sFAAsF;QACtF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YACxC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACN,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YACrE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACN,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACvE,CAAC;QAED,wIAAwI;QACxI,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;YACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;YAEjB,MAAM,OAAO,GACX,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YACvE,MAAM,OAAO,GACX,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACvB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC1B,CAAC,CAAA;YAEH,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACZ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAEZ,MAAM,OAAO,GACX,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YACxE,MAAM,OAAO,GACX,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACvB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBACvB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC1B,CAAC,CAAA;YAEH,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;YAC7C,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;YAE7C,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;YAC7C,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACpB,CAAC;QAED,oDAAoD;QACpD,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QACjB,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QACjB,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QACjB,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QACjB,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QACjB,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QAEjB,iCAAiC;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,GACP,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBACxB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAA;YACH,MAAM,GAAG,GACP,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBACxB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAA;YAEH,MAAM,GAAG,GACP,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1B,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAA;YACH,MAAM,GAAG,GACP,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1B,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAA;YAEH,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;YACtD,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;YAEtD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;YAC1C,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;YAE1C,IAAI,MAAM,GAAG,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACjD,MAAM,MAAM,GACV,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;YACxE,MAAM,GAAG,MAAM,KAAK,CAAC,CAAA;YAErB,IAAI,MAAM,GAAG,GAAG,GAAG,IAAI,CAAA;YACvB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;YACnE,MAAM,GAAG,MAAM,KAAK,CAAC,CAAA;YAErB,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;YAChB,EAAE,GAAG,CAAC,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;YACtD,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YACb,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,EAAE,CAAA;YACP,EAAE,GAAG,MAAM,GAAG,MAAM,CAAA;YACpB,EAAE,GAAG,CAAC,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;YAC1D,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QACf,CAAC;QAED,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAC3B,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAC3B,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAC3B,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAC3B,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAC3B,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAC5B,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAC5B,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;IAC9B,CAAC;IAED,4CAA4C;IAC5C,IAAI,MAAM,GAAa,EAAE,CAAA;IAEzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACjB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACrB,MAAM,EAAE,GAAG;YACT,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,EAAE;YACvB,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,EAAE;YACvB,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC;YACtB,UAAU,GAAG,CAAC;YACd,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,EAAE;YACvB,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,EAAE;YACvB,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC;YACtB,UAAU,GAAG,CAAC;SACf,CAAA;QAED,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAC5B,CAAC;IAED,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,CAAA;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,GAAa;IAClB,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;CAC/C,CAAA;AAED;;;GAGG;AACH,MAAM,EAAE,GAAa;IACnB,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;CAC/C,CAAA;AAED;;;;;;GAMG;AACH,SAAS,GAAG,CAAC,GAAa;IACxB,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAA;IAE5B,IAAI,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,CAAA;IAErB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAEd,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,OAAO,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,CAAA;QAC3C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,OAAO,IAAI,GAAG,CAAA;QAChB,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACb,CAAC;IACH,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAA;IAChC,CAAC;IAED,+BAA+B;IAC/B,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IAErD,IAAI,aAAa,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACvC,CAAC;IAED,OAAO,aAAa,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACjC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC1B,CAAC;IAED,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IAE/B,IAAI,GAAG,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACvC,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,IAAc,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IACjE,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IACnB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;IAC1D,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACvB,CAAC"}

package/dist/Crypto/Sha3_256.js

@@ -0,0 +1,10 @@
+import * as Keccak from "./Keccak.js";
+/**
+ * @param bytes
+ * @returns
+ * A 32 byte hash
+ */
+export function hashSync(bytes) {
+    return Keccak.hashSync(bytes, 0x06);
+}
+//# sourceMappingURL=Sha3_256.js.map

package/dist/Crypto/Sha3_256.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Sha3_256.js","sourceRoot":"","sources":["../../src/Crypto/Sha3_256.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAsB;IAC7C,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AACrC,CAAC"}

package/dist/Crypto/errors.js

@@ -0,0 +1,9 @@
+import { Data } from "effect";
+export class NativeUnavailable extends Data.TaggedError("NativeUnavailable") {
+    constructor(methodName) {
+        super({
+            message: `Native crypto method '${methodName}' unavailable (hint: use fallback function)`
+        });
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/Crypto/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/Crypto/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAE7B,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAEzE;IACA,YAAY,UAAkB;QAC5B,KAAK,CAAC;YACJ,OAAO,EAAE,yBAAyB,UAAU,6CAA6C;SAC1F,CAAC,CAAA;IACJ,CAAC;CACF"}

package/dist/Crypto/index.js

@@ -0,0 +1,12 @@
+export * as Blake2b from "./Blake2b.js";
+export * as Curve from "./Curve.js";
+export * as Ed25519 from "./Ed25519.js";
+export * as EdDSA from "./EdDSA.js";
+export * as Field from "./Field.js";
+export * as Hmac from "./Hmac.js";
+export * as Keccak from "./Keccak.js";
+export * as Pbkdf2 from "./Pbkdf2.js";
+export * as Sha2_256 from "./Sha2_256.js";
+export * as Sha2_512 from "./Sha2_512.js";
+export * as Sha3_256 from "./Sha3_256.js";
+//# sourceMappingURL=index.js.map

package/dist/Crypto/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/Crypto/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}

package/dist/index.js

@@ -1,6 +1,4 @@
-export * as Bech32 from "./Bech32.js";
-export * as Cbor from "./Cbor.js";
-export * as Ledger from "./Ledger";
-export * as Network from "./Network";
-export * as Uplc from "./Uplc";
+export * as Cardano from "./Cardano";
+export * as Codecs from "./Codecs";
+export * as Crypto from "./Crypto";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAA;AAClC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAA;AACpC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,WAAW,CAAA;AACpC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAA;AAClC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAA"}

package/package.json

@@ -1,13 +1,31 @@
 {
   "name": "@helios-lang/effect",
-  "version": "0.1.15",
+  "version": "0.3.0",
   "description": "",
-  "main": "dist/index.js",
-  "types": "types/index.d.ts",
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./types/index.d.ts",
   "exports": {
-    ".": "./dist/index.js",
-    "./Ledger": "./dist/Ledger/index.js",
-    "./Uplc": "./dist/Uplc/index.js"
+    ".": {
+      "default": "./dist/index.js",
+      "import": "./dist/index.js",
+      "types": "./types/index.d.ts"
+    },
+    "./Cardano": {
+      "default": "./dist/Cardano/index.js",
+      "import": "./dist/Cardano/index.js",
+      "types": "./types/Cardano/index.d.ts"
+    },
+    "./Codecs": {
+      "default": "./dist/Codecs/index.js",
+      "import": "./dist/Codecs/index.js",
+      "types": "./types/Codecs/index.d.ts"
+    },
+    "./Crypto": {
+      "default": "./dist/Crypto/index.js",
+      "import": "./dist/Crypto/index.js",
+      "types": "./types/Crypto/index.d.ts"
+    }
   },
   "keywords": [],
   "author": "Christian Schmitz",

package/tsconfig.build.json

@@ -1,7 +1,7 @@
 {
   "extends": "./tsconfig.json",
   "compilerOptions": {
-    "outDir": "dist",
+    "outDir": "./dist",
     "noEmit": false,
     "declaration": true,
     "declarationMap": true,

package/types/Cardano/CoinSelection.d.ts

@@ -0,0 +1,26 @@
+import { Either } from "effect";
+import * as Assets from "./Ledger/Assets.js";
+import type { UTxO } from "./Ledger/UTxO.js";
+declare const InsufficientFunds_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.CoinSelection.InsufficientFunds";
+} & Readonly<A>;
+export declare class InsufficientFunds extends InsufficientFunds_base<{
+    message: string;
+}> {
+    constructor();
+}
+export type CoinSelection = (utxos: UTxO[], assets: Assets.Assets) => Either.Either<UTxO[], InsufficientFunds>;
+type SelectOptions = {
+    allowSelectingUninvolvedAssets?: boolean;
+};
+/**
+ * Selects UTxOs from a list by iterating through the tokens in the given `Value` and picking the UTxOs containing the largest corresponding amount first.
+ */
+export declare function largestFirst(options?: SelectOptions): CoinSelection;
+/**
+ * Selects UTxOs from a list by iterating through the tokens in the given `Value` and picking the UTxOs containing the smallest corresponding amount first.
+ * This method can be used to eliminate dust UTxOs from a wallet.
+ */
+export declare function smallestFirst(options?: SelectOptions): CoinSelection;
+export {};
+//# sourceMappingURL=CoinSelection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"CoinSelection.d.ts","sourceRoot":"","sources":["../../src/Cardano/CoinSelection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;;;;AAE5C,qBAAa,iBAAkB,SAAQ,uBAErC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAIrB;AAED,MAAM,MAAM,aAAa,GAAG,CAC1B,KAAK,EAAE,IAAI,EAAE,EACb,MAAM,EAAE,MAAM,CAAC,MAAM,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,iBAAiB,CAAC,CAAA;AAE7C,KAAK,aAAa,GAAG;IACnB,8BAA8B,CAAC,EAAE,OAAO,CAAA;CACzC,CAAA;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,GAAE,aAAkB,GAAG,aAAa,CAEvE;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,GAAE,aAAkB,GAAG,aAAa,CAExE"}

package/types/{Ledger → Cardano/Ledger}/Address.d.ts

@@ -1,11 +1,11 @@
 import { Schema } from "effect";
-import * as Cbor from "../Cbor.js";
-import * as Bytes from "../internal/Bytes.js";
+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";
 export declare function isValid(addr: string): boolean;
-export declare const Address: Schema.brand<Schema.filter<typeof Schema.String>, "Address">;
+export declare const Address: Schema.brand<Schema.filter<typeof Schema.String>, "Cardano.Ledger.Address">;
 export type Address = Schema.Schema.Type<typeof Address>;
 export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
@@ -78,11 +78,11 @@ export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     }, never>, Schema.Option<Schema.Schema<{
-        readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
         readonly _tag: "PubKey";
+        readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
     } | {
-        readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
         readonly _tag: "Validator";
+        readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
     }, {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -98,12 +98,13 @@ export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     }, never>>, never>;
-}>, never>, Schema.brand<Schema.filter<typeof Schema.String>, "Address">, IsMainnet>;
+}>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, 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.DecodeEffect<Address>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Address>;
 export declare function encode(address: Address): number[];
 export declare function bytes(address: Address): number[];
 export declare function isMainnet(address: Address): boolean;
 export declare function spendingCredential(address: Address): Credential.Credential;
 export declare function stakingCredential(address: Address): Credential.Credential | undefined;
+export declare function isValidator(address: Address): boolean;
 //# sourceMappingURL=Address.d.ts.map

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

@@ -0,0 +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"}

package/types/{Ledger → Cardano/Ledger}/AssetClass.d.ts

@@ -1,5 +1,5 @@
 import { Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
+import * as Bytes from "../../Codecs/Bytes.js";
 import { Data } from "../Uplc";
 import * as MintingPolicy from "./MintingPolicy.js";
 export declare function isValid(assetClass: string): assetClass is AssetClass;
@@ -64,7 +64,7 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
     } | {
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
-    }, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.Option<Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">>>;
+    }, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.brand<Schema.filter<typeof Schema.String>, "MintingPolicy">>;
     tokenName: Schema.transformOrFail<Schema.SchemaClass<{
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {

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

@@ -0,0 +1 @@
+{"version":3,"file":"AssetClass.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/AssetClass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,IAAI,UAAU,CAQpE;AAED,eAAO,MAAM,UAAU,yGAWtB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAE9D,eAAO,MAAM,GAAG,EAAS,UAAU,CAAA;AAEnC,wBAAgB,IAAI,CAClB,MAAM,EAAE,aAAa,CAAC,aAAa,EACnC,SAAS,EAAE,KAAK,CAAC,SAAS,uDAc3B;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oHA4BxB,CAAA;AAED,wBAAgB,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAMtE;AAED,wBAAgB,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMpD"}

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

@@ -0,0 +1,114 @@
+import { Effect, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import { Data } from "../Uplc";
+import * as AssetClass from "./AssetClass.js";
+import * as MintingPolicy from "./MintingPolicy.js";
+export declare const Assets: Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>;
+export type Assets = Schema.Schema.Type<typeof Assets>;
+export declare const FromUplcData: (sortTokens?: boolean) => Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: Uint8Array<ArrayBufferLike>;
+} | {
+    readonly int: bigint;
+} | {
+    readonly list: readonly Data.Data[];
+} | {
+    readonly map: readonly {
+        readonly k: Data.Data;
+        readonly v: Data.Data;
+    }[];
+} | {
+    readonly fields: readonly Data.Data[];
+    readonly constructor: number;
+}, {
+    readonly bytes: Uint8Array<ArrayBufferLike>;
+} | {
+    readonly int: bigint;
+} | {
+    readonly list: readonly Data.Data[];
+} | {
+    readonly map: readonly {
+        readonly k: Data.Data;
+        readonly v: Data.Data;
+    }[];
+} | {
+    readonly fields: readonly Data.Data[];
+    readonly constructor: number;
+}, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"MintingPolicy">, {
+    readonly bytes: Uint8Array<ArrayBufferLike>;
+} | {
+    readonly int: bigint;
+} | {
+    readonly list: readonly Data.Data[];
+} | {
+    readonly map: readonly {
+        readonly k: Data.Data;
+        readonly v: Data.Data;
+    }[];
+} | {
+    readonly fields: readonly Data.Data[];
+    readonly constructor: number;
+}, never>, Schema.Schema<readonly (readonly [string, bigint])[], {
+    readonly bytes: Uint8Array<ArrayBufferLike>;
+} | {
+    readonly int: bigint;
+} | {
+    readonly list: readonly Data.Data[];
+} | {
+    readonly map: readonly {
+        readonly k: Data.Data;
+        readonly v: Data.Data;
+    }[];
+} | {
+    readonly fields: readonly Data.Data[];
+    readonly constructor: number;
+}, never>>>, never>, Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Assets>;
+export declare function encode(assets: Assets): number[];
+export declare function allAssetClasses(assets: Assets): AssetClass.AssetClass[];
+export declare function nonAdaAssetClasses(assets: Assets): AssetClass.AssetClass[];
+export declare function policies(assets: Assets): MintingPolicy.MintingPolicy[];
+export declare function nonAdaPolicies(assets: Assets): MintingPolicy.MintingPolicy[];
+export declare function lovelace(assets: Assets): bigint;
+export declare const filterByPolicy: (policy: MintingPolicy.MintingPolicy) => (assets: Assets) => Assets;
+export declare const filterPositive: (assets: Assets) => Assets;
+export declare const filterNegative: (assets: Assets) => Assets;
+/**
+ * Prunes zeroes
+ * @param xs
+ * @returns
+ */
+export declare function sum(...xs: Assets[]): Assets;
+export declare function add(a: Assets, b: Assets): Assets;
+/**
+ * Prunes zeroes
+ * @param a
+ * @param b
+ * @returns
+ */
+export declare function subtract(a: Assets, b: Assets): Assets;
+/**
+ * Prunes zeroes
+ * @param x
+ * @returns
+ */
+export declare function negate(x: Assets): Assets;
+export declare function isEmpty(assets: Assets): boolean;
+export declare function allPositive(assets: Assets): boolean;
+declare const SomeNonPositive_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.Ledger.Assets.SomeNonPositive";
+} & Readonly<A>;
+export declare class SomeNonPositive extends SomeNonPositive_base<{
+    message: string;
+}> {
+    constructor();
+}
+export declare function assertAllPositive(assets: Assets): Effect.Effect<never, SomeNonPositive, never> | Effect.Effect<void, never, never>;
+/**
+ * Ignores ADA
+ * @param assets
+ * @returns
+ */
+export declare function countTokens(assets: Assets): number;
+export {};
+//# sourceMappingURL=Assets.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Assets.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Assets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,eAAO,MAAM,MAAM,mFAalB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,YAAY,GAAI,aAAY,OAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uGAqCrD,CAAA;AA4BH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAwCpE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CA4B/C;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,UAAU,EAAE,CAEvE;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,UAAU,EAAE,CAE1E;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,CAEtE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,CAE5E;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,eAAO,MAAM,cAAc,GACxB,QAAQ,aAAa,CAAC,aAAa,MACnC,QAAQ,MAAM,KAAG,MAOjB,CAAA;AAEH,eAAO,MAAM,cAAc,GAAI,QAAQ,MAAM,KAAG,MAE/C,CAAA;AAED,eAAO,MAAM,cAAc,GAAI,QAAQ,MAAM,KAAG,MAE/C,CAAA;AAED;;;;GAIG;AACH,wBAAgB,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,CAuB3C;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAkBrD;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAUxC;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE/C;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEnD;;;;AAED,qBAAa,eAAgB,SAAQ,qBAEnC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAIrB;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,oFAM/C;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAElD"}