@helios-lang/effect 0.1.5 → 0.1.7

package/types/Uplc/DataSchema.d.ts

@@ -0,0 +1,227 @@
+import { Schema } from "effect";
+import { DataUnencoded as Data } from "./Data.js";
+declare const BigIntSchema: Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>, typeof Schema.BigIntFromSelf, never>;
+export { BigIntSchema as BigInt };
+export declare const Int: Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>, typeof Schema.Int, never>;
+export declare const ByteArray: Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>, Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>, never>;
+declare const StringSchema: Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>, typeof Schema.String, never>;
+export { StringSchema as String };
+declare const ArraySchema: <ItemType>(itemSchema: Schema.Schema<ItemType, Schema.Schema.Encoded<typeof Data>>) => Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>, Schema.Array$<Schema.Schema<ItemType, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>>, never>;
+export { ArraySchema as Array };
+export declare const Struct: <FieldTypes extends {
+    [key: string]: any;
+}>(fieldSchemas: { [FieldName in keyof FieldTypes]: Schema.Schema<FieldTypes[FieldName], Data>; }) => Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>, Schema.Struct<{ [FieldName in keyof FieldTypes]: Schema.Schema<FieldTypes[FieldName], import("./Data.js").Data, never>; }>, never>;
+export declare const EnumVariant: <FieldTypes extends {
+    [key: string]: any;
+}>(tag: number | bigint, fieldSchemas: { [FieldName in keyof FieldTypes]: Schema.Schema<FieldTypes[FieldName], Data>; }) => Schema.transformOrFail<Schema.SchemaClass<{
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, {
+    readonly bytes: string;
+} | {
+    readonly int: bigint;
+} | {
+    readonly fields: readonly import("./Data.js").Data[];
+    readonly constructor: number;
+} | {
+    readonly list: readonly import("./Data.js").Data[];
+} | {
+    readonly map: readonly {
+        readonly k: import("./Data.js").Data;
+        readonly v: import("./Data.js").Data;
+    }[];
+}, never>, Schema.Struct<{ [FieldName in keyof FieldTypes]: Schema.Schema<FieldTypes[FieldName], import("./Data.js").Data, never>; }>, never>;
+//# sourceMappingURL=DataSchema.d.ts.map

package/types/Uplc/DataSchema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DataSchema.d.ts","sourceRoot":"","sources":["../../src/Uplc/DataSchema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE9D,OAAO,EAAE,aAAa,IAAI,IAAI,EAAE,MAAM,WAAW,CAAA;AAEjD,QAAA,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;+CAYhB,CAAA;AAEF,OAAO,EAAE,YAAY,IAAI,MAAM,EAAE,CAAA;AAEjC,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;oCAoBd,CAAA;AAEF,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;4EAgBrB,CAAA;AAED,QAAA,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAiBhB,CAAA;AAEF,OAAO,EAAE,YAAY,IAAI,MAAM,EAAE,CAAA;AAEjC,QAAA,MAAM,WAAW,GAAI,QAAQ,EAC3B,YAAY,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAcrE,CAAA;AAEJ,OAAO,EAAE,WAAW,IAAI,KAAK,EAAE,CAAA;AAE/B,eAAO,MAAM,MAAM,GACjB,UAAU,SAAS;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EACzC,cAAc,GACb,SAAS,IAAI,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,GAC5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BADE,SAAS,wGA6BR,CAAA;AAEJ,eAAO,MAAM,WAAW,GAAI,UAAU,SAAS;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EACnE,KAAK,MAAM,GAAG,MAAM,EACpB,cAAc,GACX,SAAS,IAAI,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,GAC5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BADE,SAAS,wGA2CV,CAAA"}

package/types/Uplc/Primitive.d.ts

@@ -0,0 +1,26 @@
+import { Brand, Schema } from "effect";
+export type Bool = boolean & Brand.Brand<"Bool">;
+export declare const makeBool: Brand.Brand.Constructor<Bool>;
+export type ByteArray = number[] & Brand.Brand<"ByteArray">;
+export declare const makeByteArray: Brand.Brand.Constructor<ByteArray>;
+export declare const Int: Schema.brand<typeof Schema.BigInt, "Int">;
+export type Int = bigint & Brand.Brand<"Int">;
+export declare const makeInt: Brand.Brand.Constructor<Int>;
+export type List = {
+    readonly _tag: "List";
+    readonly itemType: string;
+    readonly items: Primitive[];
+};
+export declare function makeList(itemType: string, items: Primitive[]): List;
+export type Pair = {
+    readonly _tag: "Pair";
+    readonly first: Primitive;
+    readonly second: Primitive;
+};
+export declare function makePair(first: Primitive, second: Primitive): Pair;
+export type String = string & Brand.Brand<"String">;
+export declare const makeString: Brand.Brand.Constructor<String>;
+export type Unit = Brand.Brand<"Unit">;
+export declare const makeUnit: () => Unit;
+export type Primitive = Bool | ByteArray | Int | List | Pair | String | Unit;
+//# sourceMappingURL=Primitive.d.ts.map

package/types/Uplc/Primitive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Primitive.d.ts","sourceRoot":"","sources":["../../src/Uplc/Primitive.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEtC,MAAM,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;AAEhD,eAAO,MAAM,QAAQ,+BAAwB,CAAA;AAE7C,MAAM,MAAM,SAAS,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;AAE3D,eAAO,MAAM,aAAa,oCAA6B,CAAA;AAEvD,eAAO,MAAM,GAAG,2CAA0C,CAAA;AAE1D,MAAM,MAAM,GAAG,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAE7C,eAAO,MAAM,OAAO,8BAAuB,CAAA;AAE3C,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAA;CAC5B,CAAA;AAED,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,CAMnE;AAED,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAA;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,GAAG,IAAI,CAMlE;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;AAEnD,eAAO,MAAM,UAAU,iCAA0B,CAAA;AAEjD,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;AAItC,eAAO,MAAM,QAAQ,YAA6B,CAAA;AAGlD,MAAM,MAAM,SAAS,GAAG,IAAI,GAAG,SAAS,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAAA"}

package/types/Uplc/index.d.ts

@@ -0,0 +1,3 @@
+export * as Data from "./Data.js";
+export * as Primitive from "./Primitive.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/Uplc/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA"}

package/types/index.d.ts

@@ -0,0 +1,5 @@
+export * as Bech32 from "./Bech32.js";
+export * as Cbor from "./Cbor.js";
+export * as Ledger from "./Ledger";
+export * as Uplc from "./Uplc";
+//# sourceMappingURL=index.d.ts.map

package/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","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,IAAI,MAAM,QAAQ,CAAA"}

package/types/internal/Base32.d.ts

@@ -0,0 +1,49 @@
+import { Encoding, Either } from "effect";
+export interface Base32 {
+    readonly alphabet: string;
+    readonly padChar: string;
+    readonly strict: boolean;
+    /**
+     * @param encoded
+     * @returns array of bytes
+     */
+    decode(encoded: string): Either.Either<Uint8Array, Encoding.DecodeException>;
+    /**
+     * @param encoded
+     * @returns array of numbers in range [0,32)
+     */
+    decodeRaw(encoded: string): Either.Either<number[], Encoding.DecodeException>;
+    /**
+     * @param bytes
+     * @returns base32 encoded string
+     */
+    encode(bytes: string | Uint8Array | number[]): string;
+    /**
+     *
+     * @param bytes
+     * @returns array of numbers in range [0,32)
+     */
+    encodeRaw(bytes: string | Uint8Array | number[]): number[];
+    /**
+     * Checks if encoded bytes are valid base32
+     * @param encoded
+     */
+    isValid(encoded: string): boolean;
+}
+export type Props = {
+    alphabet?: string;
+} | {
+    alphabet?: string;
+    padChar: string;
+    strict?: boolean;
+};
+export declare const DEFAULT_ALPHABET: "abcdefghijklmnopqrstuvwxyz234567";
+export declare const DEFAULT_PAD_CHAR: "=";
+export declare const DEFAULT_PROPS: Props;
+export declare const DEFAULT: Base32;
+/**
+ * @param props
+ * @returns
+ */
+export declare function make(props?: Props): Base32;
+//# sourceMappingURL=Base32.d.ts.map

package/types/internal/Base32.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Base32.d.ts","sourceRoot":"","sources":["../../src/internal/Base32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGzC,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IAExB;;;OAGG;IACH,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAA;IAE5E;;;OAGG;IACH,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAA;IAE7E;;;OAGG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,GAAG,MAAM,CAAA;IAErD;;;;OAIG;IACH,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAA;IAE1D;;;OAGG;IACH,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAA;CAClC;AAED,MAAM,MAAM,KAAK,GACb;IACE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB,GACD;IACE,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB,CAAA;AAEL,eAAO,MAAM,gBAAgB,EAAG,kCAA2C,CAAA;AAE3E,eAAO,MAAM,gBAAgB,EAAG,GAAY,CAAA;AAE5C,eAAO,MAAM,aAAa,EAAE,KAI3B,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,MAA+B,CAAA;AAErD;;;GAGG;AACH,wBAAgB,IAAI,CAAC,KAAK,GAAE,KAAqB,GAAG,MAAM,CA0BzD"}

package/types/internal/BigEndian.d.ts

@@ -0,0 +1,22 @@
+import { Either, Encoding } from "effect";
+/**
+ * Converts a list of big endian uint8 numbers into an unbounded int
+ * @param bytes
+ * @returns
+ * @throws
+ * If `bytes` is empty
+ * @throws
+ * If any input number is out of range [0,256) or not a whole number
+ */
+export declare function decode(bytes: number[] | Uint8Array): Either.Either<bigint, Encoding.DecodeException>;
+/**
+ * Converts an unbounded integer into a list of big endian uint8 numbers.
+ * @param x
+ * @returns
+ * @throws
+ * If `x` isn't a whole number
+ * @throws
+ * If `x` is negative.
+ */
+export declare function encode(x: number | bigint): number[];
+//# sourceMappingURL=BigEndian.d.ts.map

package/types/internal/BigEndian.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BigEndian.d.ts","sourceRoot":"","sources":["../../src/internal/BigEndian.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGzC;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CACpB,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,GAC3B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,CAuBjD;AAED;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,CAkBnD"}

package/types/internal/Bits.d.ts

@@ -0,0 +1,123 @@
+import { Either } from "effect";
+/**
+ * Read non-byte aligned numbers
+ */
+export interface Reader {
+    isAtEnd(): boolean;
+    moveToByteBoundary(force?: boolean): void;
+    readBits(n: number): number;
+    readByte(): number;
+}
+/**
+ * @param bytes
+ * @param truncate defaults to true
+ * @returns {BitReader}
+ */
+export declare function makeReader(bytes: string | number[] | Uint8Array, truncate?: boolean): Reader;
+/**
+ * BitWriter turns a string of '0's and '1's into a list of bytes.
+ * Finalization pads the bits using '0*1' if not yet aligned with the byte boundary.
+ */
+export interface Writer {
+    readonly length: number;
+    finalize(force?: boolean): number[];
+    padToByteBoundary(force?: boolean): void;
+    pop(n: number): string;
+    writeBits(bitChars: string): Writer;
+    writeByte(byte: number): Writer;
+}
+/**
+ * @returns
+ * Writer instance
+ */
+export declare function makeWriter(): WriterImpl;
+declare class WriterImpl implements Writer {
+    /**
+     * Concatenated and padded upon finalization
+     */
+    private readonly parts;
+    /**
+     * Number of bits written so far
+     */
+    private n;
+    constructor();
+    get length(): number;
+    /**
+     * Pads the Bits.Writer to align with the byte boundary and returns the resulting bytes.
+     * @param force force padding (will add one byte if already aligned)
+     * @returns
+     */
+    finalize(force?: boolean): number[];
+    /**
+     * Add padding to the BitWriter in order to align with the byte boundary.
+     * @param force
+     * If 'force == true' then 8 bits are added if the Writer is already aligned.
+     */
+    padToByteBoundary(force?: boolean): void;
+    /**
+     * Pop n bits of the end
+     * @param n
+     * @returns
+     */
+    pop(n: number): string;
+    /**
+     * Write a string of '0's and '1's to the BitWriter.
+     * Returns the BitWriter to enable chaining
+     * @param bitChars
+     * @returns
+     * Self so these calls can be chain
+     */
+    writeBits(bitChars: string): Writer;
+    /**
+     * Returns the BitWriter to enable chaining
+     * @param byte
+     * @returns
+     * Self so these calls can be chain
+     */
+    writeByte(byte: number): Writer;
+}
+/**
+ * Converts a 8 bit integer number into a bit string with an optional "0b" prefix.
+ * The result is padded with leading zeroes to become 'n' chars long ('2 + n' chars long if you count the "0b" prefix).
+ * @example
+ * byteToBits(7) == "0b00000111"
+ * @param {number} b
+ * @param {number} n
+ * @param {boolean} prefix
+ * @returns {string}
+ */
+export declare function fromByte(b: number, n?: number, prefix?: boolean): Either.Either<string, RangeError>;
+/**
+ * @param bytes
+ * @param i
+ * bit index
+ * @returns
+ * 0 or 1
+ */
+export declare function getBit(bytes: number[], i: number): 0 | 1;
+/**
+ * Masks bits of `b` by setting bits outside the range `[i0, i1)` to 0.
+ * `b` is an 8 bit integer (i.e. number between 0 and 255).
+ * The return value is also an 8 bit integer, shifted right by `i1`.
+ * @example
+ * maskBits(0b11111111, 1, 4) == 0b0111 // (i.e. 7)
+ * @param b
+ * @param i0
+ * @param i1
+ * @returns
+ */
+export declare function mask(b: number, i0: number, i1: number): number;
+/**
+ * Prepends zeroes to a bit-string so that 'result.length == n'.
+ * If `n < nCurrent`, pad to next multiple of `n`.
+ * @example
+ * padBits("1111", 8) == "00001111"
+ * @param bits
+ * @param n
+ * @returns
+ * @throws
+ * If n is zero or negative
+ */
+export declare function pad(bits: string, n: number): string;
+export {};
+//# sourceMappingURL=Bits.d.ts.map

package/types/internal/Bits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bits.d.ts","sourceRoot":"","sources":["../../src/internal/Bits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,OAAO,IAAI,OAAO,CAAA;IAClB,kBAAkB,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,IAAI,CAAA;IACzC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAC3B,QAAQ,IAAI,MAAM,CAAA;CACnB;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,EACrC,QAAQ,GAAE,OAAc,GACvB,MAAM,CAER;AA0GD;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,EAAE,CAAA;IACnC,iBAAiB,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,IAAI,CAAA;IACxC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACtB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAA;IACnC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;CAChC;AAED;;;GAGG;AACH,wBAAgB,UAAU,eAEzB;AAED,cAAM,UAAW,YAAW,MAAM;IAChC;;OAEG;IACH,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAU;IAEhC;;OAEG;IACH,OAAO,CAAC,CAAC,CAAQ;;IAOjB,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED;;;;OAIG;IACH,QAAQ,CAAC,KAAK,GAAE,OAAc,GAAG,MAAM,EAAE;IAiBzC;;;;OAIG;IACH,iBAAiB,CAAC,KAAK,GAAE,OAAe,GAAG,IAAI;IAkB/C;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM;IAuCtB;;;;;;OAMG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;IAanC;;;;;OAKG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;CAShC;AAED;;;;;;;;;GASG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,MAAM,EACT,CAAC,GAAE,MAAU,EACb,MAAM,GAAE,OAAc,GACrB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAsBnC;AAED;;;;;;GAMG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,GAAG,CAAC,CAExD;AAOD;;;;;;;;;;GAUG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAQ9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAenD"}

package/types/internal/Bytes.d.ts

@@ -0,0 +1,88 @@
+import { Effect, Encoding } from "effect";
+export type BytesLike = string | number[] | Uint8Array | Stream;
+declare const EndOfStreamError_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: "EndOfStreamError";
+} & Readonly<A>;
+export declare class EndOfStreamError extends EndOfStreamError_base<{
+    message: string;
+}> {
+    constructor(stream: Stream);
+}
+/**
+ * Doesn't throw an error if any input number is outside the range [0,256)
+ * @param bytes
+ * @returns
+ */
+export declare function toArray(bytes: string | readonly number[] | Uint8Array | Stream): number[];
+export declare function toHex(bytes: string | number[] | Uint8Array | Stream): string;
+/**
+ * Doesn't throw an error if any input number is outside the range [0,256)
+ * @param bytes
+ * @returns
+ */
+export declare function toUint8Array(bytes: string | number[] | Uint8Array | Stream): Uint8Array;
+export interface Stream {
+    readonly bytes: Uint8Array;
+    readonly pos: number;
+    copy(): Stream;
+    isAtEnd(): boolean;
+    peekOne(): Effect.Effect<number, EndOfStreamError>;
+    peekMany(n: number): Effect.Effect<number[], EndOfStreamError>;
+    peekRemaining(): number[];
+    shiftOne(): Effect.Effect<number, EndOfStreamError>;
+    shiftMany(n: number): Effect.Effect<number[], EndOfStreamError>;
+    shiftRemaining(): number[];
+}
+/**
+ * @param arg
+ * @returns
+ */
+export declare function makeStream(arg: string | number[] | Uint8Array | Stream | {
+    bytes: string | number[] | Uint8Array | Stream;
+}): Stream;
+/**
+ * @param a
+ * @param b
+ * @param shortestFirst defaults to false (strictly lexicographic comparison)
+ * @returns
+ * -1 if a < b, 0 if a == b, 1 if a > b
+ */
+export declare function compare(a: string | number[] | Uint8Array | Stream, b: string | number[] | Uint8Array | Stream, shortestFirst?: boolean): -1 | 0 | 1;
+/**
+ * Used to create dummy hashes for testing
+ * @param n
+ * @param seed
+ * @returns
+ */
+export declare function dummy(n: number, seed?: number): number[];
+/**
+ * @param a
+ * @param b
+ * @returns
+ */
+export declare function equals(a: string | number[] | Uint8Array | Stream, b: string | number[] | Uint8Array | Stream): boolean;
+/**
+ * Pad by appending zeroes.
+ * If `n < nCurrent`, pad to next multiple of `n`.
+ * @param bytes
+ * @param n pad length
+ * @returns
+ * @throws
+ * If pad length is zero or negative
+ */
+export declare function pad(bytes: number[], n: number): number[];
+/**
+ * Pad by prepending zeroes.
+ * Throws an error
+ * @param bytes
+ * @param n prepad length
+ * @returns
+ * @throws
+ * If prepad length is zero or negative
+ * @throws
+ * if bytes.length > n
+ */
+export declare function prepad(bytes: number[], n: number): number[];
+export declare function DecodeException(bytes: string | number[] | Uint8Array | Stream, message: string): Encoding.DecodeException;
+export {};
+//# sourceMappingURL=Bytes.d.ts.map

package/types/internal/Bytes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bytes.d.ts","sourceRoot":"","sources":["../../src/internal/Bytes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAG/C,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,CAAA;;;;AAE/D,qBAAa,gBAAiB,SAAQ,sBAAqC;IACzE,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,MAAM,EAAE,MAAM;CAG3B;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,GACtD,MAAM,EAAE,CAkBV;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,CAY5E;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,GAC7C,UAAU,CAkBZ;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,IAAI,IAAI,MAAM,CAAA;IACd,OAAO,IAAI,OAAO,CAAA;IAClB,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAClD,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAA;IAC9D,aAAa,IAAI,MAAM,EAAE,CAAA;IACzB,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IACnD,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAA;IAC/D,cAAc,IAAI,MAAM,EAAE,CAAA;CAC3B;AAED;;;GAGG;AACH,wBAAgB,UAAU,CACxB,GAAG,EACC,MAAM,GACN,MAAM,EAAE,GACR,UAAU,GACV,MAAM,GACN;IAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,CAAA;CAAE,GACrD,MAAM,CAaR;AA0GD;;;;;;GAMG;AACH,wBAAgB,OAAO,CACrB,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,EAC1C,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,EAC1C,aAAa,GAAE,OAAe,GAC7B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAuBZ;AAED;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,GAAE,MAAU,GAAG,MAAM,EAAE,CAE3D;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CACpB,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,EAC1C,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,GACzC,OAAO,CAET;AAED;;;;;;;;GAQG;AACH,wBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAexD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAgB3D;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,EAC9C,OAAO,EAAE,MAAM,4BAGhB"}

package/types/internal/Flat.d.ts

@@ -0,0 +1,71 @@
+import * as Bits from "./Bits.js";
+/**
+ * Instantiate a `Flat.Reader` with {@link makeReader}.
+ */
+export interface Reader {
+    isAtEnd(): boolean;
+    readBits(n: number): number;
+    readBool(): boolean;
+    readBuiltinId(): number;
+    readBytes(): number[];
+    readInt(): bigint;
+    readTag(): number;
+    readList<T>(readItem: (r: Reader) => T): T[];
+}
+/**
+ * @param bytes
+ * @returns
+ */
+export declare function makeReader(bytes: string | number[] | Uint8Array): Reader;
+/**
+ * Instantiate a `FlatWriter` with {@link makeWriter}.
+ */
+export interface Writer {
+    writeBool(b: boolean): Writer;
+    writeBytes(bytes: number[]): Writer;
+    writeInt(x: bigint | number): Writer;
+    writeListCons(): Writer;
+    writeListNil(): Writer;
+    writeTermTag(tag: number): Writer;
+    writeTypeBits(typeBits: string): Writer;
+    writeBuiltinId(id: number): Writer;
+    finalize(): number[];
+}
+/**
+ * @returns
+ */
+export declare function makeWriter(): Writer;
+/**
+ * @param reader
+ * @returns
+ */
+export declare function decodeBytes(reader: Bits.Reader): number[];
+/**
+ * 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 declare function encodeBytes(writer: Bits.Writer, bytes: number[], pad?: boolean): void;
+/**
+ * Includes type bits
+ * @param n
+ * @returns
+ */
+export declare function bytesSize(n: number): number;
+/**
+ * Returns an unsigned (zigzag encoded) bigint
+ * @param reader
+ * @returns
+ */
+export declare function decodeInt(reader: Bits.Reader): bigint;
+/**
+ * @param bitWriter
+ * @param x
+ * positive number
+ */
+export declare function encodeInt(bitWriter: Bits.Writer, x: bigint): void;
+//# sourceMappingURL=Flat.d.ts.map

package/types/internal/Flat.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flat.d.ts","sourceRoot":"","sources":["../../src/internal/Flat.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,OAAO,IAAI,OAAO,CAAA;IAClB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAC3B,QAAQ,IAAI,OAAO,CAAA;IACnB,aAAa,IAAI,MAAM,CAAA;IACvB,SAAS,IAAI,MAAM,EAAE,CAAA;IACrB,OAAO,IAAI,MAAM,CAAA;IACjB,OAAO,IAAI,MAAM,CAAA;IACjB,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,CAAA;CAC7C;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GAAG,MAAM,CAExE;AAoED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,SAAS,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;IAC7B,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAA;IACnC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IACpC,aAAa,IAAI,MAAM,CAAA;IACvB,YAAY,IAAI,MAAM,CAAA;IACtB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;IACjC,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAA;IACvC,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;IAClC,QAAQ,IAAI,MAAM,EAAE,CAAA;CACrB;AAED;;GAEG;AACH,wBAAgB,UAAU,IAAI,MAAM,CAEnC;AA0GD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAgBzD;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,IAAI,CAAC,MAAM,EACnB,KAAK,EAAE,MAAM,EAAE,EACf,GAAG,GAAE,OAAc,GAClB,IAAI,CA+BN;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE3C;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,MAAM,CAarD;AAkDD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,QAoB1D"}