@helios-lang/effect 0.1.0

package/dist/internal/Bytes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bytes.js","sourceRoot":"","sources":["../../src/internal/Bytes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,MAAM,aAAa,CAAA;AAInD,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAEvE;IACA,YAAY,MAAc;QACxB,KAAK,CAAC,EAAE,OAAO,EAAE,+BAA+B,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC,CAAA;IAClE,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CACrB,KAAuD;IAEvD,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;SAAM,IAAI,OAAO,KAAK,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACxC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,+DAA+D;YAC/D,MAAM,MAAM,CAAC,IAAI,CAAA;QACnB,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAiB,CAAA;IAC1B,CAAC;SAAM,IAAI,eAAe,IAAI,KAAK,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC,aAAa,EAAE,CAAA;IAC9B,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACvC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,KAA8C;IAClE,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAClC,CAAC;SAAM,IAAI,OAAO,KAAK,IAAI,QAAQ,EAAE,CAAC;QACpC,OAAO,KAAK,CAAA;IACd,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACnD,CAAC;SAAM,IAAI,eAAe,IAAI,KAAK,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAA;IACnE,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACvC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,KAA8C;IAE9C,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,OAAO,KAAK,CAAA;IACd,CAAC;SAAM,IAAI,OAAO,KAAK,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACxC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,+DAA+D;YAC/D,MAAM,MAAM,CAAC,IAAI,CAAA;QACnB,CAAC;QAED,OAAO,MAAM,CAAC,KAAK,CAAA;IACrB,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC/B,CAAC;SAAM,IAAI,eAAe,IAAI,KAAK,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACrC,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACvC,CAAC;AACH,CAAC;AAeD;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,GAKsD;IAEtD,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QAC9B,mBAAmB;QACnB,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,IAAI,OAAO,GAAG,IAAI,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1C,CAAC;SAAM,IAAI,KAAK,IAAI,GAAG,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;QAC1C,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QACrC,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,OAAO,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED,MAAM,UAAU;IACL,KAAK,CAAY;IAE1B,GAAG,CAAQ;IAEX;;;OAGG;IACH,YAAY,KAAiB,EAAE,MAAc,CAAC;QAC5C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;IAChB,CAAC;IAED;;;OAGG;IACH,IAAI;QACF,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IAC7C,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;IACtC,CAAC;IAED;;;OAGG;IACH,OAAO;QACL,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAC7C,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAA;QAChD,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,CAAS;QAChB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,MAAM,IAAI,UAAU,CAAC,0BAA0B,CAAC,EAAE,CAAC,CAAA;QACrD,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,OAAO,MAAM,CAAC,OAAO,CACnB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CACrD,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAA;QAChD,CAAC;IACH,CAAC;IAED,aAAa;QACX,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IAC/C,CAAC;IAED;;;;OAIG;IACH,QAAQ;QACN,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAA;YACb,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAC1B,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAA;QAChD,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,CAAS;QACjB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,MAAM,IAAI,UAAU,CAAC,0BAA0B,CAAC,EAAE,CAAC,CAAA;QACrD,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;YAChE,IAAI,CAAC,GAAG,IAAI,CAAC,CAAA;YACb,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC5B,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAA;QAChD,CAAC;IACH,CAAC;IAED,cAAc;QACZ,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAClD,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;QAC5B,OAAO,GAAG,CAAA;IACZ,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CACrB,CAA0C,EAC1C,CAA0C,EAC1C,gBAAyB,KAAK;IAE9B,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACrB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACrB,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAA;IACpB,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAA;IAEpB,IAAI,aAAa,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAC9B,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACzB,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,OAAO,CAAC,CAAC,CAAA;QACX,CAAC;aAAM,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,CAAA;QACV,CAAC;IACH,CAAC;IAED,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QACb,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,CAAA;IACV,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,CAAS,EAAE,OAAe,CAAC;IAC/C,OAAO,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC9C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CACpB,CAA0C,EAC1C,CAA0C;IAE1C,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;AAC3B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,GAAG,CAAC,KAAe,EAAE,CAAS;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;IAE3B,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;SAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,GAAG,CAAC,CAAA;IAC/D,CAAC;SAAM,IAAI,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC1C,0BAA0B;QAC1B,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAE7B,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,MAAM,CAAC,KAAe,EAAE,CAAS;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;IAE3B,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;SAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,GAAG,CAAC,CAAA;IAClE,CAAC;SAAM,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,kDAAkD,CAAC,MAAM,MAAM,GAAG,CACnE,CAAA;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAA;QAEvB,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAa,CAAA;IAC1D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAA8C,EAC9C,OAAe;IAEf,OAAO,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;AACxD,CAAC"}

package/dist/internal/Flat.js

@@ -0,0 +1,298 @@
+import * as Bits from "./Bits.js";
+/**
+ * @param bytes
+ * @returns
+ */
+export function makeReader(bytes) {
+    return new ReaderImpl(bytes);
+}
+class ReaderImpl {
+    bitReader;
+    /**
+     * @param bytes
+     */
+    constructor(bytes) {
+        this.bitReader = Bits.makeReader(bytes);
+    }
+    isAtEnd() {
+        return this.bitReader.isAtEnd();
+    }
+    /**
+     * @param n
+     * @returns
+     */
+    readBits(n) {
+        return this.bitReader.readBits(n);
+    }
+    readBool() {
+        return this.readBits(1) == 1;
+    }
+    readBuiltinId() {
+        return this.readBits(7);
+    }
+    readBytes() {
+        return decodeBytes(this.bitReader);
+    }
+    /**
+     * @returns {bigint}
+     */
+    readInt() {
+        return decodeInt(this.bitReader);
+    }
+    /**
+     * Reads a Plutus-core list with a specified size per element
+     * Calls itself recursively until the end of the list is reached
+     * @template T
+     * @param readItem
+     * @returns
+     */
+    readList(readItem) {
+        // Cons and Nil constructors come from Lisp/Haskell
+        //  cons 'a' creates a linked list node,
+        //  nil      creates an empty linked list
+        const nilOrCons = this.readBits(1);
+        if (nilOrCons == 0) {
+            return [];
+        }
+        else {
+            return [readItem(this)].concat(this.readList(readItem));
+        }
+    }
+    readTag() {
+        return this.readBits(4);
+    }
+}
+/**
+ * @returns
+ */
+export function makeWriter() {
+    return new WriterImpl();
+}
+class WriterImpl {
+    bitWriter;
+    constructor() {
+        this.bitWriter = Bits.makeWriter();
+    }
+    /**
+     * @param b
+     * @returns
+     * Self for chaining
+     */
+    writeBool(b) {
+        if (b) {
+            this.bitWriter.writeBits("1");
+        }
+        else {
+            this.bitWriter.writeBits("0");
+        }
+        return this;
+    }
+    /**
+     * @param bytes
+     * @returns
+     * Self for chaining
+     */
+    writeBytes(bytes) {
+        encodeBytes(this.bitWriter, bytes);
+        return this;
+    }
+    /**
+     * @param x
+     * @returns
+     * Self for chaining
+     * @throws
+     * If x is negative
+     */
+    writeInt(x) {
+        if (x < 0) {
+            throw new Error("x in writeInt isn't positive");
+        }
+        encodeInt(this.bitWriter, x);
+        return this;
+    }
+    /**
+     * @returns
+     * Self for chaining
+     */
+    writeListCons() {
+        this.bitWriter.writeBits("1");
+        return this;
+    }
+    /**
+     * @returns
+     * Self for chaining
+     */
+    writeListNil() {
+        this.bitWriter.writeBits("0");
+        return this;
+    }
+    /**
+     * @param tag
+     * @returns
+     * Self for chaining
+     */
+    writeTermTag(tag) {
+        this.bitWriter.writeBits(Bits.pad(tag.toString(2), 4));
+        return this;
+    }
+    /**
+     * @param typeBits
+     * @returns
+     * Self for chaining
+     */
+    writeTypeBits(typeBits) {
+        this.bitWriter.writeBits("1" + typeBits + "0");
+        return this;
+    }
+    /**
+     * @param id
+     */
+    writeBuiltinId(id) {
+        this.bitWriter.writeBits(Bits.pad(id.toString(2), 7));
+        return this;
+    }
+    /**
+     * @returns
+     */
+    finalize() {
+        return this.bitWriter.finalize();
+    }
+}
+/**
+ * @param reader
+ * @returns
+ */
+export function decodeBytes(reader) {
+    reader.moveToByteBoundary(true);
+    const bytes = [];
+    let nChunk = reader.readByte();
+    while (nChunk > 0) {
+        for (let i = 0; i < nChunk; i++) {
+            bytes.push(reader.readByte());
+        }
+        nChunk = reader.readByte();
+    }
+    return bytes;
+}
+/**
+ * Write a list of bytes to the bitWriter using flat encoding.
+ * Used by UplcString, UplcByteArray and UplcDataValue
+ * Equivalent to E_B* function in Plutus-core docs
+ * @param writer
+ * @param bytes
+ * @param pad
+ * Optional, defaults to false
+ */
+export function encodeBytes(writer, bytes, pad = true) {
+    if (pad) {
+        writer.padToByteBoundary(true);
+    }
+    // the rest of this function is equivalent to E_C* function in Plutus-core docs
+    const n = bytes.length;
+    let pos = 0;
+    // write chunks of 255
+    while (pos < n) {
+        // each iteration is equivalent to E_C function in Plutus-core docs
+        const nChunk = Math.min(n - pos, 255);
+        // equivalent to E_8 function in Plutus-core docs
+        writer.writeBits(Bits.pad(nChunk.toString(2), 8));
+        for (let i = pos; i < pos + nChunk; i++) {
+            const b = bytes[i];
+            // equivalent to E_8 function in Plutus-core docs
+            writer.writeBits(Bits.pad(b.toString(2), 8));
+        }
+        pos += nChunk;
+    }
+    if (pad) {
+        writer.writeBits("00000000");
+    }
+}
+/**
+ * Includes type bits
+ * @param n
+ * @returns
+ */
+export function bytesSize(n) {
+    return 4 + n * 8 + Math.ceil(n / 256) * 8 + 8;
+}
+/**
+ * Returns an unsigned (zigzag encoded) bigint
+ * @param reader
+ * @returns
+ */
+export function decodeInt(reader) {
+    const bytes = [];
+    let b = reader.readByte();
+    bytes.push(b);
+    while (!rawByteIsLast(b)) {
+        b = reader.readByte();
+        bytes.push(b);
+    }
+    // strip the leading bit
+    return decodeIntLE7(bytes.map((b) => parseRawByte(b))); // raw int is unsigned
+}
+/**
+ * Combines a list of Plutus-core bytes into a bigint (leading bit of each byte is ignored).
+ * Differs from bytesToBigInt in utils.js because only 7 bits are used from each byte.
+ * @param bytes
+ * @returns
+ */
+function decodeIntLE7(bytes) {
+    let value = BigInt(0);
+    const n = bytes.length;
+    for (let i = 0; i < n; i++) {
+        const b = bytes[i];
+        // 7 (not 8), because leading bit isn't used here
+        value = value + BigInt(b) * pow2(BigInt(i) * 7n);
+    }
+    return value;
+}
+/**
+ * 2 to the power 'p' for bigint.
+ * @param p
+ * @returns
+ */
+function pow2(p) {
+    return p <= 0n ? 1n : 2n << (p - 1n);
+}
+/**
+ * Parses a single byte in the Plutus-core byte-list representation of an int
+ * @param b
+ * @returns
+ */
+function parseRawByte(b) {
+    return b & 0b01111111;
+}
+/**
+ * Returns true if 'b' is the last byte in the Plutus-core byte-list representation of an int.
+ * @param b
+ * @returns
+ */
+function rawByteIsLast(b) {
+    return (b & 0b10000000) == 0;
+}
+/**
+ * @param bitWriter
+ * @param x
+ * positive number
+ */
+export function encodeInt(bitWriter, x) {
+    const bitString = Bits.pad(x.toString(2), 7);
+    // split every 7th
+    const parts = [];
+    for (let i = 0; i < bitString.length; i += 7) {
+        parts.push(bitString.slice(i, i + 7));
+    }
+    // reverse the parts
+    parts.reverse();
+    for (let i = 0; i < parts.length; i++) {
+        if (i == parts.length - 1) {
+            // last
+            bitWriter.writeBits("0" + parts[i]);
+        }
+        else {
+            bitWriter.writeBits("1" + parts[i]);
+        }
+    }
+}
+//# sourceMappingURL=Flat.js.map

package/dist/internal/Flat.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flat.js","sourceRoot":"","sources":["../../src/internal/Flat.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAgBjC;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,KAAqC;IAC9D,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED,MAAM,UAAU;IACG,SAAS,CAAa;IAEvC;;OAEG;IACH,YAAY,KAAqC;QAC/C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IACzC,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAA;IACjC,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,CAAS;QAChB,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;IACnC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;IAED,aAAa;QACX,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;IACzB,CAAC;IAED,SAAS;QACP,OAAO,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IACpC,CAAC;IAED;;OAEG;IACH,OAAO;QACL,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAClC,CAAC;IAED;;;;;;OAMG;IACH,QAAQ,CAAI,QAA0B;QACpC,mDAAmD;QACnD,wCAAwC;QACxC,yCAAyC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QAElC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;YACnB,OAAO,EAAE,CAAA;QACX,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;IACzB,CAAC;CACF;AAiBD;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,UAAU,EAAE,CAAA;AACzB,CAAC;AAED,MAAM,UAAU;IACG,SAAS,CAAa;IAEvC;QACE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;IACpC,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,CAAU;QAClB,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;QAED,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,KAAe;QACxB,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;QAElC,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;OAMG;IACH,QAAQ,CAAC,CAAS;QAChB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;QACjD,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;QAE5B,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;OAGG;IACH,aAAa;QACX,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;OAGG;IACH,YAAY;QACV,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,GAAW;QACtB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,QAAgB;QAC5B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,GAAG,QAAQ,GAAG,GAAG,CAAC,CAAA;QAC9C,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,EAAU;QACvB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAErD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAA;IAClC,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,MAAmB;IAC7C,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAA;IAE/B,MAAM,KAAK,GAAG,EAAE,CAAA;IAEhB,IAAI,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;IAE9B,OAAO,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC/B,CAAC;QAED,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;IAC5B,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,MAAmB,EACnB,KAAe,EACf,MAAe,IAAI;IAEnB,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;IAChC,CAAC;IAED,+EAA+E;IAC/E,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAA;IACtB,IAAI,GAAG,GAAG,CAAC,CAAA;IAEX,sBAAsB;IACtB,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC;QACf,mEAAmE;QAEnE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,CAAC,CAAA;QAErC,iDAAiD;QACjD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAEjD,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;YAElB,iDAAiD;YACjD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAC9C,CAAC;QAED,GAAG,IAAI,MAAM,CAAA;IACf,CAAC;IAED,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;IAC9B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,CAAS;IACjC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,MAAmB;IAC3C,MAAM,KAAK,GAAG,EAAE,CAAA;IAEhB,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;IACzB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAEb,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACrB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACf,CAAC;IAED,wBAAwB;IACxB,OAAO,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,sBAAsB;AAC/E,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,KAAe;IACnC,IAAI,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IAErB,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAA;IAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QAElB,iDAAiD;QACjD,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;IAClD,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;AACtC,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,GAAG,UAAU,CAAA;AACvB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,CAAS;IAC9B,OAAO,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,SAAsB,EAAE,CAAS;IACzD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAE5C,kBAAkB;IAClB,MAAM,KAAK,GAAG,EAAE,CAAA;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;IAED,oBAAoB;IACpB,KAAK,CAAC,OAAO,EAAE,CAAA;IAEf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO;YACP,SAAS,CAAC,SAAS,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,SAAS,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QACrC,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/internal/Float.js

@@ -0,0 +1,154 @@
+import { Encoding, Either } from "effect";
+import { toHex } from "./Bytes.js";
+const SPECIAL_EXPONENT = 31;
+const LARGEST_SIGNIFICAND = 1024;
+const POW2 = [
+    0.00006103515625, // 2^-14
+    0.0001220703125, // 2^-13
+    0.000244140625, // 2^-12
+    0.00048828125, // 2^-11
+    0.0009765625, // 2^-10
+    0.001953125, // 2^-9
+    0.00390625, // 2^-8
+    0.0078125, // 2^-7
+    0.015625, // 2^-6
+    0.03125, // 2^-5
+    0.0625, // 2^-4
+    0.125, // 2^-3
+    0.25, // 2^-2
+    0.5, // 2^-1
+    1, // 2^0
+    2, // 2^1
+    4, // 2^2
+    8, // 2^3
+    16, // 2^4
+    32, // 2^5
+    64, // 2^6
+    128, // 2^7
+    256, // 2^8
+    512, // 2^9
+    1024, // 2^10
+    2048, // 2^11
+    4096, // 2^12
+    8192, // 2^13
+    16384, // 2^14
+    32768, // 2^15
+    65536 // 2^16
+];
+/**
+ * Custom IEEE 754 Float16 implementation, not fast, but easy to audit
+ * @param {number[]} bytes
+ * @returns {number}
+ */
+export function decodeFloat16(bytes) {
+    if (bytes.length != 2) {
+        return Either.left(Encoding.DecodeException(toHex(bytes), `expected 2 bytes for IEEE 754 encoded Float16 number, got ${bytes.length}`));
+    }
+    const sign = bytes[0] >> 7 ? -1 : 1;
+    const exponent = (bytes[0] & 0b01111100) >> 2;
+    const significand = (bytes[0] & 0b00000011) * 256 + bytes[1];
+    if (exponent === 0) {
+        if (significand == 0) {
+            return Either.right(sign < 0 ? -0 : 0);
+        }
+        else {
+            return Either.right((sign * POW2[0] * significand) / LARGEST_SIGNIFICAND);
+        }
+    }
+    else if (exponent === SPECIAL_EXPONENT) {
+        if (significand == 0) {
+            return Either.right(sign < 0 ? Number.NEGATIVE_INFINITY : Number.POSITIVE_INFINITY);
+        }
+        else {
+            return Either.right(Number.NaN);
+        }
+    }
+    else {
+        return Either.right(sign * POW2[exponent - 1] * (1.0 + significand / LARGEST_SIGNIFICAND));
+    }
+}
+/**
+ * Custom IEEE 754 Float16 implementation, not fast, but easy to audit
+ * @param f
+ * @returns
+ */
+export function encodeFloat16(f) {
+    if (Object.is(f, 0)) {
+        return [0, 0];
+    }
+    else if (Object.is(f, -0)) {
+        return [0x80, 0];
+    }
+    else if (f === Number.NEGATIVE_INFINITY) {
+        return [0xfc, 0];
+    }
+    else if (f === Number.POSITIVE_INFINITY) {
+        return [0x7c, 0];
+    }
+    else if (Number.isNaN(f)) {
+        return [0x7c, 1];
+    }
+    else {
+        const sign = Math.sign(f);
+        const signBit = sign > 0 ? 0 : 0b10000000;
+        f = Math.abs(f);
+        if (f < POW2[0]) {
+            const significand = Math.floor((f / POW2[0]) * LARGEST_SIGNIFICAND);
+            return [signBit | (significand >> 8), significand & 0xff];
+        }
+        else {
+            const unbiasedExponent = Math.floor(Math.log2(f));
+            const exponent = (unbiasedExponent + 15) & 0b00011111;
+            const significand = Math.round((f / POW2[exponent - 1] - 1) * LARGEST_SIGNIFICAND);
+            return [
+                signBit | (exponent << 2) | (significand >> 8),
+                significand & 0xff
+            ];
+        }
+    }
+}
+/**
+ * Leverages the builtin DataView class to decode a IEEE 754 float32 number
+ * @param {number[]} bytes
+ * @returns
+ */
+export function decodeFloat32(bytes) {
+    if (bytes.length != 4) {
+        return Either.left(Encoding.DecodeException(toHex(bytes), `expected 4 bytes for IEEE 754 encoded Float32, got ${bytes.length} bytes`));
+    }
+    const view = new DataView(Uint8Array.from(bytes).buffer);
+    return Either.right(view.getFloat32(0));
+}
+/**
+ * Leverages the builtin DataView class to encode a floating point number using IEEE 754 float32 encoding
+ * @param f
+ * @returns
+ */
+export function encodeFloat32(f) {
+    const view = new DataView(new ArrayBuffer(4));
+    view.setFloat32(0, f);
+    return Array.from(new Uint8Array(view.buffer));
+}
+/**
+ * Leverages the builtin DataView class to decode a IEEE 754 float64 number
+ * @param bytes
+ * @returns
+ */
+export function decodeFloat64(bytes) {
+    if (bytes.length != 8) {
+        return Either.left(Encoding.DecodeException(`expected 8 bytes for IEEE 754 encoded Float64, got ${bytes.length} bytes`));
+    }
+    const view = new DataView(Uint8Array.from(bytes).buffer);
+    return Either.right(view.getFloat64(0));
+}
+/**
+ * Leverages the builtin DataView class to encode a floating point number using IEEE 754 float64 encoding
+ * @param f
+ * @returns
+ */
+export function encodeFloat64(f) {
+    const view = new DataView(new ArrayBuffer(8));
+    view.setFloat64(0, f);
+    return Array.from(new Uint8Array(view.buffer));
+}
+//# sourceMappingURL=Float.js.map

package/dist/internal/Float.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Float.js","sourceRoot":"","sources":["../../src/internal/Float.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,MAAM,gBAAgB,GAAG,EAAE,CAAA;AAC3B,MAAM,mBAAmB,GAAG,IAAI,CAAA;AAChC,MAAM,IAAI,GAAG;IACX,gBAAgB,EAAE,QAAQ;IAC1B,eAAe,EAAE,QAAQ;IACzB,cAAc,EAAE,QAAQ;IACxB,aAAa,EAAE,QAAQ;IACvB,YAAY,EAAE,QAAQ;IACtB,WAAW,EAAE,OAAO;IACpB,UAAU,EAAE,OAAO;IACnB,SAAS,EAAE,OAAO;IAClB,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,OAAO;IACf,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,OAAO;IACb,GAAG,EAAE,OAAO;IACZ,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,MAAM;IACT,EAAE,EAAE,MAAM;IACV,EAAE,EAAE,MAAM;IACV,EAAE,EAAE,MAAM;IACV,GAAG,EAAE,MAAM;IACX,GAAG,EAAE,MAAM;IACX,GAAG,EAAE,MAAM;IACX,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,KAAK,CAAC,OAAO;CACd,CAAA;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAe;IAEf,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,KAAK,CAAC,KAAK,CAAC,EACZ,6DAA6D,KAAK,CAAC,MAAM,EAAE,CAC5E,CACF,CAAA;IACH,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnC,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAC7C,MAAM,WAAW,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IAE5D,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACxC,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,GAAG,mBAAmB,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QACzC,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,MAAM,CAAC,KAAK,CACjB,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAC/D,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,KAAK,CACjB,IAAI,GAAG,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,WAAW,GAAG,mBAAmB,CAAC,CACtE,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,CAAS;IACrC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACf,CAAC;SAAM,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAClB,CAAC;SAAM,IAAI,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC1C,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAClB,CAAC;SAAM,IAAI,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC1C,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAClB,CAAC;SAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAClB,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACzB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAA;QACzC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAEf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAA;YAEnE,OAAO,CAAC,OAAO,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC,CAAA;QAC3D,CAAC;aAAM,CAAC;YACN,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YACjD,MAAM,QAAQ,GAAG,CAAC,gBAAgB,GAAG,EAAE,CAAC,GAAG,UAAU,CAAA;YAErD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAC5B,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,mBAAmB,CACnD,CAAA;YAED,OAAO;gBACL,OAAO,GAAG,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC;gBAC9C,WAAW,GAAG,IAAI;aACnB,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAe;IAEf,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,KAAK,CAAC,KAAK,CAAC,EACZ,sDAAsD,KAAK,CAAC,MAAM,QAAQ,CAC3E,CACF,CAAA;IACH,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAA;IAExD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;AACzC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,CAAS;IACrC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAE7C,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAErB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAe;IAEf,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,IAAI,CAChB,QAAQ,CAAC,eAAe,CACtB,sDAAsD,KAAK,CAAC,MAAM,QAAQ,CAC3E,CACF,CAAA;IACH,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAA;IAExD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;AACzC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,CAAS;IACrC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAE7C,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAErB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;AAChD,CAAC"}

package/dist/internal/Utf8.js

@@ -0,0 +1,44 @@
+import { Effect } from "effect";
+import * as Bytes from "./Bytes.js";
+/**
+ * Decodes a list of uint8 bytes into a string using UTF-8 encoding.
+ * @example
+ * bytesToUtf8([104, 101, 108, 108, 111, 32, 119, 111, 114, 108, 100]) == "hello world"
+ * @param bytes
+ * @returns
+ */
+export function decode(bytes) {
+    return Effect.sync(() => new TextDecoder("utf-8", { fatal: true }).decode(Bytes.toUint8Array(bytes).buffer)).pipe(Effect.catchAll(() => Effect.fail(Bytes.DecodeException(bytes, "Invalid utf-8 encoding"))));
+}
+/**
+ * Encodes a string into a list of uint8 bytes using UTF-8 encoding.
+ * @example
+ * utf8ToBytes("hello world") == [104, 101, 108, 108, 111, 32, 119, 111, 114, 108, 100]
+ * @param str
+ * @returns
+ */
+export function encode(str) {
+    return new TextEncoder().encode(str);
+}
+/**
+ * Tests if a uint8 array is valid utf8 encoding.
+ * @param {number[]} bytes
+ * @returns {boolean}
+ */
+export function isValid(bytes) {
+    /**
+     * Bytes.toArray() doesn't fail if any of the bytes are out of range
+     */
+    const bs = Bytes.toArray(bytes);
+    if (bs.some((b) => b < 0 || b > 255)) {
+        return false;
+    }
+    try {
+        new TextDecoder("utf-8", { fatal: true }).decode(new Uint8Array(bs).buffer);
+        return true;
+    }
+    catch (_e) {
+        return false;
+    }
+}
+//# sourceMappingURL=Utf8.js.map

package/dist/internal/Utf8.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Utf8.js","sourceRoot":"","sources":["../../src/internal/Utf8.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CACpB,KAAqC;IAErC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACtB,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAC9C,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,CACjC,CACF,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CACnB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,wBAAwB,CAAC,CAAC,CACpE,CACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CAAC,GAAW;IAChC,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;AACtC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,KAAqC;IAC3D;;OAEG;IACH,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAE/B,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,CAAC;QACH,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;QAE3E,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,OAAO,EAAE,EAAE,CAAC;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC"}

package/eslint.config.mjs

@@ -0,0 +1,30 @@
+// @ts-check
+
+import eslint from "@eslint/js"
+import { defineConfig, globalIgnores } from "eslint/config"
+import tseslint from "typescript-eslint"
+
+export default defineConfig(
+  globalIgnores(["node_modules/*", "dist/*", "types/*", "*.mjs"]),
+  eslint.configs.recommended,
+  tseslint.configs.recommendedTypeChecked,
+  {
+    languageOptions: {
+      globals: {
+        TextDecoder: "readonly",
+        TextEncoder: "readonly"
+      },
+      parserOptions: {
+        projectService: true
+      }
+    },
+    rules: {
+      "@typescript-eslint/no-explicit-any": "off",
+      "@typescript-eslint/no-unused-vars": [
+        "error",
+        { caughtErrors: "none", argsIgnorePattern: "^_" }
+      ],
+      "@typescript-eslint/strict-boolean-expressions": "error"
+    }
+  }
+)

package/package.json

@@ -0,0 +1,36 @@
+{
+  "name": "@helios-lang/effect",
+  "version": "0.1.0",
+  "description": "",
+  "main": "dist/index.js",
+  "types": "types/index.d.ts",
+  "scripts": {
+    "build": "tsc -p ./tsconfig.build.json",
+    "lint": "eslint",
+    "prettify": "prettier . --write",
+    "test": "pnpm run test:types && pnpm run lint && pnpm run test:suite",
+    "test:suite": "bun test .",
+    "test:types": "tsc -p ./tsconfig.json"
+  },
+  "keywords": [],
+  "author": "Christian Schmitz",
+  "license": "BSD-3-Clause",
+  "packageManager": "pnpm@10.20.0",
+  "prettier": {
+    "trailingComma": "none",
+    "tabWidth": 2,
+    "semi": false,
+    "singleQuote": false
+  },
+  "devDependencies": {
+    "@eslint/js": "^9.39.2",
+    "@types/bun": "^1.3.4",
+    "eslint": "^9.39.2",
+    "prettier": "^3.7.4",
+    "typescript": "^5.9.3",
+    "typescript-eslint": "^8.50.0"
+  },
+  "dependencies": {
+    "effect": "^3.19.12"
+  }
+}

package/src/Address.ts

@@ -0,0 +1,20 @@
+import { Schema } from "effect"
+import * as Bech32 from "./Bech32.js"
+
+export function isValid(addr: string): boolean {
+  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: string) => {
+    return isValid(addr) || "Invalid Cardano Address"
+  }),
+  Schema.brand("Address")
+)
+
+export type Address = Schema.Schema.Type<typeof Address>