@enspirit/elo 0.9.0

package/dist/src/typedefs.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Type Definitions for Elo
+ *
+ * This module defines the type signatures for Elo's stdlib functions and operators.
+ * It provides a central registry for looking up result types based on function name
+ * and argument types.
+ *
+ * This information is language-agnostic and used by the transform phase for type inference.
+ */
+import { EloType } from './types';
+/**
+ * A type signature definition: maps argument types to result type
+ */
+export interface TypeSignature {
+    argTypes: EloType[];
+    resultType: EloType;
+}
+/**
+ * Registry of type definitions for functions and operators
+ */
+export declare class TypeDefs {
+    private signatures;
+    private fallback;
+    /**
+     * Register a type signature for a function
+     */
+    register(name: string, argTypes: EloType[], resultType: EloType): this;
+    /**
+     * Register a fallback for unmatched signatures
+     */
+    registerFallback(handler: (name: string, argTypes: EloType[]) => EloType): this;
+    /**
+     * Look up the result type for a function call.
+     * Tries progressively more general type signatures before falling back.
+     */
+    lookup(name: string, argTypes: EloType[]): EloType;
+    /**
+     * Check if a function signature is registered
+     */
+    has(name: string, argTypes: EloType[]): boolean;
+}
+/**
+ * Create the standard Elo type definitions
+ */
+export declare function createTypeDefs(): TypeDefs;
+/**
+ * Default type definitions instance
+ */
+export declare const eloTypeDefs: TypeDefs;
+//# sourceMappingURL=typedefs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typedefs.d.ts","sourceRoot":"","sources":["../../src/typedefs.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,OAAO,EAAqB,MAAM,SAAS,CAAC;AAGrD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,qBAAa,QAAQ;IACnB,OAAO,CAAC,UAAU,CAAmC;IACrD,OAAO,CAAC,QAAQ,CAAiE;IAEjF;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,GAAG,IAAI;IAMtE;;OAEG;IACH,gBAAgB,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,OAAO,GAAG,IAAI;IAK/E;;;OAGG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,OAAO;IAYlD;;OAEG;IACH,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,OAAO;CAOhD;AAED;;GAEG;AACH,wBAAgB,cAAc,IAAI,QAAQ,CA8PzC;AAED;;GAEG;AACH,eAAO,MAAM,WAAW,UAAmB,CAAC"}

package/dist/src/typedefs.js

@@ -0,0 +1,294 @@
+"use strict";
+/**
+ * Type Definitions for Elo
+ *
+ * This module defines the type signatures for Elo's stdlib functions and operators.
+ * It provides a central registry for looking up result types based on function name
+ * and argument types.
+ *
+ * This information is language-agnostic and used by the transform phase for type inference.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.eloTypeDefs = exports.TypeDefs = void 0;
+exports.createTypeDefs = createTypeDefs;
+const types_1 = require("./types");
+const stdlib_1 = require("./stdlib");
+/**
+ * Registry of type definitions for functions and operators
+ */
+class TypeDefs {
+    constructor() {
+        this.signatures = new Map();
+        this.fallback = null;
+    }
+    /**
+     * Register a type signature for a function
+     */
+    register(name, argTypes, resultType) {
+        const key = (0, stdlib_1.signatureKey)(name, argTypes);
+        this.signatures.set(key, resultType);
+        return this;
+    }
+    /**
+     * Register a fallback for unmatched signatures
+     */
+    registerFallback(handler) {
+        this.fallback = handler;
+        return this;
+    }
+    /**
+     * Look up the result type for a function call.
+     * Tries progressively more general type signatures before falling back.
+     */
+    lookup(name, argTypes) {
+        for (const generalized of (0, stdlib_1.typeGeneralizations)(argTypes)) {
+            const key = (0, stdlib_1.signatureKey)(name, generalized);
+            const resultType = this.signatures.get(key);
+            if (resultType)
+                return resultType;
+        }
+        if (this.fallback) {
+            return this.fallback(name, argTypes);
+        }
+        return types_1.Types.any;
+    }
+    /**
+     * Check if a function signature is registered
+     */
+    has(name, argTypes) {
+        for (const generalized of (0, stdlib_1.typeGeneralizations)(argTypes)) {
+            const key = (0, stdlib_1.signatureKey)(name, generalized);
+            if (this.signatures.has(key))
+                return true;
+        }
+        return false;
+    }
+}
+exports.TypeDefs = TypeDefs;
+/**
+ * Create the standard Elo type definitions
+ */
+function createTypeDefs() {
+    const defs = new TypeDefs();
+    // ============================================
+    // Nullary functions (temporal)
+    // ============================================
+    defs.register('today', [], types_1.Types.date);
+    defs.register('now', [], types_1.Types.datetime);
+    // ============================================
+    // Period boundary functions (datetime -> datetime)
+    // ============================================
+    const periodBoundaryFns = [
+        'start_of_day', 'end_of_day',
+        'start_of_week', 'end_of_week',
+        'start_of_month', 'end_of_month',
+        'start_of_quarter', 'end_of_quarter',
+        'start_of_year', 'end_of_year',
+    ];
+    for (const fn of periodBoundaryFns) {
+        defs.register(fn, [types_1.Types.datetime], types_1.Types.datetime);
+    }
+    // ============================================
+    // Arithmetic operators
+    // ============================================
+    // int op int -> int (except division)
+    defs.register('add', [types_1.Types.int, types_1.Types.int], types_1.Types.int);
+    defs.register('sub', [types_1.Types.int, types_1.Types.int], types_1.Types.int);
+    defs.register('mul', [types_1.Types.int, types_1.Types.int], types_1.Types.int);
+    defs.register('div', [types_1.Types.int, types_1.Types.int], types_1.Types.float); // division always returns float
+    defs.register('mod', [types_1.Types.int, types_1.Types.int], types_1.Types.int);
+    defs.register('pow', [types_1.Types.int, types_1.Types.int], types_1.Types.int);
+    // float involved -> float
+    defs.register('add', [types_1.Types.float, types_1.Types.float], types_1.Types.float);
+    defs.register('sub', [types_1.Types.float, types_1.Types.float], types_1.Types.float);
+    defs.register('mul', [types_1.Types.float, types_1.Types.float], types_1.Types.float);
+    defs.register('div', [types_1.Types.float, types_1.Types.float], types_1.Types.float);
+    defs.register('mod', [types_1.Types.float, types_1.Types.float], types_1.Types.float);
+    defs.register('pow', [types_1.Types.float, types_1.Types.float], types_1.Types.float);
+    defs.register('add', [types_1.Types.int, types_1.Types.float], types_1.Types.float);
+    defs.register('sub', [types_1.Types.int, types_1.Types.float], types_1.Types.float);
+    defs.register('mul', [types_1.Types.int, types_1.Types.float], types_1.Types.float);
+    defs.register('div', [types_1.Types.int, types_1.Types.float], types_1.Types.float);
+    defs.register('mod', [types_1.Types.int, types_1.Types.float], types_1.Types.float);
+    defs.register('pow', [types_1.Types.int, types_1.Types.float], types_1.Types.float);
+    defs.register('add', [types_1.Types.float, types_1.Types.int], types_1.Types.float);
+    defs.register('sub', [types_1.Types.float, types_1.Types.int], types_1.Types.float);
+    defs.register('mul', [types_1.Types.float, types_1.Types.int], types_1.Types.float);
+    defs.register('div', [types_1.Types.float, types_1.Types.int], types_1.Types.float);
+    defs.register('mod', [types_1.Types.float, types_1.Types.int], types_1.Types.float);
+    defs.register('pow', [types_1.Types.float, types_1.Types.int], types_1.Types.float);
+    // String concatenation
+    defs.register('add', [types_1.Types.string, types_1.Types.string], types_1.Types.string);
+    // String multiplication (repeat)
+    defs.register('mul', [types_1.Types.string, types_1.Types.int], types_1.Types.string);
+    defs.register('mul', [types_1.Types.int, types_1.Types.string], types_1.Types.string);
+    // List concatenation
+    defs.register('add', [types_1.Types.array, types_1.Types.array], types_1.Types.array);
+    // ============================================
+    // Temporal arithmetic
+    // ============================================
+    // date + duration -> date
+    defs.register('add', [types_1.Types.date, types_1.Types.duration], types_1.Types.date);
+    // date - duration -> date
+    defs.register('sub', [types_1.Types.date, types_1.Types.duration], types_1.Types.date);
+    // date - date -> duration
+    defs.register('sub', [types_1.Types.date, types_1.Types.date], types_1.Types.duration);
+    // datetime + duration -> datetime
+    defs.register('add', [types_1.Types.datetime, types_1.Types.duration], types_1.Types.datetime);
+    // datetime - duration -> datetime
+    defs.register('sub', [types_1.Types.datetime, types_1.Types.duration], types_1.Types.datetime);
+    // duration + duration -> duration
+    defs.register('add', [types_1.Types.duration, types_1.Types.duration], types_1.Types.duration);
+    // duration + date -> date (commutative)
+    defs.register('add', [types_1.Types.duration, types_1.Types.date], types_1.Types.date);
+    // duration + datetime -> datetime (commutative)
+    defs.register('add', [types_1.Types.duration, types_1.Types.datetime], types_1.Types.datetime);
+    // duration * number -> duration (scaling)
+    defs.register('mul', [types_1.Types.duration, types_1.Types.int], types_1.Types.duration);
+    defs.register('mul', [types_1.Types.duration, types_1.Types.float], types_1.Types.duration);
+    defs.register('mul', [types_1.Types.int, types_1.Types.duration], types_1.Types.duration);
+    defs.register('mul', [types_1.Types.float, types_1.Types.duration], types_1.Types.duration);
+    // duration / number -> duration (scaling)
+    defs.register('div', [types_1.Types.duration, types_1.Types.int], types_1.Types.duration);
+    defs.register('div', [types_1.Types.duration, types_1.Types.float], types_1.Types.duration);
+    // ============================================
+    // Comparison operators -> bool
+    // ============================================
+    defs.register('lt', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    defs.register('gt', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    defs.register('lte', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    defs.register('gte', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    defs.register('eq', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    defs.register('neq', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    // ============================================
+    // Logical operators -> bool
+    // ============================================
+    defs.register('and', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    defs.register('or', [types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    // ============================================
+    // Unary operators
+    // ============================================
+    defs.register('neg', [types_1.Types.int], types_1.Types.int);
+    defs.register('neg', [types_1.Types.float], types_1.Types.float);
+    defs.register('pos', [types_1.Types.int], types_1.Types.int);
+    defs.register('pos', [types_1.Types.float], types_1.Types.float);
+    defs.register('not', [types_1.Types.bool], types_1.Types.bool);
+    // Note: not(any) returns any to match old behavior (unknown operand = unknown result)
+    // ============================================
+    // Numeric functions
+    // ============================================
+    defs.register('abs', [types_1.Types.int], types_1.Types.int);
+    defs.register('abs', [types_1.Types.float], types_1.Types.float);
+    defs.register('round', [types_1.Types.int], types_1.Types.int);
+    defs.register('round', [types_1.Types.float], types_1.Types.int);
+    defs.register('floor', [types_1.Types.int], types_1.Types.int);
+    defs.register('floor', [types_1.Types.float], types_1.Types.int);
+    defs.register('ceil', [types_1.Types.int], types_1.Types.int);
+    defs.register('ceil', [types_1.Types.float], types_1.Types.int);
+    // ============================================
+    // Temporal component extraction (-> int)
+    // ============================================
+    defs.register('year', [types_1.Types.date], types_1.Types.int);
+    defs.register('year', [types_1.Types.datetime], types_1.Types.int);
+    defs.register('month', [types_1.Types.date], types_1.Types.int);
+    defs.register('month', [types_1.Types.datetime], types_1.Types.int);
+    defs.register('day', [types_1.Types.date], types_1.Types.int);
+    defs.register('day', [types_1.Types.datetime], types_1.Types.int);
+    defs.register('hour', [types_1.Types.datetime], types_1.Types.int);
+    defs.register('minute', [types_1.Types.datetime], types_1.Types.int);
+    // ============================================
+    // String functions
+    // ============================================
+    defs.register('length', [types_1.Types.string], types_1.Types.int);
+    defs.register('upper', [types_1.Types.string], types_1.Types.string);
+    defs.register('lower', [types_1.Types.string], types_1.Types.string);
+    defs.register('trim', [types_1.Types.string], types_1.Types.string);
+    defs.register('startsWith', [types_1.Types.string, types_1.Types.string], types_1.Types.bool);
+    defs.register('endsWith', [types_1.Types.string, types_1.Types.string], types_1.Types.bool);
+    defs.register('contains', [types_1.Types.string, types_1.Types.string], types_1.Types.bool);
+    defs.register('isEmpty', [types_1.Types.string], types_1.Types.bool);
+    defs.register('substring', [types_1.Types.string, types_1.Types.int, types_1.Types.int], types_1.Types.string);
+    defs.register('concat', [types_1.Types.string, types_1.Types.string], types_1.Types.string);
+    defs.register('indexOf', [types_1.Types.string, types_1.Types.string], types_1.Types.any); // Int or null
+    defs.register('replace', [types_1.Types.string, types_1.Types.string, types_1.Types.string], types_1.Types.string);
+    defs.register('replaceAll', [types_1.Types.string, types_1.Types.string, types_1.Types.string], types_1.Types.string);
+    defs.register('padStart', [types_1.Types.string, types_1.Types.int, types_1.Types.string], types_1.Types.string);
+    defs.register('padEnd', [types_1.Types.string, types_1.Types.int, types_1.Types.string], types_1.Types.string);
+    // ============================================
+    // Array functions
+    // ============================================
+    defs.register('length', [types_1.Types.array], types_1.Types.int);
+    defs.register('at', [types_1.Types.array, types_1.Types.int], types_1.Types.any);
+    defs.register('first', [types_1.Types.array], types_1.Types.any);
+    defs.register('last', [types_1.Types.array], types_1.Types.any);
+    defs.register('isEmpty', [types_1.Types.array], types_1.Types.bool);
+    defs.register('map', [types_1.Types.array, types_1.Types.fn], types_1.Types.array);
+    defs.register('filter', [types_1.Types.array, types_1.Types.fn], types_1.Types.array);
+    defs.register('reduce', [types_1.Types.array, types_1.Types.any, types_1.Types.fn], types_1.Types.any);
+    defs.register('any', [types_1.Types.array, types_1.Types.fn], types_1.Types.bool);
+    defs.register('all', [types_1.Types.array, types_1.Types.fn], types_1.Types.bool);
+    // ============================================
+    // Assert function -> bool
+    // ============================================
+    defs.register('assert', [types_1.Types.bool], types_1.Types.bool);
+    defs.register('assert', [types_1.Types.bool, types_1.Types.string], types_1.Types.bool);
+    defs.register('assert', [types_1.Types.any], types_1.Types.bool);
+    defs.register('assert', [types_1.Types.any, types_1.Types.string], types_1.Types.bool);
+    defs.register('assertFails', [types_1.Types.fn], types_1.Types.bool);
+    // ============================================
+    // Range membership functions -> bool
+    // ============================================
+    defs.register('in_range_inclusive', [types_1.Types.any, types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    defs.register('in_range_exclusive', [types_1.Types.any, types_1.Types.any, types_1.Types.any], types_1.Types.bool);
+    // ============================================
+    // Type introspection -> string
+    // ============================================
+    defs.register('typeOf', [types_1.Types.any], types_1.Types.string);
+    // ============================================
+    // Null handling
+    // ============================================
+    // isNull(x) - returns true if x is null/undefined/nil
+    defs.register('isNull', [types_1.Types.any], types_1.Types.bool);
+    // ============================================
+    // Error handling
+    // ============================================
+    // fail(message) - throws an error with the given message (never returns)
+    defs.register('fail', [types_1.Types.string], types_1.Types.any);
+    // ============================================
+    // Type selectors (information contracts)
+    // ============================================
+    // Int(x) - coerce to Int, returns null on failure
+    defs.register('Int', [types_1.Types.int], types_1.Types.int);
+    defs.register('Int', [types_1.Types.float], types_1.Types.int);
+    defs.register('Int', [types_1.Types.string], types_1.Types.any); // may return null
+    defs.register('Int', [types_1.Types.any], types_1.Types.any);
+    // Float(x) - coerce to Float, returns null on failure
+    defs.register('Float', [types_1.Types.float], types_1.Types.float);
+    defs.register('Float', [types_1.Types.int], types_1.Types.float);
+    defs.register('Float', [types_1.Types.string], types_1.Types.any); // may return null
+    defs.register('Float', [types_1.Types.any], types_1.Types.any);
+    // Bool(x) - coerce to Bool, returns null on failure
+    defs.register('Bool', [types_1.Types.bool], types_1.Types.bool);
+    defs.register('Bool', [types_1.Types.string], types_1.Types.any); // may return null
+    defs.register('Bool', [types_1.Types.any], types_1.Types.any);
+    // Date(x) - coerce to Date, returns null on failure
+    defs.register('Date', [types_1.Types.date], types_1.Types.date);
+    defs.register('Date', [types_1.Types.string], types_1.Types.any); // may return null
+    defs.register('Date', [types_1.Types.any], types_1.Types.any);
+    // Datetime(x) - coerce to Datetime, returns null on failure
+    defs.register('Datetime', [types_1.Types.datetime], types_1.Types.datetime);
+    defs.register('Datetime', [types_1.Types.string], types_1.Types.any); // may return null
+    defs.register('Datetime', [types_1.Types.any], types_1.Types.any);
+    // Duration(x) - coerce to Duration, returns null on failure
+    defs.register('Duration', [types_1.Types.duration], types_1.Types.duration);
+    defs.register('Duration', [types_1.Types.string], types_1.Types.any); // may return null
+    defs.register('Duration', [types_1.Types.any], types_1.Types.any);
+    // Fallback: unknown functions return any
+    defs.registerFallback(() => types_1.Types.any);
+    return defs;
+}
+/**
+ * Default type definitions instance
+ */
+exports.eloTypeDefs = createTypeDefs();
+//# sourceMappingURL=typedefs.js.map

package/dist/src/typedefs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typedefs.js","sourceRoot":"","sources":["../../src/typedefs.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAoEH,wCA8PC;AAhUD,mCAAqD;AACrD,qCAA6D;AAU7D;;GAEG;AACH,MAAa,QAAQ;IAArB;QACU,eAAU,GAAyB,IAAI,GAAG,EAAE,CAAC;QAC7C,aAAQ,GAA4D,IAAI,CAAC;IA6CnF,CAAC;IA3CC;;OAEG;IACH,QAAQ,CAAC,IAAY,EAAE,QAAmB,EAAE,UAAmB;QAC7D,MAAM,GAAG,GAAG,IAAA,qBAAY,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,OAAuD;QACtE,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,IAAY,EAAE,QAAmB;QACtC,KAAK,MAAM,WAAW,IAAI,IAAA,4BAAmB,EAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,IAAA,qBAAY,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5C,IAAI,UAAU;gBAAE,OAAO,UAAU,CAAC;QACpC,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,aAAK,CAAC,GAAG,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,GAAG,CAAC,IAAY,EAAE,QAAmB;QACnC,KAAK,MAAM,WAAW,IAAI,IAAA,4BAAmB,EAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,IAAA,qBAAY,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5C,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC5C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AA/CD,4BA+CC;AAED;;GAEG;AACH,SAAgB,cAAc;IAC5B,MAAM,IAAI,GAAG,IAAI,QAAQ,EAAE,CAAC;IAE5B,+CAA+C;IAC/C,+BAA+B;IAC/B,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAEzC,+CAA+C;IAC/C,mDAAmD;IACnD,+CAA+C;IAC/C,MAAM,iBAAiB,GAAG;QACxB,cAAc,EAAE,YAAY;QAC5B,eAAe,EAAE,aAAa;QAC9B,gBAAgB,EAAE,cAAc;QAChC,kBAAkB,EAAE,gBAAgB;QACpC,eAAe,EAAE,aAAa;KAC/B,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IACtD,CAAC;IAED,+CAA+C;IAC/C,uBAAuB;IACvB,+CAA+C;IAE/C,sCAAsC;IACtC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC,CAAC,gCAAgC;IAC3F,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAExD,0BAA0B;IAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAE9D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAE5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAE5D,uBAAuB;IACvB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IAEjE,iCAAiC;IACjC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IAE9D,qBAAqB;IACrB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAE9D,+CAA+C;IAC/C,sBAAsB;IACtB,+CAA+C;IAE/C,0BAA0B;IAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,IAAI,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAC/D,0BAA0B;IAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,IAAI,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAC/D,0BAA0B;IAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,IAAI,EAAE,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAE/D,kCAAkC;IAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IACvE,kCAAkC;IAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAEvE,kCAAkC;IAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IACvE,wCAAwC;IACxC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAC/D,gDAAgD;IAChD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAEvE,0CAA0C;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAEpE,0CAA0C;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,EAAE,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAEpE,+CAA+C;IAC/C,+BAA+B;IAC/B,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAEzD,+CAA+C;IAC/C,4BAA4B;IAC5B,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAExD,+CAA+C;IAC/C,kBAAkB;IAClB,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAC/C,sFAAsF;IAEtF,+CAA+C;IAC/C,oBAAoB;IACpB,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAEhD,+CAA+C;IAC/C,yCAAyC;IACzC,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAErD,+CAA+C;IAC/C,mBAAmB;IACnB,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACtE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IAC/E,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc;IACjF,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IACnF,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IACtF,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IACjF,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,MAAM,EAAE,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IAE/E,+CAA+C;IAC/C,kBAAkB;IAClB,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,EAAE,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,EAAE,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,EAAE,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IACvE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,EAAE,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,EAAE,aAAK,CAAC,EAAE,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAE1D,+CAA+C;IAC/C,0BAA0B;IAC1B,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,IAAI,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,aAAK,CAAC,EAAE,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAErD,+CAA+C;IAC/C,qCAAqC;IACrC,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IACnF,IAAI,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,EAAE,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAEnF,+CAA+C;IAC/C,+BAA+B;IAC/B,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC;IAEnD,+CAA+C;IAC/C,gBAAgB;IAChB,+CAA+C;IAC/C,sDAAsD;IACtD,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAEjD,+CAA+C;IAC/C,iBAAiB;IACjB,+CAA+C;IAC/C,yEAAyE;IACzE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAEjD,+CAA+C;IAC/C,yCAAyC;IACzC,+CAA+C;IAC/C,kDAAkD;IAClD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;IACnE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAE7C,sDAAsD;IACtD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,KAAK,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;IACrE,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAE/C,oDAAoD;IACpD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;IACpE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAE9C,oDAAoD;IACpD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,IAAI,CAAC,EAAE,aAAK,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;IACpE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAE9C,4DAA4D;IAC5D,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;IACxE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAElD,4DAA4D;IAC5D,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,QAAQ,CAAC,EAAE,aAAK,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,MAAM,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;IACxE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,EAAE,aAAK,CAAC,GAAG,CAAC,CAAC;IAElD,yCAAyC;IACzC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC,aAAK,CAAC,GAAG,CAAC,CAAC;IAEvC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACU,QAAA,WAAW,GAAG,cAAc,EAAE,CAAC"}

package/dist/src/types.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Elo type system
+ *
+ * Represents the types that Elo expressions can have.
+ * Used by the IR transformation phase to generate typed function calls.
+ */
+/**
+ * Primitive type kinds in Elo
+ */
+export type TypeKind = 'int' | 'float' | 'bool' | 'null' | 'string' | 'date' | 'datetime' | 'duration' | 'fn' | 'object' | 'array' | 'any';
+/**
+ * A Elo type
+ */
+export interface EloType {
+    kind: TypeKind;
+}
+/**
+ * Type constants for convenience
+ */
+export declare const Types: {
+    readonly int: EloType;
+    readonly float: EloType;
+    readonly bool: EloType;
+    readonly null: EloType;
+    readonly string: EloType;
+    readonly date: EloType;
+    readonly datetime: EloType;
+    readonly duration: EloType;
+    readonly fn: EloType;
+    readonly object: EloType;
+    readonly array: EloType;
+    readonly any: EloType;
+};
+/**
+ * Check if two types are equal
+ */
+export declare function typeEquals(a: EloType, b: EloType): boolean;
+/**
+ * Check if a type is numeric (int or float)
+ */
+export declare function isNumeric(t: EloType): boolean;
+/**
+ * Check if a type is temporal (date, datetime, or duration)
+ */
+export declare function isTemporal(t: EloType): boolean;
+/**
+ * Check if a type is known (not 'any')
+ */
+export declare function isKnown(t: EloType): boolean;
+/**
+ * Get a string representation of a type for function naming
+ */
+export declare function typeName(t: EloType): string;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,GAAG,UAAU,GAAG,IAAI,GAAG,QAAQ,GAAG,OAAO,GAAG,KAAK,CAAC;AAE3I;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED;;GAEG;AACH,eAAO,MAAM,KAAK;kBACQ,OAAO;oBACH,OAAO;mBACT,OAAO;mBACP,OAAO;qBACH,OAAO;mBACX,OAAO;uBACC,OAAO;uBACP,OAAO;iBACnB,OAAO;qBACC,OAAO;oBACT,OAAO;kBACX,OAAO;CACvB,CAAC;AAEX;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAE1D;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAE7C;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAE9C;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAE3C;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAE3C"}

package/dist/src/types.js

@@ -0,0 +1,62 @@
+"use strict";
+/**
+ * Elo type system
+ *
+ * Represents the types that Elo expressions can have.
+ * Used by the IR transformation phase to generate typed function calls.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Types = void 0;
+exports.typeEquals = typeEquals;
+exports.isNumeric = isNumeric;
+exports.isTemporal = isTemporal;
+exports.isKnown = isKnown;
+exports.typeName = typeName;
+/**
+ * Type constants for convenience
+ */
+exports.Types = {
+    int: { kind: 'int' },
+    float: { kind: 'float' },
+    bool: { kind: 'bool' },
+    null: { kind: 'null' },
+    string: { kind: 'string' },
+    date: { kind: 'date' },
+    datetime: { kind: 'datetime' },
+    duration: { kind: 'duration' },
+    fn: { kind: 'fn' },
+    object: { kind: 'object' },
+    array: { kind: 'array' },
+    any: { kind: 'any' },
+};
+/**
+ * Check if two types are equal
+ */
+function typeEquals(a, b) {
+    return a.kind === b.kind;
+}
+/**
+ * Check if a type is numeric (int or float)
+ */
+function isNumeric(t) {
+    return t.kind === 'int' || t.kind === 'float';
+}
+/**
+ * Check if a type is temporal (date, datetime, or duration)
+ */
+function isTemporal(t) {
+    return t.kind === 'date' || t.kind === 'datetime' || t.kind === 'duration';
+}
+/**
+ * Check if a type is known (not 'any')
+ */
+function isKnown(t) {
+    return t.kind !== 'any';
+}
+/**
+ * Get a string representation of a type for function naming
+ */
+function typeName(t) {
+    return t.kind;
+}
+//# sourceMappingURL=types.js.map

package/dist/src/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAmCH,gCAEC;AAKD,8BAEC;AAKD,gCAEC;AAKD,0BAEC;AAKD,4BAEC;AAnDD;;GAEG;AACU,QAAA,KAAK,GAAG;IACnB,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAa;IAC/B,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAa;IACnC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAa;IACjC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAa;IACjC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAa;IACrC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAa;IACjC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAa;IACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAa;IACzC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAa;IAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAa;IACrC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAa;IACnC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAa;CACvB,CAAC;AAEX;;GAEG;AACH,SAAgB,UAAU,CAAC,CAAU,EAAE,CAAU;IAC/C,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,SAAgB,SAAS,CAAC,CAAU;IAClC,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AAChD,CAAC;AAED;;GAEG;AACH,SAAgB,UAAU,CAAC,CAAU;IACnC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;AAC7E,CAAC;AAED;;GAEG;AACH,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,QAAQ,CAAC,CAAU;IACjC,OAAO,CAAC,CAAC,IAAI,CAAC;AAChB,CAAC"}

package/package.json

@@ -0,0 +1,66 @@
+{
+  "name": "@enspirit/elo",
+  "version": "0.9.0",
+  "description": "A small expression language that compiles to Ruby, Javascript and PostgreSQL",
+  "main": "dist/src/index.js",
+  "types": "dist/src/index.d.ts",
+  "files": [
+    "dist/src",
+    "bin"
+  ],
+  "bin": {
+    "eloc": "./bin/eloc"
+  },
+  "scripts": {
+    "build": "tsc",
+    "watch": "tsc --watch",
+    "test": "npm run test:unit && npm run test:integration && npm run test:acceptance",
+    "test:unit": "npm run build && node --test 'dist/test/unit/*.unit.test.js' 'dist/test/unit/**/*.unit.test.js'",
+    "test:integration": "npm run build && node --test 'dist/test/integration/*.integration.test.js' 'dist/test/integration/**/*.integration.test.js'",
+    "test:acceptance": "./test/acceptance/test-all.sh",
+    "test:watch": "tsc --watch & node --test --watch --test-only dist/**/*.test.js",
+    "docker:up": "docker compose up -d",
+    "docker:down": "docker compose down",
+    "docker:logs": "docker compose logs -f",
+    "fixtures:regenerate": "./scripts/regenerate-fixtures.sh",
+    "build:web": "cd web && npm run build",
+    "dev:web": "cd web && npm run dev"
+  },
+  "keywords": [
+    "compiler",
+    "expression",
+    "multi-target"
+  ],
+  "author": "",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/enspirit/elo.git"
+  },
+  "homepage": "https://elo-lang.org",
+  "bugs": {
+    "url": "https://github.com/enspirit/elo/issues"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "luxon": "^3.5.0"
+  },
+  "devDependencies": {
+    "@codemirror/autocomplete": "^6.20.0",
+    "@codemirror/commands": "^6.10.1",
+    "@codemirror/language": "^6.12.1",
+    "@codemirror/state": "^6.5.3",
+    "@codemirror/view": "^6.39.7",
+    "@hotwired/stimulus": "^3.2.2",
+    "@lezer/highlight": "^1.2.3",
+    "@types/luxon": "^3.4.0",
+    "@types/node": "^20.10.0",
+    "@types/pg": "^8.10.0",
+    "codemirror": "^6.0.2",
+    "esbuild": "^0.24.0",
+    "pg": "^8.11.0",
+    "typescript": "^5.3.0"
+  }
+}