@kalada/core 0.2.0 → 0.4.0

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

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/static-types.ts"],"names":["KaladaFailure"],"mappings":";;;;AAKA,MAAM,OAAA,0BAAiB,SAAS,CAAA;AAkBzB,SAAS,mBAAwC,UAAA,EAAyC;AAC/F,EAAA,KAAA,CAAM,YAAY,CAAC,YAAY,CAAA,kBAAG,IAAI,KAAK,CAAA;AAC7C;AAEA,SAAS,KAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,IAAI,KAAK,IAAA,KAAS,SAAA,EAAW,OAAO,WAAA,CAAY,KAAK,KAAK,CAAA;AAC1D,EAAA,IAAI,KAAK,IAAA,KAAS,KAAA;AAChB,IAAA,OAAO,OAAO,KAAK,GAAA,KAAQ,QAAA,GAAY,MAAM,GAAA,CAAI,IAAA,CAAK,GAAG,CAAA,IAAK,OAAA,GAAW,OAAA;AAC3E,EAAA,IAAI,KAAK,IAAA,KAAS,UAAA,SAAmB,aAAA,CAAc,IAAA,EAAM,MAAM,KAAK,CAAA;AACpE,EAAA,IAAI,KAAK,IAAA,KAAS,gBAAA,SAAyB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AACvE,EAAA,IAAI,KAAK,IAAA,KAAS,MAAA,SAAe,SAAA,CAAU,IAAA,EAAM,MAAM,KAAK,CAAA;AAC5D,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,EAAiB,OAAO,QAAA,CAAS,KAAK,IAAI,CAAA;AAC5D,EAAA,IAAI,KAAK,IAAA,KAAS,SAAA,SAAkB,YAAA,CAAa,IAAA,EAAM,MAAM,KAAK,CAAA;AAClE,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,SAAiB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC/D,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,SAAiB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC/D,EAAA,IAAI,KAAK,IAAA,KAAS,OAAA,SAAgB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC9D,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,IAAA,EAAM,KAAK,CAAA;AACxC;AAEA,SAAS,aAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACoB;AACpB,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAwB;AAC/C,EAAA,KAAA,MAAW,SAAA,IAAa,KAAK,UAAA,EAAY,UAAA,CAAW,IAAI,SAAA,CAAU,IAAA,EAAM,UAAU,IAAI,CAAA;AACtF,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,CAAO,KAAA,EAAO,UAAU,CAAC,CAAA;AAC5E,EAAA,iBAAA,CAAkB,QAAQ,IAAA,CAAK,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACzD,EAAA,OAAO,YAAA;AAAA,IACL,KAAK,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AAAA,IACvC,IAAA,CAAK;AAAA,GACP;AACF;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAwB;AAC/C,EAAA,KAAA,MAAW,EAAA,IAAM,KAAK,SAAA,EAAW,UAAA,CAAW,IAAI,EAAA,CAAG,IAAA,EAAM,SAAA,CAAU,EAAE,CAAC,CAAA;AACtE,EAAA,MAAM,UAAA,GAAa,MAAA,CAAO,KAAA,EAAO,UAAU,CAAA;AAC3C,EAAA,IAAA,CAAK,SAAA,CAAU,OAAA,CAAQ,CAAC,EAAA,EAAI,KAAA,KAAU;AACpC,IAAA,WAAA,CAAY,IAAI,CAAC,GAAG,MAAM,WAAA,EAAa,KAAK,GAAG,UAAU,CAAA;AAAA,EAC3D,CAAC,CAAA;AACD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,GAAG,UAAU,CAAA;AACvD;AAEA,SAAS,WAAA,CAAiC,EAAA,EAAsB,IAAA,EAAY,KAAA,EAAoB;AAC9F,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAwB;AAC/C,EAAA,KAAA,MAAW,SAAA,IAAa,GAAG,UAAA,EAAY,UAAA,CAAW,IAAI,SAAA,CAAU,IAAA,EAAM,UAAU,IAAI,CAAA;AACpF,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,EAAA,CAAG,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,CAAO,KAAA,EAAO,UAAU,CAAC,CAAA;AAC1E,EAAA,iBAAA,CAAkB,QAAQ,EAAA,CAAG,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACzD;AAEA,SAAS,SAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,MAAA,GAAS,MAAM,IAAA,CAAK,MAAA,EAAQ,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAA,EAAG,KAAK,CAAA;AAC5D,EAAA,MAAM,IAAA,GAAO,KAAK,SAAA,CAAU,GAAA;AAAA,IAAI,CAAC,IAAA,EAAM,KAAA,KACrC,KAAA,CAAM,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,WAAA,EAAa,KAAK,CAAA,EAAG,KAAK;AAAA,GAClD;AACA,EAAA,IAAI,MAAA,KAAW,SAAS,OAAO,OAAA;AAC/B,EAAA,IAAI,CAAC,cAAA,CAAe,MAAM,CAAA,EAAG,IAAA,CAAK,uBAAuB,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAC,CAAA;AAC5E,EAAA,IAAI,IAAA,CAAK,MAAA,KAAW,MAAA,CAAO,UAAA,CAAW,MAAA;AACpC,IAAA,IAAA,CAAK,uBAAA,EAAyB,CAAC,GAAG,IAAA,EAAM,WAAW,CAAC,CAAA;AACtD,EAAA,IAAA,CAAK,OAAA,CAAQ,CAAC,MAAA,EAAQ,KAAA,KAAU;AAC9B,IAAA,iBAAA,CAAkB,MAAA,EAAQ,MAAA,CAAO,UAAA,CAAW,KAAK,CAAA,EAAiB;AAAA,MAChE,GAAG,IAAA;AAAA,MACH,WAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,EACH,CAAC,CAAA;AACD,EAAA,OAAO,MAAA,CAAO,OAAA;AAChB;AAEA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AACzD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,GAAG,MAAA,CAAO,KAAA,sBAAW,GAAA,CAAI,CAAC,CAAC,IAAA,CAAK,IAAA,EAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACzF;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,SAAA,GAAY,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AAC7D,EAAA,MAAM,QAAA,GAAW,aAAA,CAAc,IAAA,CAAK,IAAA,EAAM,SAAS,CAAA;AACnD,EAAA,MAAM,WAAW,IAAA,CAAK,IAAA,CAAK,GAAA,CAAI,CAAC,KAAK,KAAA,KAAU;AAC7C,IAAA,MAAM,OAAA,GAAU,QAAA,CAAS,GAAA,CAAI,GAAA,CAAI,OAAO,CAAA,IAAK,OAAA;AAC7C,IAAA,MAAM,MAAA,GAAS,GAAA,CAAI,OAAA,GAAU,MAAA,CAAO,uBAAO,IAAI,GAAA,CAAI,CAAC,CAAC,IAAI,OAAA,EAAS,OAAO,CAAC,CAAC,CAAC,CAAA,GAAI,KAAA;AAChF,IAAA,OAAO,KAAA,CAAM,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,MAAM,MAAA,EAAQ,KAAA,EAAO,MAAM,CAAA,EAAG,MAAM,CAAA;AAAA,EACjE,CAAC,CAAA;AACD,EAAA,OAAO,KAAK,QAAQ,CAAA;AACtB;AAEA,SAAS,aAAA,CACP,MACA,KAAA,EACiC;AACjC,EAAA,IAAI,KAAA,KAAU,OAAA,EAAS,uBAAO,IAAI,GAAA,EAAI;AACtC,EAAA,IAAI,IAAA,KAAS,QAAA,IAAY,aAAA,CAAc,KAAK,GAAG,uBAAO,IAAI,GAAA,CAAI,CAAC,CAAC,MAAA,EAAQ,KAAA,CAAM,KAAK,CAAC,CAAC,CAAA;AACrF,EAAA,IAAI,SAAS,QAAA,IAAY,CAAC,QAAQ,KAAK,CAAA,IAAK,MAAM,IAAA,KAAS,aAAA;AACzD,IAAA,uBAAO,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAA,CAAM,KAAK,CAAC,CAAC,CAAA;AACxC,EAAA,IAAI,IAAA,KAAS,QAAA,IAAY,aAAA,CAAc,KAAK,CAAA;AAC1C,IAAA,2BAAW,GAAA,CAAI;AAAA,MACb,CAAC,IAAA,EAAM,KAAA,CAAM,EAAE,CAAA;AAAA,MACf,CAAC,KAAA,EAAO,KAAA,CAAM,KAAK;AAAA,KACpB,CAAA;AACH,EAAA,IAAI,SAAS,QAAA,IAAY,CAAC,QAAQ,KAAK,CAAA,IAAK,MAAM,IAAA,KAAS,aAAA;AACzD,IAAA,2BAAW,GAAA,CAAI;AAAA,MACb,CAAC,IAAA,EAAM,KAAA,CAAM,EAAE,CAAA;AAAA,MACf,CAAC,KAAA,EAAO,KAAA,CAAM,KAAK;AAAA,KACpB,CAAA;AACH,EAAA,2BAAW,GAAA,EAAI;AACjB;AAEA,SAAS,aAAA,CACP,IAAA,EAWA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,IAAa,IAAA,CAAK,SAAS,iBAAA,EAAmB,OAAO,UAAU,SAAS,CAAA;AAC1F,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,UAAA,EAAY,OAAO,UAAU,UAAU,CAAA;AACzD,EAAA,MAAM,IAAA,GAAO,MAAM,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAK,CAAA;AACtD,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AACzD,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,EAAuB,OAAO,UAAU,SAAS,CAAA;AACnE,EAAA,OAAO,kBAAA,CAAmB,IAAA,CAAK,QAAA,EAAU,IAAA,EAAM,KAAK,CAAA;AACtD;AAEA,SAAS,kBAAA,CACP,QAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,IAAI,QAAA,KAAa,KAAA,EAAO,OAAO,YAAA,CAAa,IAAW,CAAA;AACvD,EAAA,IAAI,YAAY,IAAA,EAAM,UAAU,CAAA,EAAG,OAAO,UAAU,UAAU,CAAA;AAC9D,EAAA,IAAI,YAAY,KAAA,EAAO,SAAS,CAAA,EAAG,OAAO,UAAU,UAAU,CAAA;AAC9D,EAAA,IAAI,WAAA,CAAY,IAAA,EAAM,SAAS,CAAA,IAAK,WAAA,CAAY,OAAO,UAAU,CAAA,EAAG,OAAO,SAAA,CAAU,SAAS,CAAA;AAC9F,EAAA,OAAO,KAAA,CAAM,CAAC,SAAA,CAAU,SAAS,GAAG,SAAA,CAAU,UAAU,CAAC,CAAC,CAAA;AAC5D;AAEA,SAAS,YAAA,CAAa,MAAkB,MAAA,EAAgC;AACtE,EAAA,IAAI,YAAY,IAAA,EAAM,SAAS,CAAA,EAAG,OAAO,UAAU,SAAS,CAAA;AAC5D,EAAA,IAAI,YAAY,IAAA,EAAM,UAAU,CAAA,EAAG,OAAO,UAAU,UAAU,CAAA;AAC9D,EAAA,OAAO,KAAA,CAAM,CAAC,SAAA,CAAU,SAAS,GAAG,SAAA,CAAU,UAAU,CAAC,CAAC,CAAA;AAC5D;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACa;AACb,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,KAAA,EAAO,QAAA;AAAA,IACP,KAAA,EAAO,IAAA,CAAK,OAAA,KAAY,MAAA,GAAS,OAAA,GAAU,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,GAAG,KAAK;AAAA,GACvF,CAAA;AACH;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACa;AACb,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AACzD,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,KAAA,EAAO,QAAA;AAAA,IACP,EAAA,EAAI,IAAA,CAAK,OAAA,KAAY,IAAA,GAAO,KAAA,GAAQ,OAAA;AAAA,IACpC,KAAA,EAAO,IAAA,CAAK,OAAA,KAAY,KAAA,GAAQ,KAAA,GAAQ;AAAA,GACzC,CAAA;AACH;AAEA,SAAS,iBAAA,CAAkB,MAAA,EAAoB,QAAA,EAAsB,IAAA,EAAkB;AACrF,EAAA,IAAI,CAAC,UAAA,CAAW,MAAA,EAAQ,QAAQ,CAAA,EAAG,IAAA,CAAK,iCAAiC,IAAI,CAAA;AAC/E;AAEA,SAAS,UAAA,CAAW,QAAoB,QAAA,EAA+B;AACrE,EAAA,IAAI,MAAA,KAAW,SAAS,OAAO,IAAA;AAC/B,EAAA,IAAI,OAAA,CAAQ,MAAM,CAAA,EAAG,OAAO,MAAA,CAAO,OAAA,CAAQ,KAAA,CAAM,CAAC,MAAA,KAAW,UAAA,CAAW,MAAA,EAAQ,QAAQ,CAAC,CAAA;AACzF,EAAA,IAAI,cAAc,MAAM,CAAA;AACtB,IAAA,OAAO,SAAS,IAAA,KAAS,aAAA,IAAiB,WAAW,MAAA,CAAO,KAAA,EAAO,SAAS,KAAK,CAAA;AACnF,EAAA,IAAI,cAAc,MAAM,CAAA;AACtB,IAAA,OACE,QAAA,CAAS,IAAA,KAAS,aAAA,IAClB,UAAA,CAAW,MAAA,CAAO,EAAA,EAAI,QAAA,CAAS,EAAE,CAAA,IACjC,UAAA,CAAW,MAAA,CAAO,KAAA,EAAO,SAAS,KAAK,CAAA;AAE3C,EAAA,IAAI,QAAA,CAAS,SAAS,gBAAA,IAAoB,QAAA,CAAS,SAAS,MAAA,IAAU,CAAC,OAAA,CAAQ,MAAM,CAAA,EAAG;AACtF,IAAA,OAAO,WAAW,MAAM,CAAA;AAAA,EAC1B;AACA,EAAA,OAAO,SAAA,CAAU,QAAQ,QAAQ,CAAA;AACnC;AAEA,SAAS,WAAW,IAAA,EAA2B;AAC7C,EAAA,IAAI,KAAK,IAAA,KAAS,YAAA,EAAc,OAAO,UAAA,CAAW,KAAK,OAAO,CAAA;AAC9D,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,gBAAA,EAAkB,OAAO,KAAA;AAC3C,EAAA,OAAO,CAAC,QAAQ,SAAA,EAAW,QAAA,EAAU,UAAU,MAAM,CAAA,CAAE,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA;AAC3E;AAEA,SAAS,KAAK,KAAA,EAA0C;AACtD,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,IAAI,CAAC,MAAA,CAAO,IAAA,CAAK,CAAC,SAAA,KAAc,WAAA,CAAY,SAAA,EAAW,IAAI,CAAC,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA;AAAA,EACjF;AACA,EAAA,OAAO,OAAO,MAAA,KAAW,CAAA,GAAK,OAAO,CAAC,CAAA,GAAmB,MAAM,MAAM,CAAA;AACvE;AAEA,SAAS,WAAA,CAAY,MAAkB,KAAA,EAA4B;AACjE,EAAA,IAAI,IAAA,KAAS,OAAA,IAAW,KAAA,KAAU,OAAA,SAAgB,IAAA,KAAS,KAAA;AAC3D,EAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,KAAM,IAAA,CAAK,UAAU,KAAK,CAAA;AACtD;AAEA,SAAS,MAAM,OAAA,EAA4C;AACzD,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,KAAA,EAAO,OAAA,EAAS,OAAA,EAAS,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,OAAO,CAAC,GAAG,CAAA;AAC/E;AAEA,SAAS,SAAS,IAAA,EAA+D;AAC/E,EAAA,MAAM,QAAA,GAAW,YAAA;AAAA,IACf,CAAC,SAAA,CAAU,MAAM,CAAA,EAAG,SAAA,CAAU,QAAQ,CAAC,CAAA;AAAA,IACvC,SAAA,CAAU,IAAA,KAAS,KAAA,GAAQ,MAAA,GAAS,SAAS;AAAA,GAC/C;AACA,EAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,cAAc,OAAA,EAAS,SAAA,CAAU,MAAM,CAAA,EAAG,CAAA;AAC9E,EAAA,OAAO,YAAA;AAAA,IACL,CAAC,OAAO,QAAQ,CAAA;AAAA,IAChB,SAAS,MAAA,IAAU,IAAA,KAAS,OAAA,GAAU,SAAA,CAAU,SAAS,CAAA,GAAI;AAAA,GAC/D;AACF;AAEA,SAAS,UAA+B,EAAA,EAA0C;AAChF,EAAA,OAAO,YAAA;AAAA,IACL,GAAG,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AAAA,IACrC,EAAA,CAAG;AAAA,GACL;AACF;AAEA,SAAS,YAAA,CAAa,YAAmC,OAAA,EAAyC;AAChG,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA,EAAM,eAAA;AAAA,IACN,YAAY,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,UAAU,CAAC,CAAA;AAAA,IACzC;AAAA,GACD,CAAA;AACH;AAEA,SAAS,YAAY,KAAA,EAA8B;AACjD,EAAA,IAAI,KAAA,CAAM,QAAQ,KAAK,CAAA;AACrB,IAAA,OAAO,MAAA,CAAO,OAAO,EAAE,IAAA,EAAM,cAAc,OAAA,EAAS,SAAA,CAAU,MAAM,CAAA,EAAG,CAAA;AACzE,EAAA,OAAO,SAAA;AAAA,IACL,UAAU,IAAA,GACN,MAAA,GACA,OAAO,KAAA,KAAU,QAAA,GACf,SACC,OAAO;AAAA,GAChB;AACF;AAEA,SAAS,UACP,IAAA,EACY;AACZ,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,IAAA,EAAM,gBAAA,EAAkB,MAAM,CAAA;AACvD;AAEA,SAAS,eAAe,KAAA,EAAgD;AACtE,EAAA,OAAO,UAAU,OAAA,IAAW,CAAC,QAAQ,KAAK,CAAA,IAAK,MAAM,IAAA,KAAS,eAAA;AAChE;AACA,SAAS,WAAA,CAAY,OAAmB,IAAA,EAAuB;AAC7D,EAAA,OACE,KAAA,KAAU,OAAA,IAAW,CAAC,OAAA,CAAQ,KAAK,KAAK,KAAA,CAAM,IAAA,KAAS,gBAAA,IAAoB,KAAA,CAAM,IAAA,KAAS,IAAA;AAE9F;AACA,SAAS,QAAQ,KAAA,EAAoE;AACnF,EAAA,OAAO,KAAA,KAAU,WAAW,OAAA,IAAW,KAAA;AACzC;AACA,SAAS,cAAc,KAAA,EAAyC;AAC9D,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,KAAU,QAAA;AAC3C;AACA,SAAS,cAAc,KAAA,EAAyC;AAC9D,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,KAAU,QAAA;AAC3C;AACA,SAAS,QAAQ,KAAA,EAAwC;AACvD,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,KAAU,OAAA;AAC3C;AACA,SAAS,SAAA,CAAU,MAAkB,KAAA,EAA4B;AAC/D,EAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,KAAM,IAAA,CAAK,UAAU,KAAK,CAAA;AACtD;AACA,SAAS,MAAA,CAAO,MAAa,KAAA,EAAqB;AAChD,EAAA,OAAO,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,EAAM,GAAG,KAAK,CAAC,CAAA;AACpC;AACA,SAAS,IAAA,CAAK,MAAsD,IAAA,EAAmB;AACrF,EAAA,MAAM,IAAIA,4BAAA,CAAc,IAAA,EAAM,IAAI,CAAA;AACpC","file":"static-types.cjs","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport type { KaladaFunctionType, KaladaType, KaladaV1Expression, NamedFunction } from \"./types.js\";\n\ntype Path = readonly (string | number)[];\nconst DYNAMIC = Symbol(\"dynamic\");\ntype Dynamic = typeof DYNAMIC;\ninterface OptionShape {\n  readonly shape: \"option\";\n  readonly value: StaticType;\n}\ninterface ResultShape {\n  readonly shape: \"result\";\n  readonly ok: StaticType;\n  readonly error: StaticType;\n}\ninterface UnionShape {\n  readonly shape: \"union\";\n  readonly members: readonly StaticType[];\n}\ntype StaticType = KaladaType | Dynamic | OptionShape | ResultShape | UnionShape;\ntype Scope = ReadonlyMap<string, StaticType>;\n\nexport function checkKaladaV1Types<R extends JsonValue>(expression: KaladaV1Expression<R>): void {\n  infer(expression, [\"expression\"], new Map());\n}\n\nfunction infer<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  if (node.kind === \"literal\") return literalType(node.value);\n  if (node.kind === \"ref\")\n    return typeof node.ref === \"string\" ? (scope.get(node.ref) ?? DYNAMIC) : DYNAMIC;\n  if (node.kind === \"function\") return checkFunction(node, path, scope);\n  if (node.kind === \"function-group\") return checkGroup(node, path, scope);\n  if (node.kind === \"call\") return checkCall(node, path, scope);\n  if (node.kind === \"core-function\") return coreType(node.name);\n  if (node.kind === \"binding\") return checkBinding(node, path, scope);\n  if (node.kind === \"option\") return optionType(node, path, scope);\n  if (node.kind === \"result\") return resultType(node, path, scope);\n  if (node.kind === \"match\") return checkMatch(node, path, scope);\n  return inferTemporal(node, path, scope);\n}\n\nfunction checkFunction<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function\" }>,\n  path: Path,\n  outer: Scope,\n): KaladaFunctionType {\n  const parameters = new Map<string, StaticType>();\n  for (const parameter of node.parameters) parameters.set(parameter.name, parameter.type);\n  const actual = infer(node.body, [...path, \"body\"], merged(outer, parameters));\n  requireAssignable(actual, node.returns, [...path, \"body\"]);\n  return functionType(\n    node.parameters.map((item) => item.type),\n    node.returns,\n  );\n}\n\nfunction checkGroup<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function-group\" }>,\n  path: Path,\n  outer: Scope,\n): StaticType {\n  const signatures = new Map<string, StaticType>();\n  for (const fn of node.functions) signatures.set(fn.name, signature(fn));\n  const groupScope = merged(outer, signatures);\n  node.functions.forEach((fn, index) => {\n    checkMember(fn, [...path, \"functions\", index], groupScope);\n  });\n  return infer(node.body, [...path, \"body\"], groupScope);\n}\n\nfunction checkMember<R extends JsonValue>(fn: NamedFunction<R>, path: Path, group: Scope): void {\n  const parameters = new Map<string, StaticType>();\n  for (const parameter of fn.parameters) parameters.set(parameter.name, parameter.type);\n  const actual = infer(fn.body, [...path, \"body\"], merged(group, parameters));\n  requireAssignable(actual, fn.returns, [...path, \"body\"]);\n}\n\nfunction checkCall<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"call\" }>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  const callee = infer(node.callee, [...path, \"callee\"], scope);\n  const args = node.arguments.map((item, index) =>\n    infer(item, [...path, \"arguments\", index], scope),\n  );\n  if (callee === DYNAMIC) return DYNAMIC;\n  if (!isFunctionType(callee)) fail(\"KALADA_NOT_CALLABLE\", [...path, \"callee\"]);\n  if (args.length !== callee.parameters.length)\n    fail(\"KALADA_FUNCTION_ARITY\", [...path, \"arguments\"]);\n  args.forEach((actual, index) => {\n    requireAssignable(actual, callee.parameters[index] as KaladaType, [\n      ...path,\n      \"arguments\",\n      index,\n    ]);\n  });\n  return callee.returns;\n}\n\nfunction checkBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  const value = infer(node.value, [...path, \"value\"], scope);\n  return infer(node.body, [...path, \"body\"], merged(scope, new Map([[node.name, value]])));\n}\n\nfunction checkMatch<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"match\" }>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  const scrutinee = infer(node.value, [...path, \"value\"], scope);\n  const payloads = matchPayloads(node.type, scrutinee);\n  const branches = node.arms.map((arm, index) => {\n    const payload = payloads.get(arm.variant) ?? DYNAMIC;\n    const nested = arm.binding ? merged(scope, new Map([[arm.binding, payload]])) : scope;\n    return infer(arm.body, [...path, \"arms\", index, \"body\"], nested);\n  });\n  return join(branches);\n}\n\nfunction matchPayloads(\n  type: \"Option\" | \"Result\",\n  value: StaticType,\n): ReadonlyMap<string, StaticType> {\n  if (value === DYNAMIC) return new Map();\n  if (type === \"Option\" && isOptionShape(value)) return new Map([[\"some\", value.value]]);\n  if (type === \"Option\" && !isShape(value) && value.kind === \"option-type\")\n    return new Map([[\"some\", value.value]]);\n  if (type === \"Result\" && isResultShape(value))\n    return new Map([\n      [\"ok\", value.ok],\n      [\"err\", value.error],\n    ]);\n  if (type === \"Result\" && !isShape(value) && value.kind === \"result-type\")\n    return new Map([\n      [\"ok\", value.ok],\n      [\"err\", value.error],\n    ]);\n  return new Map();\n}\n\nfunction inferTemporal<R extends JsonValue>(\n  node: Extract<\n    KaladaV1Expression<R>,\n    {\n      kind:\n        | \"instant\"\n        | \"duration\"\n        | \"current-instant\"\n        | \"temporal-arithmetic\"\n        | \"temporal-comparison\";\n    }\n  >,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  if (node.kind === \"instant\" || node.kind === \"current-instant\") return primitive(\"Instant\");\n  if (node.kind === \"duration\") return primitive(\"Duration\");\n  const left = infer(node.left, [...path, \"left\"], scope);\n  const right = infer(node.right, [...path, \"right\"], scope);\n  if (node.kind === \"temporal-comparison\") return primitive(\"boolean\");\n  return temporalArithmetic(node.operator, left, right);\n}\n\nfunction temporalArithmetic(\n  operator: \"add\" | \"subtract\",\n  left: StaticType,\n  right: StaticType,\n): StaticType {\n  if (operator === \"add\") return additionType(left, right);\n  if (isPrimitive(left, \"Duration\")) return primitive(\"Duration\");\n  if (isPrimitive(right, \"Instant\")) return primitive(\"Duration\");\n  if (isPrimitive(left, \"Instant\") && isPrimitive(right, \"Duration\")) return primitive(\"Instant\");\n  return union([primitive(\"Instant\"), primitive(\"Duration\")]);\n}\n\nfunction additionType(left: StaticType, _right: StaticType): StaticType {\n  if (isPrimitive(left, \"Instant\")) return primitive(\"Instant\");\n  if (isPrimitive(left, \"Duration\")) return primitive(\"Duration\");\n  return union([primitive(\"Instant\"), primitive(\"Duration\")]);\n}\n\nfunction optionType<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"option\" }>,\n  path: Path,\n  scope: Scope,\n): OptionShape {\n  return Object.freeze({\n    shape: \"option\",\n    value: node.variant === \"none\" ? DYNAMIC : infer(node.value, [...path, \"value\"], scope),\n  });\n}\n\nfunction resultType<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"result\" }>,\n  path: Path,\n  scope: Scope,\n): ResultShape {\n  const value = infer(node.value, [...path, \"value\"], scope);\n  return Object.freeze({\n    shape: \"result\",\n    ok: node.variant === \"ok\" ? value : DYNAMIC,\n    error: node.variant === \"err\" ? value : DYNAMIC,\n  });\n}\n\nfunction requireAssignable(actual: StaticType, expected: KaladaType, path: Path): void {\n  if (!assignable(actual, expected)) fail(\"KALADA_FUNCTION_TYPE_MISMATCH\", path);\n}\n\nfunction assignable(actual: StaticType, expected: KaladaType): boolean {\n  if (actual === DYNAMIC) return true;\n  if (isUnion(actual)) return actual.members.every((member) => assignable(member, expected));\n  if (isOptionShape(actual))\n    return expected.kind === \"option-type\" && assignable(actual.value, expected.value);\n  if (isResultShape(actual))\n    return (\n      expected.kind === \"result-type\" &&\n      assignable(actual.ok, expected.ok) &&\n      assignable(actual.error, expected.error)\n    );\n  if (expected.kind === \"primitive-type\" && expected.name === \"json\" && !isShape(actual)) {\n    return isJsonType(actual);\n  }\n  return equalType(actual, expected);\n}\n\nfunction isJsonType(type: KaladaType): boolean {\n  if (type.kind === \"array-type\") return isJsonType(type.element);\n  if (type.kind !== \"primitive-type\") return false;\n  return [\"null\", \"boolean\", \"number\", \"string\", \"json\"].includes(type.name);\n}\n\nfunction join(types: readonly StaticType[]): StaticType {\n  const unique: StaticType[] = [];\n  for (const item of types) {\n    if (!unique.some((candidate) => staticEqual(candidate, item))) unique.push(item);\n  }\n  return unique.length === 1 ? (unique[0] as StaticType) : union(unique);\n}\n\nfunction staticEqual(left: StaticType, right: StaticType): boolean {\n  if (left === DYNAMIC || right === DYNAMIC) return left === right;\n  return JSON.stringify(left) === JSON.stringify(right);\n}\n\nfunction union(members: readonly StaticType[]): UnionShape {\n  return Object.freeze({ shape: \"union\", members: Object.freeze([...members]) });\n}\n\nfunction coreType(name: \"map\" | \"filter\" | \"some\" | \"every\"): KaladaFunctionType {\n  const callback = functionType(\n    [primitive(\"json\"), primitive(\"number\")],\n    primitive(name === \"map\" ? \"json\" : \"boolean\"),\n  );\n  const array = Object.freeze({ kind: \"array-type\", element: primitive(\"json\") }) as KaladaType;\n  return functionType(\n    [array, callback],\n    name === \"some\" || name === \"every\" ? primitive(\"boolean\") : array,\n  );\n}\n\nfunction signature<R extends JsonValue>(fn: NamedFunction<R>): KaladaFunctionType {\n  return functionType(\n    fn.parameters.map((item) => item.type),\n    fn.returns,\n  );\n}\n\nfunction functionType(parameters: readonly KaladaType[], returns: KaladaType): KaladaFunctionType {\n  return Object.freeze({\n    kind: \"function-type\",\n    parameters: Object.freeze([...parameters]),\n    returns,\n  });\n}\n\nfunction literalType(value: JsonValue): KaladaType {\n  if (Array.isArray(value))\n    return Object.freeze({ kind: \"array-type\", element: primitive(\"json\") });\n  return primitive(\n    value === null\n      ? \"null\"\n      : typeof value === \"object\"\n        ? \"json\"\n        : (typeof value as \"boolean\" | \"number\" | \"string\"),\n  );\n}\n\nfunction primitive(\n  name: \"null\" | \"boolean\" | \"number\" | \"string\" | \"json\" | \"Instant\" | \"Duration\",\n): KaladaType {\n  return Object.freeze({ kind: \"primitive-type\", name });\n}\n\nfunction isFunctionType(value: StaticType): value is KaladaFunctionType {\n  return value !== DYNAMIC && !isShape(value) && value.kind === \"function-type\";\n}\nfunction isPrimitive(value: StaticType, name: string): boolean {\n  return (\n    value !== DYNAMIC && !isShape(value) && value.kind === \"primitive-type\" && value.name === name\n  );\n}\nfunction isShape(value: StaticType): value is OptionShape | ResultShape | UnionShape {\n  return value !== DYNAMIC && \"shape\" in value;\n}\nfunction isOptionShape(value: StaticType): value is OptionShape {\n  return isShape(value) && value.shape === \"option\";\n}\nfunction isResultShape(value: StaticType): value is ResultShape {\n  return isShape(value) && value.shape === \"result\";\n}\nfunction isUnion(value: StaticType): value is UnionShape {\n  return isShape(value) && value.shape === \"union\";\n}\nfunction equalType(left: KaladaType, right: KaladaType): boolean {\n  return JSON.stringify(left) === JSON.stringify(right);\n}\nfunction merged(base: Scope, extra: Scope): Scope {\n  return new Map([...base, ...extra]);\n}\nfunction fail(code: ConstructorParameters<typeof KaladaFailure>[0], path: Path): never {\n  throw new KaladaFailure(code, path);\n}\n"]}

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

@@ -0,0 +1,8 @@
+import { JsonValue } from './json.cjs';
+import { KaladaV1Expression } from './types.cjs';
+import './temporal.cjs';
+import './values.cjs';
+
+declare function checkKaladaV1Types<R extends JsonValue>(expression: KaladaV1Expression<R>): void;
+
+export { checkKaladaV1Types };

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

@@ -0,0 +1,8 @@
+import { JsonValue } from './json.js';
+import { KaladaV1Expression } from './types.js';
+import './temporal.js';
+import './values.js';
+
+declare function checkKaladaV1Types<R extends JsonValue>(expression: KaladaV1Expression<R>): void;
+
+export { checkKaladaV1Types };

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

@@ -0,0 +1,227 @@
+import { KaladaFailure } from './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 KaladaFailure(code, path);
+}
+
+export { checkKaladaV1Types };
+//# sourceMappingURL=static-types.js.map
+//# sourceMappingURL=static-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/static-types.ts"],"names":[],"mappings":";;AAKA,MAAM,OAAA,0BAAiB,SAAS,CAAA;AAkBzB,SAAS,mBAAwC,UAAA,EAAyC;AAC/F,EAAA,KAAA,CAAM,YAAY,CAAC,YAAY,CAAA,kBAAG,IAAI,KAAK,CAAA;AAC7C;AAEA,SAAS,KAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,IAAI,KAAK,IAAA,KAAS,SAAA,EAAW,OAAO,WAAA,CAAY,KAAK,KAAK,CAAA;AAC1D,EAAA,IAAI,KAAK,IAAA,KAAS,KAAA;AAChB,IAAA,OAAO,OAAO,KAAK,GAAA,KAAQ,QAAA,GAAY,MAAM,GAAA,CAAI,IAAA,CAAK,GAAG,CAAA,IAAK,OAAA,GAAW,OAAA;AAC3E,EAAA,IAAI,KAAK,IAAA,KAAS,UAAA,SAAmB,aAAA,CAAc,IAAA,EAAM,MAAM,KAAK,CAAA;AACpE,EAAA,IAAI,KAAK,IAAA,KAAS,gBAAA,SAAyB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AACvE,EAAA,IAAI,KAAK,IAAA,KAAS,MAAA,SAAe,SAAA,CAAU,IAAA,EAAM,MAAM,KAAK,CAAA;AAC5D,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,EAAiB,OAAO,QAAA,CAAS,KAAK,IAAI,CAAA;AAC5D,EAAA,IAAI,KAAK,IAAA,KAAS,SAAA,SAAkB,YAAA,CAAa,IAAA,EAAM,MAAM,KAAK,CAAA;AAClE,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,SAAiB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC/D,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,SAAiB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC/D,EAAA,IAAI,KAAK,IAAA,KAAS,OAAA,SAAgB,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC9D,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,IAAA,EAAM,KAAK,CAAA;AACxC;AAEA,SAAS,aAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACoB;AACpB,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAwB;AAC/C,EAAA,KAAA,MAAW,SAAA,IAAa,KAAK,UAAA,EAAY,UAAA,CAAW,IAAI,SAAA,CAAU,IAAA,EAAM,UAAU,IAAI,CAAA;AACtF,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,CAAO,KAAA,EAAO,UAAU,CAAC,CAAA;AAC5E,EAAA,iBAAA,CAAkB,QAAQ,IAAA,CAAK,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACzD,EAAA,OAAO,YAAA;AAAA,IACL,KAAK,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AAAA,IACvC,IAAA,CAAK;AAAA,GACP;AACF;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAwB;AAC/C,EAAA,KAAA,MAAW,EAAA,IAAM,KAAK,SAAA,EAAW,UAAA,CAAW,IAAI,EAAA,CAAG,IAAA,EAAM,SAAA,CAAU,EAAE,CAAC,CAAA;AACtE,EAAA,MAAM,UAAA,GAAa,MAAA,CAAO,KAAA,EAAO,UAAU,CAAA;AAC3C,EAAA,IAAA,CAAK,SAAA,CAAU,OAAA,CAAQ,CAAC,EAAA,EAAI,KAAA,KAAU;AACpC,IAAA,WAAA,CAAY,IAAI,CAAC,GAAG,MAAM,WAAA,EAAa,KAAK,GAAG,UAAU,CAAA;AAAA,EAC3D,CAAC,CAAA;AACD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,GAAG,UAAU,CAAA;AACvD;AAEA,SAAS,WAAA,CAAiC,EAAA,EAAsB,IAAA,EAAY,KAAA,EAAoB;AAC9F,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAwB;AAC/C,EAAA,KAAA,MAAW,SAAA,IAAa,GAAG,UAAA,EAAY,UAAA,CAAW,IAAI,SAAA,CAAU,IAAA,EAAM,UAAU,IAAI,CAAA;AACpF,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,EAAA,CAAG,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,CAAO,KAAA,EAAO,UAAU,CAAC,CAAA;AAC1E,EAAA,iBAAA,CAAkB,QAAQ,EAAA,CAAG,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACzD;AAEA,SAAS,SAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,MAAA,GAAS,MAAM,IAAA,CAAK,MAAA,EAAQ,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAA,EAAG,KAAK,CAAA;AAC5D,EAAA,MAAM,IAAA,GAAO,KAAK,SAAA,CAAU,GAAA;AAAA,IAAI,CAAC,IAAA,EAAM,KAAA,KACrC,KAAA,CAAM,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,WAAA,EAAa,KAAK,CAAA,EAAG,KAAK;AAAA,GAClD;AACA,EAAA,IAAI,MAAA,KAAW,SAAS,OAAO,OAAA;AAC/B,EAAA,IAAI,CAAC,cAAA,CAAe,MAAM,CAAA,EAAG,IAAA,CAAK,uBAAuB,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAC,CAAA;AAC5E,EAAA,IAAI,IAAA,CAAK,MAAA,KAAW,MAAA,CAAO,UAAA,CAAW,MAAA;AACpC,IAAA,IAAA,CAAK,uBAAA,EAAyB,CAAC,GAAG,IAAA,EAAM,WAAW,CAAC,CAAA;AACtD,EAAA,IAAA,CAAK,OAAA,CAAQ,CAAC,MAAA,EAAQ,KAAA,KAAU;AAC9B,IAAA,iBAAA,CAAkB,MAAA,EAAQ,MAAA,CAAO,UAAA,CAAW,KAAK,CAAA,EAAiB;AAAA,MAChE,GAAG,IAAA;AAAA,MACH,WAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,EACH,CAAC,CAAA;AACD,EAAA,OAAO,MAAA,CAAO,OAAA;AAChB;AAEA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AACzD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,GAAG,MAAA,CAAO,KAAA,sBAAW,GAAA,CAAI,CAAC,CAAC,IAAA,CAAK,IAAA,EAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACzF;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,MAAM,SAAA,GAAY,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AAC7D,EAAA,MAAM,QAAA,GAAW,aAAA,CAAc,IAAA,CAAK,IAAA,EAAM,SAAS,CAAA;AACnD,EAAA,MAAM,WAAW,IAAA,CAAK,IAAA,CAAK,GAAA,CAAI,CAAC,KAAK,KAAA,KAAU;AAC7C,IAAA,MAAM,OAAA,GAAU,QAAA,CAAS,GAAA,CAAI,GAAA,CAAI,OAAO,CAAA,IAAK,OAAA;AAC7C,IAAA,MAAM,MAAA,GAAS,GAAA,CAAI,OAAA,GAAU,MAAA,CAAO,uBAAO,IAAI,GAAA,CAAI,CAAC,CAAC,IAAI,OAAA,EAAS,OAAO,CAAC,CAAC,CAAC,CAAA,GAAI,KAAA;AAChF,IAAA,OAAO,KAAA,CAAM,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,MAAM,MAAA,EAAQ,KAAA,EAAO,MAAM,CAAA,EAAG,MAAM,CAAA;AAAA,EACjE,CAAC,CAAA;AACD,EAAA,OAAO,KAAK,QAAQ,CAAA;AACtB;AAEA,SAAS,aAAA,CACP,MACA,KAAA,EACiC;AACjC,EAAA,IAAI,KAAA,KAAU,OAAA,EAAS,uBAAO,IAAI,GAAA,EAAI;AACtC,EAAA,IAAI,IAAA,KAAS,QAAA,IAAY,aAAA,CAAc,KAAK,GAAG,uBAAO,IAAI,GAAA,CAAI,CAAC,CAAC,MAAA,EAAQ,KAAA,CAAM,KAAK,CAAC,CAAC,CAAA;AACrF,EAAA,IAAI,SAAS,QAAA,IAAY,CAAC,QAAQ,KAAK,CAAA,IAAK,MAAM,IAAA,KAAS,aAAA;AACzD,IAAA,uBAAO,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAA,CAAM,KAAK,CAAC,CAAC,CAAA;AACxC,EAAA,IAAI,IAAA,KAAS,QAAA,IAAY,aAAA,CAAc,KAAK,CAAA;AAC1C,IAAA,2BAAW,GAAA,CAAI;AAAA,MACb,CAAC,IAAA,EAAM,KAAA,CAAM,EAAE,CAAA;AAAA,MACf,CAAC,KAAA,EAAO,KAAA,CAAM,KAAK;AAAA,KACpB,CAAA;AACH,EAAA,IAAI,SAAS,QAAA,IAAY,CAAC,QAAQ,KAAK,CAAA,IAAK,MAAM,IAAA,KAAS,aAAA;AACzD,IAAA,2BAAW,GAAA,CAAI;AAAA,MACb,CAAC,IAAA,EAAM,KAAA,CAAM,EAAE,CAAA;AAAA,MACf,CAAC,KAAA,EAAO,KAAA,CAAM,KAAK;AAAA,KACpB,CAAA;AACH,EAAA,2BAAW,GAAA,EAAI;AACjB;AAEA,SAAS,aAAA,CACP,IAAA,EAWA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,IAAa,IAAA,CAAK,SAAS,iBAAA,EAAmB,OAAO,UAAU,SAAS,CAAA;AAC1F,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,UAAA,EAAY,OAAO,UAAU,UAAU,CAAA;AACzD,EAAA,MAAM,IAAA,GAAO,MAAM,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAK,CAAA;AACtD,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AACzD,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,EAAuB,OAAO,UAAU,SAAS,CAAA;AACnE,EAAA,OAAO,kBAAA,CAAmB,IAAA,CAAK,QAAA,EAAU,IAAA,EAAM,KAAK,CAAA;AACtD;AAEA,SAAS,kBAAA,CACP,QAAA,EACA,IAAA,EACA,KAAA,EACY;AACZ,EAAA,IAAI,QAAA,KAAa,KAAA,EAAO,OAAO,YAAA,CAAa,IAAW,CAAA;AACvD,EAAA,IAAI,YAAY,IAAA,EAAM,UAAU,CAAA,EAAG,OAAO,UAAU,UAAU,CAAA;AAC9D,EAAA,IAAI,YAAY,KAAA,EAAO,SAAS,CAAA,EAAG,OAAO,UAAU,UAAU,CAAA;AAC9D,EAAA,IAAI,WAAA,CAAY,IAAA,EAAM,SAAS,CAAA,IAAK,WAAA,CAAY,OAAO,UAAU,CAAA,EAAG,OAAO,SAAA,CAAU,SAAS,CAAA;AAC9F,EAAA,OAAO,KAAA,CAAM,CAAC,SAAA,CAAU,SAAS,GAAG,SAAA,CAAU,UAAU,CAAC,CAAC,CAAA;AAC5D;AAEA,SAAS,YAAA,CAAa,MAAkB,MAAA,EAAgC;AACtE,EAAA,IAAI,YAAY,IAAA,EAAM,SAAS,CAAA,EAAG,OAAO,UAAU,SAAS,CAAA;AAC5D,EAAA,IAAI,YAAY,IAAA,EAAM,UAAU,CAAA,EAAG,OAAO,UAAU,UAAU,CAAA;AAC9D,EAAA,OAAO,KAAA,CAAM,CAAC,SAAA,CAAU,SAAS,GAAG,SAAA,CAAU,UAAU,CAAC,CAAC,CAAA;AAC5D;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACa;AACb,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,KAAA,EAAO,QAAA;AAAA,IACP,KAAA,EAAO,IAAA,CAAK,OAAA,KAAY,MAAA,GAAS,OAAA,GAAU,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,GAAG,KAAK;AAAA,GACvF,CAAA;AACH;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACa;AACb,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK,CAAA;AACzD,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,KAAA,EAAO,QAAA;AAAA,IACP,EAAA,EAAI,IAAA,CAAK,OAAA,KAAY,IAAA,GAAO,KAAA,GAAQ,OAAA;AAAA,IACpC,KAAA,EAAO,IAAA,CAAK,OAAA,KAAY,KAAA,GAAQ,KAAA,GAAQ;AAAA,GACzC,CAAA;AACH;AAEA,SAAS,iBAAA,CAAkB,MAAA,EAAoB,QAAA,EAAsB,IAAA,EAAkB;AACrF,EAAA,IAAI,CAAC,UAAA,CAAW,MAAA,EAAQ,QAAQ,CAAA,EAAG,IAAA,CAAK,iCAAiC,IAAI,CAAA;AAC/E;AAEA,SAAS,UAAA,CAAW,QAAoB,QAAA,EAA+B;AACrE,EAAA,IAAI,MAAA,KAAW,SAAS,OAAO,IAAA;AAC/B,EAAA,IAAI,OAAA,CAAQ,MAAM,CAAA,EAAG,OAAO,MAAA,CAAO,OAAA,CAAQ,KAAA,CAAM,CAAC,MAAA,KAAW,UAAA,CAAW,MAAA,EAAQ,QAAQ,CAAC,CAAA;AACzF,EAAA,IAAI,cAAc,MAAM,CAAA;AACtB,IAAA,OAAO,SAAS,IAAA,KAAS,aAAA,IAAiB,WAAW,MAAA,CAAO,KAAA,EAAO,SAAS,KAAK,CAAA;AACnF,EAAA,IAAI,cAAc,MAAM,CAAA;AACtB,IAAA,OACE,QAAA,CAAS,IAAA,KAAS,aAAA,IAClB,UAAA,CAAW,MAAA,CAAO,EAAA,EAAI,QAAA,CAAS,EAAE,CAAA,IACjC,UAAA,CAAW,MAAA,CAAO,KAAA,EAAO,SAAS,KAAK,CAAA;AAE3C,EAAA,IAAI,QAAA,CAAS,SAAS,gBAAA,IAAoB,QAAA,CAAS,SAAS,MAAA,IAAU,CAAC,OAAA,CAAQ,MAAM,CAAA,EAAG;AACtF,IAAA,OAAO,WAAW,MAAM,CAAA;AAAA,EAC1B;AACA,EAAA,OAAO,SAAA,CAAU,QAAQ,QAAQ,CAAA;AACnC;AAEA,SAAS,WAAW,IAAA,EAA2B;AAC7C,EAAA,IAAI,KAAK,IAAA,KAAS,YAAA,EAAc,OAAO,UAAA,CAAW,KAAK,OAAO,CAAA;AAC9D,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,gBAAA,EAAkB,OAAO,KAAA;AAC3C,EAAA,OAAO,CAAC,QAAQ,SAAA,EAAW,QAAA,EAAU,UAAU,MAAM,CAAA,CAAE,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA;AAC3E;AAEA,SAAS,KAAK,KAAA,EAA0C;AACtD,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,IAAI,CAAC,MAAA,CAAO,IAAA,CAAK,CAAC,SAAA,KAAc,WAAA,CAAY,SAAA,EAAW,IAAI,CAAC,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA;AAAA,EACjF;AACA,EAAA,OAAO,OAAO,MAAA,KAAW,CAAA,GAAK,OAAO,CAAC,CAAA,GAAmB,MAAM,MAAM,CAAA;AACvE;AAEA,SAAS,WAAA,CAAY,MAAkB,KAAA,EAA4B;AACjE,EAAA,IAAI,IAAA,KAAS,OAAA,IAAW,KAAA,KAAU,OAAA,SAAgB,IAAA,KAAS,KAAA;AAC3D,EAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,KAAM,IAAA,CAAK,UAAU,KAAK,CAAA;AACtD;AAEA,SAAS,MAAM,OAAA,EAA4C;AACzD,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,KAAA,EAAO,OAAA,EAAS,OAAA,EAAS,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,OAAO,CAAC,GAAG,CAAA;AAC/E;AAEA,SAAS,SAAS,IAAA,EAA+D;AAC/E,EAAA,MAAM,QAAA,GAAW,YAAA;AAAA,IACf,CAAC,SAAA,CAAU,MAAM,CAAA,EAAG,SAAA,CAAU,QAAQ,CAAC,CAAA;AAAA,IACvC,SAAA,CAAU,IAAA,KAAS,KAAA,GAAQ,MAAA,GAAS,SAAS;AAAA,GAC/C;AACA,EAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,cAAc,OAAA,EAAS,SAAA,CAAU,MAAM,CAAA,EAAG,CAAA;AAC9E,EAAA,OAAO,YAAA;AAAA,IACL,CAAC,OAAO,QAAQ,CAAA;AAAA,IAChB,SAAS,MAAA,IAAU,IAAA,KAAS,OAAA,GAAU,SAAA,CAAU,SAAS,CAAA,GAAI;AAAA,GAC/D;AACF;AAEA,SAAS,UAA+B,EAAA,EAA0C;AAChF,EAAA,OAAO,YAAA;AAAA,IACL,GAAG,UAAA,CAAW,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,IAAI,CAAA;AAAA,IACrC,EAAA,CAAG;AAAA,GACL;AACF;AAEA,SAAS,YAAA,CAAa,YAAmC,OAAA,EAAyC;AAChG,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA,EAAM,eAAA;AAAA,IACN,YAAY,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,UAAU,CAAC,CAAA;AAAA,IACzC;AAAA,GACD,CAAA;AACH;AAEA,SAAS,YAAY,KAAA,EAA8B;AACjD,EAAA,IAAI,KAAA,CAAM,QAAQ,KAAK,CAAA;AACrB,IAAA,OAAO,MAAA,CAAO,OAAO,EAAE,IAAA,EAAM,cAAc,OAAA,EAAS,SAAA,CAAU,MAAM,CAAA,EAAG,CAAA;AACzE,EAAA,OAAO,SAAA;AAAA,IACL,UAAU,IAAA,GACN,MAAA,GACA,OAAO,KAAA,KAAU,QAAA,GACf,SACC,OAAO;AAAA,GAChB;AACF;AAEA,SAAS,UACP,IAAA,EACY;AACZ,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,IAAA,EAAM,gBAAA,EAAkB,MAAM,CAAA;AACvD;AAEA,SAAS,eAAe,KAAA,EAAgD;AACtE,EAAA,OAAO,UAAU,OAAA,IAAW,CAAC,QAAQ,KAAK,CAAA,IAAK,MAAM,IAAA,KAAS,eAAA;AAChE;AACA,SAAS,WAAA,CAAY,OAAmB,IAAA,EAAuB;AAC7D,EAAA,OACE,KAAA,KAAU,OAAA,IAAW,CAAC,OAAA,CAAQ,KAAK,KAAK,KAAA,CAAM,IAAA,KAAS,gBAAA,IAAoB,KAAA,CAAM,IAAA,KAAS,IAAA;AAE9F;AACA,SAAS,QAAQ,KAAA,EAAoE;AACnF,EAAA,OAAO,KAAA,KAAU,WAAW,OAAA,IAAW,KAAA;AACzC;AACA,SAAS,cAAc,KAAA,EAAyC;AAC9D,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,KAAU,QAAA;AAC3C;AACA,SAAS,cAAc,KAAA,EAAyC;AAC9D,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,KAAU,QAAA;AAC3C;AACA,SAAS,QAAQ,KAAA,EAAwC;AACvD,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,KAAU,OAAA;AAC3C;AACA,SAAS,SAAA,CAAU,MAAkB,KAAA,EAA4B;AAC/D,EAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,KAAM,IAAA,CAAK,UAAU,KAAK,CAAA;AACtD;AACA,SAAS,MAAA,CAAO,MAAa,KAAA,EAAqB;AAChD,EAAA,OAAO,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,EAAM,GAAG,KAAK,CAAC,CAAA;AACpC;AACA,SAAS,IAAA,CAAK,MAAsD,IAAA,EAAmB;AACrF,EAAA,MAAM,IAAI,aAAA,CAAc,IAAA,EAAM,IAAI,CAAA;AACpC","file":"static-types.js","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport type { KaladaFunctionType, KaladaType, KaladaV1Expression, NamedFunction } from \"./types.js\";\n\ntype Path = readonly (string | number)[];\nconst DYNAMIC = Symbol(\"dynamic\");\ntype Dynamic = typeof DYNAMIC;\ninterface OptionShape {\n  readonly shape: \"option\";\n  readonly value: StaticType;\n}\ninterface ResultShape {\n  readonly shape: \"result\";\n  readonly ok: StaticType;\n  readonly error: StaticType;\n}\ninterface UnionShape {\n  readonly shape: \"union\";\n  readonly members: readonly StaticType[];\n}\ntype StaticType = KaladaType | Dynamic | OptionShape | ResultShape | UnionShape;\ntype Scope = ReadonlyMap<string, StaticType>;\n\nexport function checkKaladaV1Types<R extends JsonValue>(expression: KaladaV1Expression<R>): void {\n  infer(expression, [\"expression\"], new Map());\n}\n\nfunction infer<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  if (node.kind === \"literal\") return literalType(node.value);\n  if (node.kind === \"ref\")\n    return typeof node.ref === \"string\" ? (scope.get(node.ref) ?? DYNAMIC) : DYNAMIC;\n  if (node.kind === \"function\") return checkFunction(node, path, scope);\n  if (node.kind === \"function-group\") return checkGroup(node, path, scope);\n  if (node.kind === \"call\") return checkCall(node, path, scope);\n  if (node.kind === \"core-function\") return coreType(node.name);\n  if (node.kind === \"binding\") return checkBinding(node, path, scope);\n  if (node.kind === \"option\") return optionType(node, path, scope);\n  if (node.kind === \"result\") return resultType(node, path, scope);\n  if (node.kind === \"match\") return checkMatch(node, path, scope);\n  return inferTemporal(node, path, scope);\n}\n\nfunction checkFunction<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function\" }>,\n  path: Path,\n  outer: Scope,\n): KaladaFunctionType {\n  const parameters = new Map<string, StaticType>();\n  for (const parameter of node.parameters) parameters.set(parameter.name, parameter.type);\n  const actual = infer(node.body, [...path, \"body\"], merged(outer, parameters));\n  requireAssignable(actual, node.returns, [...path, \"body\"]);\n  return functionType(\n    node.parameters.map((item) => item.type),\n    node.returns,\n  );\n}\n\nfunction checkGroup<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function-group\" }>,\n  path: Path,\n  outer: Scope,\n): StaticType {\n  const signatures = new Map<string, StaticType>();\n  for (const fn of node.functions) signatures.set(fn.name, signature(fn));\n  const groupScope = merged(outer, signatures);\n  node.functions.forEach((fn, index) => {\n    checkMember(fn, [...path, \"functions\", index], groupScope);\n  });\n  return infer(node.body, [...path, \"body\"], groupScope);\n}\n\nfunction checkMember<R extends JsonValue>(fn: NamedFunction<R>, path: Path, group: Scope): void {\n  const parameters = new Map<string, StaticType>();\n  for (const parameter of fn.parameters) parameters.set(parameter.name, parameter.type);\n  const actual = infer(fn.body, [...path, \"body\"], merged(group, parameters));\n  requireAssignable(actual, fn.returns, [...path, \"body\"]);\n}\n\nfunction checkCall<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"call\" }>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  const callee = infer(node.callee, [...path, \"callee\"], scope);\n  const args = node.arguments.map((item, index) =>\n    infer(item, [...path, \"arguments\", index], scope),\n  );\n  if (callee === DYNAMIC) return DYNAMIC;\n  if (!isFunctionType(callee)) fail(\"KALADA_NOT_CALLABLE\", [...path, \"callee\"]);\n  if (args.length !== callee.parameters.length)\n    fail(\"KALADA_FUNCTION_ARITY\", [...path, \"arguments\"]);\n  args.forEach((actual, index) => {\n    requireAssignable(actual, callee.parameters[index] as KaladaType, [\n      ...path,\n      \"arguments\",\n      index,\n    ]);\n  });\n  return callee.returns;\n}\n\nfunction checkBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  const value = infer(node.value, [...path, \"value\"], scope);\n  return infer(node.body, [...path, \"body\"], merged(scope, new Map([[node.name, value]])));\n}\n\nfunction checkMatch<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"match\" }>,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  const scrutinee = infer(node.value, [...path, \"value\"], scope);\n  const payloads = matchPayloads(node.type, scrutinee);\n  const branches = node.arms.map((arm, index) => {\n    const payload = payloads.get(arm.variant) ?? DYNAMIC;\n    const nested = arm.binding ? merged(scope, new Map([[arm.binding, payload]])) : scope;\n    return infer(arm.body, [...path, \"arms\", index, \"body\"], nested);\n  });\n  return join(branches);\n}\n\nfunction matchPayloads(\n  type: \"Option\" | \"Result\",\n  value: StaticType,\n): ReadonlyMap<string, StaticType> {\n  if (value === DYNAMIC) return new Map();\n  if (type === \"Option\" && isOptionShape(value)) return new Map([[\"some\", value.value]]);\n  if (type === \"Option\" && !isShape(value) && value.kind === \"option-type\")\n    return new Map([[\"some\", value.value]]);\n  if (type === \"Result\" && isResultShape(value))\n    return new Map([\n      [\"ok\", value.ok],\n      [\"err\", value.error],\n    ]);\n  if (type === \"Result\" && !isShape(value) && value.kind === \"result-type\")\n    return new Map([\n      [\"ok\", value.ok],\n      [\"err\", value.error],\n    ]);\n  return new Map();\n}\n\nfunction inferTemporal<R extends JsonValue>(\n  node: Extract<\n    KaladaV1Expression<R>,\n    {\n      kind:\n        | \"instant\"\n        | \"duration\"\n        | \"current-instant\"\n        | \"temporal-arithmetic\"\n        | \"temporal-comparison\";\n    }\n  >,\n  path: Path,\n  scope: Scope,\n): StaticType {\n  if (node.kind === \"instant\" || node.kind === \"current-instant\") return primitive(\"Instant\");\n  if (node.kind === \"duration\") return primitive(\"Duration\");\n  const left = infer(node.left, [...path, \"left\"], scope);\n  const right = infer(node.right, [...path, \"right\"], scope);\n  if (node.kind === \"temporal-comparison\") return primitive(\"boolean\");\n  return temporalArithmetic(node.operator, left, right);\n}\n\nfunction temporalArithmetic(\n  operator: \"add\" | \"subtract\",\n  left: StaticType,\n  right: StaticType,\n): StaticType {\n  if (operator === \"add\") return additionType(left, right);\n  if (isPrimitive(left, \"Duration\")) return primitive(\"Duration\");\n  if (isPrimitive(right, \"Instant\")) return primitive(\"Duration\");\n  if (isPrimitive(left, \"Instant\") && isPrimitive(right, \"Duration\")) return primitive(\"Instant\");\n  return union([primitive(\"Instant\"), primitive(\"Duration\")]);\n}\n\nfunction additionType(left: StaticType, _right: StaticType): StaticType {\n  if (isPrimitive(left, \"Instant\")) return primitive(\"Instant\");\n  if (isPrimitive(left, \"Duration\")) return primitive(\"Duration\");\n  return union([primitive(\"Instant\"), primitive(\"Duration\")]);\n}\n\nfunction optionType<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"option\" }>,\n  path: Path,\n  scope: Scope,\n): OptionShape {\n  return Object.freeze({\n    shape: \"option\",\n    value: node.variant === \"none\" ? DYNAMIC : infer(node.value, [...path, \"value\"], scope),\n  });\n}\n\nfunction resultType<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"result\" }>,\n  path: Path,\n  scope: Scope,\n): ResultShape {\n  const value = infer(node.value, [...path, \"value\"], scope);\n  return Object.freeze({\n    shape: \"result\",\n    ok: node.variant === \"ok\" ? value : DYNAMIC,\n    error: node.variant === \"err\" ? value : DYNAMIC,\n  });\n}\n\nfunction requireAssignable(actual: StaticType, expected: KaladaType, path: Path): void {\n  if (!assignable(actual, expected)) fail(\"KALADA_FUNCTION_TYPE_MISMATCH\", path);\n}\n\nfunction assignable(actual: StaticType, expected: KaladaType): boolean {\n  if (actual === DYNAMIC) return true;\n  if (isUnion(actual)) return actual.members.every((member) => assignable(member, expected));\n  if (isOptionShape(actual))\n    return expected.kind === \"option-type\" && assignable(actual.value, expected.value);\n  if (isResultShape(actual))\n    return (\n      expected.kind === \"result-type\" &&\n      assignable(actual.ok, expected.ok) &&\n      assignable(actual.error, expected.error)\n    );\n  if (expected.kind === \"primitive-type\" && expected.name === \"json\" && !isShape(actual)) {\n    return isJsonType(actual);\n  }\n  return equalType(actual, expected);\n}\n\nfunction isJsonType(type: KaladaType): boolean {\n  if (type.kind === \"array-type\") return isJsonType(type.element);\n  if (type.kind !== \"primitive-type\") return false;\n  return [\"null\", \"boolean\", \"number\", \"string\", \"json\"].includes(type.name);\n}\n\nfunction join(types: readonly StaticType[]): StaticType {\n  const unique: StaticType[] = [];\n  for (const item of types) {\n    if (!unique.some((candidate) => staticEqual(candidate, item))) unique.push(item);\n  }\n  return unique.length === 1 ? (unique[0] as StaticType) : union(unique);\n}\n\nfunction staticEqual(left: StaticType, right: StaticType): boolean {\n  if (left === DYNAMIC || right === DYNAMIC) return left === right;\n  return JSON.stringify(left) === JSON.stringify(right);\n}\n\nfunction union(members: readonly StaticType[]): UnionShape {\n  return Object.freeze({ shape: \"union\", members: Object.freeze([...members]) });\n}\n\nfunction coreType(name: \"map\" | \"filter\" | \"some\" | \"every\"): KaladaFunctionType {\n  const callback = functionType(\n    [primitive(\"json\"), primitive(\"number\")],\n    primitive(name === \"map\" ? \"json\" : \"boolean\"),\n  );\n  const array = Object.freeze({ kind: \"array-type\", element: primitive(\"json\") }) as KaladaType;\n  return functionType(\n    [array, callback],\n    name === \"some\" || name === \"every\" ? primitive(\"boolean\") : array,\n  );\n}\n\nfunction signature<R extends JsonValue>(fn: NamedFunction<R>): KaladaFunctionType {\n  return functionType(\n    fn.parameters.map((item) => item.type),\n    fn.returns,\n  );\n}\n\nfunction functionType(parameters: readonly KaladaType[], returns: KaladaType): KaladaFunctionType {\n  return Object.freeze({\n    kind: \"function-type\",\n    parameters: Object.freeze([...parameters]),\n    returns,\n  });\n}\n\nfunction literalType(value: JsonValue): KaladaType {\n  if (Array.isArray(value))\n    return Object.freeze({ kind: \"array-type\", element: primitive(\"json\") });\n  return primitive(\n    value === null\n      ? \"null\"\n      : typeof value === \"object\"\n        ? \"json\"\n        : (typeof value as \"boolean\" | \"number\" | \"string\"),\n  );\n}\n\nfunction primitive(\n  name: \"null\" | \"boolean\" | \"number\" | \"string\" | \"json\" | \"Instant\" | \"Duration\",\n): KaladaType {\n  return Object.freeze({ kind: \"primitive-type\", name });\n}\n\nfunction isFunctionType(value: StaticType): value is KaladaFunctionType {\n  return value !== DYNAMIC && !isShape(value) && value.kind === \"function-type\";\n}\nfunction isPrimitive(value: StaticType, name: string): boolean {\n  return (\n    value !== DYNAMIC && !isShape(value) && value.kind === \"primitive-type\" && value.name === name\n  );\n}\nfunction isShape(value: StaticType): value is OptionShape | ResultShape | UnionShape {\n  return value !== DYNAMIC && \"shape\" in value;\n}\nfunction isOptionShape(value: StaticType): value is OptionShape {\n  return isShape(value) && value.shape === \"option\";\n}\nfunction isResultShape(value: StaticType): value is ResultShape {\n  return isShape(value) && value.shape === \"result\";\n}\nfunction isUnion(value: StaticType): value is UnionShape {\n  return isShape(value) && value.shape === \"union\";\n}\nfunction equalType(left: KaladaType, right: KaladaType): boolean {\n  return JSON.stringify(left) === JSON.stringify(right);\n}\nfunction merged(base: Scope, extra: Scope): Scope {\n  return new Map([...base, ...extra]);\n}\nfunction fail(code: ConstructorParameters<typeof KaladaFailure>[0], path: Path): never {\n  throw new KaladaFailure(code, path);\n}\n"]}