@elaraai/east 0.0.1-beta.0

package/dist/src/expr/float.js

@@ -0,0 +1,637 @@
+import { get_location } from "../location.js";
+import { FloatType, IntegerType, isTypeEqual, printType } from "../types.js";
+import { AstSymbol, Expr, FactorySymbol } from "./expr.js";
+import { valueOrExprToAstTyped } from "./ast.js";
+/**
+ * Expression representing floating-point values and operations (IEEE 754 double-precision).
+ *
+ * FloatExpr provides arithmetic, trigonometric, and conversion operations for 64-bit floats.
+ * Automatically converts integer operands to float when needed. Supports special values: Infinity, -Infinity, NaN.
+ *
+ * @example
+ * ```ts
+ * // Basic arithmetic
+ * const calculate = East.function([FloatType, FloatType], FloatType, ($, x, y) => {
+ *   const sum = x.add(y);
+ *   const ratio = x.divide(y);
+ *   $.return(sum.multiply(ratio));
+ * });
+ *
+ * // Trigonometry
+ * const angle = East.function([FloatType], FloatType, ($, degrees) => {
+ *   const radians = degrees.multiply(Math.PI / 180);
+ *   $.return(radians.sin());
+ * });
+ *
+ * // Mixed with integers
+ * const mixed = East.function([IntegerType], FloatType, ($, x) => {
+ *   $.return(x.add(2.5));  // Integer auto-converts to float
+ * });
+ * ```
+ */
+export class FloatExpr extends Expr {
+    constructor(ast, createExpr) {
+        super(FloatType, ast, createExpr);
+    }
+    /**
+     * Negates a floating-point number (-x).
+     *
+     * @returns A FloatExpr representing the negated value
+     *
+     * @example
+     * ```ts
+     * const negateFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.negate());
+     * });
+     * const compiled = East.compile(negateFloat.toIR(), []);
+     * compiled(3.14);    // -3.14
+     * compiled(-2.5);    // 2.5
+     * compiled(0.0);     // -0.0 (negative zero)
+     * ```
+     */
+    negate() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatNegate",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Adds two floating-point numbers or converts integer to float and adds (x + y).
+     *
+     * @param y - The float, number, IntegerExpr, or bigint to add
+     * @returns A FloatExpr representing the sum
+     *
+     * @remarks Automatically converts integer operands to float before addition.
+     *
+     * @example
+     * ```ts
+     * const addFloats = East.function([FloatType, FloatType], FloatType, ($, x, y) => {
+     *   $.return(x.add(y));
+     * });
+     * const compiled = East.compile(addFloats.toIR(), []);
+     * compiled(3.14, 2.86);  // 6.0
+     * compiled(1.5, -0.5);   // 1.0
+     *
+     * // Mixed with integers
+     * const addMixed = East.function([FloatType, IntegerType], FloatType, ($, x, y) => {
+     *   $.return(x.add(y));  // Integer auto-converts to float
+     * });
+     * compiled = East.compile(addMixed.toIR(), []);
+     * compiled(3.14, 2n);    // 5.14
+     * ```
+     */
+    add(y) {
+        let rightAst;
+        if (typeof y === "bigint") {
+            // Convert integer to float first
+            rightAst = valueOrExprToAstTyped(Number(y), FloatType);
+        }
+        else if (typeof y === "number") {
+            rightAst = valueOrExprToAstTyped(y, FloatType);
+        }
+        else if (y instanceof Expr) {
+            if (isTypeEqual(Expr.type(y), IntegerType)) {
+                // Convert integer to float first
+                rightAst = y.toFloat()[AstSymbol];
+            }
+            else if (isTypeEqual(Expr.type(y), FloatType)) {
+                rightAst = y[AstSymbol];
+            }
+            else {
+                throw new Error(`Cannot add Float and ${printType(Expr.type(y))}`);
+            }
+        }
+        else {
+            throw new Error(`Cannot add Float and ${typeof y}`);
+        }
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatAdd",
+            type_parameters: [],
+            arguments: [this[AstSymbol], rightAst],
+        });
+    }
+    /**
+     * Subtracts two floating-point numbers or converts integer to float and subtracts (x - y).
+     *
+     * @param y - The float, number, IntegerExpr, or bigint to subtract
+     * @returns A FloatExpr representing the difference
+     *
+     * @remarks Automatically converts integer operands to float before subtraction.
+     *
+     * @example
+     * ```ts
+     * const subtractFloats = East.function([FloatType, FloatType], FloatType, ($, x, y) => {
+     *   $.return(x.subtract(y));
+     * });
+     * const compiled = East.compile(subtractFloats.toIR(), []);
+     * compiled(5.5, 2.3);    // 3.2
+     * compiled(1.0, 1.0);    // 0.0
+     * compiled(-2.5, 3.5);   // -6.0
+     * ```
+     */
+    subtract(y) {
+        let rightAst;
+        if (typeof y === "bigint") {
+            // Convert integer to float first
+            rightAst = valueOrExprToAstTyped(Number(y), FloatType);
+        }
+        else if (typeof y === "number") {
+            rightAst = valueOrExprToAstTyped(y, FloatType);
+        }
+        else if (y instanceof Expr) {
+            if (isTypeEqual(Expr.type(y), IntegerType)) {
+                // Convert integer to float first
+                rightAst = y.toFloat()[AstSymbol];
+            }
+            else if (isTypeEqual(Expr.type(y), FloatType)) {
+                rightAst = y[AstSymbol];
+            }
+            else {
+                throw new Error(`Cannot add Float and ${printType(Expr.type(y))}`);
+            }
+        }
+        else {
+            throw new Error(`Cannot add Float and ${typeof y}`);
+        }
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatSubtract",
+            type_parameters: [],
+            arguments: [this[AstSymbol], rightAst],
+        });
+    }
+    /**
+     * Multiplies two floating-point numbers or converts integer to float and multiplies (x * y).
+     *
+     * @param y - The float, number, IntegerExpr, or bigint to multiply
+     * @returns A FloatExpr representing the product
+     *
+     * @remarks Automatically converts integer operands to float before multiplication.
+     *
+     * @example
+     * ```ts
+     * const multiplyFloats = East.function([FloatType, FloatType], FloatType, ($, x, y) => {
+     *   $.return(x.multiply(y));
+     * });
+     * const compiled = East.compile(multiplyFloats.toIR(), []);
+     * compiled(3.0, 2.5);    // 7.5
+     * compiled(2.0, -1.5);   // -3.0
+     * compiled(0.5, 0.5);    // 0.25
+     * ```
+     */
+    multiply(y) {
+        let rightAst;
+        if (typeof y === "bigint") {
+            // Convert integer to float first
+            rightAst = valueOrExprToAstTyped(Number(y), FloatType);
+        }
+        else if (typeof y === "number") {
+            rightAst = valueOrExprToAstTyped(y, FloatType);
+        }
+        else if (y instanceof Expr) {
+            if (isTypeEqual(Expr.type(y), IntegerType)) {
+                // Convert integer to float first
+                rightAst = y.toFloat()[AstSymbol];
+            }
+            else if (isTypeEqual(Expr.type(y), FloatType)) {
+                rightAst = y[AstSymbol];
+            }
+            else {
+                throw new Error(`Cannot add Float and ${printType(Expr.type(y))}`);
+            }
+        }
+        else {
+            throw new Error(`Cannot add Float and ${typeof y}`);
+        }
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatMultiply",
+            type_parameters: [],
+            arguments: [this[AstSymbol], rightAst],
+        });
+    }
+    /**
+     * Divides two floating-point numbers or converts integer to float and divides (x / y).
+     *
+     * @param y - The float, number, IntegerExpr, or bigint divisor
+     * @returns A FloatExpr representing the quotient
+     *
+     * @remarks Division by zero returns Infinity, -Infinity, or NaN according to IEEE 754.
+     *          Automatically converts integer operands to float before division.
+     *
+     * @example
+     * ```ts
+     * const divideFloats = East.function([FloatType, FloatType], FloatType, ($, x, y) => {
+     *   $.return(x.divide(y));
+     * });
+     * const compiled = East.compile(divideFloats.toIR(), []);
+     * compiled(10.0, 2.0);   // 5.0
+     * compiled(1.0, 3.0);    // 0.3333333333333333
+     * compiled(5.0, 0.0);    // Infinity
+     * compiled(-5.0, 0.0);   // -Infinity
+     * compiled(0.0, 0.0);    // NaN
+     * ```
+     */
+    divide(y) {
+        let rightAst;
+        if (typeof y === "bigint") {
+            // Convert integer to float first
+            rightAst = valueOrExprToAstTyped(Number(y), FloatType);
+        }
+        else if (typeof y === "number") {
+            rightAst = valueOrExprToAstTyped(y, FloatType);
+        }
+        else if (y instanceof Expr) {
+            if (isTypeEqual(Expr.type(y), IntegerType)) {
+                // Convert integer to float first
+                rightAst = y.toFloat()[AstSymbol];
+            }
+            else if (isTypeEqual(Expr.type(y), FloatType)) {
+                rightAst = y[AstSymbol];
+            }
+            else {
+                throw new Error(`Cannot add Float and ${printType(Expr.type(y))}`);
+            }
+        }
+        else {
+            throw new Error(`Cannot add Float and ${typeof y}`);
+        }
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatDivide",
+            type_parameters: [],
+            arguments: [this[AstSymbol], rightAst],
+        });
+    }
+    /**
+     * Computes floating-point remainder of division (x % y).
+     *
+     * @param y - The float, number, IntegerExpr, or bigint divisor
+     * @returns A FloatExpr representing the remainder
+     *
+     * @remarks Uses IEEE 754 remainder semantics. Automatically converts integer operands to float.
+     *
+     * @example
+     * ```ts
+     * const remainderFloats = East.function([FloatType, FloatType], FloatType, ($, x, y) => {
+     *   $.return(x.remainder(y));
+     * });
+     * const compiled = East.compile(remainderFloats.toIR(), []);
+     * compiled(7.5, 2.0);    // 1.5
+     * compiled(10.0, 3.0);   // 1.0
+     * compiled(-7.5, 2.0);   // -1.5
+     * ```
+     */
+    remainder(y) {
+        let rightAst;
+        if (typeof y === "bigint") {
+            // Convert integer to float first
+            rightAst = valueOrExprToAstTyped(Number(y), FloatType);
+        }
+        else if (typeof y === "number") {
+            rightAst = valueOrExprToAstTyped(y, FloatType);
+        }
+        else if (y instanceof Expr) {
+            if (isTypeEqual(Expr.type(y), IntegerType)) {
+                // Convert integer to float first
+                rightAst = y.toFloat()[AstSymbol];
+            }
+            else if (isTypeEqual(Expr.type(y), FloatType)) {
+                rightAst = y[AstSymbol];
+            }
+            else {
+                throw new Error(`Cannot add Float and ${printType(Expr.type(y))}`);
+            }
+        }
+        else {
+            throw new Error(`Cannot add Float and ${typeof y}`);
+        }
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatRemainder",
+            type_parameters: [],
+            arguments: [this[AstSymbol], rightAst],
+        });
+    }
+    /**
+     * Raises a floating-point number to a power (x ** y).
+     *
+     * @param y - The float, number, IntegerExpr, or bigint exponent
+     * @returns A FloatExpr representing x raised to the power of y
+     *
+     * @remarks Automatically converts integer operands to float before exponentiation.
+     *
+     * @example
+     * ```ts
+     * const powFloats = East.function([FloatType, FloatType], FloatType, ($, x, y) => {
+     *   $.return(x.pow(y));
+     * });
+     * const compiled = East.compile(powFloats.toIR(), []);
+     * compiled(2.0, 3.0);    // 8.0
+     * compiled(9.0, 0.5);    // 3.0 (square root)
+     * compiled(2.0, -1.0);   // 0.5
+     * compiled(-1.0, 0.5);   // NaN (square root of negative)
+     * ```
+     */
+    pow(y) {
+        let rightAst;
+        if (typeof y === "bigint") {
+            // Convert integer to float first
+            rightAst = valueOrExprToAstTyped(Number(y), FloatType);
+        }
+        else if (typeof y === "number") {
+            rightAst = valueOrExprToAstTyped(y, FloatType);
+        }
+        else if (y instanceof Expr) {
+            if (isTypeEqual(Expr.type(y), IntegerType)) {
+                // Convert integer to float first
+                rightAst = y.toFloat()[AstSymbol];
+            }
+            else if (isTypeEqual(Expr.type(y), FloatType)) {
+                rightAst = y[AstSymbol];
+            }
+            else {
+                throw new Error(`Cannot add Float and ${printType(Expr.type(y))}`);
+            }
+        }
+        else {
+            throw new Error(`Cannot add Float and ${typeof y}`);
+        }
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatPow",
+            type_parameters: [],
+            arguments: [this[AstSymbol], rightAst],
+        });
+    }
+    /**
+     * Computes the absolute value of a floating-point number (|x|).
+     *
+     * @returns A FloatExpr representing the absolute value
+     *
+     * @example
+     * ```ts
+     * const absFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.abs());
+     * });
+     * const compiled = East.compile(absFloat.toIR(), []);
+     * compiled(3.14);     // 3.14
+     * compiled(-2.5);     // 2.5
+     * compiled(0.0);      // 0.0
+     * compiled(-0.0);     // 0.0
+     * ```
+     */
+    abs() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatAbs",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Computes the sign of a floating-point number.
+     *
+     * @returns A FloatExpr representing -1.0 for negative, 0.0 for zero, 1.0 for positive, or NaN for NaN
+     *
+     * @example
+     * ```ts
+     * const signFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.sign());
+     * });
+     * const compiled = East.compile(signFloat.toIR(), []);
+     * compiled(3.14);     // 1.0
+     * compiled(-2.5);     // -1.0
+     * compiled(0.0);      // 0.0
+     * compiled(-0.0);     // -0.0
+     * ```
+     */
+    sign() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatSign",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Computes the square root of a floating-point number (√x).
+     *
+     * @returns A FloatExpr representing the square root
+     *
+     * @remarks Returns NaN for negative numbers.
+     *
+     * @example
+     * ```ts
+     * const sqrtFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.sqrt());
+     * });
+     * const compiled = East.compile(sqrtFloat.toIR(), []);
+     * compiled(9.0);      // 3.0
+     * compiled(2.0);      // 1.4142135623730951
+     * compiled(0.0);      // 0.0
+     * compiled(-1.0);     // NaN
+     * ```
+     */
+    sqrt() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatSqrt",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Computes the exponential function (e^x).
+     *
+     * @returns A FloatExpr representing e raised to the power of x
+     *
+     * @example
+     * ```ts
+     * const expFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.exp());
+     * });
+     * const compiled = East.compile(expFloat.toIR(), []);
+     * compiled(0.0);      // 1.0
+     * compiled(1.0);      // 2.718281828459045
+     * compiled(2.0);      // 7.38905609893065
+     * compiled(-1.0);     // 0.36787944117144233
+     * ```
+     */
+    exp() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatExp",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Computes the natural logarithm (ln(x)).
+     *
+     * @returns A FloatExpr representing the natural logarithm of x
+     *
+     * @remarks Returns NaN for negative numbers, -Infinity for 0.
+     *
+     * @example
+     * ```ts
+     * const logFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.log());
+     * });
+     * const compiled = East.compile(logFloat.toIR(), []);
+     * compiled(Math.E);   // 1.0
+     * compiled(1.0);      // 0.0
+     * compiled(10.0);     // 2.302585092994046
+     * compiled(0.0);      // -Infinity
+     * compiled(-1.0);     // NaN
+     * ```
+     */
+    log() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatLog",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Computes the sine of a floating-point number (sin(x)).
+     *
+     * @returns A FloatExpr representing the sine of x (x in radians)
+     *
+     * @example
+     * ```ts
+     * const sinFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.sin());
+     * });
+     * const compiled = East.compile(sinFloat.toIR(), []);
+     * compiled(0.0);              // 0.0
+     * compiled(Math.PI / 2);      // 1.0
+     * compiled(Math.PI);          // ~0.0 (very close to zero)
+     * compiled(Math.PI / 6);      // 0.5
+     * ```
+     */
+    sin() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatSin",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Computes the cosine of a floating-point number (cos(x)).
+     *
+     * @returns A FloatExpr representing the cosine of x (x in radians)
+     *
+     * @example
+     * ```ts
+     * const cosFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.cos());
+     * });
+     * const compiled = East.compile(cosFloat.toIR(), []);
+     * compiled(0.0);              // 1.0
+     * compiled(Math.PI / 2);      // ~0.0 (very close to zero)
+     * compiled(Math.PI);          // -1.0
+     * compiled(Math.PI / 3);      // 0.5
+     * ```
+     */
+    cos() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatCos",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Computes the tangent of a floating-point number (tan(x)).
+     *
+     * @returns A FloatExpr representing the tangent of x (x in radians)
+     *
+     * @example
+     * ```ts
+     * const tanFloat = East.function([FloatType], FloatType, ($, x) => {
+     *   $.return(x.tan());
+     * });
+     * const compiled = East.compile(tanFloat.toIR(), []);
+     * compiled(0.0);              // 0.0
+     * compiled(Math.PI / 4);      // 1.0
+     * compiled(Math.PI / 6);      // 0.5773502691896257
+     * compiled(-Math.PI / 4);     // -1.0
+     * ```
+     */
+    tan() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: FloatType,
+            location: get_location(2),
+            builtin: "FloatTan",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+    /**
+     * Converts a floating-point number to an integer.
+     *
+     * @returns An IntegerExpr representing the converted value
+     *
+     * @throws East runtime error if the float is NaN, infinite, larger than 2^63-1, smaller than -2^63, or not an integer value
+     *
+     * @example
+     * ```ts
+     * const floatToInt = East.function([FloatType], IntegerType, ($, x) => {
+     *   $.return(x.toInteger());
+     * });
+     * const compiled = East.compile(floatToInt.toIR(), []);
+     * compiled(42.0);     // 42n
+     * compiled(-10.0);    // -10n
+     * compiled(0.0);      // 0n
+     * // compiled(3.14) would throw error (not an integer value)
+     * // compiled(NaN) would throw error
+     * // compiled(Infinity) would throw error
+     * ```
+     */
+    toInteger() {
+        return this[FactorySymbol]({
+            ast_type: "Builtin",
+            type: IntegerType,
+            location: get_location(2),
+            builtin: "FloatToInteger",
+            type_parameters: [],
+            arguments: [this[AstSymbol]],
+        });
+    }
+}
+//# sourceMappingURL=float.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"float.js","sourceRoot":"","sources":["../../../src/expr/float.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAe,MAAM,WAAW,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAGjD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,OAAO,SAAU,SAAQ,IAAe;IAC5C,YAAY,GAAQ,EAAE,UAAkB;QACtC,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACpC,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,MAAM;QACJ,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,aAAa;YACtB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,GAAG,CAAC,CAA4C;QAC9C,IAAI,QAAa,CAAC;QAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,iCAAiC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAsB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChE,iCAAiC;gBACjC,QAAQ,GAAI,CAAiB,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAoB,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBACnE,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,QAAQ,CAAC,CAA4C;QACnD,IAAI,QAAa,CAAC;QAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,iCAAiC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAsB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChE,iCAAiC;gBACjC,QAAQ,GAAI,CAAiB,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAoB,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBACnE,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,eAAe;YACxB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,QAAQ,CAAC,CAA4C;QACnD,IAAI,QAAa,CAAC;QAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,iCAAiC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAsB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChE,iCAAiC;gBACjC,QAAQ,GAAI,CAAiB,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAoB,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBACnE,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,eAAe;YACxB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,MAAM,CAAC,CAA4C;QACjD,IAAI,QAAa,CAAC;QAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,iCAAiC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAsB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChE,iCAAiC;gBACjC,QAAQ,GAAI,CAAiB,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAoB,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBACnE,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,aAAa;YACtB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,SAAS,CAAC,CAA4C;QACpD,IAAI,QAAa,CAAC;QAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,iCAAiC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAsB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChE,iCAAiC;gBACjC,QAAQ,GAAI,CAAiB,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAoB,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBACnE,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,gBAAgB;YACzB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,GAAG,CAAC,CAA4C;QAC9C,IAAI,QAAa,CAAC;QAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,iCAAiC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,GAAG,qBAAqB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAsB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChE,iCAAiC;gBACjC,QAAQ,GAAI,CAAiB,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAoB,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBACnE,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;SACvC,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,WAAW;YACpB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,IAAI;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,WAAW;YACpB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,GAAG;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAc,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,gBAAgB;YACzB,eAAe,EAAE,EAAE;YACnB,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;SAC7B,CAAgB,CAAC;IACpB,CAAC;CACF"}

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

@@ -0,0 +1,46 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type { AST } from "../ast.js";
+import { EastIR } from "../eastir.js";
+import { FunctionType } from "../types.js";
+import { Expr, type ToExpr } from "./expr.js";
+import type { ExprType, SubtypeExprOrValue } from "./types.js";
+/**
+* Expression representing the Function type.
+* Used for function calls, composition, etc.
+*/
+export declare class FunctionExpr<I extends any[], O extends any> extends Expr<FunctionType<I, O>> {
+    private input_types;
+    private output_type;
+    constructor(input_types: I, output_type: O, ast: AST, createExpr: ToExpr);
+    /** Note that {@link CallableFunctionExpr} provides a more ergonomic way to call functions.
+     *
+     * @internal */
+    call(...args: {
+        [K in keyof I]: SubtypeExprOrValue<I[K]>;
+    }): ExprType<O>;
+    /** Convert the function to East's "intermediate representation" (IR). This can then be serialized or compiled.
+    *
+    * Note that the function must be a "free" function, with no captures.
+    */
+    toIR(): EastIR<I, O>;
+}
+/**
+ * Expression representing the Function type.
+ * Used for function calls, composition, etc.
+ *
+ * Supports direct calling of functions using `f(x, y)` syntax instead using a method, like `f.call(x, y)`.
+ */
+export type CallableFunctionExpr<I extends any[], O> = FunctionExpr<I, O> & ((...args: {
+    [K in keyof I]: SubtypeExprOrValue<I[K]>;
+}) => ExprType<O>);
+/**
+ * Factory producing a callable FunctionExpr so users can invoke it directly.
+ * Prototype chain preserved for instanceof checks.
+ *
+ * @internal
+ */
+export declare function createFunctionExpr<I extends any[], O extends any>(input_types: I, output_type: O, ast: AST, createExpr: ToExpr): CallableFunctionExpr<I, O>;
+//# sourceMappingURL=function.d.ts.map