@elaraai/east 0.0.1-beta.9 → 1.0.0

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

@@ -15,14 +15,17 @@ export { StringExpr } from './string.js';
 export { BlobExpr } from './blob.js';
 export { RefExpr } from './ref.js';
 export { ArrayExpr } from './array.js';
+export { VectorExpr } from './vector.js';
+export { MatrixExpr } from './matrix.js';
 export { SetExpr } from './set.js';
 export { DictExpr } from './dict.js';
 export { StructExpr } from './struct.js';
 export { VariantExpr } from './variant.js';
+export { RecursiveExpr } from './recursive.js';
 export { type CallableFunctionExpr, FunctionExpr } from './function.js';
 export { type CallableAsyncFunctionExpr, AsyncFunctionExpr } from './asyncfunction.js';
-import { from, equal, notEqual, less, lessEqual, print, is, greaterEqual, greater, func, str, platform, asyncFunction, asyncPlatform, compile, compileAsync } from './block.js';
-export { BlockBuilder, type AsyncPlatformDefinition, type PlatformDefinition } from './block.js';
+import { from, equal, notEqual, less, lessEqual, print, is, greaterEqual, greater, func, str, platform, asyncFunction, asyncPlatform, genericPlatform, asyncGenericPlatform, compile, compileAsync, diff, applyPatch, composePatch, invertPatch } from './block.js';
+export { BlockBuilder, type AsyncPlatformDefinition, type PlatformDefinition, type GenericPlatformDefinition, type AsyncGenericPlatformDefinition, equals, eq, notEquals, ne, lessThan, lt, lessThanOrEqual, lte, le, greaterThan, gt, greaterThanOrEqual, gte, ge, diff, applyPatch, composePatch, invertPatch } from './block.js';
 export type { ToExpr as ExprFactory } from './expr.js';
 /**
  * Standard entry point for constructing East expressions.
@@ -223,6 +226,77 @@ export declare const East: {
      * ```
      */
     asyncPlatform: typeof asyncPlatform;
+    /**
+     * Defines a generic (polymorphic) platform function with type parameters.
+     * Type parameters are passed at call time and flow through to the implementation.
+     *
+     * @param name - The name of the platform function
+     * @param typeParams - Array of type parameter names (e.g., `["T", "U"]`)
+     * @param inputsFn - Callback that receives placeholder types and returns input types
+     * @param outputFn - Callback that receives placeholder types and returns output type
+     * @returns A callable generic platform function helper
+     *
+     * @see {@link platform} for non-generic platform functions.
+     * @see {@link asyncGenericPlatform} for async generic platform functions.
+     *
+     * @example
+     * ```ts
+     * // Define a generic log function
+     * const log = East.genericPlatform(
+     *   "log",
+     *   ["T"],
+     *   (T) => [T],
+     *   (_T) => NullType
+     * );
+     *
+     * // Use it - type is passed first, then value
+     * const myFunction = East.function([StringType], NullType, ($, s) => {
+     *   $(log(StringType, s));
+     * });
+     *
+     * // Implementation receives type params as a factory
+     * const platform = [
+     *   log.implement((T) => (value) => {
+     *     console.log(printFor(T)(value));
+     *     return null;
+     *   }),
+     * ];
+     * ```
+     */
+    genericPlatform: typeof genericPlatform;
+    /**
+     * Defines an asynchronous generic (polymorphic) platform function with type parameters.
+     * The async variant of `genericPlatform`.
+     *
+     * @param name - The name of the platform function
+     * @param typeParams - Array of type parameter names (e.g., `["T", "U"]`)
+     * @param inputsFn - Callback that receives placeholder types and returns input types
+     * @param outputFn - Callback that receives placeholder types and returns output type
+     * @returns A callable async generic platform function helper
+     *
+     * @see {@link genericPlatform} for sync generic platform functions.
+     * @see {@link asyncPlatform} for non-generic async platform functions.
+     *
+     * @example
+     * ```ts
+     * // Define an async generic fetch function
+     * const fetchAs = East.asyncGenericPlatform(
+     *   "fetchAs",
+     *   ["T"],
+     *   (_T) => [StringType],  // URL input
+     *   (T) => T               // Returns parsed value of type T
+     * );
+     *
+     * // Implementation receives type params and returns async function
+     * const platform = [
+     *   fetchAs.implement((T) => async (url) => {
+     *     const response = await fetch(url);
+     *     return parseFor(T)(await response.text());
+     *   }),
+     * ];
+     * ```
+     */
+    asyncGenericPlatform: typeof asyncGenericPlatform;
     /**
      * Converts any East expression to its string representation.
      * Uses the East serialization format (not JSON).
@@ -329,6 +403,34 @@ export declare const East: {
      * ```
      */
     greaterEqual: typeof greaterEqual;
+    /** Alias for {@link equal} */
+    equals: typeof equal;
+    /** Alias for {@link equal} */
+    eq: typeof equal;
+    /** Alias for {@link notEqual} */
+    notEquals: typeof notEqual;
+    /** Alias for {@link notEqual} */
+    ne: typeof notEqual;
+    /** Alias for {@link less} */
+    lessThan: typeof less;
+    /** Alias for {@link less} */
+    lt: typeof less;
+    /** Alias for {@link lessEqual} */
+    lessThanOrEqual: typeof lessEqual;
+    /** Alias for {@link lessEqual} */
+    lte: typeof lessEqual;
+    /** Alias for {@link lessEqual} */
+    le: typeof lessEqual;
+    /** Alias for {@link greater} */
+    greaterThan: typeof greater;
+    /** Alias for {@link greater} */
+    gt: typeof greater;
+    /** Alias for {@link greaterEqual} */
+    greaterThanOrEqual: typeof greaterEqual;
+    /** Alias for {@link greaterEqual} */
+    gte: typeof greaterEqual;
+    /** Alias for {@link greaterEqual} */
+    ge: typeof greaterEqual;
     /**
      * Reference equality comparison for mutable types (Array, Set, Dict).
      * Checks if two expressions reference the same object in memory.
@@ -345,6 +447,67 @@ export declare const East: {
      * ```
      */
     is: typeof is;
+    /**
+     * Compute the difference between two values of the same type.
+     * Returns a patch that, when applied to `before`, produces `after`.
+     *
+     * @param before - The original value
+     * @param after - The modified value
+     * @returns A patch describing the changes
+     *
+     * @example
+     * ```ts
+     * const before = East.value([1n, 2n, 3n]);
+     * const after = East.value([1n, 4n, 3n]);
+     * const patch = East.diff(before, after);
+     * ```
+     */
+    diff: typeof diff;
+    /**
+     * Apply a patch to a value, producing the modified value.
+     *
+     * @param value - The value to patch
+     * @param patch - The patch to apply
+     * @returns The patched value
+     * @throws East runtime error if the patch conflicts with the value
+     *
+     * @example
+     * ```ts
+     * const result = East.applyPatch(original, patch);
+     * ```
+     */
+    applyPatch: typeof applyPatch;
+    /**
+     * Compose two patches into a single patch.
+     * The result is a patch that has the same effect as applying `first` then `second`.
+     *
+     * @param first - The first patch to apply
+     * @param second - The second patch to apply
+     * @param type - The East type of the values being patched
+     * @returns A composed patch
+     * @throws East runtime error if the patches are incompatible
+     *
+     * @example
+     * ```ts
+     * const composed = East.composePatch(patch1, patch2, ArrayType(IntegerType));
+     * ```
+     */
+    composePatch: typeof composePatch;
+    /**
+     * Invert a patch, producing a patch that undoes the original.
+     * Applying the inverted patch to the "after" value produces the "before" value.
+     *
+     * @param patch - The patch to invert
+     * @param type - The East type of the values being patched
+     * @returns An inverted patch
+     *
+     * @example
+     * ```ts
+     * const inverted = East.invertPatch(patch, ArrayType(IntegerType));
+     * const original = East.applyPatch(modified, inverted);
+     * ```
+     */
+    invertPatch: typeof invertPatch;
     /**
      * Returns the minimum of two values using East's total ordering.
      *
@@ -526,6 +689,27 @@ export declare const East: {
         linspace(start: Expr<import("../types.js").FloatType> | number, stop: Expr<import("../types.js").FloatType> | number, size: Expr<import("../types.js").IntegerType> | bigint): import("./types.js").ExprType<import("../types.js").ArrayType<import("../types.js").FloatType>>;
         generate<T>(size: Expr<import("../types.js").IntegerType> | bigint, valueType: T, valueFn: import("./types.js").SubtypeExprOrValue<import("../types.js").FunctionType<[import("../types.js").IntegerType], NoInfer<T>>>): import("./types.js").ExprType<import("../types.js").ArrayType<T>>;
     };
+    /**
+     * Standard library functions for Vector operations.
+     * Provides creation utilities for creating vectors.
+     */
+    Vector: {
+        zeros(length: Expr<typeof import("../types.js").IntegerType> | bigint): import("./vector.js").VectorExpr<typeof import("../types.js").FloatType>;
+        ones(length: Expr<typeof import("../types.js").IntegerType> | bigint): import("./vector.js").VectorExpr<typeof import("../types.js").FloatType>;
+        fill<V extends unknown>(length: Expr<typeof import("../types.js").IntegerType> | bigint, value: V): import("./vector.js").VectorExpr<import("./types.js").TypeOf<V>>;
+        fromArray<V extends readonly unknown[] | Expr<import("../types.js").ArrayType<import("../types.js").EastType>>>(arr: V): import("./vector.js").VectorExpr<import("./types.js").TypeOf<V> extends import("../types.js").ArrayType<infer U> ? U : import("../types.js").EastType>;
+    };
+    /**
+     * Standard library functions for Matrix operations.
+     * Provides creation utilities for creating matrices.
+     */
+    Matrix: {
+        zeros(rows: Expr<typeof import("../types.js").IntegerType> | bigint, cols: Expr<typeof import("../types.js").IntegerType> | bigint): import("./matrix.js").MatrixExpr<typeof import("../types.js").FloatType>;
+        ones(rows: Expr<typeof import("../types.js").IntegerType> | bigint, cols: Expr<typeof import("../types.js").IntegerType> | bigint): import("./matrix.js").MatrixExpr<typeof import("../types.js").FloatType>;
+        fill<V extends unknown>(rows: Expr<typeof import("../types.js").IntegerType> | bigint, cols: Expr<typeof import("../types.js").IntegerType> | bigint, value: V): import("./matrix.js").MatrixExpr<import("./types.js").TypeOf<V>>;
+        fromArray<V extends readonly unknown[] | Expr<import("../types.js").ArrayType<import("../types.js").EastType>>>(arr: V): import("./matrix.js").MatrixExpr<import("./types.js").TypeOf<V> extends import("../types.js").ArrayType<import("../types.js").ArrayType<infer U>> ? U : import("../types.js").EastType>;
+        fromRows<V extends Expr<import("../types.js").ArrayType<import("../types.js").VectorType<import("../types.js").EastType>>>>(arr: V): import("./matrix.js").MatrixExpr<import("./types.js").TypeOf<V> extends import("../types.js").ArrayType<import("../types.js").VectorType<infer U>> ? U : import("../types.js").EastType>;
+    };
     /**
      * Standard library functions for Set operations.
      * Provides generation utilities for creating sets.

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/expr/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,cAAc,YAAY,CAAC;AAG3B,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,KAAK,oBAAoB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,KAAK,yBAAyB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAGvF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAChL,OAAO,EAAE,YAAY,EAAE,KAAK,uBAAuB,EAAE,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAcjG,YAAY,EAAE,MAAM,IAAI,WAAW,EAAE,MAAM,WAAW,CAAC;AAwBvD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,IAAI;IAGf;;;;;;;;;;;;;;;;;QAiBI;;IAGJ;;;;;;;;;;;;;;;;;QAiBI;;IAGJ;;;;;;;;;;;;;;;;OAgBG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;;;;;;;;;;;OAsBG;;IAGH;;;;;;;;;;;;;;;;;;;;;OAqBG;;IAGH;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;;IAGH;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;;IAGH;;;;;;;;;;;;;;OAcG;;IAGH;;;;;;;;;;;;;;;OAeG;;IAGH;;;;;;;;;;;;;OAaG;;IAGH;;;;;;;;;;;;;;OAcG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;;;OAcG;;IAKH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;;;OAcG;;IAKH;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;IAGH;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;;;;IAGH;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;;;;;;;;;;;;IAGH;;;;;;;;OAQG;;;;;;;;;IAGH;;;;;;;;OAQG;;;;IAGH;;;;;;;;;;OAUG;;;;;;IAGH;;;;;;;;OAQG;;;;IAGH;;;;;;;;;;;;;;OAcG;;;;CAEJ,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/expr/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,cAAc,YAAY,CAAC;AAG3B,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,KAAK,oBAAoB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,KAAK,yBAAyB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAGvF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,oBAAoB,EAAE,OAAO,EAAE,YAAY,EAAmH,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACrX,OAAO,EAAE,YAAY,EAAE,KAAK,uBAAuB,EAAE,KAAK,kBAAkB,EAAE,KAAK,yBAAyB,EAAE,KAAK,8BAA8B,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,GAAG,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAgBpU,YAAY,EAAE,MAAM,IAAI,WAAW,EAAE,MAAM,WAAW,CAAC;AAwBvD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,IAAI;IAGf;;;;;;;;;;;;;;;;;QAiBI;;IAGJ;;;;;;;;;;;;;;;;;QAiBI;;IAGJ;;;;;;;;;;;;;;;;OAgBG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;;;;;;;;;;;OAsBG;;IAGH;;;;;;;;;;;;;;;;;;;;;OAqBG;;IAGH;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;;IAGH;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;;IAGH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;;IAGH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;;IAGH;;;;;;;;;;;;;;OAcG;;IAGH;;;;;;;;;;;;;;;OAeG;;IAGH;;;;;;;;;;;;;OAaG;;IAGH;;;;;;;;;;;;;;OAcG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;OAYG;;IAOH,8BAA8B;;IAE9B,8BAA8B;;IAG9B,iCAAiC;;IAEjC,iCAAiC;;IAGjC,6BAA6B;;IAE7B,6BAA6B;;IAG7B,kCAAkC;;IAElC,kCAAkC;;IAElC,kCAAkC;;IAGlC,gCAAgC;;IAEhC,gCAAgC;;IAGhC,qCAAqC;;IAErC,qCAAqC;;IAErC,qCAAqC;;IAGrC;;;;;;;;;;;;;;OAcG;;IAOH;;;;;;;;;;;;;;OAcG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;;;OAcG;;IAGH;;;;;;;;;;;;;OAaG;;IAKH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;OAYG;;IAGH;;;;;;;;;;;;;;OAcG;;IAKH;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;IAGH;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;;;;IAGH;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;;;;;;;;;;;;IAGH;;;;;;;;OAQG;;;;;;;;;IAGH;;;;;;;;OAQG;;;;IAGH;;;;;;;;;;OAUG;;;;;;IAGH;;;OAGG;;;;;;;IAGH;;;OAGG;;;;;;;;IAGH;;;;;;;;OAQG;;;;IAGH;;;;;;;;;;;;;;OAcG;;;;CAEJ,CAAC"}

package/dist/src/expr/index.js

@@ -17,15 +17,18 @@ export { StringExpr } from './string.js';
 export { BlobExpr } from './blob.js';
 export { RefExpr } from './ref.js';
 export { ArrayExpr } from './array.js';
+export { VectorExpr } from './vector.js';
+export { MatrixExpr } from './matrix.js';
 export { SetExpr } from './set.js';
 export { DictExpr } from './dict.js';
 export { StructExpr } from './struct.js';
 export { VariantExpr } from './variant.js';
+export { RecursiveExpr } from './recursive.js';
 export { FunctionExpr } from './function.js';
 export { AsyncFunctionExpr } from './asyncfunction.js';
 // Import factory implementation
-import { from, equal, notEqual, less, lessEqual, print, is, greaterEqual, greater, func, str, platform, asyncFunction, asyncPlatform, compile, compileAsync } from './block.js';
-export { BlockBuilder } from './block.js';
+import { from, equal, notEqual, less, lessEqual, print, is, greaterEqual, greater, func, str, platform, asyncFunction, asyncPlatform, genericPlatform, asyncGenericPlatform, compile, compileAsync, equals, eq, notEquals, ne, lessThan, lt, lessThanOrEqual, lte, le, greaterThan, gt, greaterThanOrEqual, gte, ge, diff, applyPatch, composePatch, invertPatch } from './block.js';
+export { BlockBuilder, equals, eq, notEquals, ne, lessThan, lt, lessThanOrEqual, lte, le, greaterThan, gt, greaterThanOrEqual, gte, ge, diff, applyPatch, composePatch, invertPatch } from './block.js';
 // Import standard libraries
 import IntegerLib from './libs/integer.js';
 import FloatLib from './libs/float.js';
@@ -33,6 +36,8 @@ import DateTimeLib from './libs/datetime.js';
 import StringLib from './libs/string.js';
 import BlobLib from './libs/blob.js';
 import ArrayLib from './libs/array.js';
+import VectorLib from './libs/vector.js';
+import MatrixLib from './libs/matrix.js';
 import SetLib from './libs/set.js';
 import DictLib from './libs/dict.js';
 // /** Compile an East function to executable JavaScript.
@@ -256,6 +261,77 @@ export const East = {
      * ```
      */
     asyncPlatform,
+    /**
+     * Defines a generic (polymorphic) platform function with type parameters.
+     * Type parameters are passed at call time and flow through to the implementation.
+     *
+     * @param name - The name of the platform function
+     * @param typeParams - Array of type parameter names (e.g., `["T", "U"]`)
+     * @param inputsFn - Callback that receives placeholder types and returns input types
+     * @param outputFn - Callback that receives placeholder types and returns output type
+     * @returns A callable generic platform function helper
+     *
+     * @see {@link platform} for non-generic platform functions.
+     * @see {@link asyncGenericPlatform} for async generic platform functions.
+     *
+     * @example
+     * ```ts
+     * // Define a generic log function
+     * const log = East.genericPlatform(
+     *   "log",
+     *   ["T"],
+     *   (T) => [T],
+     *   (_T) => NullType
+     * );
+     *
+     * // Use it - type is passed first, then value
+     * const myFunction = East.function([StringType], NullType, ($, s) => {
+     *   $(log(StringType, s));
+     * });
+     *
+     * // Implementation receives type params as a factory
+     * const platform = [
+     *   log.implement((T) => (value) => {
+     *     console.log(printFor(T)(value));
+     *     return null;
+     *   }),
+     * ];
+     * ```
+     */
+    genericPlatform,
+    /**
+     * Defines an asynchronous generic (polymorphic) platform function with type parameters.
+     * The async variant of `genericPlatform`.
+     *
+     * @param name - The name of the platform function
+     * @param typeParams - Array of type parameter names (e.g., `["T", "U"]`)
+     * @param inputsFn - Callback that receives placeholder types and returns input types
+     * @param outputFn - Callback that receives placeholder types and returns output type
+     * @returns A callable async generic platform function helper
+     *
+     * @see {@link genericPlatform} for sync generic platform functions.
+     * @see {@link asyncPlatform} for non-generic async platform functions.
+     *
+     * @example
+     * ```ts
+     * // Define an async generic fetch function
+     * const fetchAs = East.asyncGenericPlatform(
+     *   "fetchAs",
+     *   ["T"],
+     *   (_T) => [StringType],  // URL input
+     *   (T) => T               // Returns parsed value of type T
+     * );
+     *
+     * // Implementation receives type params and returns async function
+     * const platform = [
+     *   fetchAs.implement((T) => async (url) => {
+     *     const response = await fetch(url);
+     *     return parseFor(T)(await response.text());
+     *   }),
+     * ];
+     * ```
+     */
+    asyncGenericPlatform,
     /**
      * Converts any East expression to its string representation.
      * Uses the East serialization format (not JSON).
@@ -362,6 +438,37 @@ export const East = {
      * ```
      */
     greaterEqual,
+    // ============================================================================
+    // Comparison function aliases
+    // ============================================================================
+    /** Alias for {@link equal} */
+    equals,
+    /** Alias for {@link equal} */
+    eq,
+    /** Alias for {@link notEqual} */
+    notEquals,
+    /** Alias for {@link notEqual} */
+    ne,
+    /** Alias for {@link less} */
+    lessThan,
+    /** Alias for {@link less} */
+    lt,
+    /** Alias for {@link lessEqual} */
+    lessThanOrEqual,
+    /** Alias for {@link lessEqual} */
+    lte,
+    /** Alias for {@link lessEqual} */
+    le,
+    /** Alias for {@link greater} */
+    greaterThan,
+    /** Alias for {@link greater} */
+    gt,
+    /** Alias for {@link greaterEqual} */
+    greaterThanOrEqual,
+    /** Alias for {@link greaterEqual} */
+    gte,
+    /** Alias for {@link greaterEqual} */
+    ge,
     /**
      * Reference equality comparison for mutable types (Array, Set, Dict).
      * Checks if two expressions reference the same object in memory.
@@ -378,6 +485,70 @@ export const East = {
      * ```
      */
     is,
+    // ============================================================================
+    // Patch Operations
+    // ============================================================================
+    /**
+     * Compute the difference between two values of the same type.
+     * Returns a patch that, when applied to `before`, produces `after`.
+     *
+     * @param before - The original value
+     * @param after - The modified value
+     * @returns A patch describing the changes
+     *
+     * @example
+     * ```ts
+     * const before = East.value([1n, 2n, 3n]);
+     * const after = East.value([1n, 4n, 3n]);
+     * const patch = East.diff(before, after);
+     * ```
+     */
+    diff,
+    /**
+     * Apply a patch to a value, producing the modified value.
+     *
+     * @param value - The value to patch
+     * @param patch - The patch to apply
+     * @returns The patched value
+     * @throws East runtime error if the patch conflicts with the value
+     *
+     * @example
+     * ```ts
+     * const result = East.applyPatch(original, patch);
+     * ```
+     */
+    applyPatch,
+    /**
+     * Compose two patches into a single patch.
+     * The result is a patch that has the same effect as applying `first` then `second`.
+     *
+     * @param first - The first patch to apply
+     * @param second - The second patch to apply
+     * @param type - The East type of the values being patched
+     * @returns A composed patch
+     * @throws East runtime error if the patches are incompatible
+     *
+     * @example
+     * ```ts
+     * const composed = East.composePatch(patch1, patch2, ArrayType(IntegerType));
+     * ```
+     */
+    composePatch,
+    /**
+     * Invert a patch, producing a patch that undoes the original.
+     * Applying the inverted patch to the "after" value produces the "before" value.
+     *
+     * @param patch - The patch to invert
+     * @param type - The East type of the values being patched
+     * @returns An inverted patch
+     *
+     * @example
+     * ```ts
+     * const inverted = East.invertPatch(patch, ArrayType(IntegerType));
+     * const original = East.applyPatch(modified, inverted);
+     * ```
+     */
+    invertPatch,
     // Root stdlib
     /**
      * Returns the minimum of two values using East's total ordering.
@@ -495,6 +666,16 @@ export const East = {
      * ```
      */
     Array: ArrayLib,
+    /**
+     * Standard library functions for Vector operations.
+     * Provides creation utilities for creating vectors.
+     */
+    Vector: VectorLib,
+    /**
+     * Standard library functions for Matrix operations.
+     * Provides creation utilities for creating matrices.
+     */
+    Matrix: MatrixLib,
     /**
      * Standard library functions for Set operations.
      * Provides generation utilities for creating sets.

package/dist/src/expr/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/expr/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,sBAAsB;AACtB,cAAc,YAAY,CAAC;AAE3B,+CAA+C;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAA6B,YAAY,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAkC,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvF,gCAAgC;AAChC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAChL,OAAO,EAAE,YAAY,EAAyD,MAAM,YAAY,CAAC;AAEjG,4BAA4B;AAC5B,OAAO,UAAU,MAAM,mBAAmB,CAAC;AAC3C,OAAO,QAAQ,MAAM,iBAAiB,CAAC;AACvC,OAAO,WAAW,MAAM,oBAAoB,CAAC;AAC7C,OAAO,SAAS,MAAM,kBAAkB,CAAC;AACzC,OAAO,OAAO,MAAM,gBAAgB,CAAC;AACrC,OAAO,QAAQ,MAAM,iBAAiB,CAAC;AACvC,OAAO,MAAM,MAAM,eAAe,CAAC;AACnC,OAAO,OAAO,MAAM,gBAAgB,CAAC;AAMrC,yDAAyD;AACzD,KAAK;AACL,yEAAyE;AACzE,KAAK;AACL,8CAA8C;AAC9C,kGAAkG;AAClG,6FAA6F;AAC7F,KAAK;AACL,cAAc;AACd,WAAW;AACX,gGAAgG;AAChG,6CAA6C;AAC7C,4CAA4C;AAC5C,SAAS;AACT,MAAM;AACN,oDAAoD;AACpD,4BAA4B;AAC5B,sDAAsD;AACtD,WAAW;AACX,wCAAwC;AACxC,IAAI;AAEJ;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,iBAAiB;IAEjB;;;;;;;;;;;;;;;;;QAiBI;IACJ,OAAO,EAAE,OAAO;IAEhB;;;;;;;;;;;;;;;;;QAiBI;IACJ,YAAY,EAAE,YAAY;IAE1B;;;;;;;;;;;;;;;;OAgBG;IACH,KAAK,EAAE,IAAI;IAEX;;;;;;;;;;;;OAYG;IACH,GAAG;IAEH;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,QAAQ,EAAE,IAAI;IAEd;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,aAAa;IAEb;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,QAAQ;IAER;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,aAAa;IAEb;;;;;;;;;;;;;;OAcG;IACH,KAAK;IAEL;;;;;;;;;;;;;;;OAeG;IACH,KAAK;IAEL;;;;;;;;;;;;;OAaG;IACH,QAAQ;IAER;;;;;;;;;;;;;;OAcG;IACH,IAAI;IAEJ;;;;;;;;;;;;OAYG;IACH,SAAS;IAET;;;;;;;;;;;;OAYG;IACH,OAAO;IAEP;;;;;;;;;;;;OAYG;IACH,YAAY;IAEZ;;;;;;;;;;;;;;OAcG;IACH,EAAE;IAEF,cAAc;IAEd;;;;;;;;;;;;OAYG;IACH,GAAG,EAAE,IAAI,CAAC,GAAG;IAEb;;;;;;;;;;;;OAYG;IACH,GAAG,EAAE,IAAI,CAAC,GAAG;IAEb;;;;;;;;;;;;;;OAcG;IACH,KAAK,EAAE,IAAI,CAAC,KAAK;IAEjB,eAAe;IAEf;;;;;;;;;;;OAWG;IACH,OAAO,EAAE,UAAU;IAEnB;;;;;;;;;;;OAWG;IACH,KAAK,EAAE,QAAQ;IAEf;;;;;;;;;;;OAWG;IACH,QAAQ,EAAE,WAAW;IAErB;;;;;;;;OAQG;IACH,MAAM,EAAE,SAAS;IAEjB;;;;;;;;OAQG;IACH,IAAI,EAAE,OAAO;IAEb;;;;;;;;;;OAUG;IACH,KAAK,EAAE,QAAQ;IAEf;;;;;;;;OAQG;IACH,GAAG,EAAE,MAAM;IAEX;;;;;;;;;;;;;;OAcG;IACH,IAAI,EAAE,OAAO;CACd,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/expr/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,sBAAsB;AACtB,cAAc,YAAY,CAAC;AAE3B,+CAA+C;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAA6B,YAAY,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAkC,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvF,gCAAgC;AAChC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,oBAAoB,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,GAAG,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACrX,OAAO,EAAE,YAAY,EAA8H,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,GAAG,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEpU,4BAA4B;AAC5B,OAAO,UAAU,MAAM,mBAAmB,CAAC;AAC3C,OAAO,QAAQ,MAAM,iBAAiB,CAAC;AACvC,OAAO,WAAW,MAAM,oBAAoB,CAAC;AAC7C,OAAO,SAAS,MAAM,kBAAkB,CAAC;AACzC,OAAO,OAAO,MAAM,gBAAgB,CAAC;AACrC,OAAO,QAAQ,MAAM,iBAAiB,CAAC;AACvC,OAAO,SAAS,MAAM,kBAAkB,CAAC;AACzC,OAAO,SAAS,MAAM,kBAAkB,CAAC;AACzC,OAAO,MAAM,MAAM,eAAe,CAAC;AACnC,OAAO,OAAO,MAAM,gBAAgB,CAAC;AAMrC,yDAAyD;AACzD,KAAK;AACL,yEAAyE;AACzE,KAAK;AACL,8CAA8C;AAC9C,kGAAkG;AAClG,6FAA6F;AAC7F,KAAK;AACL,cAAc;AACd,WAAW;AACX,gGAAgG;AAChG,6CAA6C;AAC7C,4CAA4C;AAC5C,SAAS;AACT,MAAM;AACN,oDAAoD;AACpD,4BAA4B;AAC5B,sDAAsD;AACtD,WAAW;AACX,wCAAwC;AACxC,IAAI;AAEJ;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,iBAAiB;IAEjB;;;;;;;;;;;;;;;;;QAiBI;IACJ,OAAO,EAAE,OAAO;IAEhB;;;;;;;;;;;;;;;;;QAiBI;IACJ,YAAY,EAAE,YAAY;IAE1B;;;;;;;;;;;;;;;;OAgBG;IACH,KAAK,EAAE,IAAI;IAEX;;;;;;;;;;;;OAYG;IACH,GAAG;IAEH;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,QAAQ,EAAE,IAAI;IAEd;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,aAAa;IAEb;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,QAAQ;IAER;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,aAAa;IAEb;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;IACH,eAAe;IAEf;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,oBAAoB;IAEpB;;;;;;;;;;;;;;OAcG;IACH,KAAK;IAEL;;;;;;;;;;;;;;;OAeG;IACH,KAAK;IAEL;;;;;;;;;;;;;OAaG;IACH,QAAQ;IAER;;;;;;;;;;;;;;OAcG;IACH,IAAI;IAEJ;;;;;;;;;;;;OAYG;IACH,SAAS;IAET;;;;;;;;;;;;OAYG;IACH,OAAO;IAEP;;;;;;;;;;;;OAYG;IACH,YAAY;IAEZ,+EAA+E;IAC/E,8BAA8B;IAC9B,+EAA+E;IAE/E,8BAA8B;IAC9B,MAAM;IACN,8BAA8B;IAC9B,EAAE;IAEF,iCAAiC;IACjC,SAAS;IACT,iCAAiC;IACjC,EAAE;IAEF,6BAA6B;IAC7B,QAAQ;IACR,6BAA6B;IAC7B,EAAE;IAEF,kCAAkC;IAClC,eAAe;IACf,kCAAkC;IAClC,GAAG;IACH,kCAAkC;IAClC,EAAE;IAEF,gCAAgC;IAChC,WAAW;IACX,gCAAgC;IAChC,EAAE;IAEF,qCAAqC;IACrC,kBAAkB;IAClB,qCAAqC;IACrC,GAAG;IACH,qCAAqC;IACrC,EAAE;IAEF;;;;;;;;;;;;;;OAcG;IACH,EAAE;IAEF,+EAA+E;IAC/E,mBAAmB;IACnB,+EAA+E;IAE/E;;;;;;;;;;;;;;OAcG;IACH,IAAI;IAEJ;;;;;;;;;;;;OAYG;IACH,UAAU;IAEV;;;;;;;;;;;;;;OAcG;IACH,YAAY;IAEZ;;;;;;;;;;;;;OAaG;IACH,WAAW;IAEX,cAAc;IAEd;;;;;;;;;;;;OAYG;IACH,GAAG,EAAE,IAAI,CAAC,GAAG;IAEb;;;;;;;;;;;;OAYG;IACH,GAAG,EAAE,IAAI,CAAC,GAAG;IAEb;;;;;;;;;;;;;;OAcG;IACH,KAAK,EAAE,IAAI,CAAC,KAAK;IAEjB,eAAe;IAEf;;;;;;;;;;;OAWG;IACH,OAAO,EAAE,UAAU;IAEnB;;;;;;;;;;;OAWG;IACH,KAAK,EAAE,QAAQ;IAEf;;;;;;;;;;;OAWG;IACH,QAAQ,EAAE,WAAW;IAErB;;;;;;;;OAQG;IACH,MAAM,EAAE,SAAS;IAEjB;;;;;;;;OAQG;IACH,IAAI,EAAE,OAAO;IAEb;;;;;;;;;;OAUG;IACH,KAAK,EAAE,QAAQ;IAEf;;;OAGG;IACH,MAAM,EAAE,SAAS;IAEjB;;;OAGG;IACH,MAAM,EAAE,SAAS;IAEjB;;;;;;;;OAQG;IACH,GAAG,EAAE,MAAM;IAEX;;;;;;;;;;;;;;OAcG;IACH,IAAI,EAAE,OAAO;CACd,CAAC"}