@kalada/core 0.3.0 → 0.4.0

package/dist/kalada-v1/static-analysis.cjs

@@ -0,0 +1,177 @@
+'use strict';
+
+var diagnostics_js = require('./diagnostics.js');
+var staticTypes_js = require('./static-types.js');
+
+function analyzeKaladaV1Functions(expression, limits) {
+  const state = { limits, functions: [] };
+  scan(expression, ["expression"], /* @__PURE__ */ new Set(), state);
+  staticTypes_js.checkKaladaV1Types(expression);
+  return Object.freeze(state.functions);
+}
+function scan(node, path, scope, state) {
+  if (node.kind === "function") {
+    const parameters = node.parameters.map((item) => item.name);
+    record(path, null, collectCaptures(node.body, scope, new Set(parameters)), state);
+    scan(node.body, [...path, "body"], extendedMany(scope, parameters), state);
+    return;
+  }
+  if (node.kind === "function-group") {
+    scanGroup(node, path, scope, state);
+    return;
+  }
+  scanChildren(node, path, scope, state);
+}
+function scanGroup(node, path, scope, state) {
+  const names = node.functions.map((item) => item.name);
+  const groupScope = extendedMany(scope, names);
+  node.functions.forEach((fn, index) => {
+    const memberPath = [...path, "functions", index];
+    const parameters = fn.parameters.map((item) => item.name);
+    const locals = /* @__PURE__ */ new Set([...names, ...parameters]);
+    record(memberPath, fn.name, collectCaptures(fn.body, scope, locals), state);
+    scan(fn.body, [...memberPath, "body"], extendedMany(groupScope, parameters), state);
+  });
+  scan(node.body, [...path, "body"], groupScope, state);
+}
+function scanChildren(node, path, scope, state) {
+  if (isLeaf(node)) return;
+  if (node.kind === "binding") {
+    scan(node.value, [...path, "value"], scope, state);
+    scan(node.body, [...path, "body"], extended(scope, node.name), state);
+    return;
+  }
+  if (node.kind === "call") {
+    scan(node.callee, [...path, "callee"], scope, state);
+    node.arguments.forEach((item, index) => {
+      scan(item, [...path, "arguments", index], scope, state);
+    });
+    return;
+  }
+  if (node.kind === "match") {
+    scanMatch(node, path, scope, state);
+    return;
+  }
+  if (node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison") {
+    scan(node.left, [...path, "left"], scope, state);
+    scan(node.right, [...path, "right"], scope, state);
+    return;
+  }
+  if (node.kind === "option" && node.variant === "some")
+    scan(node.value, [...path, "value"], scope, state);
+  if (node.kind === "result") scan(node.value, [...path, "value"], scope, state);
+}
+function scanMatch(node, path, scope, state) {
+  scan(node.value, [...path, "value"], scope, state);
+  node.arms.forEach((arm, index) => {
+    const armScope = arm.binding ? extended(scope, arm.binding) : scope;
+    scan(arm.body, [...path, "arms", index, "body"], armScope, state);
+  });
+}
+function collectCaptures(node, outer, locals) {
+  const found = [];
+  const seen = /* @__PURE__ */ new Set();
+  visitReferences(node, new Set(locals), (name) => {
+    if (outer.has(name) && !seen.has(name)) {
+      seen.add(name);
+      found.push(name);
+    }
+  });
+  return found;
+}
+function visitReferences(node, locals, add) {
+  if (node.kind === "ref") {
+    if (typeof node.ref === "string" && !locals.has(node.ref)) add(node.ref);
+    return;
+  }
+  if (isLeaf(node)) return;
+  if (node.kind === "binding") {
+    visitReferences(node.value, locals, add);
+    visitReferences(node.body, added(locals, node.name), add);
+    return;
+  }
+  if (node.kind === "function") {
+    visitReferences(
+      node.body,
+      addedMany(
+        locals,
+        node.parameters.map((item) => item.name)
+      ),
+      add
+    );
+    return;
+  }
+  if (node.kind === "function-group") {
+    visitGroupReferences(node, locals, add);
+    return;
+  }
+  visitReferenceChildren(node, locals, add);
+}
+function visitReferenceChildren(node, locals, add) {
+  if (node.kind === "call") {
+    visitReferences(node.callee, locals, add);
+    for (const item of node.arguments) visitReferences(item, locals, add);
+    return;
+  }
+  if (node.kind === "match") {
+    visitReferences(node.value, locals, add);
+    for (const arm of node.arms)
+      visitReferences(arm.body, arm.binding ? added(locals, arm.binding) : locals, add);
+    return;
+  }
+  if (node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison") {
+    visitReferences(node.left, locals, add);
+    visitReferences(node.right, locals, add);
+    return;
+  }
+  if (node.kind === "option" && node.variant === "some") visitReferences(node.value, locals, add);
+  if (node.kind === "result") visitReferences(node.value, locals, add);
+}
+function visitGroupReferences(node, locals, add) {
+  const group = addedMany(
+    locals,
+    node.functions.map((item) => item.name)
+  );
+  for (const fn of node.functions)
+    visitReferences(
+      fn.body,
+      addedMany(
+        group,
+        fn.parameters.map((item) => item.name)
+      ),
+      add
+    );
+  visitReferences(node.body, group, add);
+}
+function isLeaf(node) {
+  return node.kind === "literal" || node.kind === "ref" || node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "core-function" || node.kind === "option" && node.variant === "none";
+}
+function record(path, name, captures, state) {
+  if (captures.length > state.limits.maxCapturesPerClosure)
+    throw new diagnostics_js.KaladaFailure("KALADA_CAPTURE_LIMIT", path);
+  state.functions.push(
+    Object.freeze({
+      path: Object.freeze([...path]),
+      name,
+      captures: Object.freeze(captures)
+    })
+  );
+}
+function extended(scope, name) {
+  return extendedMany(scope, [name]);
+}
+function extendedMany(scope, names) {
+  const output = new Set(scope);
+  for (const name of names) output.add(name);
+  return output;
+}
+function added(scope, name) {
+  return addedMany(scope, [name]);
+}
+function addedMany(scope, names) {
+  return /* @__PURE__ */ new Set([...scope, ...names]);
+}
+
+exports.analyzeKaladaV1Functions = analyzeKaladaV1Functions;
+//# sourceMappingURL=static-analysis.cjs.map
+//# sourceMappingURL=static-analysis.cjs.map

package/dist/kalada-v1/static-analysis.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/static-analysis.ts"],"names":["checkKaladaV1Types","KaladaFailure"],"mappings":";;;;;AAcO,SAAS,wBAAA,CACd,YACA,MAAA,EACoC;AACpC,EAAA,MAAM,KAAA,GAAuB,EAAE,MAAA,EAAQ,SAAA,EAAW,EAAC,EAAE;AACrD,EAAA,IAAA,CAAK,YAAY,CAAC,YAAY,mBAAG,IAAI,GAAA,IAAO,KAAK,CAAA;AACjD,EAAAA,iCAAA,CAAmB,UAAU,CAAA;AAC7B,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,SAAS,CAAA;AACtC;AAEA,SAAS,IAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,UAAA,EAAY;AAC5B,IAAA,MAAM,aAAa,IAAA,CAAK,UAAA,CAAW,IAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AAC1D,IAAA,MAAA,CAAO,IAAA,EAAM,IAAA,EAAM,eAAA,CAAgB,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA,EAAG,KAAK,CAAA;AAChF,IAAA,IAAA,CAAK,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,YAAA,CAAa,KAAA,EAAO,UAAU,CAAA,EAAG,KAAK,CAAA;AACzE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,gBAAA,EAAkB;AAClC,IAAA,SAAA,CAAU,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAClC,IAAA;AAAA,EACF;AACA,EAAA,YAAA,CAAa,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACvC;AAEA,SAAS,SAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,MAAM,QAAQ,IAAA,CAAK,SAAA,CAAU,IAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AACpD,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,KAAA,EAAO,KAAK,CAAA;AAC5C,EAAA,IAAA,CAAK,SAAA,CAAU,OAAA,CAAQ,CAAC,EAAA,EAAI,KAAA,KAAU;AACpC,IAAA,MAAM,UAAA,GAAa,CAAC,GAAG,IAAA,EAAM,aAAa,KAAK,CAAA;AAC/C,IAAA,MAAM,aAAa,EAAA,CAAG,UAAA,CAAW,IAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AACxD,IAAA,MAAM,MAAA,uBAAa,GAAA,CAAI,CAAC,GAAG,KAAA,EAAO,GAAG,UAAU,CAAC,CAAA;AAChD,IAAA,MAAA,CAAO,UAAA,EAAY,GAAG,IAAA,EAAM,eAAA,CAAgB,GAAG,IAAA,EAAM,KAAA,EAAO,MAAM,CAAA,EAAG,KAAK,CAAA;AAC1E,IAAA,IAAA,CAAK,EAAA,CAAG,IAAA,EAAM,CAAC,GAAG,UAAA,EAAY,MAAM,CAAA,EAAG,YAAA,CAAa,UAAA,EAAY,UAAU,CAAA,EAAG,KAAK,CAAA;AAAA,EACpF,CAAC,CAAA;AACD,EAAA,IAAA,CAAK,IAAA,CAAK,MAAM,CAAC,GAAG,MAAM,MAAM,CAAA,EAAG,YAAY,KAAK,CAAA;AACtD;AAEA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,MAAA,CAAO,IAAI,CAAA,EAAG;AAClB,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACjD,IAAA,IAAA,CAAK,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,QAAA,CAAS,KAAA,EAAO,IAAA,CAAK,IAAI,CAAA,EAAG,KAAK,CAAA;AACpE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAQ;AACxB,IAAA,IAAA,CAAK,IAAA,CAAK,QAAQ,CAAC,GAAG,MAAM,QAAQ,CAAA,EAAG,OAAO,KAAK,CAAA;AACnD,IAAA,IAAA,CAAK,SAAA,CAAU,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AACtC,MAAA,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,aAAa,KAAK,CAAA,EAAG,OAAO,KAAK,CAAA;AAAA,IACxD,CAAC,CAAA;AACD,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,SAAA,CAAU,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAClC,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,IAAA,CAAK,IAAA,CAAK,MAAM,CAAC,GAAG,MAAM,MAAM,CAAA,EAAG,OAAO,KAAK,CAAA;AAC/C,IAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACjD,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,OAAA,KAAY,MAAA;AAC7C,IAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACnD,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU,IAAA,CAAK,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAA;AAC/E;AAEA,SAAS,SAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACjD,EAAA,IAAA,CAAK,IAAA,CAAK,OAAA,CAAQ,CAAC,GAAA,EAAK,KAAA,KAAU;AAChC,IAAA,MAAM,WAAW,GAAA,CAAI,OAAA,GAAU,SAAS,KAAA,EAAO,GAAA,CAAI,OAAO,CAAA,GAAI,KAAA;AAC9D,IAAA,IAAA,CAAK,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,QAAQ,KAAA,EAAO,MAAM,CAAA,EAAG,QAAA,EAAU,KAAK,CAAA;AAAA,EAClE,CAAC,CAAA;AACH;AAEA,SAAS,eAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACU;AACV,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,eAAA,CAAgB,MAAM,IAAI,GAAA,CAAI,MAAM,CAAA,EAAG,CAAC,IAAA,KAAS;AAC/C,IAAA,IAAI,KAAA,CAAM,IAAI,IAAI,CAAA,IAAK,CAAC,IAAA,CAAK,GAAA,CAAI,IAAI,CAAA,EAAG;AACtC,MAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AACb,MAAA,KAAA,CAAM,KAAK,IAAI,CAAA;AAAA,IACjB;AAAA,EACF,CAAC,CAAA;AACD,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,eAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,IAAI,OAAO,IAAA,CAAK,GAAA,KAAQ,QAAA,IAAY,CAAC,MAAA,CAAO,GAAA,CAAI,IAAA,CAAK,GAAG,CAAA,EAAG,GAAA,CAAI,IAAA,CAAK,GAAG,CAAA;AACvE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,MAAA,CAAO,IAAI,CAAA,EAAG;AAClB,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AACvC,IAAA,eAAA,CAAgB,KAAK,IAAA,EAAM,KAAA,CAAM,QAAQ,IAAA,CAAK,IAAI,GAAG,GAAG,CAAA;AACxD,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,UAAA,EAAY;AAC5B,IAAA,eAAA;AAAA,MACE,IAAA,CAAK,IAAA;AAAA,MACL,SAAA;AAAA,QACE,MAAA;AAAA,QACA,KAAK,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI;AAAA,OACzC;AAAA,MACA;AAAA,KACF;AACA,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,gBAAA,EAAkB;AAClC,IAAA,oBAAA,CAAqB,IAAA,EAAM,QAAQ,GAAG,CAAA;AACtC,IAAA;AAAA,EACF;AACA,EAAA,sBAAA,CAAuB,IAAA,EAAM,QAAQ,GAAG,CAAA;AAC1C;AAEA,SAAS,sBAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAQ;AACxB,IAAA,eAAA,CAAgB,IAAA,CAAK,MAAA,EAAQ,MAAA,EAAQ,GAAG,CAAA;AACxC,IAAA,KAAA,MAAW,QAAQ,IAAA,CAAK,SAAA,EAAW,eAAA,CAAgB,IAAA,EAAM,QAAQ,GAAG,CAAA;AACpE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AACvC,IAAA,KAAA,MAAW,OAAO,IAAA,CAAK,IAAA;AACrB,MAAA,eAAA,CAAgB,GAAA,CAAI,IAAA,EAAM,GAAA,CAAI,OAAA,GAAU,KAAA,CAAM,QAAQ,GAAA,CAAI,OAAO,CAAA,GAAI,MAAA,EAAQ,GAAG,CAAA;AAClF,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,eAAA,CAAgB,IAAA,CAAK,IAAA,EAAM,MAAA,EAAQ,GAAG,CAAA;AACtC,IAAA,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AACvC,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,OAAA,KAAY,QAAQ,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AAC9F,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,kBAA0B,IAAA,CAAK,KAAA,EAAO,QAAQ,GAAG,CAAA;AACrE;AAEA,SAAS,oBAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACM;AACN,EAAA,MAAM,KAAA,GAAQ,SAAA;AAAA,IACZ,MAAA;AAAA,IACA,KAAK,SAAA,CAAU,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI;AAAA,GACxC;AACA,EAAA,KAAA,MAAW,MAAM,IAAA,CAAK,SAAA;AACpB,IAAA,eAAA;AAAA,MACE,EAAA,CAAG,IAAA;AAAA,MACH,SAAA;AAAA,QACE,KAAA;AAAA,QACA,GAAG,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI;AAAA,OACvC;AAAA,MACA;AAAA,KACF;AACF,EAAA,eAAA,CAAgB,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,GAAG,CAAA;AACvC;AAEA,SAAS,OAA4B,IAAA,EAAsC;AACzE,EAAA,OACE,IAAA,CAAK,SAAS,SAAA,IACd,IAAA,CAAK,SAAS,KAAA,IACd,IAAA,CAAK,IAAA,KAAS,SAAA,IACd,IAAA,CAAK,IAAA,KAAS,cACd,IAAA,CAAK,IAAA,KAAS,qBACd,IAAA,CAAK,IAAA,KAAS,mBACb,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,OAAA,KAAY,MAAA;AAEhD;AAEA,SAAS,MAAA,CAAO,IAAA,EAAY,IAAA,EAAqB,QAAA,EAAoB,KAAA,EAA4B;AAC/F,EAAA,IAAI,QAAA,CAAS,MAAA,GAAS,KAAA,CAAM,MAAA,CAAO,qBAAA;AACjC,IAAA,MAAM,IAAIC,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AACtD,EAAA,KAAA,CAAM,SAAA,CAAU,IAAA;AAAA,IACd,OAAO,MAAA,CAAO;AAAA,MACZ,MAAM,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,IAAI,CAAC,CAAA;AAAA,MAC7B,IAAA;AAAA,MACA,QAAA,EAAU,MAAA,CAAO,MAAA,CAAO,QAAQ;AAAA,KACjC;AAAA,GACH;AACF;AAEA,SAAS,QAAA,CAAS,OAAc,IAAA,EAAqB;AACnD,EAAA,OAAO,YAAA,CAAa,KAAA,EAAO,CAAC,IAAI,CAAC,CAAA;AACnC;AAEA,SAAS,YAAA,CAAa,OAAc,KAAA,EAAiC;AACnE,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,KAAA,MAAW,IAAA,IAAQ,KAAA,EAAO,MAAA,CAAO,GAAA,CAAI,IAAI,CAAA;AACzC,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,KAAA,CAAM,OAAoB,IAAA,EAA2B;AAC5D,EAAA,OAAO,SAAA,CAAU,KAAA,EAAO,CAAC,IAAI,CAAC,CAAA;AAChC;AAEA,SAAS,SAAA,CAAU,OAAoB,KAAA,EAAuC;AAC5E,EAAA,2BAAW,GAAA,CAAI,CAAC,GAAG,KAAA,EAAO,GAAG,KAAK,CAAC,CAAA;AACrC","file":"static-analysis.cjs","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport type { ResolvedKaladaV1Limits } from \"./limits.js\";\nimport { checkKaladaV1Types } from \"./static-types.js\";\nimport type { KaladaV1Expression, KaladaV1FunctionCapture } from \"./types.js\";\n\ntype Path = readonly (string | number)[];\ntype Names = ReadonlySet<string>;\n\ninterface AnalysisState {\n  readonly limits: ResolvedKaladaV1Limits;\n  readonly functions: KaladaV1FunctionCapture[];\n}\n\nexport function analyzeKaladaV1Functions<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n  limits: ResolvedKaladaV1Limits,\n): readonly KaladaV1FunctionCapture[] {\n  const state: AnalysisState = { limits, functions: [] };\n  scan(expression, [\"expression\"], new Set(), state);\n  checkKaladaV1Types(expression);\n  return Object.freeze(state.functions);\n}\n\nfunction scan<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  if (node.kind === \"function\") {\n    const parameters = node.parameters.map((item) => item.name);\n    record(path, null, collectCaptures(node.body, scope, new Set(parameters)), state);\n    scan(node.body, [...path, \"body\"], extendedMany(scope, parameters), state);\n    return;\n  }\n  if (node.kind === \"function-group\") {\n    scanGroup(node, path, scope, state);\n    return;\n  }\n  scanChildren(node, path, scope, state);\n}\n\nfunction scanGroup<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function-group\" }>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  const names = node.functions.map((item) => item.name);\n  const groupScope = extendedMany(scope, names);\n  node.functions.forEach((fn, index) => {\n    const memberPath = [...path, \"functions\", index];\n    const parameters = fn.parameters.map((item) => item.name);\n    const locals = new Set([...names, ...parameters]);\n    record(memberPath, fn.name, collectCaptures(fn.body, scope, locals), state);\n    scan(fn.body, [...memberPath, \"body\"], extendedMany(groupScope, parameters), state);\n  });\n  scan(node.body, [...path, \"body\"], groupScope, state);\n}\n\nfunction scanChildren<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  if (isLeaf(node)) return;\n  if (node.kind === \"binding\") {\n    scan(node.value, [...path, \"value\"], scope, state);\n    scan(node.body, [...path, \"body\"], extended(scope, node.name), state);\n    return;\n  }\n  if (node.kind === \"call\") {\n    scan(node.callee, [...path, \"callee\"], scope, state);\n    node.arguments.forEach((item, index) => {\n      scan(item, [...path, \"arguments\", index], scope, state);\n    });\n    return;\n  }\n  if (node.kind === \"match\") {\n    scanMatch(node, path, scope, state);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    scan(node.left, [...path, \"left\"], scope, state);\n    scan(node.right, [...path, \"right\"], scope, state);\n    return;\n  }\n  if (node.kind === \"option\" && node.variant === \"some\")\n    scan(node.value, [...path, \"value\"], scope, state);\n  if (node.kind === \"result\") scan(node.value, [...path, \"value\"], scope, state);\n}\n\nfunction scanMatch<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"match\" }>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  scan(node.value, [...path, \"value\"], scope, state);\n  node.arms.forEach((arm, index) => {\n    const armScope = arm.binding ? extended(scope, arm.binding) : scope;\n    scan(arm.body, [...path, \"arms\", index, \"body\"], armScope, state);\n  });\n}\n\nfunction collectCaptures<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  outer: Names,\n  locals: Names,\n): string[] {\n  const found: string[] = [];\n  const seen = new Set<string>();\n  visitReferences(node, new Set(locals), (name) => {\n    if (outer.has(name) && !seen.has(name)) {\n      seen.add(name);\n      found.push(name);\n    }\n  });\n  return found;\n}\n\nfunction visitReferences<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  locals: Set<string>,\n  add: (name: string) => void,\n): void {\n  if (node.kind === \"ref\") {\n    if (typeof node.ref === \"string\" && !locals.has(node.ref)) add(node.ref);\n    return;\n  }\n  if (isLeaf(node)) return;\n  if (node.kind === \"binding\") {\n    visitReferences(node.value, locals, add);\n    visitReferences(node.body, added(locals, node.name), add);\n    return;\n  }\n  if (node.kind === \"function\") {\n    visitReferences(\n      node.body,\n      addedMany(\n        locals,\n        node.parameters.map((item) => item.name),\n      ),\n      add,\n    );\n    return;\n  }\n  if (node.kind === \"function-group\") {\n    visitGroupReferences(node, locals, add);\n    return;\n  }\n  visitReferenceChildren(node, locals, add);\n}\n\nfunction visitReferenceChildren<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  locals: Set<string>,\n  add: (name: string) => void,\n): void {\n  if (node.kind === \"call\") {\n    visitReferences(node.callee, locals, add);\n    for (const item of node.arguments) visitReferences(item, locals, add);\n    return;\n  }\n  if (node.kind === \"match\") {\n    visitReferences(node.value, locals, add);\n    for (const arm of node.arms)\n      visitReferences(arm.body, arm.binding ? added(locals, arm.binding) : locals, add);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    visitReferences(node.left, locals, add);\n    visitReferences(node.right, locals, add);\n    return;\n  }\n  if (node.kind === \"option\" && node.variant === \"some\") visitReferences(node.value, locals, add);\n  if (node.kind === \"result\") visitReferences(node.value, locals, add);\n}\n\nfunction visitGroupReferences<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function-group\" }>,\n  locals: Set<string>,\n  add: (name: string) => void,\n): void {\n  const group = addedMany(\n    locals,\n    node.functions.map((item) => item.name),\n  );\n  for (const fn of node.functions)\n    visitReferences(\n      fn.body,\n      addedMany(\n        group,\n        fn.parameters.map((item) => item.name),\n      ),\n      add,\n    );\n  visitReferences(node.body, group, add);\n}\n\nfunction isLeaf<R extends JsonValue>(node: KaladaV1Expression<R>): boolean {\n  return (\n    node.kind === \"literal\" ||\n    node.kind === \"ref\" ||\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    node.kind === \"core-function\" ||\n    (node.kind === \"option\" && node.variant === \"none\")\n  );\n}\n\nfunction record(path: Path, name: string | null, captures: string[], state: AnalysisState): void {\n  if (captures.length > state.limits.maxCapturesPerClosure)\n    throw new KaladaFailure(\"KALADA_CAPTURE_LIMIT\", path);\n  state.functions.push(\n    Object.freeze({\n      path: Object.freeze([...path]),\n      name,\n      captures: Object.freeze(captures),\n    }),\n  );\n}\n\nfunction extended(scope: Names, name: string): Names {\n  return extendedMany(scope, [name]);\n}\n\nfunction extendedMany(scope: Names, names: readonly string[]): Names {\n  const output = new Set(scope);\n  for (const name of names) output.add(name);\n  return output;\n}\n\nfunction added(scope: Set<string>, name: string): Set<string> {\n  return addedMany(scope, [name]);\n}\n\nfunction addedMany(scope: Set<string>, names: readonly string[]): Set<string> {\n  return new Set([...scope, ...names]);\n}\n"]}

package/dist/kalada-v1/static-analysis.d.cts

@@ -0,0 +1,9 @@
+import { JsonValue } from './json.cjs';
+import { ResolvedKaladaV1Limits } from './limits.cjs';
+import { KaladaV1Expression, KaladaV1FunctionCapture } from './types.cjs';
+import './temporal.cjs';
+import './values.cjs';
+
+declare function analyzeKaladaV1Functions<R extends JsonValue>(expression: KaladaV1Expression<R>, limits: ResolvedKaladaV1Limits): readonly KaladaV1FunctionCapture[];
+
+export { analyzeKaladaV1Functions };

package/dist/kalada-v1/static-analysis.d.ts

@@ -0,0 +1,9 @@
+import { JsonValue } from './json.js';
+import { ResolvedKaladaV1Limits } from './limits.js';
+import { KaladaV1Expression, KaladaV1FunctionCapture } from './types.js';
+import './temporal.js';
+import './values.js';
+
+declare function analyzeKaladaV1Functions<R extends JsonValue>(expression: KaladaV1Expression<R>, limits: ResolvedKaladaV1Limits): readonly KaladaV1FunctionCapture[];
+
+export { analyzeKaladaV1Functions };

package/dist/kalada-v1/static-analysis.js

@@ -0,0 +1,175 @@
+import { KaladaFailure } from './diagnostics.js';
+import { checkKaladaV1Types } from './static-types.js';
+
+function analyzeKaladaV1Functions(expression, limits) {
+  const state = { limits, functions: [] };
+  scan(expression, ["expression"], /* @__PURE__ */ new Set(), state);
+  checkKaladaV1Types(expression);
+  return Object.freeze(state.functions);
+}
+function scan(node, path, scope, state) {
+  if (node.kind === "function") {
+    const parameters = node.parameters.map((item) => item.name);
+    record(path, null, collectCaptures(node.body, scope, new Set(parameters)), state);
+    scan(node.body, [...path, "body"], extendedMany(scope, parameters), state);
+    return;
+  }
+  if (node.kind === "function-group") {
+    scanGroup(node, path, scope, state);
+    return;
+  }
+  scanChildren(node, path, scope, state);
+}
+function scanGroup(node, path, scope, state) {
+  const names = node.functions.map((item) => item.name);
+  const groupScope = extendedMany(scope, names);
+  node.functions.forEach((fn, index) => {
+    const memberPath = [...path, "functions", index];
+    const parameters = fn.parameters.map((item) => item.name);
+    const locals = /* @__PURE__ */ new Set([...names, ...parameters]);
+    record(memberPath, fn.name, collectCaptures(fn.body, scope, locals), state);
+    scan(fn.body, [...memberPath, "body"], extendedMany(groupScope, parameters), state);
+  });
+  scan(node.body, [...path, "body"], groupScope, state);
+}
+function scanChildren(node, path, scope, state) {
+  if (isLeaf(node)) return;
+  if (node.kind === "binding") {
+    scan(node.value, [...path, "value"], scope, state);
+    scan(node.body, [...path, "body"], extended(scope, node.name), state);
+    return;
+  }
+  if (node.kind === "call") {
+    scan(node.callee, [...path, "callee"], scope, state);
+    node.arguments.forEach((item, index) => {
+      scan(item, [...path, "arguments", index], scope, state);
+    });
+    return;
+  }
+  if (node.kind === "match") {
+    scanMatch(node, path, scope, state);
+    return;
+  }
+  if (node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison") {
+    scan(node.left, [...path, "left"], scope, state);
+    scan(node.right, [...path, "right"], scope, state);
+    return;
+  }
+  if (node.kind === "option" && node.variant === "some")
+    scan(node.value, [...path, "value"], scope, state);
+  if (node.kind === "result") scan(node.value, [...path, "value"], scope, state);
+}
+function scanMatch(node, path, scope, state) {
+  scan(node.value, [...path, "value"], scope, state);
+  node.arms.forEach((arm, index) => {
+    const armScope = arm.binding ? extended(scope, arm.binding) : scope;
+    scan(arm.body, [...path, "arms", index, "body"], armScope, state);
+  });
+}
+function collectCaptures(node, outer, locals) {
+  const found = [];
+  const seen = /* @__PURE__ */ new Set();
+  visitReferences(node, new Set(locals), (name) => {
+    if (outer.has(name) && !seen.has(name)) {
+      seen.add(name);
+      found.push(name);
+    }
+  });
+  return found;
+}
+function visitReferences(node, locals, add) {
+  if (node.kind === "ref") {
+    if (typeof node.ref === "string" && !locals.has(node.ref)) add(node.ref);
+    return;
+  }
+  if (isLeaf(node)) return;
+  if (node.kind === "binding") {
+    visitReferences(node.value, locals, add);
+    visitReferences(node.body, added(locals, node.name), add);
+    return;
+  }
+  if (node.kind === "function") {
+    visitReferences(
+      node.body,
+      addedMany(
+        locals,
+        node.parameters.map((item) => item.name)
+      ),
+      add
+    );
+    return;
+  }
+  if (node.kind === "function-group") {
+    visitGroupReferences(node, locals, add);
+    return;
+  }
+  visitReferenceChildren(node, locals, add);
+}
+function visitReferenceChildren(node, locals, add) {
+  if (node.kind === "call") {
+    visitReferences(node.callee, locals, add);
+    for (const item of node.arguments) visitReferences(item, locals, add);
+    return;
+  }
+  if (node.kind === "match") {
+    visitReferences(node.value, locals, add);
+    for (const arm of node.arms)
+      visitReferences(arm.body, arm.binding ? added(locals, arm.binding) : locals, add);
+    return;
+  }
+  if (node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison") {
+    visitReferences(node.left, locals, add);
+    visitReferences(node.right, locals, add);
+    return;
+  }
+  if (node.kind === "option" && node.variant === "some") visitReferences(node.value, locals, add);
+  if (node.kind === "result") visitReferences(node.value, locals, add);
+}
+function visitGroupReferences(node, locals, add) {
+  const group = addedMany(
+    locals,
+    node.functions.map((item) => item.name)
+  );
+  for (const fn of node.functions)
+    visitReferences(
+      fn.body,
+      addedMany(
+        group,
+        fn.parameters.map((item) => item.name)
+      ),
+      add
+    );
+  visitReferences(node.body, group, add);
+}
+function isLeaf(node) {
+  return node.kind === "literal" || node.kind === "ref" || node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "core-function" || node.kind === "option" && node.variant === "none";
+}
+function record(path, name, captures, state) {
+  if (captures.length > state.limits.maxCapturesPerClosure)
+    throw new KaladaFailure("KALADA_CAPTURE_LIMIT", path);
+  state.functions.push(
+    Object.freeze({
+      path: Object.freeze([...path]),
+      name,
+      captures: Object.freeze(captures)
+    })
+  );
+}
+function extended(scope, name) {
+  return extendedMany(scope, [name]);
+}
+function extendedMany(scope, names) {
+  const output = new Set(scope);
+  for (const name of names) output.add(name);
+  return output;
+}
+function added(scope, name) {
+  return addedMany(scope, [name]);
+}
+function addedMany(scope, names) {
+  return /* @__PURE__ */ new Set([...scope, ...names]);
+}
+
+export { analyzeKaladaV1Functions };
+//# sourceMappingURL=static-analysis.js.map
+//# sourceMappingURL=static-analysis.js.map

package/dist/kalada-v1/static-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/static-analysis.ts"],"names":[],"mappings":";;;AAcO,SAAS,wBAAA,CACd,YACA,MAAA,EACoC;AACpC,EAAA,MAAM,KAAA,GAAuB,EAAE,MAAA,EAAQ,SAAA,EAAW,EAAC,EAAE;AACrD,EAAA,IAAA,CAAK,YAAY,CAAC,YAAY,mBAAG,IAAI,GAAA,IAAO,KAAK,CAAA;AACjD,EAAA,kBAAA,CAAmB,UAAU,CAAA;AAC7B,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,SAAS,CAAA;AACtC;AAEA,SAAS,IAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,UAAA,EAAY;AAC5B,IAAA,MAAM,aAAa,IAAA,CAAK,UAAA,CAAW,IAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AAC1D,IAAA,MAAA,CAAO,IAAA,EAAM,IAAA,EAAM,eAAA,CAAgB,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA,EAAG,KAAK,CAAA;AAChF,IAAA,IAAA,CAAK,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,YAAA,CAAa,KAAA,EAAO,UAAU,CAAA,EAAG,KAAK,CAAA;AACzE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,gBAAA,EAAkB;AAClC,IAAA,SAAA,CAAU,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAClC,IAAA;AAAA,EACF;AACA,EAAA,YAAA,CAAa,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACvC;AAEA,SAAS,SAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,MAAM,QAAQ,IAAA,CAAK,SAAA,CAAU,IAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AACpD,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,KAAA,EAAO,KAAK,CAAA;AAC5C,EAAA,IAAA,CAAK,SAAA,CAAU,OAAA,CAAQ,CAAC,EAAA,EAAI,KAAA,KAAU;AACpC,IAAA,MAAM,UAAA,GAAa,CAAC,GAAG,IAAA,EAAM,aAAa,KAAK,CAAA;AAC/C,IAAA,MAAM,aAAa,EAAA,CAAG,UAAA,CAAW,IAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AACxD,IAAA,MAAM,MAAA,uBAAa,GAAA,CAAI,CAAC,GAAG,KAAA,EAAO,GAAG,UAAU,CAAC,CAAA;AAChD,IAAA,MAAA,CAAO,UAAA,EAAY,GAAG,IAAA,EAAM,eAAA,CAAgB,GAAG,IAAA,EAAM,KAAA,EAAO,MAAM,CAAA,EAAG,KAAK,CAAA;AAC1E,IAAA,IAAA,CAAK,EAAA,CAAG,IAAA,EAAM,CAAC,GAAG,UAAA,EAAY,MAAM,CAAA,EAAG,YAAA,CAAa,UAAA,EAAY,UAAU,CAAA,EAAG,KAAK,CAAA;AAAA,EACpF,CAAC,CAAA;AACD,EAAA,IAAA,CAAK,IAAA,CAAK,MAAM,CAAC,GAAG,MAAM,MAAM,CAAA,EAAG,YAAY,KAAK,CAAA;AACtD;AAEA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,MAAA,CAAO,IAAI,CAAA,EAAG;AAClB,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACjD,IAAA,IAAA,CAAK,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,QAAA,CAAS,KAAA,EAAO,IAAA,CAAK,IAAI,CAAA,EAAG,KAAK,CAAA;AACpE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAQ;AACxB,IAAA,IAAA,CAAK,IAAA,CAAK,QAAQ,CAAC,GAAG,MAAM,QAAQ,CAAA,EAAG,OAAO,KAAK,CAAA;AACnD,IAAA,IAAA,CAAK,SAAA,CAAU,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AACtC,MAAA,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,aAAa,KAAK,CAAA,EAAG,OAAO,KAAK,CAAA;AAAA,IACxD,CAAC,CAAA;AACD,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,SAAA,CAAU,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAClC,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,IAAA,CAAK,IAAA,CAAK,MAAM,CAAC,GAAG,MAAM,MAAM,CAAA,EAAG,OAAO,KAAK,CAAA;AAC/C,IAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACjD,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,OAAA,KAAY,MAAA;AAC7C,IAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACnD,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU,IAAA,CAAK,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAA;AAC/E;AAEA,SAAS,SAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,IAAA,CAAK,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,OAAO,KAAK,CAAA;AACjD,EAAA,IAAA,CAAK,IAAA,CAAK,OAAA,CAAQ,CAAC,GAAA,EAAK,KAAA,KAAU;AAChC,IAAA,MAAM,WAAW,GAAA,CAAI,OAAA,GAAU,SAAS,KAAA,EAAO,GAAA,CAAI,OAAO,CAAA,GAAI,KAAA;AAC9D,IAAA,IAAA,CAAK,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,QAAQ,KAAA,EAAO,MAAM,CAAA,EAAG,QAAA,EAAU,KAAK,CAAA;AAAA,EAClE,CAAC,CAAA;AACH;AAEA,SAAS,eAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACU;AACV,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,eAAA,CAAgB,MAAM,IAAI,GAAA,CAAI,MAAM,CAAA,EAAG,CAAC,IAAA,KAAS;AAC/C,IAAA,IAAI,KAAA,CAAM,IAAI,IAAI,CAAA,IAAK,CAAC,IAAA,CAAK,GAAA,CAAI,IAAI,CAAA,EAAG;AACtC,MAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AACb,MAAA,KAAA,CAAM,KAAK,IAAI,CAAA;AAAA,IACjB;AAAA,EACF,CAAC,CAAA;AACD,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,eAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,IAAI,OAAO,IAAA,CAAK,GAAA,KAAQ,QAAA,IAAY,CAAC,MAAA,CAAO,GAAA,CAAI,IAAA,CAAK,GAAG,CAAA,EAAG,GAAA,CAAI,IAAA,CAAK,GAAG,CAAA;AACvE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,MAAA,CAAO,IAAI,CAAA,EAAG;AAClB,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AACvC,IAAA,eAAA,CAAgB,KAAK,IAAA,EAAM,KAAA,CAAM,QAAQ,IAAA,CAAK,IAAI,GAAG,GAAG,CAAA;AACxD,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,UAAA,EAAY;AAC5B,IAAA,eAAA;AAAA,MACE,IAAA,CAAK,IAAA;AAAA,MACL,SAAA;AAAA,QACE,MAAA;AAAA,QACA,KAAK,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI;AAAA,OACzC;AAAA,MACA;AAAA,KACF;AACA,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,gBAAA,EAAkB;AAClC,IAAA,oBAAA,CAAqB,IAAA,EAAM,QAAQ,GAAG,CAAA;AACtC,IAAA;AAAA,EACF;AACA,EAAA,sBAAA,CAAuB,IAAA,EAAM,QAAQ,GAAG,CAAA;AAC1C;AAEA,SAAS,sBAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAQ;AACxB,IAAA,eAAA,CAAgB,IAAA,CAAK,MAAA,EAAQ,MAAA,EAAQ,GAAG,CAAA;AACxC,IAAA,KAAA,MAAW,QAAQ,IAAA,CAAK,SAAA,EAAW,eAAA,CAAgB,IAAA,EAAM,QAAQ,GAAG,CAAA;AACpE,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AACvC,IAAA,KAAA,MAAW,OAAO,IAAA,CAAK,IAAA;AACrB,MAAA,eAAA,CAAgB,GAAA,CAAI,IAAA,EAAM,GAAA,CAAI,OAAA,GAAU,KAAA,CAAM,QAAQ,GAAA,CAAI,OAAO,CAAA,GAAI,MAAA,EAAQ,GAAG,CAAA;AAClF,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,eAAA,CAAgB,IAAA,CAAK,IAAA,EAAM,MAAA,EAAQ,GAAG,CAAA;AACtC,IAAA,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AACvC,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,OAAA,KAAY,QAAQ,eAAA,CAAgB,IAAA,CAAK,KAAA,EAAO,MAAA,EAAQ,GAAG,CAAA;AAC9F,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,kBAA0B,IAAA,CAAK,KAAA,EAAO,QAAQ,GAAG,CAAA;AACrE;AAEA,SAAS,oBAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACM;AACN,EAAA,MAAM,KAAA,GAAQ,SAAA;AAAA,IACZ,MAAA;AAAA,IACA,KAAK,SAAA,CAAU,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI;AAAA,GACxC;AACA,EAAA,KAAA,MAAW,MAAM,IAAA,CAAK,SAAA;AACpB,IAAA,eAAA;AAAA,MACE,EAAA,CAAG,IAAA;AAAA,MACH,SAAA;AAAA,QACE,KAAA;AAAA,QACA,GAAG,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI;AAAA,OACvC;AAAA,MACA;AAAA,KACF;AACF,EAAA,eAAA,CAAgB,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,GAAG,CAAA;AACvC;AAEA,SAAS,OAA4B,IAAA,EAAsC;AACzE,EAAA,OACE,IAAA,CAAK,SAAS,SAAA,IACd,IAAA,CAAK,SAAS,KAAA,IACd,IAAA,CAAK,IAAA,KAAS,SAAA,IACd,IAAA,CAAK,IAAA,KAAS,cACd,IAAA,CAAK,IAAA,KAAS,qBACd,IAAA,CAAK,IAAA,KAAS,mBACb,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,OAAA,KAAY,MAAA;AAEhD;AAEA,SAAS,MAAA,CAAO,IAAA,EAAY,IAAA,EAAqB,QAAA,EAAoB,KAAA,EAA4B;AAC/F,EAAA,IAAI,QAAA,CAAS,MAAA,GAAS,KAAA,CAAM,MAAA,CAAO,qBAAA;AACjC,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AACtD,EAAA,KAAA,CAAM,SAAA,CAAU,IAAA;AAAA,IACd,OAAO,MAAA,CAAO;AAAA,MACZ,MAAM,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,IAAI,CAAC,CAAA;AAAA,MAC7B,IAAA;AAAA,MACA,QAAA,EAAU,MAAA,CAAO,MAAA,CAAO,QAAQ;AAAA,KACjC;AAAA,GACH;AACF;AAEA,SAAS,QAAA,CAAS,OAAc,IAAA,EAAqB;AACnD,EAAA,OAAO,YAAA,CAAa,KAAA,EAAO,CAAC,IAAI,CAAC,CAAA;AACnC;AAEA,SAAS,YAAA,CAAa,OAAc,KAAA,EAAiC;AACnE,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,KAAA,MAAW,IAAA,IAAQ,KAAA,EAAO,MAAA,CAAO,GAAA,CAAI,IAAI,CAAA;AACzC,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,KAAA,CAAM,OAAoB,IAAA,EAA2B;AAC5D,EAAA,OAAO,SAAA,CAAU,KAAA,EAAO,CAAC,IAAI,CAAC,CAAA;AAChC;AAEA,SAAS,SAAA,CAAU,OAAoB,KAAA,EAAuC;AAC5E,EAAA,2BAAW,GAAA,CAAI,CAAC,GAAG,KAAA,EAAO,GAAG,KAAK,CAAC,CAAA;AACrC","file":"static-analysis.js","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport type { ResolvedKaladaV1Limits } from \"./limits.js\";\nimport { checkKaladaV1Types } from \"./static-types.js\";\nimport type { KaladaV1Expression, KaladaV1FunctionCapture } from \"./types.js\";\n\ntype Path = readonly (string | number)[];\ntype Names = ReadonlySet<string>;\n\ninterface AnalysisState {\n  readonly limits: ResolvedKaladaV1Limits;\n  readonly functions: KaladaV1FunctionCapture[];\n}\n\nexport function analyzeKaladaV1Functions<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n  limits: ResolvedKaladaV1Limits,\n): readonly KaladaV1FunctionCapture[] {\n  const state: AnalysisState = { limits, functions: [] };\n  scan(expression, [\"expression\"], new Set(), state);\n  checkKaladaV1Types(expression);\n  return Object.freeze(state.functions);\n}\n\nfunction scan<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  if (node.kind === \"function\") {\n    const parameters = node.parameters.map((item) => item.name);\n    record(path, null, collectCaptures(node.body, scope, new Set(parameters)), state);\n    scan(node.body, [...path, \"body\"], extendedMany(scope, parameters), state);\n    return;\n  }\n  if (node.kind === \"function-group\") {\n    scanGroup(node, path, scope, state);\n    return;\n  }\n  scanChildren(node, path, scope, state);\n}\n\nfunction scanGroup<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function-group\" }>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  const names = node.functions.map((item) => item.name);\n  const groupScope = extendedMany(scope, names);\n  node.functions.forEach((fn, index) => {\n    const memberPath = [...path, \"functions\", index];\n    const parameters = fn.parameters.map((item) => item.name);\n    const locals = new Set([...names, ...parameters]);\n    record(memberPath, fn.name, collectCaptures(fn.body, scope, locals), state);\n    scan(fn.body, [...memberPath, \"body\"], extendedMany(groupScope, parameters), state);\n  });\n  scan(node.body, [...path, \"body\"], groupScope, state);\n}\n\nfunction scanChildren<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  if (isLeaf(node)) return;\n  if (node.kind === \"binding\") {\n    scan(node.value, [...path, \"value\"], scope, state);\n    scan(node.body, [...path, \"body\"], extended(scope, node.name), state);\n    return;\n  }\n  if (node.kind === \"call\") {\n    scan(node.callee, [...path, \"callee\"], scope, state);\n    node.arguments.forEach((item, index) => {\n      scan(item, [...path, \"arguments\", index], scope, state);\n    });\n    return;\n  }\n  if (node.kind === \"match\") {\n    scanMatch(node, path, scope, state);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    scan(node.left, [...path, \"left\"], scope, state);\n    scan(node.right, [...path, \"right\"], scope, state);\n    return;\n  }\n  if (node.kind === \"option\" && node.variant === \"some\")\n    scan(node.value, [...path, \"value\"], scope, state);\n  if (node.kind === \"result\") scan(node.value, [...path, \"value\"], scope, state);\n}\n\nfunction scanMatch<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"match\" }>,\n  path: Path,\n  scope: Names,\n  state: AnalysisState,\n): void {\n  scan(node.value, [...path, \"value\"], scope, state);\n  node.arms.forEach((arm, index) => {\n    const armScope = arm.binding ? extended(scope, arm.binding) : scope;\n    scan(arm.body, [...path, \"arms\", index, \"body\"], armScope, state);\n  });\n}\n\nfunction collectCaptures<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  outer: Names,\n  locals: Names,\n): string[] {\n  const found: string[] = [];\n  const seen = new Set<string>();\n  visitReferences(node, new Set(locals), (name) => {\n    if (outer.has(name) && !seen.has(name)) {\n      seen.add(name);\n      found.push(name);\n    }\n  });\n  return found;\n}\n\nfunction visitReferences<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  locals: Set<string>,\n  add: (name: string) => void,\n): void {\n  if (node.kind === \"ref\") {\n    if (typeof node.ref === \"string\" && !locals.has(node.ref)) add(node.ref);\n    return;\n  }\n  if (isLeaf(node)) return;\n  if (node.kind === \"binding\") {\n    visitReferences(node.value, locals, add);\n    visitReferences(node.body, added(locals, node.name), add);\n    return;\n  }\n  if (node.kind === \"function\") {\n    visitReferences(\n      node.body,\n      addedMany(\n        locals,\n        node.parameters.map((item) => item.name),\n      ),\n      add,\n    );\n    return;\n  }\n  if (node.kind === \"function-group\") {\n    visitGroupReferences(node, locals, add);\n    return;\n  }\n  visitReferenceChildren(node, locals, add);\n}\n\nfunction visitReferenceChildren<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  locals: Set<string>,\n  add: (name: string) => void,\n): void {\n  if (node.kind === \"call\") {\n    visitReferences(node.callee, locals, add);\n    for (const item of node.arguments) visitReferences(item, locals, add);\n    return;\n  }\n  if (node.kind === \"match\") {\n    visitReferences(node.value, locals, add);\n    for (const arm of node.arms)\n      visitReferences(arm.body, arm.binding ? added(locals, arm.binding) : locals, add);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    visitReferences(node.left, locals, add);\n    visitReferences(node.right, locals, add);\n    return;\n  }\n  if (node.kind === \"option\" && node.variant === \"some\") visitReferences(node.value, locals, add);\n  if (node.kind === \"result\") visitReferences(node.value, locals, add);\n}\n\nfunction visitGroupReferences<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function-group\" }>,\n  locals: Set<string>,\n  add: (name: string) => void,\n): void {\n  const group = addedMany(\n    locals,\n    node.functions.map((item) => item.name),\n  );\n  for (const fn of node.functions)\n    visitReferences(\n      fn.body,\n      addedMany(\n        group,\n        fn.parameters.map((item) => item.name),\n      ),\n      add,\n    );\n  visitReferences(node.body, group, add);\n}\n\nfunction isLeaf<R extends JsonValue>(node: KaladaV1Expression<R>): boolean {\n  return (\n    node.kind === \"literal\" ||\n    node.kind === \"ref\" ||\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    node.kind === \"core-function\" ||\n    (node.kind === \"option\" && node.variant === \"none\")\n  );\n}\n\nfunction record(path: Path, name: string | null, captures: string[], state: AnalysisState): void {\n  if (captures.length > state.limits.maxCapturesPerClosure)\n    throw new KaladaFailure(\"KALADA_CAPTURE_LIMIT\", path);\n  state.functions.push(\n    Object.freeze({\n      path: Object.freeze([...path]),\n      name,\n      captures: Object.freeze(captures),\n    }),\n  );\n}\n\nfunction extended(scope: Names, name: string): Names {\n  return extendedMany(scope, [name]);\n}\n\nfunction extendedMany(scope: Names, names: readonly string[]): Names {\n  const output = new Set(scope);\n  for (const name of names) output.add(name);\n  return output;\n}\n\nfunction added(scope: Set<string>, name: string): Set<string> {\n  return addedMany(scope, [name]);\n}\n\nfunction addedMany(scope: Set<string>, names: readonly string[]): Set<string> {\n  return new Set([...scope, ...names]);\n}\n"]}

package/dist/kalada-v1/static-types.cjs

@@ -0,0 +1,229 @@
+'use strict';
+
+var diagnostics_js = require('./diagnostics.js');
+
+const DYNAMIC = /* @__PURE__ */ Symbol("dynamic");
+function checkKaladaV1Types(expression) {
+  infer(expression, ["expression"], /* @__PURE__ */ new Map());
+}
+function infer(node, path, scope) {
+  if (node.kind === "literal") return literalType(node.value);
+  if (node.kind === "ref")
+    return typeof node.ref === "string" ? scope.get(node.ref) ?? DYNAMIC : DYNAMIC;
+  if (node.kind === "function") return checkFunction(node, path, scope);
+  if (node.kind === "function-group") return checkGroup(node, path, scope);
+  if (node.kind === "call") return checkCall(node, path, scope);
+  if (node.kind === "core-function") return coreType(node.name);
+  if (node.kind === "binding") return checkBinding(node, path, scope);
+  if (node.kind === "option") return optionType(node, path, scope);
+  if (node.kind === "result") return resultType(node, path, scope);
+  if (node.kind === "match") return checkMatch(node, path, scope);
+  return inferTemporal(node, path, scope);
+}
+function checkFunction(node, path, outer) {
+  const parameters = /* @__PURE__ */ new Map();
+  for (const parameter of node.parameters) parameters.set(parameter.name, parameter.type);
+  const actual = infer(node.body, [...path, "body"], merged(outer, parameters));
+  requireAssignable(actual, node.returns, [...path, "body"]);
+  return functionType(
+    node.parameters.map((item) => item.type),
+    node.returns
+  );
+}
+function checkGroup(node, path, outer) {
+  const signatures = /* @__PURE__ */ new Map();
+  for (const fn of node.functions) signatures.set(fn.name, signature(fn));
+  const groupScope = merged(outer, signatures);
+  node.functions.forEach((fn, index) => {
+    checkMember(fn, [...path, "functions", index], groupScope);
+  });
+  return infer(node.body, [...path, "body"], groupScope);
+}
+function checkMember(fn, path, group) {
+  const parameters = /* @__PURE__ */ new Map();
+  for (const parameter of fn.parameters) parameters.set(parameter.name, parameter.type);
+  const actual = infer(fn.body, [...path, "body"], merged(group, parameters));
+  requireAssignable(actual, fn.returns, [...path, "body"]);
+}
+function checkCall(node, path, scope) {
+  const callee = infer(node.callee, [...path, "callee"], scope);
+  const args = node.arguments.map(
+    (item, index) => infer(item, [...path, "arguments", index], scope)
+  );
+  if (callee === DYNAMIC) return DYNAMIC;
+  if (!isFunctionType(callee)) fail("KALADA_NOT_CALLABLE", [...path, "callee"]);
+  if (args.length !== callee.parameters.length)
+    fail("KALADA_FUNCTION_ARITY", [...path, "arguments"]);
+  args.forEach((actual, index) => {
+    requireAssignable(actual, callee.parameters[index], [
+      ...path,
+      "arguments",
+      index
+    ]);
+  });
+  return callee.returns;
+}
+function checkBinding(node, path, scope) {
+  const value = infer(node.value, [...path, "value"], scope);
+  return infer(node.body, [...path, "body"], merged(scope, /* @__PURE__ */ new Map([[node.name, value]])));
+}
+function checkMatch(node, path, scope) {
+  const scrutinee = infer(node.value, [...path, "value"], scope);
+  const payloads = matchPayloads(node.type, scrutinee);
+  const branches = node.arms.map((arm, index) => {
+    const payload = payloads.get(arm.variant) ?? DYNAMIC;
+    const nested = arm.binding ? merged(scope, /* @__PURE__ */ new Map([[arm.binding, payload]])) : scope;
+    return infer(arm.body, [...path, "arms", index, "body"], nested);
+  });
+  return join(branches);
+}
+function matchPayloads(type, value) {
+  if (value === DYNAMIC) return /* @__PURE__ */ new Map();
+  if (type === "Option" && isOptionShape(value)) return /* @__PURE__ */ new Map([["some", value.value]]);
+  if (type === "Option" && !isShape(value) && value.kind === "option-type")
+    return /* @__PURE__ */ new Map([["some", value.value]]);
+  if (type === "Result" && isResultShape(value))
+    return /* @__PURE__ */ new Map([
+      ["ok", value.ok],
+      ["err", value.error]
+    ]);
+  if (type === "Result" && !isShape(value) && value.kind === "result-type")
+    return /* @__PURE__ */ new Map([
+      ["ok", value.ok],
+      ["err", value.error]
+    ]);
+  return /* @__PURE__ */ new Map();
+}
+function inferTemporal(node, path, scope) {
+  if (node.kind === "instant" || node.kind === "current-instant") return primitive("Instant");
+  if (node.kind === "duration") return primitive("Duration");
+  const left = infer(node.left, [...path, "left"], scope);
+  const right = infer(node.right, [...path, "right"], scope);
+  if (node.kind === "temporal-comparison") return primitive("boolean");
+  return temporalArithmetic(node.operator, left, right);
+}
+function temporalArithmetic(operator, left, right) {
+  if (operator === "add") return additionType(left);
+  if (isPrimitive(left, "Duration")) return primitive("Duration");
+  if (isPrimitive(right, "Instant")) return primitive("Duration");
+  if (isPrimitive(left, "Instant") && isPrimitive(right, "Duration")) return primitive("Instant");
+  return union([primitive("Instant"), primitive("Duration")]);
+}
+function additionType(left, _right) {
+  if (isPrimitive(left, "Instant")) return primitive("Instant");
+  if (isPrimitive(left, "Duration")) return primitive("Duration");
+  return union([primitive("Instant"), primitive("Duration")]);
+}
+function optionType(node, path, scope) {
+  return Object.freeze({
+    shape: "option",
+    value: node.variant === "none" ? DYNAMIC : infer(node.value, [...path, "value"], scope)
+  });
+}
+function resultType(node, path, scope) {
+  const value = infer(node.value, [...path, "value"], scope);
+  return Object.freeze({
+    shape: "result",
+    ok: node.variant === "ok" ? value : DYNAMIC,
+    error: node.variant === "err" ? value : DYNAMIC
+  });
+}
+function requireAssignable(actual, expected, path) {
+  if (!assignable(actual, expected)) fail("KALADA_FUNCTION_TYPE_MISMATCH", path);
+}
+function assignable(actual, expected) {
+  if (actual === DYNAMIC) return true;
+  if (isUnion(actual)) return actual.members.every((member) => assignable(member, expected));
+  if (isOptionShape(actual))
+    return expected.kind === "option-type" && assignable(actual.value, expected.value);
+  if (isResultShape(actual))
+    return expected.kind === "result-type" && assignable(actual.ok, expected.ok) && assignable(actual.error, expected.error);
+  if (expected.kind === "primitive-type" && expected.name === "json" && !isShape(actual)) {
+    return isJsonType(actual);
+  }
+  return equalType(actual, expected);
+}
+function isJsonType(type) {
+  if (type.kind === "array-type") return isJsonType(type.element);
+  if (type.kind !== "primitive-type") return false;
+  return ["null", "boolean", "number", "string", "json"].includes(type.name);
+}
+function join(types) {
+  const unique = [];
+  for (const item of types) {
+    if (!unique.some((candidate) => staticEqual(candidate, item))) unique.push(item);
+  }
+  return unique.length === 1 ? unique[0] : union(unique);
+}
+function staticEqual(left, right) {
+  if (left === DYNAMIC || right === DYNAMIC) return left === right;
+  return JSON.stringify(left) === JSON.stringify(right);
+}
+function union(members) {
+  return Object.freeze({ shape: "union", members: Object.freeze([...members]) });
+}
+function coreType(name) {
+  const callback = functionType(
+    [primitive("json"), primitive("number")],
+    primitive(name === "map" ? "json" : "boolean")
+  );
+  const array = Object.freeze({ kind: "array-type", element: primitive("json") });
+  return functionType(
+    [array, callback],
+    name === "some" || name === "every" ? primitive("boolean") : array
+  );
+}
+function signature(fn) {
+  return functionType(
+    fn.parameters.map((item) => item.type),
+    fn.returns
+  );
+}
+function functionType(parameters, returns) {
+  return Object.freeze({
+    kind: "function-type",
+    parameters: Object.freeze([...parameters]),
+    returns
+  });
+}
+function literalType(value) {
+  if (Array.isArray(value))
+    return Object.freeze({ kind: "array-type", element: primitive("json") });
+  return primitive(
+    value === null ? "null" : typeof value === "object" ? "json" : typeof value
+  );
+}
+function primitive(name) {
+  return Object.freeze({ kind: "primitive-type", name });
+}
+function isFunctionType(value) {
+  return value !== DYNAMIC && !isShape(value) && value.kind === "function-type";
+}
+function isPrimitive(value, name) {
+  return value !== DYNAMIC && !isShape(value) && value.kind === "primitive-type" && value.name === name;
+}
+function isShape(value) {
+  return value !== DYNAMIC && "shape" in value;
+}
+function isOptionShape(value) {
+  return isShape(value) && value.shape === "option";
+}
+function isResultShape(value) {
+  return isShape(value) && value.shape === "result";
+}
+function isUnion(value) {
+  return isShape(value) && value.shape === "union";
+}
+function equalType(left, right) {
+  return JSON.stringify(left) === JSON.stringify(right);
+}
+function merged(base, extra) {
+  return new Map([...base, ...extra]);
+}
+function fail(code, path) {
+  throw new diagnostics_js.KaladaFailure(code, path);
+}
+
+exports.checkKaladaV1Types = checkKaladaV1Types;
+//# sourceMappingURL=static-types.cjs.map
+//# sourceMappingURL=static-types.cjs.map