@constela/compiler 0.12.0 → 0.13.0

package/README.md

@@ -11,7 +11,7 @@ npm install @constela/compiler
 ## Usage
 
 ```bash
-constela compile app.json --out dist/app.compiled.json
+constela compile app.constela.json --out dist/app.compiled.json
 ```
 
 ## JSON Input

package/dist/index.d.ts

@@ -328,7 +328,7 @@ interface CompiledPortalNode {
     target: 'body' | 'head' | string;
     children: CompiledNode[];
 }
-type CompiledExpression = CompiledLitExpr | CompiledStateExpr | CompiledVarExpr | CompiledBinExpr | CompiledNotExpr | CompiledCondExpr | CompiledGetExpr | CompiledRouteExpr | CompiledImportExpr | CompiledDataExpr | CompiledRefExpr | CompiledIndexExpr | CompiledParamExpr | CompiledStyleExpr | CompiledConcatExpr | CompiledValidityExpr;
+type CompiledExpression = CompiledLitExpr | CompiledStateExpr | CompiledVarExpr | CompiledBinExpr | CompiledNotExpr | CompiledCondExpr | CompiledGetExpr | CompiledRouteExpr | CompiledImportExpr | CompiledDataExpr | CompiledRefExpr | CompiledIndexExpr | CompiledParamExpr | CompiledStyleExpr | CompiledConcatExpr | CompiledValidityExpr | CompiledCallExpr | CompiledLambdaExpr;
 interface CompiledLitExpr {
     expr: 'lit';
     value: string | number | boolean | null | unknown[];
@@ -403,6 +403,18 @@ interface CompiledValidityExpr {
     ref: string;
     property?: string;
 }
+interface CompiledCallExpr {
+    expr: 'call';
+    target: CompiledExpression;
+    method: string;
+    args?: CompiledExpression[];
+}
+interface CompiledLambdaExpr {
+    expr: 'lambda';
+    param: string;
+    index?: string;
+    body: CompiledExpression;
+}
 /**
  * Compiled event handler options for special events like intersect
  */
@@ -547,4 +559,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 CompiledClearTimerStep, type CompiledClipboardStep, type CompiledCloseStep, type CompiledCodeNode, type CompiledConcatExpr, type CompiledCondExpr, type CompiledDataExpr, type CompiledDelayStep, type CompiledDisposeStep, type CompiledDomStep, type CompiledEachNode, type CompiledElementNode, type CompiledEventHandler, type CompiledEventHandlerOptions, type CompiledExpression, type CompiledFetchStep, type CompiledFocusStep, type CompiledGetExpr, type CompiledIfNode, type CompiledIfStep, type CompiledImportExpr, type CompiledImportStep, type CompiledIndexExpr, type CompiledIntervalStep, type CompiledLayoutProgram, type CompiledLifecycleHooks, type CompiledLitExpr, type CompiledLocalAction, type CompiledLocalStateNode, type CompiledMarkdownNode, type CompiledNavigateStep, type CompiledNode, type CompiledNotExpr, type CompiledParamExpr, type CompiledPortalNode, 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 CompiledValidityExpr, 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 CompiledCallExpr, type CompiledCallStep, type CompiledClearTimerStep, type CompiledClipboardStep, type CompiledCloseStep, type CompiledCodeNode, type CompiledConcatExpr, type CompiledCondExpr, type CompiledDataExpr, type CompiledDelayStep, type CompiledDisposeStep, type CompiledDomStep, type CompiledEachNode, type CompiledElementNode, type CompiledEventHandler, type CompiledEventHandlerOptions, type CompiledExpression, type CompiledFetchStep, type CompiledFocusStep, type CompiledGetExpr, type CompiledIfNode, type CompiledIfStep, type CompiledImportExpr, type CompiledImportStep, type CompiledIndexExpr, type CompiledIntervalStep, type CompiledLambdaExpr, type CompiledLayoutProgram, type CompiledLifecycleHooks, type CompiledLitExpr, type CompiledLocalAction, type CompiledLocalStateNode, type CompiledMarkdownNode, type CompiledNavigateStep, type CompiledNode, type CompiledNotExpr, type CompiledParamExpr, type CompiledPortalNode, 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 CompiledValidityExpr, 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

@@ -235,6 +235,33 @@ function validateExpression(expr, path, context, scope, paramScope) {
     case "style":
       errors.push(...validateStyleExpression(expr, path, context, scope, paramScope));
       break;
+    case "index":
+      errors.push(...validateExpression(expr.base, buildPath(path, "base"), context, scope, paramScope));
+      errors.push(...validateExpression(expr.key, buildPath(path, "key"), context, scope, paramScope));
+      break;
+    case "call": {
+      const callExpr = expr;
+      errors.push(...validateExpression(callExpr.target, buildPath(path, "target"), context, scope, paramScope));
+      if (callExpr.args) {
+        for (let i = 0; i < callExpr.args.length; i++) {
+          const arg = callExpr.args[i];
+          if (arg) {
+            errors.push(...validateExpression(arg, buildPath(path, "args", i), context, scope, paramScope));
+          }
+        }
+      }
+      break;
+    }
+    case "lambda": {
+      const lambdaExpr = expr;
+      const lambdaScope = new Set(scope);
+      lambdaScope.add(lambdaExpr.param);
+      if (lambdaExpr.index) {
+        lambdaScope.add(lambdaExpr.index);
+      }
+      errors.push(...validateExpression(lambdaExpr.body, buildPath(path, "body"), context, lambdaScope, paramScope));
+      break;
+    }
   }
   return errors;
 }
@@ -571,6 +598,28 @@ function validateExpressionStateOnly(expr, path, context) {
     case "style":
       errors.push(...validateStyleExpressionStateOnly(expr, path, context));
       break;
+    case "index":
+      errors.push(...validateExpressionStateOnly(expr.base, buildPath(path, "base"), context));
+      errors.push(...validateExpressionStateOnly(expr.key, buildPath(path, "key"), context));
+      break;
+    case "call": {
+      const callExpr = expr;
+      errors.push(...validateExpressionStateOnly(callExpr.target, buildPath(path, "target"), context));
+      if (callExpr.args) {
+        for (let i = 0; i < callExpr.args.length; i++) {
+          const arg = callExpr.args[i];
+          if (arg) {
+            errors.push(...validateExpressionStateOnly(arg, buildPath(path, "args", i), context));
+          }
+        }
+      }
+      break;
+    }
+    case "lambda": {
+      const lambdaExpr = expr;
+      errors.push(...validateExpressionStateOnly(lambdaExpr.body, buildPath(path, "body"), context));
+      break;
+    }
   }
   return errors;
 }
@@ -680,6 +729,33 @@ function validateExpressionInEventPayload(expr, path, context, scope) {
     case "style":
       errors.push(...validateStyleExpressionInEventPayload(expr, path, context, scope));
       break;
+    case "index":
+      errors.push(...validateExpressionInEventPayload(expr.base, buildPath(path, "base"), context, scope));
+      errors.push(...validateExpressionInEventPayload(expr.key, buildPath(path, "key"), context, scope));
+      break;
+    case "call": {
+      const callExpr = expr;
+      errors.push(...validateExpressionInEventPayload(callExpr.target, buildPath(path, "target"), context, scope));
+      if (callExpr.args) {
+        for (let i = 0; i < callExpr.args.length; i++) {
+          const arg = callExpr.args[i];
+          if (arg) {
+            errors.push(...validateExpressionInEventPayload(arg, buildPath(path, "args", i), context, scope));
+          }
+        }
+      }
+      break;
+    }
+    case "lambda": {
+      const lambdaExpr = expr;
+      const lambdaScope = new Set(scope);
+      lambdaScope.add(lambdaExpr.param);
+      if (lambdaExpr.index) {
+        lambdaScope.add(lambdaExpr.index);
+      }
+      errors.push(...validateExpressionInEventPayload(lambdaExpr.body, buildPath(path, "body"), context, lambdaScope));
+      break;
+    }
   }
   return errors;
 }
@@ -1245,6 +1321,30 @@ function transformExpression(expr, ctx) {
       }
       return validityExpr;
     }
+    case "call": {
+      const callExpr = expr;
+      const result = {
+        expr: "call",
+        target: transformExpression(callExpr.target, ctx),
+        method: callExpr.method
+      };
+      if (callExpr.args && callExpr.args.length > 0) {
+        result.args = callExpr.args.map((arg) => transformExpression(arg, ctx));
+      }
+      return result;
+    }
+    case "lambda": {
+      const lambdaExpr = expr;
+      const result = {
+        expr: "lambda",
+        param: lambdaExpr.param,
+        body: transformExpression(lambdaExpr.body, ctx)
+      };
+      if (lambdaExpr.index) {
+        result.index = lambdaExpr.index;
+      }
+      return result;
+    }
   }
 }
 function transformEventHandler(handler, ctx) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@constela/compiler",
-  "version": "0.12.0",
+  "version": "0.13.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.13.0"
+    "@constela/core": "0.14.0"
   },
   "devDependencies": {
     "@types/node": "^20.10.0",