@helios-lang/effect 0.1.0

package/LICENSE

@@ -0,0 +1,28 @@
+BSD 3-Clause License
+
+Copyright (c) 2025, Helios-Lang
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+1. Redistributions of source code must retain the above copyright notice, this
+   list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright notice,
+   this list of conditions and the following disclaimer in the documentation
+   and/or other materials provided with the distribution.
+
+3. Neither the name of the copyright holder nor the names of its
+   contributors may be used to endorse or promote products derived from
+   this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

package/README.md

@@ -0,0 +1,3 @@
+# effect
+
+Idiomatic Effect-TS version of HeliosLang off-chain library

package/dist/Address.js

@@ -0,0 +1,13 @@
+import { Schema } from "effect";
+import * as Bech32 from "./Bech32.js";
+export function isValid(addr) {
+    if (addr.startsWith("addr1") || addr.startsWith("addr_test1")) {
+        return Bech32.isValid(addr);
+    }
+    // TODO: validate Byron format
+    return false;
+}
+export const Address = Schema.String.pipe(Schema.filter((addr) => {
+    return isValid(addr) || "Invalid Cardano Address";
+}), Schema.brand("Address"));
+//# sourceMappingURL=Address.js.map

package/dist/Address.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Address.js","sourceRoot":"","sources":["../src/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,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;IAC7B,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,SAAS,CAAC,CACxB,CAAA"}

package/dist/Bech32.js

@@ -0,0 +1,153 @@
+import { Either, Encoding } from "effect";
+import * as Base32 from "./internal/Base32.js";
+/**
+ * Bech32 base32 alphabet
+ */
+const ALPHABET = "qpzry9x8gf2tvdw0s3jn54khce6mua7l";
+const PAYLOAD_CODEC = /* @__PURE__ */ Base32.make({
+    alphabet: ALPHABET
+});
+/**
+ * Decomposes a Bech32 checksummed string (eg. a Cardano address), and returns the human readable part and the original bytes
+ * Throws an error if checksum is invalid.
+ * @param encoded
+ * @returns
+ * `prefix` part is the human-readable part, `bytes` part is a list containing the underlying bytes.
+ */
+export function decode(encoded) {
+    const [prefix, payload] = split(encoded);
+    if (!verifySplit(prefix, payload)) {
+        return Either.left(Encoding.DecodeException(encoded, "invalid bech32 encoding"));
+    }
+    const bytes = PAYLOAD_CODEC.decode(payload.slice(0, payload.length - 6));
+    if (bytes._tag == "Left") {
+        return Either.left(bytes.left);
+    }
+    return Either.right({ prefix, bytes: Array.from(bytes.right) });
+}
+/**
+ * Creates a Bech32 checksummed string (eg. used to represent Cardano addresses).
+ * @param prefix
+ * human-readable part (eg. "addr")
+ * @param payload
+ * Hex encoded or a list of uint8 bytes
+ * @returns
+ * @throws
+ * If prefix is empty
+ */
+export function encode(prefix, payload) {
+    if (prefix.length == 0) {
+        throw new Error("human-readable-part must have non-zero length");
+    }
+    payload = PAYLOAD_CODEC.encodeRaw(payload);
+    const chkSum = calcChecksum(prefix, payload);
+    return (prefix +
+        "1" +
+        payload
+            .concat(chkSum)
+            .map((i) => ALPHABET[i])
+            .join(""));
+}
+/**
+ * Verifies a Bech32 checksum. Prefix must be checked externally
+ * @param {string} encoded
+ * @returns {boolean}
+ */
+export function isValid(encoded) {
+    const [prefix, payload] = split(encoded);
+    return verifySplit(prefix, payload);
+}
+/**
+ * Expand human readable prefix of the bech32 encoding so it can be used in the checkSum.
+ * @param prefix
+ * @returns
+ */
+function expandPrefix(prefix) {
+    const bytes = [];
+    for (const c of prefix) {
+        bytes.push(c.charCodeAt(0) >> 5);
+    }
+    bytes.push(0);
+    for (const c of prefix) {
+        bytes.push(c.charCodeAt(0) & 31);
+    }
+    return bytes;
+}
+/**
+ * Split bech32 encoded string into human-readable-part and payload part.
+ * @param encoded
+ * @returns
+ * First item is human-readable-part, second part is payload part
+ */
+function split(encoded) {
+    const i = encoded.indexOf("1");
+    if (i == -1 || i == 0) {
+        return ["", encoded];
+    }
+    else {
+        return [encoded.slice(0, i), encoded.slice(i + 1)];
+    }
+}
+/**
+ * Used as part of the bech32 checksum.
+ * @param bytes
+ * @returns
+ */
+function polymod(bytes) {
+    const GEN = [0x3b6a57b2, 0x26508e6d, 0x1ea119fa, 0x3d4233dd, 0x2a1462b3];
+    let chk = 1;
+    for (const b of bytes) {
+        const c = chk >> 25;
+        chk = ((chk & 0x1fffffff) << 5) ^ b;
+        for (let i = 0; i < 5; i++) {
+            if (((c >> i) & 1) != 0) {
+                chk ^= GEN[i];
+            }
+        }
+    }
+    return chk;
+}
+/**
+ * Generate the bech32 checksum.
+ * @param prefix
+ * @param payload
+ * numbers between 0 and 32
+ * @returns
+ * 6 numbers between 0 and 32
+ */
+function calcChecksum(prefix, payload) {
+    const bytes = expandPrefix(prefix).concat(payload);
+    const chk = polymod(bytes.concat([0, 0, 0, 0, 0, 0])) ^ 1;
+    const chkSum = [];
+    for (let i = 0; i < 6; i++) {
+        chkSum.push((chk >> (5 * (5 - i))) & 31);
+    }
+    return chkSum;
+}
+/**
+ * @param prefix
+ * @param payload
+ * @returns
+ */
+function verifySplit(prefix, payload) {
+    if (prefix.length == 0) {
+        return false;
+    }
+    const data = [];
+    for (const c of payload) {
+        const j = ALPHABET.indexOf(c);
+        if (j == -1) {
+            return false;
+        }
+        data.push(j);
+    }
+    const chkSumA = data.slice(data.length - 6);
+    const chkSumB = calcChecksum(prefix, data.slice(0, data.length - 6));
+    for (let j = 0; j < 6; j++) {
+        if (chkSumA[j] != chkSumB[j]) {
+            return false;
+        }
+    }
+    return true;
+}
+//# sourceMappingURL=Bech32.js.map

package/dist/Bech32.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bech32.js","sourceRoot":"","sources":["../src/Bech32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,sBAAsB,CAAA;AAE9C;;GAEG;AACH,MAAM,QAAQ,GAAG,kCAA2C,CAAA;AAE5D,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;IAChD,QAAQ,EAAE,QAAQ;CACnB,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CACpB,OAAe;IAKf,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;IAExC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAC7D,CAAA;IACH,CAAC;IAED,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAExE,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAChC,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AACjE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,MAAM,CACpB,MAAc,EACd,OAAuC;IAEvC,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IAED,OAAO,GAAG,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE1C,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAE5C,OAAO,CACL,MAAM;QACN,GAAG;QACH,OAAO;aACJ,MAAM,CAAC,MAAM,CAAC;aACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aACvB,IAAI,CAAC,EAAE,CAAC,CACZ,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,OAAe;IACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;IAExC,OAAO,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AACrC,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,KAAK,GAAG,EAAE,CAAA;IAChB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAClC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAEb,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;IAClC,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,KAAK,CAAC,OAAe;IAC5B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAE9B,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;IACtB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACpD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,OAAO,CAAC,KAAe;IAC9B,MAAM,GAAG,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAA;IAExE,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAAG,IAAI,EAAE,CAAA;QACnB,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;QAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;YACf,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CAAC,MAAc,EAAE,OAAiB;IACrD,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAElD,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAEzD,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;IAC1C,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,MAAc,EAAE,OAAe;IAClD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAA;IAEzB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAC7B,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACZ,OAAO,KAAK,CAAA;QACd,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACd,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAE3C,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAEpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC"}