@constela/compiler 0.9.0 → 0.10.0

package/README.md

@@ -45,6 +45,14 @@ The compiler transforms JSON programs through three passes:
 2. **Analyze** - Semantic analysis (state, actions, components, routes)
 3. **Transform** - AST to optimized runtime program
 
+## Supported Features
+
+- **setPath** - Compiles to efficient path-based state updates
+- **Key-based each** - Compiles key expressions for list diffing
+- **WebSocket connections** - Compiles connection definitions and send/close actions
+- **concat expression** - Compiles string concatenation expressions
+- **Object payloads** - Supports object-shaped event handler payloads with expression fields
+
 ## CompiledProgram Structure
 
 ```json
@@ -63,6 +71,13 @@ The compiler transforms JSON programs through three passes:
   "state": {
     "count": { "type": "number", "initial": 0 }
   },
+  "connections": {
+    "chat": {
+      "type": "websocket",
+      "url": { ... },
+      "onMessage": { "action": "handleMessage" }
+    }
+  },
   "actions": {
     "increment": {
       "name": "increment",

package/dist/index.d.ts

@@ -217,7 +217,26 @@ interface CompiledCloseStep {
     do: 'close';
     connection: string;
 }
-type CompiledNode = CompiledElementNode | CompiledTextNode | CompiledIfNode | CompiledEachNode | CompiledMarkdownNode | CompiledCodeNode | CompiledSlotNode;
+/**
+ * Compiled local action
+ */
+interface CompiledLocalAction {
+    name: string;
+    steps: CompiledActionStep[];
+}
+/**
+ * Compiled local state node - wraps component with local state
+ */
+interface CompiledLocalStateNode {
+    kind: 'localState';
+    state: Record<string, {
+        type: string;
+        initial: unknown;
+    }>;
+    actions: Record<string, CompiledLocalAction>;
+    child: CompiledNode;
+}
+type CompiledNode = CompiledElementNode | CompiledTextNode | CompiledIfNode | CompiledEachNode | CompiledMarkdownNode | CompiledCodeNode | CompiledSlotNode | CompiledLocalStateNode;
 interface CompiledElementNode {
     kind: 'element';
     tag: string;
@@ -256,7 +275,7 @@ interface CompiledSlotNode {
     kind: 'slot';
     name?: string;
 }
-type CompiledExpression = CompiledLitExpr | CompiledStateExpr | CompiledVarExpr | CompiledBinExpr | CompiledNotExpr | CompiledCondExpr | CompiledGetExpr | CompiledRouteExpr | CompiledImportExpr | CompiledDataExpr | CompiledRefExpr | CompiledIndexExpr | CompiledParamExpr | CompiledStyleExpr;
+type CompiledExpression = CompiledLitExpr | CompiledStateExpr | CompiledVarExpr | CompiledBinExpr | CompiledNotExpr | CompiledCondExpr | CompiledGetExpr | CompiledRouteExpr | CompiledImportExpr | CompiledDataExpr | CompiledRefExpr | CompiledIndexExpr | CompiledParamExpr | CompiledStyleExpr | CompiledConcatExpr;
 interface CompiledLitExpr {
     expr: 'lit';
     value: string | number | boolean | null | unknown[];
@@ -322,10 +341,14 @@ interface CompiledStyleExpr {
     name: string;
     variants?: Record<string, CompiledExpression>;
 }
+interface CompiledConcatExpr {
+    expr: 'concat';
+    items: CompiledExpression[];
+}
 interface CompiledEventHandler {
     event: string;
     action: string;
-    payload?: CompiledExpression;
+    payload?: CompiledExpression | Record<string, CompiledExpression>;
 }
 /**
  * Transforms the validated and analyzed AST into a CompiledProgram
@@ -455,4 +478,4 @@ declare function transformLayoutPass(layout: LayoutProgram, _context: LayoutAnal
  */
 declare function composeLayoutWithPage(layout: CompiledProgram, page: CompiledProgram, layoutParams?: Record<string, Expression>, slots?: Record<string, ViewNode>): CompiledProgram;
 
-export { type AnalysisContext, type AnalyzePassFailure, type AnalyzePassResult, type AnalyzePassSuccess, type CompileFailure, type CompileResult, type CompileSuccess, type CompiledAction, type CompiledActionStep, type CompiledBinExpr, type CompiledCallStep, type CompiledClipboardStep, type CompiledCloseStep, type CompiledCodeNode, type CompiledCondExpr, type CompiledDataExpr, type CompiledDisposeStep, type CompiledDomStep, type CompiledEachNode, type CompiledElementNode, type CompiledEventHandler, type CompiledExpression, type CompiledFetchStep, type CompiledGetExpr, type CompiledIfNode, type CompiledIfStep, type CompiledImportExpr, type CompiledImportStep, type CompiledIndexExpr, type CompiledLayoutProgram, type CompiledLifecycleHooks, type CompiledLitExpr, type CompiledMarkdownNode, type CompiledNavigateStep, type CompiledNode, type CompiledNotExpr, type CompiledProgram, type CompiledRefExpr, type CompiledRouteDefinition, type CompiledRouteExpr, type CompiledSendStep, type CompiledSetPathStep, type CompiledSetStep, type CompiledSlotNode, type CompiledStateExpr, type CompiledStorageStep, type CompiledSubscribeStep, type CompiledTextNode, type CompiledUpdateStep, type CompiledVarExpr, type LayoutAnalysisContext, type LayoutAnalysisFailure, type LayoutAnalysisResult, type LayoutAnalysisSuccess, type ValidatePassFailure, type ValidatePassResult, type ValidatePassSuccess, analyzeLayoutPass, analyzePass, compile, composeLayoutWithPage, transformLayoutPass, transformPass, validatePass };
+export { type AnalysisContext, type AnalyzePassFailure, type AnalyzePassResult, type AnalyzePassSuccess, type CompileFailure, type CompileResult, type CompileSuccess, type CompiledAction, type CompiledActionStep, type CompiledBinExpr, type CompiledCallStep, type CompiledClipboardStep, type CompiledCloseStep, type CompiledCodeNode, type CompiledConcatExpr, type CompiledCondExpr, type CompiledDataExpr, type CompiledDisposeStep, type CompiledDomStep, type CompiledEachNode, type CompiledElementNode, type CompiledEventHandler, type CompiledExpression, type CompiledFetchStep, type CompiledGetExpr, type CompiledIfNode, type CompiledIfStep, type CompiledImportExpr, type CompiledImportStep, type CompiledIndexExpr, type CompiledLayoutProgram, type CompiledLifecycleHooks, type CompiledLitExpr, type CompiledLocalAction, type CompiledLocalStateNode, type CompiledMarkdownNode, type CompiledNavigateStep, type CompiledNode, type CompiledNotExpr, type CompiledParamExpr, type CompiledProgram, type CompiledRefExpr, type CompiledRouteDefinition, type CompiledRouteExpr, type CompiledSendStep, type CompiledSetPathStep, type CompiledSetStep, type CompiledSlotNode, type CompiledStateExpr, type CompiledStorageStep, type CompiledStyleExpr, type CompiledSubscribeStep, type CompiledTextNode, type CompiledUpdateStep, type CompiledVarExpr, type LayoutAnalysisContext, type LayoutAnalysisFailure, type LayoutAnalysisResult, type LayoutAnalysisSuccess, type ValidatePassFailure, type ValidatePassResult, type ValidatePassSuccess, analyzeLayoutPass, analyzePass, compile, composeLayoutWithPage, transformLayoutPass, transformPass, validatePass };

package/dist/index.js

@@ -44,6 +44,8 @@ import {
   createUndefinedRefError,
   createUndefinedStyleError,
   createUndefinedVariantError,
+  createUndefinedLocalStateError,
+  createLocalActionInvalidStepError,
   findSimilarNames,
   isEventHandler,
   DATA_SOURCE_TYPES,
@@ -157,12 +159,19 @@ function checkDuplicateActions(ast2) {
 function validateExpression(expr, path, context, scope, paramScope) {
   const errors = [];
   switch (expr.expr) {
-    case "state":
-      if (!context.stateNames.has(expr.name)) {
-        const errorOptions = createErrorOptionsWithSuggestion(expr.name, context.stateNames);
+    case "state": {
+      const isGlobalState = context.stateNames.has(expr.name);
+      const isLocalState = paramScope?.localStateNames?.has(expr.name) ?? false;
+      if (!isGlobalState && !isLocalState) {
+        const availableNames = /* @__PURE__ */ new Set([
+          ...context.stateNames,
+          ...paramScope?.localStateNames ?? []
+        ]);
+        const errorOptions = createErrorOptionsWithSuggestion(expr.name, availableNames);
         errors.push(createUndefinedStateError(expr.name, path, errorOptions));
       }
       break;
+    }
     case "var":
       if (!scope.has(expr.name)) {
         errors.push(createUndefinedVarError(expr.name, path));
@@ -706,8 +715,14 @@ function validateViewNode(node, path, context, scope, options = { insideComponen
         for (const [propName, propValue] of Object.entries(node.props)) {
           const propPath = buildPath(path, "props", propName);
           if (isEventHandler(propValue)) {
-            if (!context.actionNames.has(propValue.action)) {
-              const errorOptions = createErrorOptionsWithSuggestion(propValue.action, context.actionNames);
+            const isGlobalAction = context.actionNames.has(propValue.action);
+            const isLocalAction = paramScope?.localActionNames?.has(propValue.action) ?? false;
+            if (!isGlobalAction && !isLocalAction) {
+              const availableNames = /* @__PURE__ */ new Set([
+                ...context.actionNames,
+                ...paramScope?.localActionNames ?? []
+              ]);
+              const errorOptions = createErrorOptionsWithSuggestion(propValue.action, availableNames);
               errors.push(createUndefinedActionError(propValue.action, propPath, errorOptions));
             }
             if (propValue.payload) {
@@ -910,21 +925,58 @@ function detectComponentCycles(programAst, context) {
   }
   return errors;
 }
+function validateLocalActions(localActions, localStateNames, componentPath) {
+  const errors = [];
+  for (let i = 0; i < localActions.length; i++) {
+    const action = localActions[i];
+    if (!action) continue;
+    const actionPath = buildPath(componentPath, "localActions", i);
+    for (let j = 0; j < action.steps.length; j++) {
+      const step = action.steps[j];
+      if (!step) continue;
+      const stepPath = buildPath(actionPath, "steps", j);
+      const stepDo = step.do;
+      if (stepDo !== "set" && stepDo !== "update" && stepDo !== "setPath") {
+        errors.push(createLocalActionInvalidStepError(stepDo, stepPath));
+        continue;
+      }
+      if (!localStateNames.has(step.target)) {
+        const errorOptions = createErrorOptionsWithSuggestion(step.target, localStateNames);
+        errors.push(createUndefinedLocalStateError(step.target, buildPath(stepPath, "target"), errorOptions));
+      }
+    }
+  }
+  return errors;
+}
 function validateComponents(programAst, context) {
   const errors = [];
   if (!programAst.components) return errors;
   for (const [name, def] of Object.entries(programAst.components)) {
+    const componentPath = buildPath("", "components", name);
+    const localStateNames = new Set(
+      def.localState ? Object.keys(def.localState) : []
+    );
+    const localActionNames = new Set(
+      def.localActions ? def.localActions.map((a) => a.name) : []
+    );
     const paramNames = new Set(
       def.params ? Object.keys(def.params) : []
     );
     const paramScope = {
       params: paramNames,
-      componentName: name
+      componentName: name,
+      localStateNames,
+      localActionNames
     };
+    if (def.localActions && def.localActions.length > 0) {
+      errors.push(
+        ...validateLocalActions(def.localActions, localStateNames, componentPath)
+      );
+    }
     errors.push(
       ...validateViewNode(
         def.view,
-        buildPath("", "components", name, "view"),
+        buildPath(componentPath, "view"),
         context,
         /* @__PURE__ */ new Set(),
         { insideComponent: true, paramScope }
@@ -1178,6 +1230,11 @@ function transformExpression(expr, ctx) {
       }
       return styleExpr;
     }
+    case "concat":
+      return {
+        expr: "concat",
+        items: expr.items.map((item) => transformExpression(item, ctx))
+      };
   }
 }
 function transformEventHandler(handler, ctx) {
@@ -1475,7 +1532,16 @@ function transformViewNode(node, ctx) {
         currentParams: params,
         currentChildren: children
       };
-      return transformViewNode(def.view, newCtx);
+      const expandedView = transformViewNode(def.view, newCtx);
+      if (def.localState && Object.keys(def.localState).length > 0) {
+        return {
+          kind: "localState",
+          state: transformLocalState(def.localState),
+          actions: transformLocalActions(def.localActions ?? []),
+          child: expandedView
+        };
+      }
+      return expandedView;
     }
     case "markdown":
       return {
@@ -1514,6 +1580,23 @@ function transformState(state) {
   }
   return compiledState;
 }
+function transformLocalState(localState) {
+  const result = {};
+  for (const [name, field] of Object.entries(localState)) {
+    result[name] = { type: field.type, initial: field.initial };
+  }
+  return result;
+}
+function transformLocalActions(localActions) {
+  const result = {};
+  for (const action of localActions) {
+    result[action.name] = {
+      name: action.name,
+      steps: action.steps.map(transformActionStep)
+    };
+  }
+  return result;
+}
 function transformActions(actions) {
   const compiledActions = {};
   for (const action of actions) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@constela/compiler",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "description": "Compiler for Constela UI framework - AST to Program transformation",
   "type": "module",
   "main": "./dist/index.js",
@@ -15,7 +15,7 @@
     "dist"
   ],
   "dependencies": {
-    "@constela/core": "0.9.0"
+    "@constela/core": "0.10.0"
   },
   "devDependencies": {
     "@types/node": "^20.10.0",