@elaraai/east 0.0.1-beta.1 → 0.0.1-beta.11

package/dist/src/expr/array.js

@@ -3,6 +3,8 @@ import { ArrayType, BooleanType, FunctionType, IntegerType, NullType, StringType
 import { valueOrExprToAst, valueOrExprToAstTyped } from "./ast.js";
 import { AstSymbol, Expr, FactorySymbol, TypeSymbol } from "./expr.js";
 import { none, some } from "../containers/variant.js";
+import { CsvSerializeConfigType, csvSerializeOptionsToValue } from "../serialization/csv.js";
+import { BlobType } from "../types.js";
 /**
  * Expression representing mutable array values and operations.
  *
@@ -62,6 +64,31 @@ export class ArrayExpr extends Expr {
             arguments: [this[AstSymbol]],
         });
     }
+    /**
+     * Returns the length of the array (an alias for size).
+     *
+     * @returns An IntegerExpr representing the number of elements
+     *
+     * @example
+     * ```ts
+     * const getLength = East.function([ArrayType(IntegerType)], IntegerType, ($, arr) => {
+     *   $.return(arr.length());
+     * });
+     * const compiled = East.compile(getLength.toIR(), []);
+     * compiled([1n, 2n, 3n]);  // 3n
+     * compiled([]);            // 0n
+     * ```
+     */
+    length() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: IntegerType,
+            location: get_location(2),
+            builtin: "ArraySize",
+            type_parameters: [this.value_type],
+            arguments: [this[AstSymbol]],
+        });
+    }
     /**
      * Checks if an element exists at the specified index (i.e., if the index is in bounds).
      *
@@ -119,7 +146,57 @@ export class ArrayExpr extends Expr {
     get(key, defaultFn) {
         const keyAst = valueOrExprToAstTyped(key, IntegerType);
         if (defaultFn !== undefined) {
-            const defaultFnAst = valueOrExprToAstTyped(defaultFn, FunctionType([IntegerType], this.value_type, null));
+            const defaultFnAst = valueOrExprToAstTyped(defaultFn, FunctionType([IntegerType], this.value_type));
+            return this[FactorySymbol]({
+                ast_type: "Builtin",
+                type: this.value_type,
+                location: get_location(2),
+                builtin: "ArrayGetOrDefault",
+                type_parameters: [this.value_type],
+                arguments: [this[AstSymbol], keyAst, defaultFnAst],
+            });
+        }
+        else {
+            return this[FactorySymbol]({
+                ast_type: "Builtin",
+                type: this.value_type,
+                location: get_location(2),
+                builtin: "ArrayGet",
+                type_parameters: [this.value_type],
+                arguments: [this[AstSymbol], keyAst],
+            });
+        }
+    }
+    /**
+     * Gets the element at the specified index (alias for get).
+     *
+     * @param key - The zero-based index
+     * @param defaultFn - Optional function to provide a default value for out-of-bounds indices
+     * @returns An expression of the array's element type
+     *
+     * @throws East runtime error if index is out of bounds and no defaultFn is provided
+     *
+     * @example
+     * ```ts
+     * const getElement = East.function([ArrayType(IntegerType), IntegerType], IntegerType, ($, arr, index) => {
+     *   $.return(arr.get(index));
+     * });
+     * const compiled = East.compile(getElement.toIR(), []);
+     * compiled([10n, 20n, 30n], 1n);  // 20n
+     * // compiled([10n, 20n, 30n], 5n) would throw error
+     *
+     * // With default value
+     * const getOrDefault = East.function([ArrayType(IntegerType), IntegerType], IntegerType, ($, arr, index) => {
+     *   $.return(arr.get(index, ($, i) => -1n));
+     * });
+     * compiled = East.compile(getOrDefault.toIR(), []);
+     * compiled([10n, 20n, 30n], 5n);  // -1n (out of bounds)
+     * ```
+     */
+    at(key, defaultFn) {
+        const keyAst = valueOrExprToAstTyped(key, IntegerType);
+        if (defaultFn !== undefined) {
+            const defaultFnAst = valueOrExprToAstTyped(defaultFn, FunctionType([IntegerType], this.value_type));
             return this[FactorySymbol]({
                 ast_type: "Builtin",
                 type: this.value_type,
@@ -208,7 +285,7 @@ export class ArrayExpr extends Expr {
         const location = get_location(2);
         const keyAst = valueOrExprToAstTyped(key, IntegerType);
         const value2Type = value[TypeSymbol];
-        const updateFnExpr = Expr.from(updateFn, FunctionType([value2Type, this.value_type, IntegerType], this.value_type, null));
+        const updateFnExpr = Expr.from(updateFn, FunctionType([value2Type, this.value_type, IntegerType], this.value_type));
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: NullType,
@@ -417,7 +494,7 @@ export class ArrayExpr extends Expr {
             throw new Error(`Expected array type for mergeAll, got ${array_type ? printType(array_type) : "unknown"}`);
         }
         const value2Type = array_type.value;
-        const mergeFnExpr = Expr.from(mergeFn, FunctionType([this.value_type, value2Type, IntegerType], this.value_type, null));
+        const mergeFnExpr = Expr.from(mergeFn, FunctionType([this.value_type, value2Type, IntegerType], this.value_type));
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: NullType,
@@ -912,7 +989,7 @@ export class ArrayExpr extends Expr {
             default_function_ast = Expr.ast(default_function);
         }
         else {
-            const default_function_expr = Expr.from(onMissing, FunctionType([IntegerType], this.value_type, null));
+            const default_function_expr = Expr.from(onMissing, FunctionType([IntegerType], this.value_type));
             default_function_ast = Expr.ast(default_function_expr);
         }
         return this[FactorySymbol]({
@@ -1094,7 +1171,7 @@ export class ArrayExpr extends Expr {
         }
     }
     filterMap(fn) {
-        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined, null));
+        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined));
         const returnType = fnAst.type.output;
         if (returnType.type !== "Variant") {
             throw new Error(`Expected Function to return an Option type, got ${printType(returnType)}`);
@@ -1113,7 +1190,7 @@ export class ArrayExpr extends Expr {
         });
     }
     firstMap(fn) {
-        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined, null));
+        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined));
         const returnType = fnAst.type.output;
         if (returnType.type !== "Variant") {
             throw new Error(`Expected Function to return an Option type, got ${printType(returnType)}`);
@@ -1208,7 +1285,7 @@ export class ArrayExpr extends Expr {
     reduce(combineFn, init) {
         const initAst = valueOrExprToAst(init);
         const returnType = initAst.type;
-        const combineAst = valueOrExprToAstTyped(combineFn, FunctionType([returnType, this.value_type, IntegerType], returnType, null));
+        const combineAst = valueOrExprToAstTyped(combineFn, FunctionType([returnType, this.value_type, IntegerType], returnType));
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: returnType,
@@ -1219,9 +1296,9 @@ export class ArrayExpr extends Expr {
         });
     }
     mapReduce(mapFn, combineFn) {
-        const mapAst = valueOrExprToAstTyped(mapFn, FunctionType([this.value_type, IntegerType], undefined, null));
+        const mapAst = valueOrExprToAstTyped(mapFn, FunctionType([this.value_type, IntegerType], undefined));
         const mapType = mapAst.type.output;
-        const combineAst = valueOrExprToAstTyped(combineFn, FunctionType([mapType, mapType], mapType, null));
+        const combineAst = valueOrExprToAstTyped(combineFn, FunctionType([mapType, mapType], mapType));
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: mapType,
@@ -1274,7 +1351,7 @@ export class ArrayExpr extends Expr {
             const result = this.firstMap(($, v, _k) => v.not().ifElse(() => some(null), () => none));
             return Expr.match(result, { some: () => false, none: () => true });
         }
-        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], BooleanType, null));
+        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], BooleanType));
         // Short-circuit on first false value
         const result = this.firstMap(($, v, k) => {
             const result = Expr.fromAst(fnAst)(v, k);
@@ -1324,7 +1401,7 @@ export class ArrayExpr extends Expr {
             const result = this.firstMap(($, v, _k) => v.ifElse(() => some(null), () => none));
             return Expr.match(result, { some: () => true, none: () => false });
         }
-        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], BooleanType, null));
+        const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], BooleanType));
         // Short-circuit on first true value
         const result = this.firstMap(($, v, k) => {
             const result = Expr.fromAst(fnAst)(v, k);
@@ -1341,7 +1418,7 @@ export class ArrayExpr extends Expr {
             return this.reduce(($, previous, value) => previous.add(value), zero);
         }
         else {
-            const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined, null));
+            const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined));
             const returnType = fnAst.type.output;
             if (!(isTypeEqual(returnType, IntegerType) || isTypeEqual(returnType, FloatType))) {
                 throw new Error(`Can only perform sum on array of numbers (Integer or Float), got ${printType(returnType)}`);
@@ -1363,7 +1440,7 @@ export class ArrayExpr extends Expr {
             }
         }
         else {
-            const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined, null));
+            const fnAst = valueOrExprToAstTyped(fn, FunctionType([this.value_type, IntegerType], undefined));
             const returnType = fnAst.type.output;
             if (isTypeEqual(returnType, IntegerType)) {
                 return this.reduce(($, previous, value, key) => previous.add(Expr.fromAst(fnAst)(value, key).toFloat()), 0.0).divide(this.size().toFloat());
@@ -1522,7 +1599,7 @@ export class ArrayExpr extends Expr {
         });
     }
     toSet(keyFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const keyType = keyFnAst.type.output;
         return this[FactorySymbol]({
             ast_type: "Builtin",
@@ -1534,9 +1611,9 @@ export class ArrayExpr extends Expr {
         });
     }
     toDict(keyFn, valueFn, onConflictFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn ?? ((_$, x, i) => i), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn ?? ((_$, x, i) => i), FunctionType([this.value_type, IntegerType], undefined));
         const keyType = keyFnAst.type.output;
-        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const valueType = valueFnAst.type.output;
         let onConflictAst;
         if (onConflictFn === undefined) {
@@ -1545,7 +1622,7 @@ export class ArrayExpr extends Expr {
             onConflictAst = Expr.ast(onConflictFunction);
         }
         else {
-            onConflictAst = valueOrExprToAstTyped(onConflictFn, FunctionType([valueType, valueType, keyType], valueType, null));
+            onConflictAst = valueOrExprToAstTyped(onConflictFn, FunctionType([valueType, valueType, keyType], valueType));
         }
         return this[FactorySymbol]({
             ast_type: "Builtin",
@@ -1557,7 +1634,7 @@ export class ArrayExpr extends Expr {
         });
     }
     flatMap(fn) {
-        const fnAst = valueOrExprToAstTyped(fn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const fnAst = valueOrExprToAstTyped(fn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const returnType = fnAst.type.output;
         if (returnType.type !== "Array") {
             throw new Error(`Expected Function to return an Array type, got ${printType(returnType)}`);
@@ -1573,7 +1650,7 @@ export class ArrayExpr extends Expr {
         });
     }
     flattenToSet(fn) {
-        const fnAst = valueOrExprToAstTyped(fn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const fnAst = valueOrExprToAstTyped(fn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const returnType = fnAst.type.output;
         if (returnType.type !== "Set") {
             throw new Error(`Expected Function to return a Set type, got ${printType(returnType)}`);
@@ -1589,7 +1666,7 @@ export class ArrayExpr extends Expr {
         });
     }
     flattenToDict(fn, onConflictFn) {
-        const fnAst = valueOrExprToAstTyped(fn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const fnAst = valueOrExprToAstTyped(fn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const returnType = fnAst.type.output;
         if (returnType.type !== "Dict") {
             throw new Error(`Expected Function to return a Dict type, got ${printType(returnType)}`);
@@ -1603,7 +1680,7 @@ export class ArrayExpr extends Expr {
             onConflictAst = Expr.ast(onConflictFunction);
         }
         else {
-            onConflictAst = valueOrExprToAstTyped(onConflictFn, FunctionType([valueType, valueType, keyType], valueType, null));
+            onConflictAst = valueOrExprToAstTyped(onConflictFn, FunctionType([valueType, valueType, keyType], valueType));
         }
         return this[FactorySymbol]({
             ast_type: "Builtin",
@@ -1616,11 +1693,11 @@ export class ArrayExpr extends Expr {
     }
     groupReduce(keyFn, initFn, reduceFn) {
         // Note - initFn has to be before reduceFn, otherwise the TypeScript type inference doesn't work properly
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
         const keyType = keyFnAst.type.output;
-        const initFnAst = valueOrExprToAstTyped(initFn, FunctionType([keyType], undefined, null));
+        const initFnAst = valueOrExprToAstTyped(initFn, FunctionType([keyType], undefined));
         const initType = initFnAst.type.output;
-        const reduceFnAst = valueOrExprToAstTyped(reduceFn, FunctionType([initType, this.value_type, IntegerType], initType, null));
+        const reduceFnAst = valueOrExprToAstTyped(reduceFn, FunctionType([initType, this.value_type, IntegerType], initType));
         return this[FactorySymbol]({
             ast_type: "Builtin",
             type: DictType(keyType, initType),
@@ -1631,27 +1708,27 @@ export class ArrayExpr extends Expr {
         });
     }
     groupSize(keyFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         return this.toDict(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), ((_$) => 1n), ((_$, a, b) => a.add(b)));
     }
     groupEvery(keyFn, predFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const predFnAst = valueOrExprToAstTyped(predFn, FunctionType([this.value_type, IntegerType], BooleanType, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const predFnAst = valueOrExprToAstTyped(predFn, FunctionType([this.value_type, IntegerType], BooleanType));
         return this.groupReduce(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), (() => true), ((_$, acc, elem, idx) => {
             const pred = Expr.fromAst(predFnAst)(elem, idx);
             return acc.and(() => pred);
         }));
     }
     groupSome(keyFn, predFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const predFnAst = valueOrExprToAstTyped(predFn, FunctionType([this.value_type, IntegerType], BooleanType, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const predFnAst = valueOrExprToAstTyped(predFn, FunctionType([this.value_type, IntegerType], BooleanType));
         return this.groupReduce(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), (() => false), ((_$, acc, elem, idx) => {
             const pred = Expr.fromAst(predFnAst)(elem, idx);
             return acc.or(() => pred);
         }));
     }
     groupFindAll(keyFn, value, projFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
         const keyFnExpr = Expr.fromAst(keyFnAst);
         if (projFn === undefined) {
             // Without projection: find where element == value
@@ -1673,7 +1750,7 @@ export class ArrayExpr extends Expr {
         }
     }
     groupFindFirst(keyFn, value, projFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
         const keyFnExpr = Expr.fromAst(keyFnAst);
         if (projFn === undefined) {
             // Without projection: find where element == value
@@ -1695,18 +1772,18 @@ export class ArrayExpr extends Expr {
         }
     }
     groupFindMinimum(keyFn, byFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         return this.toDict(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), ((_$, elem, idx) => ({ by: Expr.fromAst(byFnAst)(elem, idx), index: idx })), ((_$, a, b) => Expr.lessEqual(a.by, b.by).ifElse(() => a, () => b))).map(((_$, v) => v.index));
     }
     groupFindMaximum(keyFn, byFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         return this.toDict(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), ((_$, elem, idx) => ({ by: Expr.fromAst(byFnAst)(elem, idx), index: idx })), ((_$, a, b) => Expr.greaterEqual(a.by, b.by).ifElse(() => a, () => b))).map(((_$, v) => v.index));
     }
     groupSum(keyFn, valueFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const valueType = valueFnAst.type.output;
         const isInteger = isTypeEqual(valueType, IntegerType);
         const isFloat = isTypeEqual(valueType, FloatType);
@@ -1716,8 +1793,8 @@ export class ArrayExpr extends Expr {
         return this.toDict(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), ((_$, elem, idx) => Expr.fromAst(valueFnAst)(elem, idx)), ((_$, a, b) => a.add(b)));
     }
     groupMean(keyFn, valueFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const valueType = valueFnAst.type.output;
         const isInteger = isTypeEqual(valueType, IntegerType);
         const isFloat = isTypeEqual(valueType, FloatType);
@@ -1730,8 +1807,8 @@ export class ArrayExpr extends Expr {
         }), ((_$, a, b) => ({ sum: a.sum.add(b.sum), count: a.count.add(b.count) }))).map(((_$, v) => v.sum.divide(v.count.toFloat())));
     }
     groupToArrays(keyFn, valueFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const keyFnExpr = Expr.fromAst(keyFnAst);
         const valueFnExpr = Expr.fromAst(valueFnAst);
         const valueType = valueFnAst.type.output;
@@ -1742,8 +1819,8 @@ export class ArrayExpr extends Expr {
         }));
     }
     groupToSets(keyFn, valueFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const keyFnExpr = Expr.fromAst(keyFnAst);
         const valueFnExpr = Expr.fromAst(valueFnAst);
         const valueType = valueFnAst.type.output;
@@ -1754,19 +1831,19 @@ export class ArrayExpr extends Expr {
         }));
     }
     groupMinimum(keyFn, byFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         return this.toDict(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), ((_$, elem, idx) => ({ by: Expr.fromAst(byFnAst)(elem, idx), elem })), ((_$, a, b) => Expr.lessEqual(a.by, b.by).ifElse(() => a, () => b))).map(((_$, v) => v.elem));
     }
     groupMaximum(keyFn, byFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const byFnAst = valueOrExprToAstTyped(byFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         return this.toDict(((_$, elem, idx) => Expr.fromAst(keyFnAst)(elem, idx)), ((_$, elem, idx) => ({ by: Expr.fromAst(byFnAst)(elem, idx), elem })), ((_$, a, b) => Expr.greaterEqual(a.by, b.by).ifElse(() => a, () => b))).map(((_$, v) => v.elem));
     }
     groupToDicts(keyFn, keyFn2, valueFn, combineFn) {
-        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined, null));
-        const keyFn2Ast = valueOrExprToAstTyped(keyFn2, FunctionType([this.value_type, IntegerType], undefined, null));
-        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined, null));
+        const keyFnAst = valueOrExprToAstTyped(keyFn, FunctionType([this.value_type, IntegerType], undefined));
+        const keyFn2Ast = valueOrExprToAstTyped(keyFn2, FunctionType([this.value_type, IntegerType], undefined));
+        const valueFnAst = valueOrExprToAstTyped(valueFn ?? ((_$, x) => x), FunctionType([this.value_type, IntegerType], undefined));
         const keyFnExpr = Expr.fromAst(keyFnAst);
         const keyFn2Expr = Expr.fromAst(keyFn2Ast);
         const valueFnExpr = Expr.fromAst(valueFnAst);
@@ -1774,7 +1851,7 @@ export class ArrayExpr extends Expr {
         const valueType = valueFnAst.type.output;
         if (combineFn !== undefined) {
             // With conflict resolution - use tryGet + match to check existence, then insert or combine
-            const combineFnAst = valueOrExprToAstTyped(combineFn, FunctionType([valueType, valueType], valueType, null));
+            const combineFnAst = valueOrExprToAstTyped(combineFn, FunctionType([valueType, valueType], valueType));
             const combineFnExpr = Expr.fromAst(combineFnAst);
             return this.groupReduce(((_$, elem, idx) => keyFnExpr(elem, idx)), ((_$, _key) => Expr.from(new Map(), DictType(key2Type, valueType))), (($, dict, elem, idx) => {
                 const innerKey = keyFn2Expr(elem, idx);
@@ -1801,5 +1878,38 @@ export class ArrayExpr extends Expr {
             }));
         }
     }
+    /**
+     * Encodes this array of structs as CSV data.
+     *
+     * @param options - CSV serialization options
+     * @returns A BlobExpr containing the encoded CSV data
+     *
+     * @remarks Only works on arrays of structs with primitive or optional primitive fields.
+     *
+     * @example
+     * ```ts
+     * const PersonType = StructType({ name: StringType, age: IntegerType });
+     *
+     * const toCsv = East.function([ArrayType(PersonType)], BlobType, ($, people) => {
+     *   $.return(people.encodeCsv({ delimiter: ',' }));
+     * });
+     * const compiled = East.compile(toCsv.toIR(), []);
+     * const blob = compiled([{ name: "Alice", age: 30n }, { name: "Bob", age: 25n }]);
+     * new TextDecoder().decode(blob);  // "name,age\r\nAlice,30\r\nBob,25"
+     * ```
+     */
+    encodeCsv(options) {
+        // Convert options to East config value
+        const configValue = csvSerializeOptionsToValue(options);
+        const configAst = valueOrExprToAstTyped(configValue, CsvSerializeConfigType);
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: BlobType,
+            location: get_location(2),
+            builtin: "ArrayEncodeCsv",
+            type_parameters: [this.value_type, CsvSerializeConfigType],
+            arguments: [this[AstSymbol], configAst],
+        });
+    }
 }
 //# sourceMappingURL=array.js.map