@virune/compiler 1.1.0-rc.0

package/dist/src/checker/type-operations.js

@@ -0,0 +1,268 @@
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+import { TypeArena } from '../types/types.js';
+/** Pure type-relation and substitution operations shared by checker phases. */
+export class TypeOperations {
+    #arena;
+    #diagnostics;
+    constructor(options) {
+        this.#arena = options.arena;
+        this.#diagnostics = options.diagnostics;
+    }
+    isAssignable(source, target) {
+        if (source === this.#arena.error || target === this.#arena.error || this.#arena.equals(source, target) || source === this.#arena.never || target === this.#arena.unknown)
+            return true;
+        const targetType = this.#arena.get(target);
+        if (targetType.kind === 'option' && this.isAssignable(source, targetType.value))
+            return true;
+        const sourceType = this.#arena.get(source);
+        if (sourceType.kind === 'function' && targetType.kind === 'function') {
+            if (sourceType.async !== targetType.async || sourceType.parameters.length !== targetType.parameters.length)
+                return false;
+            if (!sourceType.parameters.every((parameter, index) => this.isAssignable(targetType.parameters[index], parameter)))
+                return false;
+            if (!this.isAssignable(sourceType.result, targetType.result))
+                return false;
+            return targetType.effects.includes('*') || sourceType.effects.every(effect => targetType.effects.includes(effect));
+        }
+        if (sourceType.kind === 'named' && sourceType.declarationKind === 'alias' && sourceType.underlying !== undefined)
+            return this.isAssignable(sourceType.underlying, target);
+        if (targetType.kind === 'named' && targetType.declarationKind === 'alias' && targetType.underlying !== undefined)
+            return this.isAssignable(source, targetType.underlying);
+        return false;
+    }
+    listElementOf(typeId) { if (typeId === undefined)
+        return undefined; const type = this.#arena.get(typeId); return type.kind === 'list' ? type.element : undefined; }
+    setElementOf(typeId) { if (typeId === undefined)
+        return undefined; const type = this.#arena.get(typeId); return type.kind === 'set' ? type.element : undefined; }
+    mapKeyOf(typeId) { if (typeId === undefined)
+        return undefined; const type = this.#arena.get(typeId); return type.kind === 'map' ? type.key : undefined; }
+    isMustUse(typeId, seen = new Set()) {
+        if (seen.has(typeId))
+            return false;
+        seen.add(typeId);
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'future' || type.kind === 'result')
+            return true;
+        if (type.kind === 'foreign')
+            return type.snapshot.mustUse === true;
+        if (type.kind === 'named')
+            return type.mustUse === true || type.name === 'Stream' || type.name === 'FileHandle' || (type.declarationKind === 'alias' && type.underlying !== undefined && this.isMustUse(type.underlying, seen));
+        return false;
+    }
+    supportsHash(typeId, seen = new Set()) {
+        if (seen.has(typeId))
+            return true;
+        seen.add(typeId);
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'primitive')
+            return ['Bool', 'Int', 'BigInt', 'String', 'Unit'].includes(type.name);
+        if (type.kind === 'list' || type.kind === 'set' || type.kind === 'option')
+            return this.supportsHash(type.kind === 'list' || type.kind === 'set' ? type.element : type.value, seen);
+        if (type.kind === 'map')
+            return this.supportsHash(type.key, seen) && this.supportsHash(type.value, seen);
+        if (type.kind === 'result')
+            return this.supportsHash(type.value, seen) && this.supportsHash(type.error, seen);
+        if (type.kind === 'tuple')
+            return type.items.every(item => this.supportsHash(item, seen));
+        if (type.kind === 'named') {
+            if (type.derives?.has('Hash') === true)
+                return true;
+            if ((type.declarationKind === 'newtype' || type.declarationKind === 'alias') && type.underlying !== undefined)
+                return this.supportsHash(type.underlying, seen);
+            return false;
+        }
+        return false;
+    }
+    containsTypeVariable(typeId, seen = new Set()) {
+        if (seen.has(typeId))
+            return false;
+        seen.add(typeId);
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'typeVariable')
+            return true;
+        if (type.kind === 'list' || type.kind === 'set' || type.kind === 'option' || type.kind === 'future')
+            return this.containsTypeVariable(type.kind === 'list' ? type.element : type.kind === 'set' ? type.element : type.value, seen);
+        if (type.kind === 'map')
+            return this.containsTypeVariable(type.key, seen) || this.containsTypeVariable(type.value, seen);
+        if (type.kind === 'result')
+            return this.containsTypeVariable(type.value, seen) || this.containsTypeVariable(type.error, seen);
+        if (type.kind === 'tuple')
+            return type.items.some(item => this.containsTypeVariable(item, seen));
+        if (type.kind === 'function')
+            return type.parameters.some(item => this.containsTypeVariable(item, seen)) || this.containsTypeVariable(type.result, seen);
+        if (type.kind === 'named')
+            return type.arguments.some(item => this.containsTypeVariable(item, seen));
+        return false;
+    }
+    supportsDerive(typeId, derive, seen = new Set()) {
+        if (seen.has(typeId))
+            return true;
+        seen.add(typeId);
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'primitive')
+            return type.name !== 'Unknown';
+        if (type.kind === 'list' || type.kind === 'set' || type.kind === 'option' || type.kind === 'future')
+            return this.supportsDerive(type.kind === 'future' ? type.value : type.kind === 'list' || type.kind === 'set' ? type.element : type.value, derive, seen);
+        if (type.kind === 'map')
+            return this.supportsDerive(type.key, derive, seen) && this.supportsDerive(type.value, derive, seen);
+        if (type.kind === 'result')
+            return this.supportsDerive(type.value, derive, seen) && this.supportsDerive(type.error, derive, seen);
+        if (type.kind === 'tuple')
+            return type.items.every(item => this.supportsDerive(item, derive, seen));
+        if (type.kind === 'named') {
+            if (type.derives?.has(derive) === true)
+                return true;
+            if ((type.declarationKind === 'newtype' || type.declarationKind === 'alias') && type.underlying !== undefined)
+                return this.supportsDerive(type.underlying, derive, seen);
+            return false;
+        }
+        return false;
+    }
+    supportsJson(typeId, seen = new Set()) {
+        if (seen.has(typeId))
+            return true;
+        seen.add(typeId);
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'primitive')
+            return ['Bool', 'Int', 'Float', 'String', 'Unit', 'Unknown'].includes(type.name);
+        if (type.kind === 'list' || type.kind === 'set' || type.kind === 'option')
+            return this.supportsJson(type.kind === 'list' ? type.element : type.kind === 'set' ? type.element : type.value, seen);
+        if (type.kind === 'map')
+            return this.#arena.equals(type.key, this.#arena.string) && this.supportsJson(type.value, seen);
+        if (type.kind === 'result')
+            return this.supportsJson(type.value, seen) && this.supportsJson(type.error, seen);
+        if (type.kind === 'tuple')
+            return type.items.every(item => this.supportsJson(item, seen));
+        if (type.kind === 'named') {
+            if (type.derives?.has('Json') === true || type.name === 'JsonError')
+                return true;
+            if ((type.declarationKind === 'newtype' || type.declarationKind === 'alias') && type.underlying !== undefined)
+                return this.supportsJson(type.underlying, seen);
+            return false;
+        }
+        return false;
+    }
+    supportsDerivedEq(typeId, owner, seen = new Set()) {
+        if (typeId === owner || seen.has(typeId))
+            return true;
+        seen.add(typeId);
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'primitive')
+            return ['Bool', 'Int', 'BigInt', 'String', 'Unit'].includes(type.name);
+        if (type.kind === 'list' || type.kind === 'set' || type.kind === 'option')
+            return this.supportsDerivedEq(type.kind === 'list' ? type.element : type.kind === 'set' ? type.element : type.value, owner, seen);
+        if (type.kind === 'map')
+            return this.supportsDerivedEq(type.key, owner, seen) && this.supportsDerivedEq(type.value, owner, seen);
+        if (type.kind === 'result')
+            return this.supportsDerivedEq(type.value, owner, seen) && this.supportsDerivedEq(type.error, owner, seen);
+        if (type.kind === 'tuple')
+            return type.items.every(item => this.supportsDerivedEq(item, owner, seen));
+        if (type.kind === 'named') {
+            if (type.derives?.has('Eq') === true)
+                return true;
+            if ((type.declarationKind === 'newtype' || type.declarationKind === 'alias') && type.underlying !== undefined)
+                return this.supportsDerivedEq(type.underlying, owner, seen);
+            return false;
+        }
+        return false;
+    }
+    supportsEq(typeId, seen = new Set()) {
+        if (seen.has(typeId))
+            return true;
+        seen.add(typeId);
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'primitive')
+            return ['Bool', 'Int', 'Float', 'BigInt', 'String', 'Unit'].includes(type.name);
+        if (type.kind === 'list' || type.kind === 'set' || type.kind === 'option')
+            return this.supportsEq(type.kind === 'list' ? type.element : type.kind === 'set' ? type.element : type.value, seen);
+        if (type.kind === 'map')
+            return this.supportsEq(type.key, seen) && this.supportsEq(type.value, seen);
+        if (type.kind === 'result')
+            return this.supportsEq(type.value, seen) && this.supportsEq(type.error, seen);
+        if (type.kind === 'tuple')
+            return type.items.every(item => this.supportsEq(item, seen));
+        if (type.kind === 'named') {
+            if (type.derives?.has('Eq') === true)
+                return true;
+            if ((type.declarationKind === 'newtype' || type.declarationKind === 'alias') && type.underlying !== undefined)
+                return this.supportsEq(type.underlying, seen);
+            return false;
+        }
+        return false;
+    }
+    commonType(types, span) {
+        if (types.length === 0)
+            return this.#arena.unit;
+        let current = types[0];
+        for (const type of types.slice(1)) {
+            if (this.isAssignable(type, current))
+                continue;
+            if (this.isAssignable(current, type))
+                current = type;
+            else {
+                this.#diagnostics.error('L2042', `Incompatible result types ${this.#arena.display(current)} and ${this.#arena.display(type)}`, span);
+                return this.#arena.error;
+            }
+        }
+        return current;
+    }
+    unify(pattern, actual, substitutions) {
+        const patternType = this.#arena.get(pattern);
+        const actualType = this.#arena.get(actual);
+        if (patternType.kind === 'typeVariable') {
+            const existing = substitutions.get(patternType.name);
+            if (existing === undefined)
+                substitutions.set(patternType.name, actual);
+            return;
+        }
+        if (patternType.kind === 'list' && actualType.kind === 'list')
+            this.unify(patternType.element, actualType.element, substitutions);
+        else if (patternType.kind === 'set' && actualType.kind === 'set')
+            this.unify(patternType.element, actualType.element, substitutions);
+        else if (patternType.kind === 'map' && actualType.kind === 'map') {
+            this.unify(patternType.key, actualType.key, substitutions);
+            this.unify(patternType.value, actualType.value, substitutions);
+        }
+        else if (patternType.kind === 'tuple' && actualType.kind === 'tuple' && patternType.items.length === actualType.items.length)
+            patternType.items.forEach((item, index) => this.unify(item, actualType.items[index], substitutions));
+        else if (patternType.kind === 'option' && actualType.kind === 'option')
+            this.unify(patternType.value, actualType.value, substitutions);
+        else if (patternType.kind === 'result' && actualType.kind === 'result') {
+            this.unify(patternType.value, actualType.value, substitutions);
+            this.unify(patternType.error, actualType.error, substitutions);
+        }
+        else if (patternType.kind === 'future' && actualType.kind === 'future')
+            this.unify(patternType.value, actualType.value, substitutions);
+        else if (patternType.kind === 'function' && actualType.kind === 'function' && patternType.parameters.length === actualType.parameters.length) {
+            patternType.parameters.forEach((item, index) => this.unify(item, actualType.parameters[index], substitutions));
+            this.unify(patternType.result, actualType.result, substitutions);
+        }
+        else if (patternType.kind === 'named' && actualType.kind === 'named' && patternType.definitionId === actualType.definitionId && patternType.arguments.length === actualType.arguments.length)
+            patternType.arguments.forEach((item, index) => this.unify(item, actualType.arguments[index], substitutions));
+    }
+    substitute(typeId, substitutions) {
+        const type = this.#arena.get(typeId);
+        if (type.kind === 'typeVariable')
+            return substitutions.get(type.name) ?? typeId;
+        if (type.kind === 'list')
+            return this.#arena.list(this.substitute(type.element, substitutions));
+        if (type.kind === 'set')
+            return this.#arena.set(this.substitute(type.element, substitutions));
+        if (type.kind === 'map')
+            return this.#arena.map(this.substitute(type.key, substitutions), this.substitute(type.value, substitutions));
+        if (type.kind === 'tuple')
+            return this.#arena.tuple(type.items.map(item => this.substitute(item, substitutions)));
+        if (type.kind === 'option')
+            return this.#arena.option(this.substitute(type.value, substitutions));
+        if (type.kind === 'result')
+            return this.#arena.result(this.substitute(type.value, substitutions), this.substitute(type.error, substitutions));
+        if (type.kind === 'future')
+            return this.#arena.future(this.substitute(type.value, substitutions));
+        if (type.kind === 'function')
+            return this.#arena.function(type.parameters.map(item => this.substitute(item, substitutions)), this.substitute(type.result, substitutions), type.typeParameters, type.async, type.effects);
+        if (type.kind === 'named' && (type.arguments.some(item => this.containsTypeVariable(item)) || type.fields !== undefined || type.variants !== undefined))
+            return this.#arena.namedInstance(type, type.arguments.map(item => this.substitute(item, substitutions)), { ...(type.fields === undefined ? {} : { fields: new Map([...type.fields].map(([name, field]) => [name, this.substitute(field, substitutions)])) }), ...(type.variants === undefined ? {} : { variants: new Map([...type.variants].map(([name, values]) => [name, values.map(value => this.substitute(value, substitutions))])) }), ...(type.underlying === undefined ? {} : { underlying: this.substitute(type.underlying, substitutions) }) });
+        return typeId;
+    }
+}
+//# sourceMappingURL=type-operations.js.map

package/dist/src/checker/type-operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-operations.js","sourceRoot":"","sources":["../../../src/checker/type-operations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAO9C,+EAA+E;AAC/E,MAAM,OAAO,cAAc;IACjB,MAAM,CAAY;IAClB,YAAY,CAAgB;IAErC,YAAmB,OAA8B;QAChD,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAC5B,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC;IACzC,CAAC;IAEM,YAAY,CAAC,MAAc,EAAE,MAAc;QACjD,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QACtL,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAAC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzI,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACtE,IAAI,UAAU,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,UAAU,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACzH,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAE,EAAE,SAAS,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC3E,OAAO,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACpH,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,eAAe,KAAK,OAAO,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC1K,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,eAAe,KAAK,OAAO,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;QAC1K,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,aAAa,CAAC,MAA0B,IAAwB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3M,YAAY,CAAC,MAA0B,IAAwB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACzM,QAAQ,CAAC,MAA0B,IAAwB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAEjM,SAAS,CAAC,MAAc,EAAE,OAAO,IAAI,GAAG,EAAU;QACxD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAClE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC;QACnE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QAChO,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,YAAY,CAAC,MAAc,EAAE,OAAO,IAAI,GAAG,EAAU;QAC3D,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtG,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnL,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACzG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9G,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACpD,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC/J,OAAO,KAAK,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,oBAAoB,CAAC,MAAc,EAAE,OAAO,IAAI,GAAG,EAAU;QACnE,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnO,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACzH,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9H,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACjG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzJ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACrG,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,cAAc,CAAC,MAAc,EAAE,MAAe,EAAE,OAAO,IAAI,GAAG,EAAU;QAC9E,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7P,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7H,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAClI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACpG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACpD,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACzK,OAAO,KAAK,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,YAAY,CAAC,MAAc,EAAE,OAAO,IAAI,GAAG,EAAU;QAC3D,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChH,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACjM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxH,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9G,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YACjF,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC/J,OAAO,KAAK,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,iBAAiB,CAAC,MAAc,EAAE,KAAa,EAAE,OAAO,IAAI,GAAG,EAAU;QAC/E,IAAI,MAAM,KAAK,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtG,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC7M,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACjI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACtI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACtG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3K,OAAO,KAAK,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,UAAU,CAAC,MAAc,EAAE,OAAO,IAAI,GAAG,EAAU;QACzD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/G,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/L,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1G,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACxF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC7J,OAAO,KAAK,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,UAAU,CAAC,KAAwB,EAAE,IAAgB;QAC3D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAChD,IAAI,OAAO,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC;gBAAE,SAAS;YAC/C,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC;gBAAE,OAAO,GAAG,IAAI,CAAC;iBAChD,CAAC;gBAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,6BAA6B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YAAC,CAAC;QACzK,CAAC;QACD,OAAO,OAAO,CAAC;IAChB,CAAC;IAEM,KAAK,CAAC,OAAe,EAAE,MAAc,EAAE,aAAkC;QAC/E,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,WAAW,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,QAAQ,KAAK,SAAS;gBAAE,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxE,OAAO;QACR,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;YAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;aAC7H,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK;YAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;aAChI,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAAC,CAAC;aAC5L,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,WAAW,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,KAAK,CAAC,MAAM;YAAE,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,aAAa,CAAC,CAAC,CAAC;aAC/N,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;aAClI,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAAC,CAAC;aACtM,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;aAClI,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YAC9I,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAE,EAAE,aAAa,CAAC,CAAC,CAAC;YAChH,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAClE,CAAC;aACI,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,WAAW,CAAC,YAAY,KAAK,UAAU,CAAC,YAAY,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,SAAS,CAAC,MAAM;YAAE,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,KAAK,CAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAC7S,CAAC;IAEM,UAAU,CAAC,MAAc,EAAE,aAA0C;QAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;QAChF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;QAChG,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;QAC9F,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;QACtI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;QAClH,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;QAClG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;QAC9I,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;QAClG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACzN,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnrB,OAAO,MAAM,CAAC;IACf,CAAC;CACD"}

package/dist/src/codegen/emitter.d.ts

@@ -0,0 +1,83 @@
+import type * as A from '../ast/nodes.js';
+import type { HirModule } from '../hir/lower.js';
+import type { SourceFile } from '../source.js';
+export interface EmitResult {
+    readonly code: string;
+    readonly map: string;
+}
+interface RepetitionHostEmitBinding {
+    readonly moduleSpecifier: string;
+    readonly exportName: string;
+}
+export interface EmitOptions {
+    readonly sourceMap?: boolean;
+    readonly sourcesContent?: boolean;
+    readonly sourcePath?: string;
+    readonly repetitionHost?: RepetitionHostEmitBinding;
+}
+export declare class JavaScriptEmitter {
+    #private;
+    constructor(hir: HirModule, source: SourceFile, outputFile: string, options?: EmitOptions);
+    emit(module: A.ModuleNode): EmitResult;
+    private emitHeader;
+    private outputMapName;
+    private emitImport;
+    private emitExternImports;
+    private emitDeclaration;
+    private emitRecordDeclaration;
+    private emitEnumDeclaration;
+    private emitNewtypeDeclaration;
+    private emitFunction;
+    private emitComponent;
+    private emitJsExportWrapper;
+    private emitExternDeclaration;
+    private externIndex;
+    private currentModuleDeclarations;
+    private emitTest;
+    private emitBlock;
+    private emitStatement;
+    private emitIf;
+    private expression;
+    private expressionRaw;
+    private viewBlockExpression;
+    private viewBlockContents;
+    private viewChild;
+    private viewChildExpression;
+    private nativeChildrenSlotExpression;
+    private viewElement;
+    private frontendViewPropertyValue;
+    private nativeComponentPropertyValue;
+    private viewConditionalExpression;
+    private checkedViewRepetitionEvidence;
+    private viewRepetitionExpression;
+    private hostViewRepetitionExpression;
+    private contextualAggregate;
+    private lambdaExpression;
+    private inlineBlock;
+    private inlineStatement;
+    private inlineIf;
+    private literal;
+    private interpolatedString;
+    private identifier;
+    private call;
+    private frontendViewCallbackProjection;
+    private callableProjection;
+    private callableFfiDescriptor;
+    private field;
+    private binary;
+    private match;
+    private pattern;
+    private parallelExpression;
+    private acceptsTaskContext;
+    private typeDescriptorFromTypeId;
+    private recordFieldDescriptor;
+    private typeDescriptor;
+    private safeFfiBoundary;
+    private declarationTypeId;
+    private nameOf;
+    private moduleExported;
+    private exportPrefix;
+}
+export declare function emitJavaScript(hir: HirModule, source: SourceFile, outputFile: string, options?: EmitOptions): EmitResult;
+export {};
+//# sourceMappingURL=emitter.d.ts.map

package/dist/src/codegen/emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter.d.ts","sourceRoot":"","sources":["../../../src/codegen/emitter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAG1C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAoB,MAAM,cAAc,CAAC;AAKjE,MAAM,WAAW,UAAU;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CAAE;AAC5E,UAAU,yBAAyB;IAAG,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAAE;AACtG,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,yBAAyB,CAAC;CACpD;AAID,qBAAa,iBAAiB;;gBAeV,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB;IAU7F,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,GAAG,UAAU;IAkB7C,OAAO,CAAC,UAAU;IAyBlB,OAAO,CAAC,aAAa;IAErB,OAAO,CAAC,UAAU;IAwBlB,OAAO,CAAC,iBAAiB;IASzB,OAAO,CAAC,eAAe;IAevB,OAAO,CAAC,qBAAqB;IAK7B,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,sBAAsB;IAK9B,OAAO,CAAC,YAAY;IA+BpB,OAAO,CAAC,aAAa;IA8BrB,OAAO,CAAC,mBAAmB;IAe3B,OAAO,CAAC,qBAAqB;IAmC7B,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,yBAAyB;IAEjC,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,SAAS;IAkBjB,OAAO,CAAC,aAAa;IA+BrB,OAAO,CAAC,MAAM;IAOd,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,aAAa;IA4BrB,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,iBAAiB;IAIzB,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,mBAAmB;IAW3B,OAAO,CAAC,4BAA4B;IAIpC,OAAO,CAAC,WAAW;IAWnB,OAAO,CAAC,yBAAyB;IAajC,OAAO,CAAC,4BAA4B;IASpC,OAAO,CAAC,yBAAyB;IAUjC,OAAO,CAAC,6BAA6B;IAMrC,OAAO,CAAC,wBAAwB;IAMhC,OAAO,CAAC,4BAA4B;IAqEpC,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,gBAAgB;IAaxB,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,eAAe;IA4BvB,OAAO,CAAC,QAAQ;IAQhB,OAAO,CAAC,OAAO;IAMf,OAAO,CAAC,kBAAkB;IAa1B,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,IAAI;IA8BZ,OAAO,CAAC,8BAA8B;IAQtC,OAAO,CAAC,kBAAkB;IAwB1B,OAAO,CAAC,qBAAqB;IAW7B,OAAO,CAAC,KAAK;IAoCb,OAAO,CAAC,MAAM;IAUd,OAAO,CAAC,KAAK;IAeb,OAAO,CAAC,OAAO;IAoCf,OAAO,CAAC,kBAAkB;IAM1B,OAAO,CAAC,kBAAkB;IAY1B,OAAO,CAAC,wBAAwB;IAgChC,OAAO,CAAC,qBAAqB;IAa7B,OAAO,CAAC,cAAc;IAyBtB,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,iBAAiB;IAOzB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,YAAY;CACpB;AAGD,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,UAAU,CAE5H"}