@enspirit/elo 0.9.0

package/dist/src/stdlib.js

@@ -0,0 +1,237 @@
+"use strict";
+/**
+ * Standard Library for Elo
+ *
+ * Provides a type-based dispatch system for function implementations.
+ * Each target compiler (JS, Ruby, SQL) defines its own implementations
+ * that are looked up by function name and argument types.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.StdLib = void 0;
+exports.signatureKey = signatureKey;
+exports.formatSignature = formatSignature;
+exports.typeGeneralizations = typeGeneralizations;
+exports.binaryOp = binaryOp;
+exports.simpleBinaryOp = simpleBinaryOp;
+exports.unaryOp = unaryOp;
+exports.methodCall = methodCall;
+exports.nullary = nullary;
+exports.unaryMethod = unaryMethod;
+exports.isBinaryOp = isBinaryOp;
+exports.rubyMethod = rubyMethod;
+exports.fnCall = fnCall;
+exports.helperCall = helperCall;
+const types_1 = require("./types");
+/**
+ * Create a signature key for lookup
+ * e.g., "add:int,int" or "neg:float"
+ */
+function signatureKey(name, argTypes) {
+    const typeNames = argTypes.map(types_1.typeName).join(',');
+    return typeNames ? `${name}:${typeNames}` : name;
+}
+/**
+ * Format a function signature for user-friendly error messages
+ * e.g., "foo(Int, String)" or "upper(Any)"
+ */
+function formatSignature(name, argTypes) {
+    const typeNames = argTypes.map(t => (0, types_1.typeName)(t).charAt(0).toUpperCase() + (0, types_1.typeName)(t).slice(1)).join(', ');
+    return `${name}(${typeNames})`;
+}
+/**
+ * Generate all generalizations of argument types by progressively replacing
+ * concrete types with 'any'. Returns type arrays in order from most specific
+ * to most general.
+ *
+ * For [int, float]: returns [int,float], [any,float], [int,any], [any,any]
+ * Types that are already 'any' don't generate additional combinations.
+ */
+function typeGeneralizations(argTypes) {
+    if (argTypes.length === 0)
+        return [[]];
+    // Find indices of non-any types
+    const concreteIndices = [];
+    for (let i = 0; i < argTypes.length; i++) {
+        if (!(0, types_1.typeEquals)(argTypes[i], types_1.Types.any)) {
+            concreteIndices.push(i);
+        }
+    }
+    // Generate all subsets of concrete indices to replace with 'any'
+    // Start with empty subset (most specific) to full subset (most general)
+    const result = [];
+    const numSubsets = 1 << concreteIndices.length;
+    for (let mask = 0; mask < numSubsets; mask++) {
+        const generalized = [...argTypes];
+        for (let i = 0; i < concreteIndices.length; i++) {
+            if (mask & (1 << i)) {
+                generalized[concreteIndices[i]] = types_1.Types.any;
+            }
+        }
+        result.push(generalized);
+    }
+    return result;
+}
+/**
+ * A library of function implementations for a target language
+ */
+class StdLib {
+    constructor() {
+        this.implementations = new Map();
+        this.fallback = null;
+    }
+    /**
+     * Register an implementation for a specific signature
+     */
+    register(name, argTypes, emitter) {
+        const key = signatureKey(name, argTypes);
+        this.implementations.set(key, emitter);
+        return this;
+    }
+    /**
+     * Register a fallback for unmatched signatures
+     */
+    registerFallback(handler) {
+        this.fallback = handler;
+        return this;
+    }
+    /**
+     * Look up an implementation by signature.
+     * Tries progressively more general type signatures before giving up.
+     * For example, for add(int, float), tries:
+     *   add(int, float) -> add(any, float) -> add(int, any) -> add(any, any)
+     *
+     * If any argument type is 'any' and no match is found through generalization,
+     * falls back to finding any implementation with matching name and arity.
+     * This allows functions like abs(any) to find abs(int) or abs(float).
+     */
+    lookup(name, argTypes) {
+        // First try typeGeneralizations (concrete → any)
+        for (const generalized of typeGeneralizations(argTypes)) {
+            const key = signatureKey(name, generalized);
+            const impl = this.implementations.get(key);
+            if (impl)
+                return impl;
+        }
+        // If any argument type is 'any', try to find any implementation with matching arity
+        // This is the "type specialization" fallback for dynamically-typed contexts
+        if (argTypes.some(t => (0, types_1.typeEquals)(t, types_1.Types.any))) {
+            const arity = argTypes.length;
+            for (const [key, impl] of this.implementations) {
+                // Check if key matches: "name:type1,type2,..." or just "name" for nullary
+                const colonIdx = key.indexOf(':');
+                const keyName = colonIdx === -1 ? key : key.substring(0, colonIdx);
+                if (keyName !== name)
+                    continue;
+                // Check arity matches
+                const keyArity = colonIdx === -1 ? 0 : key.substring(colonIdx + 1).split(',').length;
+                if (keyArity === arity) {
+                    return impl;
+                }
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Emit code for a function call
+     */
+    emit(name, args, argTypes, ctx) {
+        const impl = this.lookup(name, argTypes);
+        if (impl) {
+            return impl(args, ctx);
+        }
+        if (this.fallback) {
+            return this.fallback(name, args, argTypes, ctx);
+        }
+        throw new Error(`Unknown function ${formatSignature(name, argTypes)}`);
+    }
+}
+exports.StdLib = StdLib;
+/**
+ * Helper to create a binary operator emitter
+ */
+function binaryOp(op, format) {
+    return (args, ctx) => {
+        const left = ctx.emitWithParens(args[0], op, 'left');
+        const right = ctx.emitWithParens(args[1], op, 'right');
+        return format(left, right);
+    };
+}
+/**
+ * Helper to create a simple binary operator that just joins with the operator
+ */
+function simpleBinaryOp(op) {
+    return binaryOp(op, (left, right) => `${left} ${op} ${right}`);
+}
+/**
+ * Helper to create a unary operator emitter
+ */
+function unaryOp(format, needsParensCheck) {
+    return (args, ctx) => {
+        const operand = ctx.emit(args[0]);
+        const needsParens = needsParensCheck(args[0]);
+        return format(operand, needsParens);
+    };
+}
+/**
+ * Helper for method call style: arg0.method(arg1)
+ */
+function methodCall(method) {
+    return (args, ctx) => {
+        const obj = ctx.emit(args[0]);
+        const arg = ctx.emit(args[1]);
+        return `${obj}.${method}(${arg})`;
+    };
+}
+/**
+ * Helper for nullary function (no args)
+ */
+function nullary(value) {
+    return () => value;
+}
+/**
+ * Helper for unary method call: arg0.method()
+ */
+function unaryMethod(method) {
+    return (args, ctx) => `${ctx.emit(args[0])}.${method}`;
+}
+/**
+ * Check if an IR expression is a binary operation (needs parens for postfix method calls)
+ */
+function isBinaryOp(ir) {
+    if (ir.type !== 'call')
+        return false;
+    const binaryOps = ['add', 'sub', 'mul', 'div', 'mod', 'pow', 'lt', 'gt', 'lte', 'gte', 'eq', 'neq', 'and', 'or'];
+    return binaryOps.includes(ir.fn);
+}
+/**
+ * Helper for Ruby-style postfix method call that wraps binary expressions in parens.
+ * Use for: arg0.method() where Ruby's precedence requires parens around binary ops.
+ */
+function rubyMethod(method) {
+    return (args, ctx) => {
+        const emitted = ctx.emit(args[0]);
+        const needsParens = isBinaryOp(args[0]);
+        return needsParens ? `(${emitted}).${method}` : `${emitted}.${method}`;
+    };
+}
+/**
+ * Helper for function call style: fn(arg0, arg1, ...)
+ */
+function fnCall(fnName) {
+    return (args, ctx) => {
+        const emittedArgs = args.map(a => ctx.emit(a)).join(', ');
+        return `${fnName}(${emittedArgs})`;
+    };
+}
+/**
+ * Helper for runtime helper function call (tracks the helper as required)
+ * Used for dynamically-typed operations that need runtime support.
+ */
+function helperCall(helperName) {
+    return (args, ctx) => {
+        ctx.requireHelper?.(helperName);
+        const emittedArgs = args.map(a => ctx.emit(a)).join(', ');
+        return `${helperName}(${emittedArgs})`;
+    };
+}
+//# sourceMappingURL=stdlib.js.map

package/dist/src/stdlib.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stdlib.js","sourceRoot":"","sources":["../../src/stdlib.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAiBH,oCAGC;AAMD,0CAGC;AAUD,kDA2BC;AAkGD,4BASC;AAKD,wCAEC;AAKD,0BASC;AAKD,gCAMC;AAKD,0BAEC;AAKD,kCAEC;AAKD,gCAIC;AAMD,gCAMC;AAKD,wBAKC;AAMD,gCAMC;AApQD,mCAA+D;AAW/D;;;GAGG;AACH,SAAgB,YAAY,CAAC,IAAY,EAAE,QAAmB;IAC5D,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,gBAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,SAAgB,eAAe,CAAC,IAAY,EAAE,QAAmB;IAC/D,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,gBAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAA,gBAAQ,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3G,OAAO,GAAG,IAAI,IAAI,SAAS,GAAG,CAAC;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,mBAAmB,CAAC,QAAmB;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAEvC,gCAAgC;IAChC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,CAAC,IAAA,kBAAU,EAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,wEAAwE;IACxE,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC;IAE/C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACpB,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,aAAK,CAAC,GAAG,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAiBD;;GAEG;AACH,MAAa,MAAM;IAAnB;QACU,oBAAe,GAAoC,IAAI,GAAG,EAAE,CAAC;QAC7D,aAAQ,GAA2F,IAAI,CAAC;IAuElH,CAAC;IArEC;;OAEG;IACH,QAAQ,CAAC,IAAY,EAAE,QAAmB,EAAE,OAA2B;QACrE,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,OAAsF;QACrG,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,IAAY,EAAE,QAAmB;QACtC,iDAAiD;QACjD,KAAK,MAAM,WAAW,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC3C,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;QACxB,CAAC;QAED,oFAAoF;QACpF,4EAA4E;QAC5E,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,kBAAU,EAAC,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;gBAC/C,0EAA0E;gBAC1E,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAClC,MAAM,OAAO,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBACnE,IAAI,OAAO,KAAK,IAAI;oBAAE,SAAS;gBAE/B,sBAAsB;gBACtB,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;gBACrF,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;oBACvB,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,IAAY,EAAE,IAAc,EAAE,QAAmB,EAAE,GAAmB;QACzE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oBAAoB,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;CACF;AAzED,wBAyEC;AAED;;GAEG;AACH,SAAgB,QAAQ,CACtB,EAAU,EACV,MAAgC;IAEhC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACnB,MAAM,IAAI,GAAG,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACvD,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAAC,EAAU;IACvC,OAAO,QAAQ,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC;AACjE,CAAC;AAED;;GAEG;AACH,SAAgB,OAAO,CACrB,MAA+C,EAC/C,gBAA0C;IAE1C,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACnB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,OAAO,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACtC,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,UAAU,CAAC,MAAc;IACvC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACnB,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,OAAO,GAAG,GAAG,IAAI,MAAM,IAAI,GAAG,GAAG,CAAC;IACpC,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,OAAO,CAAI,KAAQ;IACjC,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAgB,WAAW,CAAC,MAAc;IACxC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;AACzD,CAAC;AAED;;GAEG;AACH,SAAgB,UAAU,CAAC,EAAU;IACnC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjH,OAAO,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU,CAAC,MAAc;IACvC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACnB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,OAAO,WAAW,CAAC,CAAC,CAAC,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,IAAI,MAAM,EAAE,CAAC;IACzE,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,MAAM,CAAC,MAAc;IACnC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACnB,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,OAAO,GAAG,MAAM,IAAI,WAAW,GAAG,CAAC;IACrC,CAAC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU,CAAC,UAAkB;IAC3C,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACnB,GAAG,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,OAAO,GAAG,UAAU,IAAI,WAAW,GAAG,CAAC;IACzC,CAAC,CAAC;AACJ,CAAC"}

package/dist/src/transform.d.ts

@@ -0,0 +1,38 @@
+/**
+ * AST to IR transformation
+ *
+ * Transforms the parsed AST into a typed intermediate representation.
+ * This phase:
+ * - Assigns types to literals
+ * - Rewrites operators as typed function calls
+ * - Rewrites temporal keywords as function calls
+ * - Tracks variable types through let bindings
+ */
+import { Expr } from './ast';
+import { IRExpr } from './ir';
+import { EloType } from './types';
+/**
+ * Type environment: maps variable names to their inferred types
+ */
+export type TypeEnv = Map<string, EloType>;
+/**
+ * Set of function names currently being defined (to detect recursion)
+ */
+type DefiningSet = Set<string>;
+/**
+ * Options for the transform function
+ */
+export interface TransformOptions {
+    maxDepth?: number;
+    /**
+     * If true, allow undefined variables (for SQL where they represent column names).
+     * If false (default), undefined variables throw an error to prevent access to host globals.
+     */
+    allowUndefinedVariables?: boolean;
+}
+/**
+ * Transform an AST expression into IR
+ */
+export declare function transform(expr: Expr, env?: TypeEnv, defining?: DefiningSet, options?: TransformOptions): IRExpr;
+export {};
+//# sourceMappingURL=transform.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/transform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC;AAC7B,OAAO,EACL,MAAM,EA4BP,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,OAAO,EAAS,MAAM,SAAS,CAAC;AAGzC;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE3C;;GAEG;AACH,KAAK,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;AAE/B;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAID;;GAEG;AACH,wBAAgB,SAAS,CACvB,IAAI,EAAE,IAAI,EACV,GAAG,GAAE,OAAmB,EACxB,QAAQ,GAAE,WAAuB,EACjC,OAAO,GAAE,gBAAqB,GAC7B,MAAM,CAIR"}

package/dist/src/transform.js

@@ -0,0 +1,322 @@
+"use strict";
+/**
+ * AST to IR transformation
+ *
+ * Transforms the parsed AST into a typed intermediate representation.
+ * This phase:
+ * - Assigns types to literals
+ * - Rewrites operators as typed function calls
+ * - Rewrites temporal keywords as function calls
+ * - Tracks variable types through let bindings
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.transform = transform;
+const ir_1 = require("./ir");
+const types_1 = require("./types");
+const typedefs_1 = require("./typedefs");
+const DEFAULT_MAX_DEPTH = 100;
+/**
+ * Transform an AST expression into IR
+ */
+function transform(expr, env = new Map(), defining = new Set(), options = {}) {
+    const maxDepth = options.maxDepth ?? DEFAULT_MAX_DEPTH;
+    const allowUndefinedVariables = options.allowUndefinedVariables ?? false;
+    return transformWithDepth(expr, env, defining, 0, maxDepth, allowUndefinedVariables);
+}
+/**
+ * Internal transform function that tracks depth
+ */
+function transformWithDepth(expr, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    if (depth > maxDepth) {
+        throw new Error(`Maximum transform depth exceeded (${maxDepth})`);
+    }
+    const nextDepth = depth + 1;
+    const recurse = (e, newEnv = env, newDefining = defining) => transformWithDepth(e, newEnv, newDefining, nextDepth, maxDepth, allowUndefinedVariables);
+    switch (expr.type) {
+        case 'literal':
+            return transformLiteral(expr.value);
+        case 'string':
+            return (0, ir_1.irString)(expr.value);
+        case 'null':
+            return (0, ir_1.irNull)();
+        case 'date':
+            return (0, ir_1.irDate)(expr.value);
+        case 'datetime':
+            return (0, ir_1.irDateTime)(expr.value);
+        case 'duration':
+            return (0, ir_1.irDuration)(expr.value);
+        case 'variable':
+            // Allow _ (input variable) and variables defined in scope
+            // Reject undefined variables to prevent access to host globals (unless allowUndefinedVariables is set)
+            if (!allowUndefinedVariables && expr.name !== '_' && !env.has(expr.name)) {
+                throw new Error(`Undefined variable: '${expr.name}'`);
+            }
+            return (0, ir_1.irVariable)(expr.name, env.get(expr.name) ?? types_1.Types.any);
+        case 'binary':
+            return transformBinaryOp(expr.operator, expr.left, expr.right, env, defining, nextDepth, maxDepth, allowUndefinedVariables);
+        case 'unary':
+            return transformUnaryOp(expr.operator, expr.operand, env, defining, nextDepth, maxDepth, allowUndefinedVariables);
+        case 'temporal_keyword':
+            return transformTemporalKeyword(expr.keyword);
+        case 'function_call':
+            return transformFunctionCall(expr.name, expr.args, env, defining, nextDepth, maxDepth, allowUndefinedVariables);
+        case 'member_access':
+            return (0, ir_1.irMemberAccess)(recurse(expr.object), expr.property);
+        case 'let':
+            return transformLet(expr.bindings, expr.body, env, defining, nextDepth, maxDepth, allowUndefinedVariables);
+        case 'if':
+            return (0, ir_1.irIf)(recurse(expr.condition), recurse(expr.then), recurse(expr.else));
+        case 'lambda':
+            return transformLambda(expr.params, expr.body, env, defining, nextDepth, maxDepth, allowUndefinedVariables);
+        case 'object':
+            return (0, ir_1.irObject)(expr.properties.map((prop) => ({
+                key: prop.key,
+                value: recurse(prop.value),
+            })));
+        case 'array':
+            return (0, ir_1.irArray)(expr.elements.map((el) => recurse(el)));
+        case 'alternative':
+            return transformAlternative(expr.alternatives, env, defining, nextDepth, maxDepth, allowUndefinedVariables);
+        case 'apply': {
+            const fnIR = recurse(expr.fn);
+            const argsIR = expr.args.map((arg) => recurse(arg));
+            const argTypes = argsIR.map(ir_1.inferType);
+            return (0, ir_1.irApply)(fnIR, argsIR, argTypes, types_1.Types.any);
+        }
+        case 'datapath':
+            return (0, ir_1.irDataPath)(expr.segments);
+        case 'typedef': {
+            // Transform type definition
+            const irTypeExpr = transformTypeExprWithContext(expr.typeExpr, env, defining, nextDepth, maxDepth, allowUndefinedVariables);
+            // Add type name to environment as a parser function type
+            const newEnv = new Map(env);
+            newEnv.set(expr.name, types_1.Types.fn);
+            const bodyIR = transformWithDepth(expr.body, newEnv, defining, nextDepth, maxDepth, allowUndefinedVariables);
+            return (0, ir_1.irTypeDef)(expr.name, irTypeExpr, bodyIR);
+        }
+    }
+}
+/**
+ * Transform an AST type expression to IR type expression
+ */
+function transformTypeExprWithContext(typeExpr, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    switch (typeExpr.kind) {
+        case 'type_ref':
+            return (0, ir_1.irTypeRef)(typeExpr.name);
+        case 'type_schema': {
+            const props = typeExpr.properties.map(prop => ({
+                key: prop.key,
+                typeExpr: transformTypeExprWithContext(prop.typeExpr, env, defining, depth, maxDepth, allowUndefinedVariables),
+                optional: prop.optional,
+            }));
+            // Transform extras if it's a TypeExpr, otherwise pass through as-is
+            let extras;
+            if (typeExpr.extras === 'closed' || typeExpr.extras === 'ignored' || typeExpr.extras === undefined) {
+                extras = typeExpr.extras;
+            }
+            else {
+                extras = transformTypeExprWithContext(typeExpr.extras, env, defining, depth, maxDepth, allowUndefinedVariables);
+            }
+            return (0, ir_1.irTypeSchema)(props, extras);
+        }
+        case 'subtype_constraint': {
+            // Transform the base type
+            const baseTypeIR = transformTypeExprWithContext(typeExpr.baseType, env, defining, depth, maxDepth, allowUndefinedVariables);
+            // Transform the constraint with the variable in scope
+            const constraintEnv = new Map(env);
+            constraintEnv.set(typeExpr.variable, types_1.Types.any);
+            const constraintIR = transformWithDepth(typeExpr.constraint, constraintEnv, defining, depth, maxDepth, allowUndefinedVariables);
+            return (0, ir_1.irSubtypeConstraint)(baseTypeIR, typeExpr.variable, constraintIR);
+        }
+        case 'array_type':
+            return (0, ir_1.irArrayType)(transformTypeExprWithContext(typeExpr.elementType, env, defining, depth, maxDepth, allowUndefinedVariables));
+        case 'union_type':
+            return (0, ir_1.irUnionType)(typeExpr.types.map(t => transformTypeExprWithContext(t, env, defining, depth, maxDepth, allowUndefinedVariables)));
+    }
+}
+/**
+ * Transform a literal value (number or boolean)
+ */
+function transformLiteral(value) {
+    if (typeof value === 'boolean') {
+        return (0, ir_1.irBool)(value);
+    }
+    // Distinguish int from float
+    if (Number.isInteger(value)) {
+        return (0, ir_1.irInt)(value);
+    }
+    return (0, ir_1.irFloat)(value);
+}
+/**
+ * Transform a binary operator into a typed function call
+ */
+function transformBinaryOp(operator, left, right, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    const leftIR = transformWithDepth(left, env, defining, depth, maxDepth, allowUndefinedVariables);
+    const rightIR = transformWithDepth(right, env, defining, depth, maxDepth, allowUndefinedVariables);
+    const leftType = (0, ir_1.inferType)(leftIR);
+    const rightType = (0, ir_1.inferType)(rightIR);
+    const fn = opNameMap[operator];
+    if (!fn) {
+        throw new Error(`Unknown binary operator: ${operator}`);
+    }
+    const resultType = typedefs_1.eloTypeDefs.lookup(fn, [leftType, rightType]);
+    return (0, ir_1.irCall)(fn, [leftIR, rightIR], [leftType, rightType], resultType);
+}
+/**
+ * Transform a unary operator into a typed function call
+ */
+function transformUnaryOp(operator, operand, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    const operandIR = transformWithDepth(operand, env, defining, depth, maxDepth, allowUndefinedVariables);
+    const operandType = (0, ir_1.inferType)(operandIR);
+    const fn = unaryOpNameMap[operator];
+    if (!fn) {
+        throw new Error(`Unknown unary operator: ${operator}`);
+    }
+    const resultType = typedefs_1.eloTypeDefs.lookup(fn, [operandType]);
+    return (0, ir_1.irCall)(fn, [operandIR], [operandType], resultType);
+}
+/**
+ * Transform a temporal keyword into a function call
+ */
+function transformTemporalKeyword(keyword) {
+    const today = () => (0, ir_1.irCall)('today', [], [], types_1.Types.date);
+    const now = () => (0, ir_1.irCall)('now', [], [], types_1.Types.datetime);
+    switch (keyword) {
+        case 'TODAY':
+            return today();
+        case 'NOW':
+            return now();
+        case 'TOMORROW':
+            return (0, ir_1.irCall)('add', [today(), (0, ir_1.irDuration)('P1D')], [types_1.Types.date, types_1.Types.duration], types_1.Types.date);
+        case 'YESTERDAY':
+            return (0, ir_1.irCall)('sub', [today(), (0, ir_1.irDuration)('P1D')], [types_1.Types.date, types_1.Types.duration], types_1.Types.date);
+        case 'SOD':
+            return (0, ir_1.irCall)('start_of_day', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'EOD':
+            return (0, ir_1.irCall)('end_of_day', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'SOW':
+            return (0, ir_1.irCall)('start_of_week', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'EOW':
+            return (0, ir_1.irCall)('end_of_week', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'SOM':
+            return (0, ir_1.irCall)('start_of_month', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'EOM':
+            return (0, ir_1.irCall)('end_of_month', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'SOQ':
+            return (0, ir_1.irCall)('start_of_quarter', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'EOQ':
+            return (0, ir_1.irCall)('end_of_quarter', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'SOY':
+            return (0, ir_1.irCall)('start_of_year', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'EOY':
+            return (0, ir_1.irCall)('end_of_year', [now()], [types_1.Types.datetime], types_1.Types.datetime);
+        case 'BOT':
+            return (0, ir_1.irCall)('bot', [], [], types_1.Types.datetime);
+        case 'EOT':
+            return (0, ir_1.irCall)('eot', [], [], types_1.Types.datetime);
+        default:
+            throw new Error(`Unknown temporal keyword: ${keyword}`);
+    }
+}
+/**
+ * Transform a function call
+ *
+ * If the function name is a variable in the environment (i.e., a lambda),
+ * we emit an 'apply' node. Otherwise, we emit a 'call' to the stdlib.
+ */
+function transformFunctionCall(name, args, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    // Check for recursive call
+    if (defining.has(name)) {
+        throw new Error(`Recursive function calls are not allowed: '${name}' cannot call itself`);
+    }
+    const argsIR = args.map((arg) => transformWithDepth(arg, env, defining, depth, maxDepth, allowUndefinedVariables));
+    const argTypes = argsIR.map(ir_1.inferType);
+    // Check if the name is a variable holding a lambda
+    const varType = env.get(name);
+    if (varType && varType.kind === 'fn') {
+        // Lambda application: emit irApply
+        const fnVar = (0, ir_1.irVariable)(name, varType);
+        return (0, ir_1.irApply)(fnVar, argsIR, argTypes, types_1.Types.any);
+    }
+    // stdlib function call
+    const resultType = typedefs_1.eloTypeDefs.lookup(name, argTypes);
+    return (0, ir_1.irCall)(name, argsIR, argTypes, resultType);
+}
+/**
+ * Transform a let expression
+ */
+function transformLet(bindings, body, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    // Build a new environment with the bindings
+    const newEnv = new Map(env);
+    const irBindings = bindings.map((binding) => {
+        // If the value is a lambda, add the binding name to the defining set
+        // to detect recursive calls within the lambda body
+        const isLambda = binding.value.type === 'lambda';
+        const newDefining = isLambda ? new Set([...defining, binding.name]) : defining;
+        const valueIR = transformWithDepth(binding.value, newEnv, newDefining, depth, maxDepth, allowUndefinedVariables);
+        const valueType = (0, ir_1.inferType)(valueIR);
+        newEnv.set(binding.name, valueType);
+        return { name: binding.name, value: valueIR };
+    });
+    const bodyIR = transformWithDepth(body, newEnv, defining, depth, maxDepth, allowUndefinedVariables);
+    return (0, ir_1.irLet)(irBindings, bodyIR);
+}
+/**
+ * Transform a lambda expression
+ */
+function transformLambda(params, body, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    // Build a new environment with params as 'any' type
+    const newEnv = new Map(env);
+    const irParams = params.map((name) => {
+        newEnv.set(name, types_1.Types.any);
+        return { name, inferredType: types_1.Types.any };
+    });
+    const bodyIR = transformWithDepth(body, newEnv, defining, depth, maxDepth, allowUndefinedVariables);
+    const resultType = (0, ir_1.inferType)(bodyIR);
+    return (0, ir_1.irLambda)(irParams, bodyIR, resultType);
+}
+/**
+ * Transform an alternative expression: a | b | c
+ *
+ * The result type is inferred as:
+ * - If all alternatives have the same type, that type
+ * - Otherwise, 'any'
+ */
+function transformAlternative(alternatives, env, defining, depth, maxDepth, allowUndefinedVariables) {
+    const irAlts = alternatives.map((alt) => transformWithDepth(alt, env, defining, depth, maxDepth, allowUndefinedVariables));
+    // Infer result type: use first non-any type, or any if all are any
+    let resultType = types_1.Types.any;
+    for (const alt of irAlts) {
+        const altType = (0, ir_1.inferType)(alt);
+        if (altType.kind !== 'any') {
+            resultType = altType;
+            break;
+        }
+    }
+    return (0, ir_1.irAlternative)(irAlts, resultType);
+}
+/**
+ * Map operator symbols to function name prefixes
+ */
+const opNameMap = {
+    '+': 'add',
+    '-': 'sub',
+    '*': 'mul',
+    '/': 'div',
+    '%': 'mod',
+    '^': 'pow',
+    '<': 'lt',
+    '>': 'gt',
+    '<=': 'lte',
+    '>=': 'gte',
+    '==': 'eq',
+    '!=': 'neq',
+    '&&': 'and',
+    '||': 'or',
+};
+const unaryOpNameMap = {
+    '-': 'neg',
+    '+': 'pos',
+    '!': 'not',
+};
+//# sourceMappingURL=transform.js.map

package/dist/src/transform.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform.js","sourceRoot":"","sources":["../../src/transform.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AAgEH,8BASC;AAtED,6BA6Bc;AAEd,mCAAyC;AACzC,yCAAyC;AAwBzC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAE9B;;GAEG;AACH,SAAgB,SAAS,CACvB,IAAU,EACV,MAAe,IAAI,GAAG,EAAE,EACxB,WAAwB,IAAI,GAAG,EAAE,EACjC,UAA4B,EAAE;IAE9B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,iBAAiB,CAAC;IACvD,MAAM,uBAAuB,GAAG,OAAO,CAAC,uBAAuB,IAAI,KAAK,CAAC;IACzE,OAAO,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;AACvF,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,IAAU,EACV,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,qCAAqC,QAAQ,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,CAAO,EAAE,SAAkB,GAAG,EAAE,cAA2B,QAAQ,EAAE,EAAE,CACtF,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IAE3F,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEtC,KAAK,QAAQ;YACX,OAAO,IAAA,aAAQ,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE9B,KAAK,MAAM;YACT,OAAO,IAAA,WAAM,GAAE,CAAC;QAElB,KAAK,MAAM;YACT,OAAO,IAAA,WAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE5B,KAAK,UAAU;YACb,OAAO,IAAA,eAAU,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEhC,KAAK,UAAU;YACb,OAAO,IAAA,eAAU,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEhC,KAAK,UAAU;YACb,0DAA0D;YAC1D,uGAAuG;YACvG,IAAI,CAAC,uBAAuB,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzE,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACxD,CAAC;YACD,OAAO,IAAA,eAAU,EAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAK,CAAC,GAAG,CAAC,CAAC;QAEhE,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QAE9H,KAAK,OAAO;YACV,OAAO,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QAEpH,KAAK,kBAAkB;YACrB,OAAO,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEhD,KAAK,eAAe;YAClB,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QAElH,KAAK,eAAe;YAClB,OAAO,IAAA,mBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE7D,KAAK,KAAK;YACR,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QAE7G,KAAK,IAAI;YACP,OAAO,IAAA,SAAI,EACT,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAClB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CACnB,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QAE9G,KAAK,QAAQ;YACX,OAAO,IAAA,aAAQ,EACb,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;aAC3B,CAAC,CAAC,CACJ,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO,IAAA,YAAO,EAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAEzD,KAAK,aAAa;YAChB,OAAO,oBAAoB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QAE9G,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,cAAS,CAAC,CAAC;YACvC,OAAO,IAAA,YAAO,EAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC;QAED,KAAK,UAAU;YACb,OAAO,IAAA,eAAU,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnC,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,4BAA4B;YAC5B,MAAM,UAAU,GAAG,4BAA4B,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;YAC5H,yDAAyD;YACzD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,aAAK,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;YAC7G,OAAO,IAAA,cAAS,EAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,4BAA4B,CACnC,QAAkB,EAClB,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,IAAA,cAAS,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAElC,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC7C,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,QAAQ,EAAE,4BAA4B,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC;gBAC9G,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC,CAAC;YACJ,oEAAoE;YACpE,IAAI,MAAqD,CAAC;YAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACnG,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,4BAA4B,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;YAClH,CAAC;YACD,OAAO,IAAA,iBAAY,EAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;QAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,0BAA0B;YAC1B,MAAM,UAAU,GAAG,4BAA4B,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;YAC5H,sDAAsD;YACtD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YACnC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;YAChD,MAAM,YAAY,GAAG,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;YAChI,OAAO,IAAA,wBAAmB,EAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QAC1E,CAAC;QAED,KAAK,YAAY;YACf,OAAO,IAAA,gBAAW,EAChB,4BAA4B,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAC5G,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,IAAA,gBAAW,EAChB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClH,CAAC;IACN,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,KAAuB;IAC/C,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,IAAA,WAAM,EAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,6BAA6B;IAC7B,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAA,UAAK,EAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,IAAA,YAAO,EAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,QAAgB,EAChB,IAAU,EACV,KAAW,EACX,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACnG,MAAM,QAAQ,GAAG,IAAA,cAAS,EAAC,MAAM,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,IAAA,cAAS,EAAC,OAAO,CAAC,CAAC;IAErC,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/B,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,UAAU,GAAG,sBAAW,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAEjE,OAAO,IAAA,WAAM,EAAC,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,UAAU,CAAC,CAAC;AAC1E,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACvB,QAAgB,EAChB,OAAa,EACb,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACvG,MAAM,WAAW,GAAG,IAAA,cAAS,EAAC,SAAS,CAAC,CAAC;IAEzC,MAAM,EAAE,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CAAC,2BAA2B,QAAQ,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,UAAU,GAAG,sBAAW,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAEzD,OAAO,IAAA,WAAM,EAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,CAAC;AAC5D,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAAC,OAAe;IAC/C,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,IAAA,WAAM,EAAC,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,IAAA,WAAM,EAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAExD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,KAAK,EAAE,CAAC;QAEjB,KAAK,KAAK;YACR,OAAO,GAAG,EAAE,CAAC;QAEf,KAAK,UAAU;YACb,OAAO,IAAA,WAAM,EAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,IAAA,eAAU,EAAC,KAAK,CAAC,CAAC,EAAE,CAAC,aAAK,CAAC,IAAI,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;QAE/F,KAAK,WAAW;YACd,OAAO,IAAA,WAAM,EAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,IAAA,eAAU,EAAC,KAAK,CAAC,CAAC,EAAE,CAAC,aAAK,CAAC,IAAI,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;QAE/F,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,cAAc,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE3E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAEzE,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,eAAe,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE5E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,aAAa,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE1E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,gBAAgB,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE7E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,cAAc,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE3E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,kBAAkB,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE/E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,gBAAgB,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE7E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,eAAe,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE5E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,aAAa,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE1E,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE/C,KAAK,KAAK;YACR,OAAO,IAAA,WAAM,EAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;QAE/C;YACE,MAAM,IAAI,KAAK,CAAC,6BAA6B,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAC5B,IAAY,EACZ,IAAY,EACZ,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,2BAA2B;IAC3B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,8CAA8C,IAAI,sBAAsB,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACnH,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,cAAS,CAAC,CAAC;IAEvC,mDAAmD;IACnD,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrC,mCAAmC;QACnC,MAAM,KAAK,GAAG,IAAA,eAAU,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,OAAO,IAAA,YAAO,EAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC;IAED,uBAAuB;IACvB,MAAM,UAAU,GAAG,sBAAW,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtD,OAAO,IAAA,WAAM,EAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AACpD,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CACnB,QAA8C,EAC9C,IAAU,EACV,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,4CAA4C;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC1C,qEAAqE;QACrE,mDAAmD;QACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;QACjD,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAE/E,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QACjH,MAAM,SAAS,GAAG,IAAA,cAAS,EAAC,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACpG,OAAO,IAAA,UAAK,EAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,MAAgB,EAChB,IAAU,EACV,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,oDAAoD;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACnC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,aAAK,CAAC,GAAG,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACpG,MAAM,UAAU,GAAG,IAAA,cAAS,EAAC,MAAM,CAAC,CAAC;IACrC,OAAO,IAAA,aAAQ,EAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAC3B,YAAoB,EACpB,GAAY,EACZ,QAAqB,EACrB,KAAa,EACb,QAAgB,EAChB,uBAAgC;IAEhC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACtC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CACjF,CAAC;IAEF,mEAAmE;IACnE,IAAI,UAAU,GAAY,aAAK,CAAC,GAAG,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAA,cAAS,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,UAAU,GAAG,OAAO,CAAC;YACrB,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO,IAAA,kBAAa,EAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,SAAS,GAA2B;IACxC,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,cAAc,GAA2B;IAC7C,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;CACX,CAAC"}