@elaraai/east 0.0.1-beta.0

package/dist/src/fuzz.js

@@ -0,0 +1,300 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ *
+ * @remarks
+ */
+import { NullType, BooleanType, IntegerType, FloatType, StringType, DateTimeType, BlobType, ArrayType, SetType, DictType, StructType, VariantType, OptionType, } from "./types.js";
+import { isVariant, variant } from "./containers/variant.js";
+import { printType } from "./types.js";
+import { printFor } from "./serialization/east.js";
+import { toEastTypeValue } from "./type_of_type.js";
+import { ref } from "./containers/ref.js";
+/**
+ * Generates a random East type for fuzz testing.
+ *
+ * @param depth - Current nesting depth (used internally to limit recursion)
+ * @returns A randomly generated {@link EastType}
+ *
+ * @remarks
+ * Types are kept reasonably simple to avoid generating huge nested structures:
+ * - Maximum nesting depth of 3 levels
+ * - Higher chance of primitives at deeper levels
+ * - Sets and Dicts use {@link StringType} keys (immutability constraint)
+ * - Structs have 0-4 random fields
+ * - Variants have 1-3 random cases, with 30% chance of {@link OptionType}
+ */
+export function randomType(depth = 0) {
+    // Limit nesting to avoid stack overflow and keep tests fast
+    const maxDepth = 3;
+    // Higher chance of primitives at deeper levels
+    const primitiveWeight = depth >= maxDepth ? 0.9 : 0.5;
+    if (Math.random() < primitiveWeight) {
+        // Primitive type
+        const r = Math.random() * 7;
+        if (r < 1)
+            return NullType;
+        if (r < 2)
+            return BooleanType;
+        if (r < 3)
+            return IntegerType;
+        if (r < 4)
+            return FloatType;
+        if (r < 5)
+            return StringType;
+        if (r < 6)
+            return DateTimeType;
+        return BlobType;
+    }
+    // Complex type
+    const r = Math.random() * 5;
+    if (r < 1) {
+        // Array
+        return ArrayType(randomType(depth + 1));
+    }
+    else if (r < 2) {
+        // Set (keys must be immutable)
+        return SetType(StringType);
+    }
+    else if (r < 3) {
+        // Dict (keys must be immutable)
+        return DictType(StringType, randomType(depth + 1));
+    }
+    else if (r < 4) {
+        // Struct with 0-4 fields
+        const fieldCount = Math.floor(Math.random() * 5);
+        const fields = {};
+        for (let i = 0; i < fieldCount; i++) {
+            fields[`field${i}`] = randomType(depth + 1);
+        }
+        return StructType(fields);
+    }
+    else {
+        // Variant
+        if (Math.random() < 0.3) {
+            // Option type (common variant pattern)
+            return OptionType(randomType(depth + 1));
+        }
+        else {
+            // Custom variant with 1-3 cases
+            const caseCount = 1 + Math.floor(Math.random() * 3);
+            const cases = {};
+            for (let i = 0; i < caseCount; i++) {
+                cases[`case${i}`] = randomType(depth + 1);
+            }
+            return VariantType(cases);
+        }
+    }
+}
+export function randomValueFor(type) {
+    // Convert EastTypeValue to EastType if needed
+    if (!isVariant(type)) {
+        type = toEastTypeValue(type);
+    }
+    if (type.type === "Never") {
+        throw new Error("Cannot generate values for Never type");
+    }
+    else if (type.type === "Null") {
+        return () => null;
+    }
+    else if (type.type === "Boolean") {
+        return (() => Math.random() < 0.5);
+    }
+    else if (type.type === "Integer") {
+        return (() => BigInt(Math.floor(Math.random() * 200) - 100));
+    }
+    else if (type.type === "Float") {
+        return (() => {
+            const r = Math.random();
+            if (r < 0.05)
+                return NaN;
+            if (r < 0.10)
+                return Infinity;
+            if (r < 0.15)
+                return -Infinity;
+            if (r < 0.20)
+                return 0.0;
+            if (r < 0.25)
+                return -0.0;
+            return Math.random() * 200 - 100;
+        });
+    }
+    else if (type.type === "String") {
+        return (() => {
+            const length = Math.floor(Math.random() * 20);
+            if (length === 0)
+                return "";
+            return Math.random().toString(36).substring(2, 2 + length);
+        });
+    }
+    else if (type.type === "DateTime") {
+        return (() => {
+            const year2025 = new Date("2025-01-01T00:00:00.000Z").valueOf();
+            const oneYear = 1000 * 60 * 60 * 24 * 365;
+            return new Date(year2025 + Math.floor(Math.random() * oneYear));
+        });
+    }
+    else if (type.type === "Blob") {
+        return (() => {
+            const length = Math.floor(Math.random() * 100); // Keep small for speed
+            const arr = new Uint8Array(length);
+            for (let i = 0; i < length; i++) {
+                arr[i] = Math.floor(Math.random() * 256);
+            }
+            return arr;
+        });
+    }
+    else if (type.type === "Ref") {
+        const valueFn = randomValueFor(type.value);
+        return (() => ref(valueFn()));
+    }
+    else if (type.type === "Array") {
+        const itemFn = randomValueFor(type.value);
+        return (() => {
+            const length = Math.floor(Math.random() * 5);
+            return Array.from({ length }, itemFn);
+        });
+    }
+    else if (type.type === "Set") {
+        const itemFn = randomValueFor(type.value);
+        return (() => {
+            const length = Math.floor(Math.random() * 5);
+            const set = new Set();
+            for (let i = 0; i < length; i++) {
+                set.add(itemFn());
+            }
+            return set;
+        });
+    }
+    else if (type.type === "Dict") {
+        const keyFn = randomValueFor(type.value.key);
+        const valueFn = randomValueFor(type.value.value);
+        return (() => {
+            const length = Math.floor(Math.random() * 5);
+            const dict = new Map();
+            for (let i = 0; i < length; i++) {
+                dict.set(keyFn(), valueFn());
+            }
+            return dict;
+        });
+    }
+    else if (type.type === "Struct") {
+        const fieldFns = Object.fromEntries(type.value.map(({ name, type: fieldType }) => [name, randomValueFor(fieldType)]));
+        return (() => {
+            const obj = {};
+            for (const [key, fn] of Object.entries(fieldFns)) {
+                obj[key] = fn();
+            }
+            return obj;
+        });
+    }
+    else if (type.type === "Variant") {
+        const caseKeys = type.value.map(({ name }) => name);
+        const caseFns = Object.fromEntries(type.value.map(({ name, type: caseType }) => [name, randomValueFor(caseType)]));
+        return (() => {
+            const caseKey = caseKeys[Math.floor(Math.random() * caseKeys.length)];
+            return variant(caseKey, caseFns[caseKey]());
+        });
+    }
+    else if (type.type === "Recursive") {
+        throw new Error("Cannot generate values for Recursive type");
+    }
+    else if (type.type === "Function") {
+        throw new Error("Cannot generate values for Function type");
+    }
+    else {
+        throw new Error(`Unhandled type: ${printType(type)}`);
+    }
+}
+/**
+ * Runs a fuzz test over a generic function parameterized by a type.
+ *
+ * @param fn - Factory function that takes a type and returns a test function for values of that type
+ * @param n_types - Number of random types to test
+ * @param n_samples - Number of random values to test per type
+ * @returns `true` if all tests passed, `false` if any failed
+ *
+ * @remarks
+ * For each randomly generated type:
+ * 1. Creates a test function using the provided factory
+ * 2. Generates random values of that type
+ * 3. Runs the test function on each value
+ * 4. Reports any failures to stderr with type, value, and error details
+ *
+ * Attempts to generate unique types (up to 100 attempts per type) to maximize
+ * test coverage. Prints summary statistics showing success/failure counts.
+ *
+ * @example
+ * ```ts
+ * import { printFor, parseFor } from "./serialization/east.js";
+ *
+ * // Test that serialization and parsing work
+ * await fuzzerTest(
+ *   (type) => async (value) => {
+ *     const parse = parseFor(type);
+ *     const result = parse(serialized);
+ *     if (!result.success) {
+ *       throw new Error(`Parse failed: ${result.error}`);
+ *     }
+ *   },
+ *   100,  // test 100 random types
+ *   10    // with 10 random values each
+ * );
+ * ```
+ */
+export async function fuzzerTest(fn, n_types = 100, n_samples = 10) {
+    let n_type_success = 0;
+    let n_type_fail = 0;
+    const type_cache = new Set();
+    for (let i = 0; i < n_types; i++) {
+        let n_success = 0;
+        let n_fail = 0;
+        // Generate a unique random type
+        let type;
+        let attempts = 0;
+        while (true) {
+            type = randomType();
+            const typeStr = printType(type);
+            if (!type_cache.has(typeStr)) {
+                type_cache.add(typeStr);
+                break;
+            }
+            attempts++;
+            if (attempts > 100) {
+                // Give up and allow duplicates
+                break;
+            }
+        }
+        const type_fn = fn(type);
+        const randomValue = randomValueFor(type);
+        const print = printFor(type);
+        for (let j = 0; j < n_samples; j++) {
+            const value = randomValue();
+            try {
+                await type_fn(value);
+                n_success++;
+            }
+            catch (e) {
+                n_fail++;
+                console.error(`    Test failed for type ${printType(type)}`);
+                console.error(`    Value: ${print(value)}`);
+                console.error(`    Error: ${e?.stack ?? e}`);
+            }
+        }
+        if (n_fail > 0) {
+            n_type_fail++;
+            console.error(`  FAILED: ${n_success}/${n_samples} samples passed for type ${printType(type)}`);
+        }
+        else {
+            n_type_success++;
+        }
+    }
+    if (n_type_fail > 0) {
+        console.error(`FAILED: ${n_type_success}/${n_types} types passed`);
+        return false;
+    }
+    else {
+        return true;
+    }
+}
+//# sourceMappingURL=fuzz.js.map

package/dist/src/fuzz.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzz.js","sourceRoot":"","sources":["../../src/fuzz.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAGL,QAAQ,EACR,WAAW,EACX,WAAW,EACX,SAAS,EACT,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,OAAO,EACP,QAAQ,EACR,UAAU,EACV,WAAW,EACX,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAsB,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAE1C;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB,CAAC;IAC1C,4DAA4D;IAC5D,MAAM,QAAQ,GAAG,CAAC,CAAC;IAEnB,+CAA+C;IAC/C,MAAM,eAAe,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAEtD,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,eAAe,EAAE,CAAC;QACpC,iBAAiB;QACjB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,QAAQ,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,WAAW,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,WAAW,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,UAAU,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,YAAY,CAAC;QAC/B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,eAAe;IACf,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,QAAQ;QACR,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,+BAA+B;QAC/B,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,gCAAgC;QAChC,OAAO,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;SAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,yBAAyB;QACzB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,MAAM,GAA6B,EAAE,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;SAAM,CAAC;QACN,UAAU;QACV,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;YACxB,uCAAuC;YACvC,OAAO,UAAU,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,gCAAgC;YAChC,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YACpD,MAAM,KAAK,GAA6B,EAAE,CAAC;YAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;AACH,CAAC;AAqBD,MAAM,UAAU,cAAc,CAAC,IAA8B;IAC3D,8CAA8C;IAC9C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,GAAG,EAAE,CAAC,IAAW,CAAC;IAC3B,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAQ,CAAC;IAC5C,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAQ,CAAC;IACtE,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,IAAI;gBAAE,OAAO,GAAG,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI;gBAAE,OAAO,QAAQ,CAAC;YAC9B,IAAI,CAAC,GAAG,IAAI;gBAAE,OAAO,CAAC,QAAQ,CAAC;YAC/B,IAAI,CAAC,GAAG,IAAI;gBAAE,OAAO,GAAG,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC;YAC1B,OAAO,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QACnC,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAC9C,IAAI,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;QAC7D,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACpC,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,0BAA0B,CAAC,CAAC,OAAO,EAAE,CAAC;YAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;YAC1C,OAAO,IAAI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;QAClE,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,uBAAuB;YACvE,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAQ,CAAC;IACvC,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAC7C,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC;QACxC,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;YACpB,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;YAC/B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CACjF,CAAC;QACF,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,GAAG,GAAwB,EAAE,CAAC;YACpC,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC;YAClB,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAC/E,CAAC;QACF,OAAO,CAAC,GAAG,EAAE;YACX,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAE,CAAC;YACvE,OAAO,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAE,EAAE,CAAC,CAAC;QAC/C,CAAC,CAAQ,CAAC;IACZ,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,EAAqD,EACrD,UAAkB,GAAG,EACrB,YAAoB,EAAE;IAEtB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,MAAM,GAAG,CAAC,CAAC;QAEf,gCAAgC;QAChC,IAAI,IAAc,CAAC;QACnB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,GAAG,UAAU,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7B,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACxB,MAAM;YACR,CAAC;YACD,QAAQ,EAAE,CAAC;YACX,IAAI,QAAQ,GAAG,GAAG,EAAE,CAAC;gBACnB,+BAA+B;gBAC/B,MAAM;YACR,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC;gBACH,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;gBACrB,SAAS,EAAE,CAAC;YACd,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,EAAE,CAAC;gBACT,OAAO,CAAC,KAAK,CAAC,4BAA4B,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC7D,OAAO,CAAC,KAAK,CAAC,cAAc,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC5C,OAAO,CAAC,KAAK,CAAC,cAAe,CAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QAED,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACf,WAAW,EAAE,CAAC;YACd,OAAO,CAAC,KAAK,CAAC,aAAa,SAAS,IAAI,SAAS,4BAA4B,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClG,CAAC;aAAM,CAAC;YACN,cAAc,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;IAED,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,KAAK,CAAC,WAAW,cAAc,IAAI,OAAO,eAAe,CAAC,CAAC;QACnE,OAAO,KAAK,CAAC;IACf,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/src/index.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export * from './location.js';
+export * from './containers/ref.js';
+export * from './containers/variant.js';
+export * from './containers/sortedset.js';
+export * from './containers/sortedmap.js';
+export * from './types.js';
+export * from './type_of_type.js';
+export * from './serialization/index.js';
+export * from './comparison.js';
+export * from './ast.js';
+export * from './expr/index.js';
+export * from './ir.js';
+export * from './error.js';
+export * from './compile.js';
+export * from './default.js';
+export * from './eastir.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,eAAe,CAAC;AAC9B,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,0BAA0B,CAAC;AACzC,cAAc,iBAAiB,CAAC;AAChC,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,21 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export * from './location.js';
+export * from './containers/ref.js';
+export * from './containers/variant.js';
+export * from './containers/sortedset.js';
+export * from './containers/sortedmap.js';
+export * from './types.js';
+export * from './type_of_type.js';
+export * from './serialization/index.js';
+export * from './comparison.js';
+export * from './ast.js';
+export * from './expr/index.js';
+export * from './ir.js';
+export * from './error.js';
+export * from './compile.js';
+export * from './default.js';
+export * from './eastir.js';
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,eAAe,CAAC;AAC9B,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,0BAA0B,CAAC;AACzC,cAAc,iBAAiB,CAAC;AAChC,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC"}

package/dist/src/internal.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Internal exports for East
+ * These are more internal APIs that may be useful for tools and integrations
+ */
+import type { EastType } from './types.js';
+import { platform } from './expr/block.js';
+export { EastIR } from './eastir.js';
+export type { PlatformFunction } from './platform.js';
+export { FunctionExpr, type CallableFunctionExpr } from './expr/function.js';
+export { platform };
+export type { EastType };
+export { EastError } from './error.js';
+export type { LocationValue } from './ir.js';
+export { type LiteralValue, LiteralValueType } from './type_of_type.js';
+/**
+ * Type helper for platform function definitions.
+ * Use this to properly type platform function declarations.
+ *
+ * @typeParam Inputs - Tuple of input parameter types
+ * @typeParam Output - Return type of the platform function
+ *
+ * @example
+ * ```ts
+ * import { East, StringType, NullType } from "@elaraai/east";
+ * import type { PlatformFunctionDef } from "@elaraai/east/internal";
+ *
+ * export const console_log: PlatformFunctionDef<[typeof StringType], typeof NullType> =
+ *     East.platform("console_log", [StringType], NullType);
+ * ```
+ */
+export type PlatformFunctionDef<Inputs extends EastType[], Output extends EastType> = ReturnType<typeof platform<Inputs, Output>>;
+//# sourceMappingURL=internal.d.ts.map

package/dist/src/internal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/internal.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;GAGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,YAAY,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,KAAK,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,CAAC;AACpB,YAAY,EAAE,QAAQ,EAAE,CAAC;AACzB,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAE7C,OAAO,EAAE,KAAK,YAAY,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAExE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,IAC9E,UAAU,CAAC,OAAO,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC"}

package/dist/src/internal.js

@@ -0,0 +1,11 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { platform } from './expr/block.js';
+export { EastIR } from './eastir.js';
+export { FunctionExpr } from './expr/function.js';
+export { platform };
+export { EastError } from './error.js';
+export { LiteralValueType } from './type_of_type.js';
+//# sourceMappingURL=internal.js.map

package/dist/src/internal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.js","sourceRoot":"","sources":["../../src/internal.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAQH,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,YAAY,EAA6B,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,CAAC;AAEpB,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGvC,OAAO,EAAqB,gBAAgB,EAAE,MAAM,mBAAmB,CAAC"}