@enspirit/elo 0.9.0

package/dist/src/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Elo - A small expression language that compiles to Ruby, JavaScript and PostgreSQL
+ */
+export * from './ast';
+export * from './parser';
+export { compile } from './compile';
+export type { CompileOptions, EloRuntime } from './compile';
+export { compileToRuby } from './compilers/ruby';
+export type { RubyCompileOptions } from './compilers/ruby';
+export { compileToJavaScript, compileToJavaScriptWithMeta } from './compilers/javascript';
+export type { JavaScriptCompileOptions, JavaScriptCompileResult } from './compilers/javascript';
+export { compileToSQL } from './compilers/sql';
+export type { SQLCompileOptions } from './compilers/sql';
+export { JS_HELPERS } from './runtime';
+export { getPrelude } from './preludes';
+export type { Target as PreludeTarget } from './preludes';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,OAAO,CAAC;AACtB,cAAc,UAAU,CAAC;AACzB,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1F,YAAY,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAChG,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,YAAY,EAAE,MAAM,IAAI,aAAa,EAAE,MAAM,YAAY,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,36 @@
+"use strict";
+/**
+ * Elo - A small expression language that compiles to Ruby, JavaScript and PostgreSQL
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getPrelude = exports.JS_HELPERS = exports.compileToSQL = exports.compileToJavaScriptWithMeta = exports.compileToJavaScript = exports.compileToRuby = exports.compile = void 0;
+__exportStar(require("./ast"), exports);
+__exportStar(require("./parser"), exports);
+var compile_1 = require("./compile");
+Object.defineProperty(exports, "compile", { enumerable: true, get: function () { return compile_1.compile; } });
+var ruby_1 = require("./compilers/ruby");
+Object.defineProperty(exports, "compileToRuby", { enumerable: true, get: function () { return ruby_1.compileToRuby; } });
+var javascript_1 = require("./compilers/javascript");
+Object.defineProperty(exports, "compileToJavaScript", { enumerable: true, get: function () { return javascript_1.compileToJavaScript; } });
+Object.defineProperty(exports, "compileToJavaScriptWithMeta", { enumerable: true, get: function () { return javascript_1.compileToJavaScriptWithMeta; } });
+var sql_1 = require("./compilers/sql");
+Object.defineProperty(exports, "compileToSQL", { enumerable: true, get: function () { return sql_1.compileToSQL; } });
+var runtime_1 = require("./runtime");
+Object.defineProperty(exports, "JS_HELPERS", { enumerable: true, get: function () { return runtime_1.JS_HELPERS; } });
+var preludes_1 = require("./preludes");
+Object.defineProperty(exports, "getPrelude", { enumerable: true, get: function () { return preludes_1.getPrelude; } });
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;AAEH,wCAAsB;AACtB,2CAAyB;AACzB,qCAAoC;AAA3B,kGAAA,OAAO,OAAA;AAEhB,yCAAiD;AAAxC,qGAAA,aAAa,OAAA;AAEtB,qDAA0F;AAAjF,iHAAA,mBAAmB,OAAA;AAAE,yHAAA,2BAA2B,OAAA;AAEzD,uCAA+C;AAAtC,mGAAA,YAAY,OAAA;AAErB,qCAAuC;AAA9B,qGAAA,UAAU,OAAA;AACnB,uCAAwC;AAA/B,sGAAA,UAAU,OAAA"}

package/dist/src/ir.d.ts

@@ -0,0 +1,295 @@
+/**
+ * Intermediate Representation (IR) for Elo
+ *
+ * The IR is a typed representation of Elo expressions where:
+ * - Literals carry their type explicitly
+ * - Operators are replaced by typed function calls
+ * - Temporal keywords are replaced by function calls
+ *
+ * This allows target compilers to generate optimal code based on types.
+ */
+import { EloType } from './types';
+/**
+ * IR expression types
+ */
+export type IRExpr = IRIntLiteral | IRFloatLiteral | IRBoolLiteral | IRNullLiteral | IRStringLiteral | IRDateLiteral | IRDateTimeLiteral | IRDurationLiteral | IRObjectLiteral | IRArrayLiteral | IRVariable | IRCall | IRApply | IRLet | IRMemberAccess | IRIf | IRLambda | IRAlternative | IRDataPath | IRTypeDef;
+/**
+ * Integer literal
+ */
+export interface IRIntLiteral {
+    type: 'int_literal';
+    value: number;
+}
+/**
+ * Float literal
+ */
+export interface IRFloatLiteral {
+    type: 'float_literal';
+    value: number;
+}
+/**
+ * Boolean literal
+ */
+export interface IRBoolLiteral {
+    type: 'bool_literal';
+    value: boolean;
+}
+/**
+ * Null literal
+ */
+export interface IRNullLiteral {
+    type: 'null_literal';
+}
+/**
+ * String literal
+ */
+export interface IRStringLiteral {
+    type: 'string_literal';
+    value: string;
+}
+/**
+ * Date literal (ISO8601 date)
+ */
+export interface IRDateLiteral {
+    type: 'date_literal';
+    value: string;
+}
+/**
+ * DateTime literal (ISO8601 datetime)
+ */
+export interface IRDateTimeLiteral {
+    type: 'datetime_literal';
+    value: string;
+}
+/**
+ * Duration literal (ISO8601 duration)
+ */
+export interface IRDurationLiteral {
+    type: 'duration_literal';
+    value: string;
+}
+/**
+ * Object literal property
+ */
+export interface IRObjectProperty {
+    key: string;
+    value: IRExpr;
+}
+/**
+ * Object literal: {key: value, ...}
+ */
+export interface IRObjectLiteral {
+    type: 'object_literal';
+    properties: IRObjectProperty[];
+}
+/**
+ * Array literal: [expr, expr, ...]
+ */
+export interface IRArrayLiteral {
+    type: 'array_literal';
+    elements: IRExpr[];
+}
+/**
+ * Variable reference with inferred type
+ */
+export interface IRVariable {
+    type: 'variable';
+    name: string;
+    inferredType: EloType;
+}
+/**
+ * Function call (includes operators rewritten as functions)
+ *
+ * The fn field contains a simple function name (e.g., 'add', 'sub', 'mul')
+ * rather than a type-mangled name. The argTypes array provides the types
+ * of each argument, allowing compilers to dispatch to the correct implementation.
+ */
+export interface IRCall {
+    type: 'call';
+    fn: string;
+    args: IRExpr[];
+    argTypes: EloType[];
+    resultType: EloType;
+}
+/**
+ * Lambda application (calling a lambda stored in a variable)
+ *
+ * Unlike IRCall which dispatches to stdlib functions, IRApply calls
+ * a lambda expression that's been bound to a variable.
+ */
+export interface IRApply {
+    type: 'apply';
+    fn: IRExpr;
+    args: IRExpr[];
+    argTypes: EloType[];
+    resultType: EloType;
+}
+/**
+ * Let binding
+ */
+export interface IRLetBinding {
+    name: string;
+    value: IRExpr;
+}
+/**
+ * Let expression
+ */
+export interface IRLet {
+    type: 'let';
+    bindings: IRLetBinding[];
+    body: IRExpr;
+}
+/**
+ * Member access (dot notation)
+ */
+export interface IRMemberAccess {
+    type: 'member_access';
+    object: IRExpr;
+    property: string;
+}
+/**
+ * If expression: if condition then consequent else alternative
+ */
+export interface IRIf {
+    type: 'if';
+    condition: IRExpr;
+    then: IRExpr;
+    else: IRExpr;
+}
+/**
+ * Lambda parameter with inferred type
+ */
+export interface IRLambdaParam {
+    name: string;
+    inferredType: EloType;
+}
+/**
+ * Lambda expression: fn( params ~> body )
+ */
+export interface IRLambda {
+    type: 'lambda';
+    params: IRLambdaParam[];
+    body: IRExpr;
+    resultType: EloType;
+}
+/**
+ * Alternative expression: a | b | c
+ * Evaluates alternatives left-to-right, returns first non-null value.
+ */
+export interface IRAlternative {
+    type: 'alternative';
+    alternatives: IRExpr[];
+    resultType: EloType;
+}
+/**
+ * DataPath literal: .x.y.z or .items.0.name
+ * A path for navigating data structures.
+ * Segments can be property names (strings) or array indices (numbers).
+ */
+export interface IRDataPath {
+    type: 'datapath';
+    segments: (string | number)[];
+}
+/**
+ * IR type expression (used in type definitions)
+ */
+export type IRTypeExpr = IRTypeRef | IRTypeSchema | IRSubtypeConstraint | IRArrayType | IRUnionType;
+/**
+ * Reference to a base type
+ */
+export interface IRTypeRef {
+    kind: 'type_ref';
+    name: string;
+}
+/**
+ * Object type schema
+ * extras controls handling of extra attributes:
+ * - undefined/'closed': extra attributes are not allowed (default)
+ * - 'ignored': extra attributes are allowed but not included in output
+ * - IRTypeExpr: extra attributes are allowed and must match this type
+ */
+export interface IRTypeSchema {
+    kind: 'type_schema';
+    properties: IRTypeSchemaProperty[];
+    extras?: 'closed' | 'ignored' | IRTypeExpr;
+}
+/**
+ * Subtype constraint: Int(i | i > 0)
+ */
+export interface IRSubtypeConstraint {
+    kind: 'subtype_constraint';
+    baseType: IRTypeExpr;
+    variable: string;
+    constraint: IRExpr;
+}
+/**
+ * Array type: [Int]
+ */
+export interface IRArrayType {
+    kind: 'array_type';
+    elementType: IRTypeExpr;
+}
+/**
+ * Union type: Int|String
+ * Tries each type in order, returns first successful parse
+ */
+export interface IRUnionType {
+    kind: 'union_type';
+    types: IRTypeExpr[];
+}
+/**
+ * Property in a type schema
+ */
+export interface IRTypeSchemaProperty {
+    key: string;
+    typeExpr: IRTypeExpr;
+    optional?: boolean;
+}
+/**
+ * Type definition: let Person = { name: String, age: Int } in body
+ */
+export interface IRTypeDef {
+    type: 'typedef';
+    name: string;
+    typeExpr: IRTypeExpr;
+    body: IRExpr;
+}
+/**
+ * Factory functions for creating IR nodes
+ */
+export declare function irInt(value: number): IRIntLiteral;
+export declare function irFloat(value: number): IRFloatLiteral;
+export declare function irBool(value: boolean): IRBoolLiteral;
+export declare function irNull(): IRNullLiteral;
+export declare function irString(value: string): IRStringLiteral;
+export declare function irDate(value: string): IRDateLiteral;
+export declare function irDateTime(value: string): IRDateTimeLiteral;
+export declare function irDuration(value: string): IRDurationLiteral;
+export declare function irObject(properties: IRObjectProperty[]): IRObjectLiteral;
+export declare function irArray(elements: IRExpr[]): IRArrayLiteral;
+export declare function irVariable(name: string, inferredType?: EloType): IRVariable;
+export declare function irCall(fn: string, args: IRExpr[], argTypes: EloType[], resultType?: EloType): IRCall;
+export declare function irApply(fn: IRExpr, args: IRExpr[], argTypes: EloType[], resultType?: EloType): IRApply;
+export declare function irLet(bindings: IRLetBinding[], body: IRExpr): IRLet;
+export declare function irMemberAccess(object: IRExpr, property: string): IRMemberAccess;
+export declare function irIf(condition: IRExpr, thenBranch: IRExpr, elseBranch: IRExpr): IRIf;
+export declare function irLambda(params: IRLambdaParam[], body: IRExpr, resultType: EloType): IRLambda;
+export declare function irAlternative(alternatives: IRExpr[], resultType: EloType): IRAlternative;
+export declare function irDataPath(segments: (string | number)[]): IRDataPath;
+export declare function irTypeRef(name: string): IRTypeRef;
+export declare function irTypeSchema(properties: IRTypeSchemaProperty[], extras?: 'closed' | 'ignored' | IRTypeExpr): IRTypeSchema;
+export declare function irSubtypeConstraint(baseType: IRTypeExpr, variable: string, constraint: IRExpr): IRSubtypeConstraint;
+export declare function irArrayType(elementType: IRTypeExpr): IRArrayType;
+export declare function irUnionType(types: IRTypeExpr[]): IRUnionType;
+export declare function irTypeDef(name: string, typeExpr: IRTypeExpr, body: IRExpr): IRTypeDef;
+/**
+ * Infer the type of an IR expression
+ */
+export declare function inferType(ir: IRExpr): EloType;
+/**
+ * Check if an IR expression uses the input variable `_` as a free variable.
+ * This is used to determine if the compiled output needs to be wrapped
+ * as a function taking `_` as a parameter.
+ */
+export declare function usesInput(ir: IRExpr, boundVars?: Set<string>): boolean;
+//# sourceMappingURL=ir.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAS,MAAM,SAAS,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,MAAM,GACd,YAAY,GACZ,cAAc,GACd,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,cAAc,GACd,UAAU,GACV,MAAM,GACN,OAAO,GACP,KAAK,GACL,cAAc,GACd,IAAI,GACJ,QAAQ,GACR,aAAa,GACb,UAAU,GACV,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,KAAK,CAAC;IACZ,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,YAAY,GAAG,mBAAmB,GAAG,WAAW,GAAG,WAAW,CAAC;AAEpG;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,QAAQ,EAAE,UAAU,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,UAAU,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,UAAU,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AAEH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAEjD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,CAErD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAEpD;AAED,wBAAgB,MAAM,IAAI,aAAa,CAEtC;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAEvD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,CAEnD;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAE3D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAE3D;AAED,wBAAgB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,EAAE,GAAG,eAAe,CAExE;AAED,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,cAAc,CAE1D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,GAAE,OAAmB,GAAG,UAAU,CAEtF;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,GAAE,OAAmB,GAAG,MAAM,CAE/G;AAED,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,GAAE,OAAmB,GAAG,OAAO,CAEjH;AAED,wBAAgB,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAEnE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,cAAc,CAE/E;AAED,wBAAgB,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAEpF;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,GAAG,QAAQ,CAE7F;AAED,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,GAAG,aAAa,CAExF;AAED,wBAAgB,UAAU,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,UAAU,CAEpE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAEjD;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,oBAAoB,EAAE,EAAE,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,CAEzH;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,mBAAmB,CAEnH;AAED,wBAAgB,WAAW,CAAC,WAAW,EAAE,UAAU,GAAG,WAAW,CAEhE;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,WAAW,CAE5D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAErF;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CA4C7C;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,OAAO,CAgEjF"}

package/dist/src/ir.js

@@ -0,0 +1,224 @@
+"use strict";
+/**
+ * Intermediate Representation (IR) for Elo
+ *
+ * The IR is a typed representation of Elo expressions where:
+ * - Literals carry their type explicitly
+ * - Operators are replaced by typed function calls
+ * - Temporal keywords are replaced by function calls
+ *
+ * This allows target compilers to generate optimal code based on types.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.irInt = irInt;
+exports.irFloat = irFloat;
+exports.irBool = irBool;
+exports.irNull = irNull;
+exports.irString = irString;
+exports.irDate = irDate;
+exports.irDateTime = irDateTime;
+exports.irDuration = irDuration;
+exports.irObject = irObject;
+exports.irArray = irArray;
+exports.irVariable = irVariable;
+exports.irCall = irCall;
+exports.irApply = irApply;
+exports.irLet = irLet;
+exports.irMemberAccess = irMemberAccess;
+exports.irIf = irIf;
+exports.irLambda = irLambda;
+exports.irAlternative = irAlternative;
+exports.irDataPath = irDataPath;
+exports.irTypeRef = irTypeRef;
+exports.irTypeSchema = irTypeSchema;
+exports.irSubtypeConstraint = irSubtypeConstraint;
+exports.irArrayType = irArrayType;
+exports.irUnionType = irUnionType;
+exports.irTypeDef = irTypeDef;
+exports.inferType = inferType;
+exports.usesInput = usesInput;
+const types_1 = require("./types");
+/**
+ * Factory functions for creating IR nodes
+ */
+function irInt(value) {
+    return { type: 'int_literal', value };
+}
+function irFloat(value) {
+    return { type: 'float_literal', value };
+}
+function irBool(value) {
+    return { type: 'bool_literal', value };
+}
+function irNull() {
+    return { type: 'null_literal' };
+}
+function irString(value) {
+    return { type: 'string_literal', value };
+}
+function irDate(value) {
+    return { type: 'date_literal', value };
+}
+function irDateTime(value) {
+    return { type: 'datetime_literal', value };
+}
+function irDuration(value) {
+    return { type: 'duration_literal', value };
+}
+function irObject(properties) {
+    return { type: 'object_literal', properties };
+}
+function irArray(elements) {
+    return { type: 'array_literal', elements };
+}
+function irVariable(name, inferredType = types_1.Types.any) {
+    return { type: 'variable', name, inferredType };
+}
+function irCall(fn, args, argTypes, resultType = types_1.Types.any) {
+    return { type: 'call', fn, args, argTypes, resultType };
+}
+function irApply(fn, args, argTypes, resultType = types_1.Types.any) {
+    return { type: 'apply', fn, args, argTypes, resultType };
+}
+function irLet(bindings, body) {
+    return { type: 'let', bindings, body };
+}
+function irMemberAccess(object, property) {
+    return { type: 'member_access', object, property };
+}
+function irIf(condition, thenBranch, elseBranch) {
+    return { type: 'if', condition, then: thenBranch, else: elseBranch };
+}
+function irLambda(params, body, resultType) {
+    return { type: 'lambda', params, body, resultType };
+}
+function irAlternative(alternatives, resultType) {
+    return { type: 'alternative', alternatives, resultType };
+}
+function irDataPath(segments) {
+    return { type: 'datapath', segments };
+}
+function irTypeRef(name) {
+    return { kind: 'type_ref', name };
+}
+function irTypeSchema(properties, extras) {
+    return { kind: 'type_schema', properties, extras };
+}
+function irSubtypeConstraint(baseType, variable, constraint) {
+    return { kind: 'subtype_constraint', baseType, variable, constraint };
+}
+function irArrayType(elementType) {
+    return { kind: 'array_type', elementType };
+}
+function irUnionType(types) {
+    return { kind: 'union_type', types };
+}
+function irTypeDef(name, typeExpr, body) {
+    return { type: 'typedef', name, typeExpr, body };
+}
+/**
+ * Infer the type of an IR expression
+ */
+function inferType(ir) {
+    switch (ir.type) {
+        case 'int_literal':
+            return types_1.Types.int;
+        case 'float_literal':
+            return types_1.Types.float;
+        case 'bool_literal':
+            return types_1.Types.bool;
+        case 'null_literal':
+            return types_1.Types.null;
+        case 'string_literal':
+            return types_1.Types.string;
+        case 'date_literal':
+            return types_1.Types.date;
+        case 'datetime_literal':
+            return types_1.Types.datetime;
+        case 'duration_literal':
+            return types_1.Types.duration;
+        case 'object_literal':
+            return types_1.Types.object;
+        case 'array_literal':
+            return types_1.Types.array;
+        case 'variable':
+            return ir.inferredType;
+        case 'call':
+            return ir.resultType;
+        case 'apply':
+            return ir.resultType;
+        case 'let':
+            return inferType(ir.body);
+        case 'member_access':
+            return types_1.Types.any;
+        case 'if':
+            return inferType(ir.then);
+        case 'lambda':
+            return types_1.Types.fn;
+        case 'alternative':
+            return ir.resultType;
+        case 'datapath':
+            return types_1.Types.fn; // DataPath is a function that takes data and returns a value
+        case 'typedef':
+            return inferType(ir.body);
+    }
+}
+/**
+ * Check if an IR expression uses the input variable `_` as a free variable.
+ * This is used to determine if the compiled output needs to be wrapped
+ * as a function taking `_` as a parameter.
+ */
+function usesInput(ir, boundVars = new Set()) {
+    switch (ir.type) {
+        case 'int_literal':
+        case 'float_literal':
+        case 'bool_literal':
+        case 'null_literal':
+        case 'string_literal':
+        case 'date_literal':
+        case 'datetime_literal':
+        case 'duration_literal':
+            return false;
+        case 'variable':
+            return ir.name === '_' && !boundVars.has('_');
+        case 'object_literal':
+            return ir.properties.some(p => usesInput(p.value, boundVars));
+        case 'array_literal':
+            return ir.elements.some(e => usesInput(e, boundVars));
+        case 'member_access':
+            return usesInput(ir.object, boundVars);
+        case 'call':
+            return ir.args.some(arg => usesInput(arg, boundVars));
+        case 'apply':
+            return usesInput(ir.fn, boundVars) || ir.args.some(arg => usesInput(arg, boundVars));
+        case 'let': {
+            // Check binding values with current bound vars
+            const bindingsUseInput = ir.bindings.some(b => usesInput(b.value, boundVars));
+            // Add bound names for body check
+            const newBound = new Set(boundVars);
+            ir.bindings.forEach(b => newBound.add(b.name));
+            return bindingsUseInput || usesInput(ir.body, newBound);
+        }
+        case 'if':
+            return usesInput(ir.condition, boundVars) ||
+                usesInput(ir.then, boundVars) ||
+                usesInput(ir.else, boundVars);
+        case 'lambda': {
+            // Lambda params shadow outer variables
+            const newBound = new Set(boundVars);
+            ir.params.forEach(p => newBound.add(p.name));
+            return usesInput(ir.body, newBound);
+        }
+        case 'alternative':
+            return ir.alternatives.some(alt => usesInput(alt, boundVars));
+        case 'datapath':
+            return false; // DataPath is a pure value, doesn't reference variables
+        case 'typedef': {
+            // Type definitions add the type name to bound vars for the body
+            const newBound = new Set(boundVars);
+            newBound.add(ir.name);
+            return usesInput(ir.body, newBound);
+        }
+    }
+}
+//# sourceMappingURL=ir.js.map

package/dist/src/ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AAgTH,sBAEC;AAED,0BAEC;AAED,wBAEC;AAED,wBAEC;AAED,4BAEC;AAED,wBAEC;AAED,gCAEC;AAED,gCAEC;AAED,4BAEC;AAED,0BAEC;AAED,gCAEC;AAED,wBAEC;AAED,0BAEC;AAED,sBAEC;AAED,wCAEC;AAED,oBAEC;AAED,4BAEC;AAED,sCAEC;AAED,gCAEC;AAED,8BAEC;AAED,oCAEC;AAED,kDAEC;AAED,kCAEC;AAED,kCAEC;AAED,8BAEC;AAKD,8BA4CC;AAOD,8BAgEC;AAxgBD,mCAAyC;AA0SzC;;GAEG;AAEH,SAAgB,KAAK,CAAC,KAAa;IACjC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,SAAgB,OAAO,CAAC,KAAa;IACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAgB,MAAM,CAAC,KAAc;IACnC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,MAAM;IACpB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAClC,CAAC;AAED,SAAgB,QAAQ,CAAC,KAAa;IACpC,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAgB,MAAM,CAAC,KAAa;IAClC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,UAAU,CAAC,KAAa;IACtC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,UAAU,CAAC,KAAa;IACtC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,QAAQ,CAAC,UAA8B;IACrD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC;AAED,SAAgB,OAAO,CAAC,QAAkB;IACxC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,UAAU,CAAC,IAAY,EAAE,eAAwB,aAAK,CAAC,GAAG;IACxE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAClD,CAAC;AAED,SAAgB,MAAM,CAAC,EAAU,EAAE,IAAc,EAAE,QAAmB,EAAE,aAAsB,aAAK,CAAC,GAAG;IACrG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC1D,CAAC;AAED,SAAgB,OAAO,CAAC,EAAU,EAAE,IAAc,EAAE,QAAmB,EAAE,aAAsB,aAAK,CAAC,GAAG;IACtG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,SAAgB,KAAK,CAAC,QAAwB,EAAE,IAAY;IAC1D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,cAAc,CAAC,MAAc,EAAE,QAAgB;IAC7D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAgB,IAAI,CAAC,SAAiB,EAAE,UAAkB,EAAE,UAAkB;IAC5E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACvE,CAAC;AAED,SAAgB,QAAQ,CAAC,MAAuB,EAAE,IAAY,EAAE,UAAmB;IACjF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACtD,CAAC;AAED,SAAgB,aAAa,CAAC,YAAsB,EAAE,UAAmB;IACvE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,SAAgB,UAAU,CAAC,QAA6B;IACtD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAED,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,SAAgB,YAAY,CAAC,UAAkC,EAAE,MAA0C;IACzG,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,SAAgB,mBAAmB,CAAC,QAAoB,EAAE,QAAgB,EAAE,UAAkB;IAC5F,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACxE,CAAC;AAED,SAAgB,WAAW,CAAC,WAAuB;IACjD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,WAAW,CAAC,KAAmB;IAC7C,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,SAAgB,SAAS,CAAC,IAAY,EAAE,QAAoB,EAAE,IAAY;IACxE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,SAAgB,SAAS,CAAC,EAAU;IAClC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa;YAChB,OAAO,aAAK,CAAC,GAAG,CAAC;QACnB,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,KAAK,CAAC;QACrB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,gBAAgB;YACnB,OAAO,aAAK,CAAC,MAAM,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,aAAK,CAAC,QAAQ,CAAC;QACxB,KAAK,kBAAkB;YACrB,OAAO,aAAK,CAAC,QAAQ,CAAC;QACxB,KAAK,gBAAgB;YACnB,OAAO,aAAK,CAAC,MAAM,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,KAAK,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,YAAY,CAAC;QACzB,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,GAAG,CAAC;QACnB,KAAK,IAAI;YACP,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,aAAK,CAAC,EAAE,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,UAAU;YACb,OAAO,aAAK,CAAC,EAAE,CAAC,CAAE,6DAA6D;QAEjF,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAC,EAAU,EAAE,YAAyB,IAAI,GAAG,EAAE;IACtE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB,CAAC;QACxB,KAAK,kBAAkB;YACrB,OAAO,KAAK,CAAC;QAEf,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEhD,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAEhE,KAAK,eAAe;YAClB,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAExD,KAAK,eAAe;YAClB,OAAO,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEzC,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAExD,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAEvF,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,+CAA+C;YAC/C,MAAM,gBAAgB,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9E,iCAAiC;YACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/C,OAAO,gBAAgB,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1D,CAAC;QAED,KAAK,IAAI;YACP,OAAO,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAClC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC;gBAC7B,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAEvC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,uCAAuC;YACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7C,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAEhE,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,CAAE,wDAAwD;QAEzE,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,gEAAgE;YAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;AACH,CAAC"}