@elaraai/east-node-std 0.0.1-beta.0

package/dist/random.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"random.js","sourceRoot":"","sources":["../src/random.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEvE,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAInD,OAAO,SAAS,MAAM,wBAAwB,CAAC;AAC/C,OAAO,cAAc,MAAM,yBAAyB,CAAC;AACrD,OAAO,WAAW,MAAM,mCAAmC,CAAC;AAC5D,OAAO,cAAc,MAAM,uCAAuC,CAAC;AACnE,OAAO,UAAU,MAAM,kCAAkC,CAAC;AAC1D,OAAO,eAAe,MAAM,uCAAuC,CAAC;AACpE,OAAO,aAAa,MAAM,qCAAqC,CAAC;AAChE,OAAO,YAAY,MAAM,oCAAoC,CAAC;AAC9D,OAAO,aAAa,MAAM,qCAAqC,CAAC;AAChE,OAAO,WAAW,MAAM,mCAAmC,CAAC;AAC5D,OAAO,UAAU,MAAM,kCAAkC,CAAC;AAC1D,OAAO,aAAa,MAAM,sCAAsC,CAAC;AACjE,OAAO,aAAa,MAAM,sCAAsC,CAAC;AACjE,OAAO,SAAS,MAAM,iCAAiC,CAAC;AAExD,wEAAwE;AACxE,IAAI,SAAS,GAAQ,IAAI,SAAS,EAAE,CAAC;AAErC;;;GAGG;AACH,MAAM,UAAU,gBAAgB;IAC5B,SAAS,GAAG,IAAI,SAAS,EAAE,CAAC;AAChC,CAAC;AAED,gCAAgC;AAEhC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,cAAc,GACvB,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,aAAa,GACtB,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,YAAY,GACrB,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;AAE3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAC3B,IAAI,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,cAAc,GACvB,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;AAE5D;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,gBAAgB,GACzB,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,MAAM,eAAe,GACxB,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;AAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,gBAAgB,GACzB,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,cAAc,GACvB,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,aAAa,GACtB,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC1B,IAAI,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;AAE1E;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC1B,IAAI,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;AAEjE;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,YAAY,GACrB,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;AAE5D;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,MAAM,WAAW,GACpB,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;AAG1D,oCAAoC;AAEpC,MAAM,UAAU,GAAuB;IACnC,cAAc,CAAC,SAAS,CAAC,GAAG,EAAE;QAC1B,OAAO,WAAW,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC1C,CAAC,CAAC;IAEF,aAAa,CAAC,SAAS,CAAC,GAAG,EAAE;QACzB,OAAO,UAAU,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACzC,CAAC,CAAC;IAEF,YAAY,CAAC,SAAS,CAAC,CAAC,GAAW,EAAE,GAAW,EAAE,EAAE;QAChD,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;YACZ,MAAM,IAAI,SAAS,CAAC,uBAAuB,GAAG,YAAY,GAAG,GAAG,EAAE;gBAC9D,QAAQ,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;aAC/D,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC;YACD,OAAO,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,mCAAmC,GAAG,CAAC,OAAO,EAAE,EAAE;gBAClE,QAAQ,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC5D,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,kBAAkB,CAAC,SAAS,CAAC,CAAC,MAAc,EAAE,EAAE;QAC5C,IAAI,CAAC;YACD,OAAO,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QAChD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,yCAAyC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACxE,QAAQ,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAClE,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,cAAc,CAAC,SAAS,CAAC,CAAC,KAAa,EAAE,EAAE;QACvC,IAAI,CAAC;YACD,sCAAsC;YACtC,MAAM,GAAG,GAAG,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,qCAAqC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACpE,QAAQ,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC9D,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAS,EAAE,EAAE;QACrC,IAAI,CAAC;YACD,OAAO,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,uCAAuC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACtE,QAAQ,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAChE,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,eAAe,CAAC,SAAS,CAAC,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE;QAC/C,IAAI,CAAC;YACD,OAAO,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,sCAAsC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACrE,QAAQ,EAAE,EAAE,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC/D,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAS,EAAE,EAAE;QACrC,IAAI,CAAC;YACD,OAAO,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,uCAAuC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACtE,QAAQ,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAChE,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,cAAc,CAAC,SAAS,CAAC,CAAC,MAAc,EAAE,EAAE;QACxC,IAAI,CAAC;YACD,OAAO,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,qCAAqC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACpE,QAAQ,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC9D,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,aAAa,CAAC,SAAS,CAAC,CAAC,KAAa,EAAE,EAAE;QACtC,IAAI,CAAC;YACD,OAAO,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,oCAAoC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACnE,QAAQ,EAAE,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC7D,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,iBAAiB,CAAC,SAAS,CAAC,CAAC,EAAU,EAAE,KAAa,EAAE,EAAE;QACtD,IAAI,CAAC;YACD,OAAO,aAAa,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QACjD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,wCAAwC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACvE,QAAQ,EAAE,EAAE,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBACjE,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAS,EAAE,EAAE;QACtC,IAAI,CAAC;YACD,OAAO,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC;QACzC,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,wCAAwC,GAAG,CAAC,OAAO,EAAE,EAAE;gBACvE,QAAQ,EAAE,EAAE,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBACjE,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,YAAY,CAAC,SAAS,CAAC,CAAC,CAAS,EAAE,EAAE;QACjC,IAAI,CAAC;YACD,OAAO,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC;QACrC,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,MAAM,IAAI,SAAS,CAAC,mCAAmC,GAAG,CAAC,OAAO,EAAE,EAAE;gBAClE,QAAQ,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC5D,KAAK,EAAE,GAAG;aACb,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC;IAEF,WAAW,CAAC,SAAS,CAAC,CAAC,IAAY,EAAE,EAAE;QACnC,0DAA0D;QAC1D,+EAA+E;QAC/E,SAAS,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC;CACL,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG;IAClB;;;;;;;;;;;;;;;;;OAiBG;IACH,OAAO,EAAE,cAAc;IAEvB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,MAAM,EAAE,aAAa;IAErB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,EAAE,YAAY;IAEnB;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,WAAW,EAAE,kBAAkB;IAE/B;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,OAAO,EAAE,cAAc;IAEvB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,SAAS,EAAE,gBAAgB;IAE3B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,QAAQ,EAAE,eAAe;IAEzB;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,SAAS,EAAE,gBAAgB;IAE3B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,OAAO,EAAE,cAAc;IAEvB;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,MAAM,EAAE,aAAa;IAErB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,SAAS,EAAE,iBAAiB;IAE5B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,SAAS,EAAE,iBAAiB;IAE5B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,KAAK,EAAE,YAAY;IAEnB;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,IAAI,EAAE,WAAW;IAEjB;;;;OAIG;IACH,cAAc,EAAE,UAAU;CACpB,CAAC;AAEX,gDAAgD;AAChD,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/dist/test.d.ts

@@ -0,0 +1,253 @@
+import { Expr, NullType, StringType, BlockBuilder, type SubtypeExprOrValue, type ExprType, type EastType } from "@elaraai/east";
+import type { PlatformFunction, PlatformFunctionDef } from "@elaraai/east/internal";
+/**
+ * Signals that a test assertion passed.
+ *
+ * This platform function is used internally by East test assertions to indicate
+ * successful validation. When executed in Node.js, it performs no action (the test
+ * continues normally). Other platform implementations may log or track passes.
+ *
+ * This function is primarily used within the {@link Test} assertion helpers rather
+ * than being called directly in test code.
+ *
+ * @returns `null` - Has no meaningful return value
+ *
+ * @example
+ * ```ts
+ * import { East, NullType } from "@elaraai/east";
+ * import { Test } from "@elaraai/east-node-std";
+ *
+ * // Used internally by Test assertions
+ * const myTest = East.function([], NullType, $ => {
+ *     // Test.equal internally calls testPass when the assertion succeeds
+ *     $(Test.equal(East.value(42n), 42n));
+ * });
+ *
+ * const compiled = East.compile(myTest.toIR(), Test.Implementation);
+ * compiled();  // Test passes silently
+ * ```
+ *
+ * @remarks
+ * - Does not throw or produce output in Node.js implementation
+ * - Used by all {@link Test} assertion methods to signal success
+ * - Can be called directly for custom assertion logic
+ */
+export declare const testPass: PlatformFunctionDef<[], typeof NullType>;
+export declare const NodeTestTypes: any[];
+export declare const NodeTest: PlatformFunction[];
+/**
+ * Configuration options for East test suites.
+ */
+export interface DescribeEastOptions {
+    /**
+     * Platform functions to include in all tests and hooks.
+     */
+    platformFns?: PlatformFunction[];
+    /**
+     * Setup function run once before all tests.
+     * Use for opening database connections, initializing resources, etc.
+     */
+    beforeAll?: ($: BlockBuilder<NullType>) => void;
+    /**
+     * Cleanup function run once after all tests.
+     * Use for closing database connections, cleaning up resources, etc.
+     * Runs even if tests fail.
+     */
+    afterAll?: ($: BlockBuilder<NullType>) => void;
+    /**
+     * Setup function run before each test.
+     */
+    beforeEach?: ($: BlockBuilder<NullType>) => void;
+    /**
+     * Cleanup function run after each test.
+     * Runs even if the test fails.
+     */
+    afterEach?: ($: BlockBuilder<NullType>) => void;
+}
+/**
+ * Wrapper around Node.js `describe` that also exports test IR for cross-platform testing.
+ *
+ * This function behaves exactly like Node.js `describe` - it runs all the tests normally.
+ * Additionally, it creates a single East function that runs all tests in sequence,
+ * making it easy to export the entire test suite for running in other East implementations.
+ *
+ * Supports lifecycle hooks (beforeAll, afterAll, beforeEach, afterEach) as East functions
+ * to properly set up and tear down resources like database connections.
+ *
+ * @param suiteName - The name of the test suite
+ * @param builder - A function that receives a `test` function for defining tests
+ * @param options - Configuration options including platform functions and lifecycle hooks
+ *
+ * @example
+ * ```ts
+ * // Basic usage with platform functions
+ * describeEast("Array tests", (test) => {
+ *   test("addition", $ => {
+ *     $(Test.equal(East.value(1n).add(1n), 2n));
+ *   });
+ * }, { platformFns: [] });
+ * ```
+ *
+ * @example
+ * ```ts
+ * // With database cleanup hooks
+ * import { SQL } from "@elaraai/east-node-io";
+ *
+ * describeEast("Database tests", (test) => {
+ *   test("query users", $ => {
+ *     const conn = $.let(SQL.Postgres.connect(config));
+ *     const result = $.let(SQL.Postgres.query(conn, "SELECT * FROM users", []));
+ *     $(Test.equal(result.rows.length(), 2n));
+ *   });
+ * }, {
+ *   platformFns: SQL.Postgres.Implementation,
+ *   afterEach: $ => {
+ *     // Close connections even if test fails
+ *     const conn = $.let(SQL.Postgres.connect(config));
+ *     $(SQL.Postgres.close(conn));
+ *   }
+ * });
+ * ```
+ */
+export declare function describeEast(suiteName: string, builder: (test: (name: string, body: ($: BlockBuilder<NullType>) => void) => void) => void, options?: DescribeEastOptions): void;
+/**
+ * East assertion functions that match Node.js assert API naming.
+ *
+ * These functions generate East expressions that perform runtime assertions
+ * using platform functions, enabling testing of East code.
+ */
+/**
+ * East assertion functions that match Node.js assert API naming.
+ *
+ * These functions generate East expressions that perform runtime assertions
+ * using platform functions, enabling testing of East code.
+ */
+export declare const Test: {
+    /**
+     * Platform function that signals a test assertion passed.
+     *
+     * Used internally by assertion methods to indicate successful validation.
+     * Does nothing in Node.js implementation - test continues normally.
+     *
+     * @returns An East expression that returns `null`
+     *
+     * @example
+     * ```ts
+     * import { East, NullType } from "@elaraai/east";
+     * import { Test } from "@elaraai/east-node-std";
+     *
+     * const customAssertion = East.function([], NullType, $ => {
+     *     return East.value(true).ifElse(
+     *         _ => Test.pass(),
+     *         _ => Test.fail("Condition was false")
+     *     );
+     * });
+     * ```
+     */
+    pass: PlatformFunctionDef<[], NullType>;
+    /**
+     * Platform function that signals a test assertion failed.
+     *
+     * Used internally by assertion methods to indicate validation failures.
+     * Throws an assertion error in Node.js implementation - test fails immediately.
+     *
+     * @param message - Error message describing the failure
+     * @returns An East expression that returns `null` (never actually returns - throws)
+     *
+     * @example
+     * ```ts
+     * import { East, StringType, NullType } from "@elaraai/east";
+     * import { Test } from "@elaraai/east-node-std";
+     *
+     * const validateRange = East.function([IntegerType], NullType, ($, value) => {
+     *     return value.between(0n, 100n).ifElse(
+     *         _ => Test.pass(),
+     *         _ => Test.fail("Value must be between 0 and 100")
+     *     );
+     * });
+     * ```
+     */
+    fail: PlatformFunctionDef<[StringType], NullType>;
+    /**
+     * Asserts that two values are the same reference (meaning if one is mutated, the other reflects the change - and they are always equal).
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The expected value to compare against
+     * @returns An East expression that performs the equality check
+     */
+    is<E extends EastType>(actual: Expr<E>, expected: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that two values are equal.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The expected value to compare against
+     * @returns An East expression that performs the equality check
+     */
+    equal<E extends EastType>(actual: Expr<E>, expected: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that two values are not equal.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that should not be equal
+     * @returns An East expression that performs the inequality check
+     */
+    notEqual<E extends EastType>(actual: Expr<E>, expected: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that actual is less than expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be less than
+     * @returns An East expression that performs the less-than check
+     */
+    less<E extends EastType>(actual: Expr<E>, expected: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that actual is less than or equal to expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be less than or equal to
+     * @returns An East expression that performs the less-than-or-equal check
+     */
+    lessEqual<E extends EastType>(actual: Expr<E>, expected: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that actual is greater than expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be greater than
+     * @returns An East expression that performs the greater-than check
+     */
+    greater<E extends EastType>(actual: Expr<E>, expected: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that actual is greater than or equal to expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be greater than or equal to
+     * @returns An East expression that performs the greater-than-or-equal check
+     */
+    greaterEqual<E extends EastType>(actual: Expr<E>, expected: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that actual is between min and max (inclusive).
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param min - The minimum value (inclusive)
+     * @param max - The maximum value (inclusive)
+     * @returns An East expression that performs the range check
+     */
+    between<E extends EastType>(actual: Expr<E>, min: SubtypeExprOrValue<NoInfer<E>>, max: SubtypeExprOrValue<NoInfer<E>>): ExprType<NullType>;
+    /**
+     * Asserts that an expression throws an error.
+     *
+     * @param fn - The expression that should throw an error when evaluated
+     * @param pattern - Optional regex pattern to match against the error message
+     * @returns An East expression that verifies an error is thrown
+     */
+    throws(fn: Expr<any>, pattern?: RegExp): ExprType<NullType>;
+};
+//# sourceMappingURL=test.d.ts.map

package/dist/test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test.d.ts","sourceRoot":"","sources":["../src/test.ts"],"names":[],"mappings":"AAMA,OAAO,EAAQ,IAAI,EAAgB,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAgB,MAAM,eAAe,CAAC;AAClK,OAAO,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAIpF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,QAAQ,EAAE,mBAAmB,CAAC,EAAE,EAAE,OAAO,QAAQ,CAA2C,CAAC;AAwD1G,eAAO,MAAM,aAAa,EAAE,GAAG,EAK9B,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,gBAAgB,EAmBtC,CAAC;AAGF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAChC;;OAEG;IACH,WAAW,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAEjC;;;OAGG;IACH,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAEhD;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAE/C;;OAEG;IACH,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAEjD;;;OAGG;IACH,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;CACnD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,wBAAgB,YAAY,CACxB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,IAAI,KAAK,IAAI,KAAK,IAAI,EAC1F,OAAO,GAAE,mBAAwB,QAgCpC;AAED;;;;;GAKG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,IAAI;IACb;;;;;;;;;;;;;;;;;;;;OAoBG;;IAGH;;;;;;;;;;;;;;;;;;;;;OAqBG;;IAGH;;;;;;;OAOG;OACA,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgBrG;;;;;;;OAOG;UACG,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgBxG;;;;;;;OAOG;aACM,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgB3G;;;;;;;OAOG;SACE,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgBvG;;;;;;;OAOG;cACO,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgB5G;;;;;;;OAOG;YACK,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgB1G;;;;;;;OAOG;iBACU,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgB/G;;;;;;;;OAQG;YACK,CAAC,SAAS,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAgB1I;;;;;;OAMG;eACQ,IAAI,CAAC,GAAG,CAAC,YAAY,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC;CAsB9D,CAAC"}

package/dist/test.js

@@ -0,0 +1,407 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import assert from "node:assert/strict";
+import { test as testNode, describe as describeNode } from "node:test";
+import { East, Expr, get_location, NullType, StringType, BlockBuilder, FunctionType } from "@elaraai/east";
+const { str } = East;
+/**
+ * Signals that a test assertion passed.
+ *
+ * This platform function is used internally by East test assertions to indicate
+ * successful validation. When executed in Node.js, it performs no action (the test
+ * continues normally). Other platform implementations may log or track passes.
+ *
+ * This function is primarily used within the {@link Test} assertion helpers rather
+ * than being called directly in test code.
+ *
+ * @returns `null` - Has no meaningful return value
+ *
+ * @example
+ * ```ts
+ * import { East, NullType } from "@elaraai/east";
+ * import { Test } from "@elaraai/east-node-std";
+ *
+ * // Used internally by Test assertions
+ * const myTest = East.function([], NullType, $ => {
+ *     // Test.equal internally calls testPass when the assertion succeeds
+ *     $(Test.equal(East.value(42n), 42n));
+ * });
+ *
+ * const compiled = East.compile(myTest.toIR(), Test.Implementation);
+ * compiled();  // Test passes silently
+ * ```
+ *
+ * @remarks
+ * - Does not throw or produce output in Node.js implementation
+ * - Used by all {@link Test} assertion methods to signal success
+ * - Can be called directly for custom assertion logic
+ */
+export const testPass = East.platform("testPass", [], NullType);
+/**
+ * Signals that a test assertion failed with a message.
+ *
+ * This platform function is used internally by East test assertions to indicate
+ * validation failures. When executed in Node.js, it throws an assertion error with
+ * the provided message, causing the test to fail.
+ *
+ * This function is primarily used within the {@link Test} assertion helpers rather
+ * than being called directly, though it can be used for custom failure conditions.
+ *
+ * @param message - The error message describing why the assertion failed
+ * @returns `null` - Never actually returns (throws in implementation)
+ *
+ * @throws {AssertionError} Always throws with the provided message (Node.js implementation)
+ *
+ * @example
+ * ```ts
+ * import { East, StringType, NullType } from "@elaraai/east";
+ * import { Test } from "@elaraai/east-node-std";
+ *
+ * // Used internally by Test assertions
+ * const myTest = East.function([], NullType, $ => {
+ *     // Test.equal internally calls testFail when the assertion fails
+ *     $(Test.equal(East.value(42n), 99n));
+ *     // Throws: "Expected 42 to equal 99 (...)"
+ * });
+ * ```
+ *
+ * @example
+ * ```ts
+ * // Direct usage for custom validation
+ * const validatePositive = East.function([IntegerType], NullType, ($, n) => {
+ *     return n.greater(0n).ifElse(
+ *         _ => Test.pass(),
+ *         _ => Test.fail("Number must be positive")
+ *     );
+ * });
+ *
+ * const compiled = East.compile(validatePositive.toIR(), Test.Implementation);
+ * compiled(-5n);  // Throws: "Number must be positive"
+ * ```
+ *
+ * @remarks
+ * - Always throws in Node.js implementation (test fails immediately)
+ * - Used by all {@link Test} assertion methods to signal failure
+ * - Accepts location information in message for debugging
+ */
+const testFail = East.platform("testFail", [StringType], NullType);
+const test = East.platform("test", [StringType, FunctionType([], NullType, null),], NullType);
+const describe = East.platform("describe", [StringType, FunctionType([], NullType, null),], NullType);
+export const NodeTestTypes = [
+    testPass,
+    testFail,
+    test,
+    describe,
+];
+export const NodeTest = [
+    testPass.implement(() => { }), // Assertion passed - do nothing (test continues)
+    testFail.implement((message) => {
+        // Assertion failed - throw to fail the test
+        assert.fail(message);
+    }),
+    test.implement((name, body) => {
+        testNode(name, () => {
+            body();
+        });
+    }),
+    describe.implement((name, body) => {
+        describeNode(name, () => {
+            body();
+        });
+    }),
+];
+/**
+ * Wrapper around Node.js `describe` that also exports test IR for cross-platform testing.
+ *
+ * This function behaves exactly like Node.js `describe` - it runs all the tests normally.
+ * Additionally, it creates a single East function that runs all tests in sequence,
+ * making it easy to export the entire test suite for running in other East implementations.
+ *
+ * Supports lifecycle hooks (beforeAll, afterAll, beforeEach, afterEach) as East functions
+ * to properly set up and tear down resources like database connections.
+ *
+ * @param suiteName - The name of the test suite
+ * @param builder - A function that receives a `test` function for defining tests
+ * @param options - Configuration options including platform functions and lifecycle hooks
+ *
+ * @example
+ * ```ts
+ * // Basic usage with platform functions
+ * describeEast("Array tests", (test) => {
+ *   test("addition", $ => {
+ *     $(Test.equal(East.value(1n).add(1n), 2n));
+ *   });
+ * }, { platformFns: [] });
+ * ```
+ *
+ * @example
+ * ```ts
+ * // With database cleanup hooks
+ * import { SQL } from "@elaraai/east-node-io";
+ *
+ * describeEast("Database tests", (test) => {
+ *   test("query users", $ => {
+ *     const conn = $.let(SQL.Postgres.connect(config));
+ *     const result = $.let(SQL.Postgres.query(conn, "SELECT * FROM users", []));
+ *     $(Test.equal(result.rows.length(), 2n));
+ *   });
+ * }, {
+ *   platformFns: SQL.Postgres.Implementation,
+ *   afterEach: $ => {
+ *     // Close connections even if test fails
+ *     const conn = $.let(SQL.Postgres.connect(config));
+ *     $(SQL.Postgres.close(conn));
+ *   }
+ * });
+ * ```
+ */
+export function describeEast(suiteName, builder, options = {}) {
+    const platformFns = options.platformFns ?? [];
+    const tests = [];
+    // Collect all test names and bodies
+    builder((name, body) => tests.push({ name, body }));
+    // Create a single East function that uses describe/test platform functions
+    const suiteFunction = East.function([], NullType, $ => {
+        $(describe.call($, suiteName, East.function([], NullType, $ => {
+            if (options.beforeAll)
+                $(test.call($, "beforeAll", East.function([], NullType, options.beforeAll)));
+            for (const { name, body } of tests) {
+                if (options.beforeEach)
+                    $(test.call($, "beforeEach", East.function([], NullType, options.beforeEach)));
+                $(test.call($, name, East.function([], NullType, body)));
+                if (options.afterEach)
+                    $(test.call($, "afterEach", East.function([], NullType, options.afterEach)));
+            }
+            if (options.afterAll)
+                $(test.call($, "afterAll", East.function([], NullType, options.afterAll)));
+        })));
+    });
+    const funcs = [...NodeTest, ...platformFns];
+    if (funcs.some(f => f.type === 'async')) {
+        suiteFunction.toIR().compileAsync([...NodeTest, ...platformFns]);
+    }
+    else {
+        suiteFunction.toIR().compile([...NodeTest, ...platformFns]);
+    }
+    // Run the test suite using the Node.js platform implementation
+}
+/**
+ * East assertion functions that match Node.js assert API naming.
+ *
+ * These functions generate East expressions that perform runtime assertions
+ * using platform functions, enabling testing of East code.
+ */
+/**
+ * East assertion functions that match Node.js assert API naming.
+ *
+ * These functions generate East expressions that perform runtime assertions
+ * using platform functions, enabling testing of East code.
+ */
+export const Test = {
+    /**
+     * Platform function that signals a test assertion passed.
+     *
+     * Used internally by assertion methods to indicate successful validation.
+     * Does nothing in Node.js implementation - test continues normally.
+     *
+     * @returns An East expression that returns `null`
+     *
+     * @example
+     * ```ts
+     * import { East, NullType } from "@elaraai/east";
+     * import { Test } from "@elaraai/east-node-std";
+     *
+     * const customAssertion = East.function([], NullType, $ => {
+     *     return East.value(true).ifElse(
+     *         _ => Test.pass(),
+     *         _ => Test.fail("Condition was false")
+     *     );
+     * });
+     * ```
+     */
+    pass: testPass,
+    /**
+     * Platform function that signals a test assertion failed.
+     *
+     * Used internally by assertion methods to indicate validation failures.
+     * Throws an assertion error in Node.js implementation - test fails immediately.
+     *
+     * @param message - Error message describing the failure
+     * @returns An East expression that returns `null` (never actually returns - throws)
+     *
+     * @example
+     * ```ts
+     * import { East, StringType, NullType } from "@elaraai/east";
+     * import { Test } from "@elaraai/east-node-std";
+     *
+     * const validateRange = East.function([IntegerType], NullType, ($, value) => {
+     *     return value.between(0n, 100n).ifElse(
+     *         _ => Test.pass(),
+     *         _ => Test.fail("Value must be between 0 and 100")
+     *     );
+     * });
+     * ```
+     */
+    fail: testFail,
+    /**
+     * Asserts that two values are the same reference (meaning if one is mutated, the other reflects the change - and they are always equal).
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The expected value to compare against
+     * @returns An East expression that performs the equality check
+     */
+    is(actual, expected) {
+        const location = get_location(2);
+        const expected_expr = Expr.from(expected, Expr.type(actual));
+        return Expr.tryCatch(Expr.block($ => {
+            const act = $.let(actual);
+            const exp = $.let(expected_expr);
+            return East.is(act, exp).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${act} to equal ${exp} (${East.value(`${location.filename} ${location.line}:${location.column}`)})`));
+        }), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that two values are equal.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The expected value to compare against
+     * @returns An East expression that performs the equality check
+     */
+    equal(actual, expected) {
+        const location = get_location(2);
+        const expected_expr = Expr.from(expected, Expr.type(actual));
+        return Expr.tryCatch(Expr.block($ => {
+            const act = $.let(actual);
+            const exp = $.let(expected_expr);
+            return East.equal(act, exp).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${act} to equal ${exp} (${East.value(`${location.filename} ${location.line}:${location.column}`)})`));
+        }), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that two values are not equal.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that should not be equal
+     * @returns An East expression that performs the inequality check
+     */
+    notEqual(actual, expected) {
+        const location = get_location(2);
+        const expected_expr = Expr.from(expected, Expr.type(actual));
+        return Expr.tryCatch(Expr.block($ => {
+            const act = $.let(actual);
+            const exp = $.let(expected_expr);
+            return East.notEqual(act, exp).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${act} to not equal ${exp} (${East.value(`${location.filename} ${location.line}:${location.column}`)})`));
+        }), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that actual is less than expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be less than
+     * @returns An East expression that performs the less-than check
+     */
+    less(actual, expected) {
+        const location = get_location(2);
+        const expected_expr = Expr.from(expected, Expr.type(actual));
+        return Expr.tryCatch(Expr.block($ => {
+            const act = $.let(actual);
+            const exp = $.let(expected_expr);
+            return East.less(act, exp).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${act} to be less than ${exp} (${`${location.filename} ${location.line}:${location.column}`})`));
+        }), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that actual is less than or equal to expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be less than or equal to
+     * @returns An East expression that performs the less-than-or-equal check
+     */
+    lessEqual(actual, expected) {
+        const location = get_location(2);
+        const expected_expr = Expr.from(expected, Expr.type(actual));
+        return Expr.tryCatch(Expr.block($ => {
+            const act = $.let(actual);
+            const exp = $.let(expected_expr);
+            return East.lessEqual(act, exp).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${act} to be less than or equal to ${exp} (${`${location.filename} ${location.line}:${location.column}`})`));
+        }), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that actual is greater than expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be greater than
+     * @returns An East expression that performs the greater-than check
+     */
+    greater(actual, expected) {
+        const location = get_location(2);
+        const expected_expr = Expr.from(expected, Expr.type(actual));
+        return Expr.tryCatch(Expr.block($ => {
+            const act = $.let(actual);
+            const exp = $.let(expected_expr);
+            return East.greater(act, exp).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${act} to be greater than ${exp} (${`${location.filename} ${location.line}:${location.column}`})`));
+        }), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that actual is greater than or equal to expected.
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param expected - The value that actual should be greater than or equal to
+     * @returns An East expression that performs the greater-than-or-equal check
+     */
+    greaterEqual(actual, expected) {
+        const location = get_location(2);
+        const expected_expr = Expr.from(expected, Expr.type(actual));
+        return Expr.tryCatch(Expr.block($ => {
+            const act = $.let(actual);
+            const exp = $.let(expected_expr);
+            return East.greaterEqual(act, exp).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${act} to be greater than or equal to ${exp} (${`${location.filename} ${location.line}:${location.column}`})`));
+        }), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that actual is between min and max (inclusive).
+     *
+     * @typeParam E - The type of the actual expression
+     * @param actual - The actual value to test
+     * @param min - The minimum value (inclusive)
+     * @param max - The maximum value (inclusive)
+     * @returns An East expression that performs the range check
+     */
+    between(actual, min, max) {
+        const location = get_location(2);
+        const min_expr = Expr.from(min, Expr.type(actual));
+        const max_expr = Expr.from(max, Expr.type(actual));
+        return Expr.tryCatch(East.greaterEqual(actual, min_expr).ifElse(_$ => East.lessEqual(actual, max_expr).ifElse(_$ => testPass(), _$ => testFail(str `Expected ${actual} to be less than or equal to ${max_expr} (${`${location.filename} ${location.line}:${location.column}`})`)), _$ => testFail(str `Expected ${actual} to be greater than or equal to ${min_expr}`)), (_$, message, stack) => testFail(East.String.printError(message, stack)));
+    },
+    /**
+     * Asserts that an expression throws an error.
+     *
+     * @param fn - The expression that should throw an error when evaluated
+     * @param pattern - Optional regex pattern to match against the error message
+     * @returns An East expression that verifies an error is thrown
+     */
+    throws(fn, pattern) {
+        const location = get_location(2);
+        return Expr.tryCatch(Expr.block($ => {
+            const result = $.let(fn);
+            $(testFail(str `Expected error, got ${result} (${East.value(`${location.filename} ${location.line}:${location.column}`)})`));
+            return null;
+        }), ($, message, stack) => {
+            if (pattern) {
+                // Validate error message matches the pattern
+                return message.contains(pattern).ifElse(_$ => testPass(), _$ => testFail(str `Expected error message to match ${East.value(pattern.source)}, but got: ${East.String.printError(message, stack)}`));
+            }
+            else {
+                // Just verify it threw
+                return testPass();
+            }
+        });
+    },
+};
+//# sourceMappingURL=test.js.map